Graduate Students
Current Students
Faraz Torshizi
Hai Feng Huang
David Makalsky
Past Students
- Ali Taleghani. Contractual Consistency
between BON Static and Dynamic Diagrams. (slides)
July 30th, 2004. Currently doing a Ph.D at University of Waterloo.
- Yan Gao. Multi-view Consistency Checking of
BON Software Description Diagrams. (slides).
July 19, 2004.
- Oleksandr Fuks. Simple Concurrent Object
Oriented Computing. (slides) M.Sc.
Thesis. July 15, 2004. Currently working in IT for the City of Toronto.
- Lewis K.F. Lo. Modular Design for Reactive Systems. M.Sc. Thesis.
1998.
- Hak K. Ng. Model Checking for Real-Time Safety Critical Systems.
M.Sc Thesis. 1998.