People in the lab are very enthusiastic about what they do. The environment is very stimulating and soon you realize that most of the limits are those in your head.

# Publications

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

*MoDELS'10 Workshops: Reports and Selected Papers*, vol. 6627, Oslo, Norway, Springer, 2011. [pdf]
"Towards Category Theory Foundations for Model Management",

*GSDLab-TR*, no. GSDLab-TR 2014-03-03, Hamilton/Watreloo, McMaster University/University of Waterloo, 03/2014. [pdf]
"Mapping-aware megamodeling: Design Patterns and Laws",

*Software Language Engineering*: Springer, 2013. [zip]
"Model-versioning-in-the-large: Algebraic foundations and the tile notation",

*2009 ICSE Workshop on Comparison and Versioning of Software Models (CVSM)*, Vancouver, BC, Canada, IEEE, pp. 7 - 12, 2009. [pdf][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]*Mechanics of Megamodeling: Design Patterns and Laws,*, no. GSDLab/McSCert-TR-2013-03-14, Waterloo/Hamilton , University of Waterloo/McMaster University, 03/2013. [pdf]

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

*An algebraic semantics for bidirectional model synchronization,*, no. GSDLab TR 2014-04-01, 08/2014. [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 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]*Compositionality of Update Propagation: Lax Putput,*, no. GSDLAB TR 2017-02-01, Hamilton, McMaster University, Feb 2017. [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]

"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]
"Model Synchronization: Mappings, Tiles and Categories",

*Generative and Transformational Techniques in Software Engineering, GTTSE'09*, vol. 6491, Braga, Portugal, Springer, 2011. [pdf]
"Intermodeling, queries and Kleisli categories",

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

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

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

"Intermodeling, queries, and Kleisli categories",

*15th International Conference on Fundamental Approaches to Software Engineering (FASE'12)*, Tallinn, Estonia, LNCS, volume 7212, pp. 163-177, 01/2012.
"An Exploratory Study of Cloning in Industrial Software Product Lines",

*17th European Conference on Software Maintenance and Reengineering (CSMR)*, 2013. [pdf]
"Mixin-Based Programming in C++: A solution to the constructor problem",

*Dr. Dobb's Journal*, pp. 111-112, 01/2001.
"Software System Families and Active Libraries – Visions for the Next Decade",

*Dagstuhl Seminar 01161 Product Family Development*, Germany, Dagstuhl Castle, 04/2001.
"Generative Programming",

*42nd International Colloquium of the Technical University of Ilmenau*, 09/1997.
"Modeling Aerospace Systems Product Lines in SysML",

*19th International Software Product Line Conference (SPLC)*, 2015.*Variability-Aware Performance Modeling: A Statistical Learning Approach,*, Waterloo, Generative Software Development Laboratory, University of Waterloo, 08/2012. [pdf]