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]