|
|
 |
Former graduate students
Former graduate students
-
Kien Huynh.
Analysis through Reflection: walking the EMF model of BPEL4WS.
MSc thesis.
September 2005.
(Software engineer, MIIX, Toronto).
-
Vladimir Blagojevic.
A Simulator for Peer-to-Peer Overlay Algorithms.
MSc thesis.
June 2004.
(Software developer, Research in Motion, Toronto).
-
Darius Antia.
Semantic Analysis of Pict in Java.
MSc thesis,
February 2004.
(Chief technology officer, Netfirms, Toronto).
-
Mariya Koshkina.
Verification of Business Processes for Web Services.
MSc thesis,
October 2003.
(Websphere commerce support analyst, IBM, Toronto).
-
Laura Apostoloiu.
Corretto: a CUP of Java with Grappa. A Tool for Parser Generation.
MSc project report,
November 2002.
(Team lead of system verification testing, IBM, Toronto).
