Greg Brunet
I'm an MSc Computer Science alumni from the University of Toronto. My MSc research focused on the mathematical properties of merging partial behavioral models to form a more complete model. After my MSc, I spent some time at the Department of Computing at Imperial College continuing this line of research. I'm currently working for a software company in Silicon Valley.
Publications:
-
with Marsha Chechik and Sebastian Uchitel. "Synthesis of Partial Behaviour Models from Properties and Scenarios". To appear in IEEE Transactions on Software Engineering, 2009. 22 pages. [pdf]
-
with Marsha Chechik, Sebastian Uchitel and Dario Fischbain. "Partial Behavioural Models for Requirements and
Early Design". In Proceedings of 2006 Dagstuhl Seminar on Methods for Modelling Software Systems (MMOSS), LNCS, 2007.
[pdf]
-
with Marsha Chechik and Sebastian Uchitel. "Behaviour Model Synthesis From Properties and Scenarios". In Proceedings of ICSE'07, May 2007. [pdf]
-
with Marsha Chechik and Sebastian Uchitel. "Generating Unbiased Models from Temporal Properties". CS Technical
Report, April 2006. [pdf]
-
with Marsha Chechik and Sebastian Uchitel. "Merging Partial Behavioural Models". Submitted for publication, May 2006. 50
pages.
-
with Marsha Chechik and Sebastian Uchitel. "Properties of Behavioural Model Merging", in Proceedings of Formal Methods
(FM'06), LNCS 4085, pp. 98-114, August 2006. [pdf]
-
with Marsha Chechik, Steve Easterbrook, Shiva Nejati, Nan Niu and Marhdad Sabetzadeh. "A Manifesto for Model
Merging", in 1st
International Workshop on Global Integrated Model Management (ICSE'06 workshop), May 2006. [pdf]
-
Master's Thesis. "A Characterization of Merging Partial Behavioural Models", January 2006. [ps] [pdf]
Fall 2004
CSC2104 - Formal Methods of Program Design
CSC2410 - Introduction to Graph Theory (final project)
CSC2515 - Machine Learning (final project)
Winter 2005
CSC2405 - Formal Languages and Automata
CSC2421 - Approximation Algorithms
gbrunet [at] cs.toronto.edu