Publications

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.

Posters Presented

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.

Erdos Number

My Erdos number is 4:

I (Jan Gorzny) have coauthored with Marsha Chechik,
Marsha Chechik coauthored with Franck van Breugel,
Franck van Breugel coauthored with Michael Makkai,
Michael Makkai coauthored with Paul Erdős.

DBLP

Click here for my DBLP page.