Everyone in our lab is free to work on what they want to work on. Encouragement and constructive feed back is always available.

# Publications

"An Exploratory Study of Cloning in Industrial Software Product Lines",

*17th European Conference on Software Maintenance and Reengineering (CSMR)*, 2013. [pdf]
"From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case",

*ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems*: Springer, 10/2011. [pdf][pdf]*Modeling Product Lines with Kripke Structures and Modal Logic,*, no. GSDLAB–TR 2015-04-01, Waterloo/Hamilton, University of Waterloo, ECE, April, 2015. [pdf]

"From Lenses to Tiles: Model Synchronization via Double Categories",

*Generative Software Development Laboratory*, Waterloo, University of Waterloo, 12/2009. [pdf]*A Taxonomic Space for Increasingly Symmetric Model Synchronization,*, no. GSDLab TR, 2014-02-01, Waterloo, The University of Waterloo, GSDLab , 02/2014. [pdf]

*Towards generic formal semantics for consistency of heterogeneous multimodels,*, Waterloo, University of Waterloo, Jan 2011. [pdf]

"Mapping-aware megamodeling: Design Patterns and Laws",

*Software Language Engineering*: Springer, 2013. [zip]
"Algebraic Models for Bidirectional Model Synchronization",

*MoDELS 2008*, Toulouse France, Springer, 10/2008.*Lax Lenses,*, no. GSDLAB-TR 2013-03-10: University of Waterloo, 03/2013. [pdf]

"CT for BX: Category Theory Foundations for Bidirectional Model Transformations",

*Applied and Computational Category Theory*, Tallinn, Estonia, Pre-proceedings, 2012. [pdf]*Asymmetric Delta-Lenses with Uncertainty: Towards a Formal Framework for Flexible BX,*, no. GSDLAB–TR 2016-03-01, Waterloo, University of Waterloo, 03/2016. [pdf]

*ZinovyDiskin-Photo,*, 2015. [jpg]

"From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case",

*Journal of Object Technology*, vol. 10, 2011.*Modeling product lines with Kripke structures and modal logic,*, no. GSDLab TR 2014-08-01, Waterloo, University of Waterloo (ECE), 08/2014. [pdf]

*From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case,*, Waterloo, Generative Software Development Laboratory, University of Waterloo, 05/2011. [pdf]

"Modeling Product Lines with Kripke Structures and Modal Logic",

*GSD Technical Report*, no. TR 2013-10-1, Watreloo, University of Waterloo(ECE) / McMaster University (CAS), 10/2013. [pdf]
"From State-Based to Delta-Based Bidirectional Model Transformation",

*3rd International Conference on Model Transformation*, Malaga, Spain, Springer, pp. 61-76, 06/2010. [pdf][ppt]
"Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond",

*7th ACCAT Workshop on Applied and Computational Category Theory (affiliated with ETAPS'2012)*, To appear, 2012. [pdf]
"Intermodeling, queries and Kleisli categories",

*Generative Software Development Laboratory*, Waterloo, University of Waterloo, 10/2011. [pdf]*Traceability Mappings as a Fundamental Aspect of Model-to-Model Transformations,*, no. GSDLAB--TR 2016-05-01, Hamilton/Waterloo, McMaster University/University of Waterloo, May 2016. [pdf]

"Specifying Overlaps of Heterogeneous Models for Global Consistency Checking",

*MoDELS'10 Workshops: Reports and Selected Papers*, vol. 6627, Oslo, Norway, Springer, 2011. [pdf]*An algebraic semantics for bidirectional model synchronization,*, no. GSDLab TR 2014-04-01, 08/2014. [pdf]

"Model Synchronization: Mappings, Tiles and Categories",

*Generative and Transformational Techniques in Software Engineering, GTTSE'09*, vol. 6491, Braga, Portugal, Springer, 2011. [pdf]*Tiling the view update problem,*, no. TR 2009-12-01, Waterloo, The University of Waterloo, GSDLab , 12/2009. [pdf]

"Specifying Overlaps of Heterogeneous Models for Global Consistency Checking",

*1st Workshop on Model Driven Interoperability*, Co-located with MoDELS 2010, Oslo, Norway, ACM Press, pp. 42-51, 10/2010. [pdf][pdf]