Conference & Workshop Papers
Verification of Uncertainty Reducing Model Transformations. Rick Salay, Marsha Chechik, Michalis Famelis, Jan Gorzny. In submission.
Change Propagation Due to Uncertainty Change. Rick Salay, Jan Gorzny, and Marsha Chechik. FASE 2013.
Comparing the effectiveness of reasoning formalisms for partial models. Pooya Saadatpanah, Michalis Famelis, Jan Gorzny, Nathan Robinson, Marsha Chechik, and Rick Salay. MoDeVVa 2012
Feature interaction analysis of the feature-oriented requirements-modelling language using alloy. David Dietrich, Pourya Shaker, Joanne M. Atlee, Derek Rayside, and Jan Gorzny. MoDeVVa 2012
Towards a Methodology for Verifying Partial Model Refinements. Rick Salay, Marsha Chechik, and Jan Gorzny. VOLT 2012.
Uncertainty Management With Partial Models. Famelis, M., Gorzny, J., SaadatPanah, P., Chechik, M., and Salay, R. Presented at the University of Toronto Department of Computer Science Research In Action Showcase 2012.
Feature-Oriented Modelling and Analysis. Atlee, J.M., Shaker, P., Beidu, S., and Gorzny, J. Presented at the Technology Showcase at CASCON 2011.
JSCOOP: Simple Concurrency for Java. Gorzny, J., Torshizi, F., and Chechik, M. Presented at the University of Toronto Department of Computer Science Summer Research Poster Session. August 2010.
My Erdos number is 4:
Click here for my DBLP page.