Publications

Export 46 results:
Sort by: Author [ Type (Asc)] Year
Filters: First Letter Of Last Name is D  [Clear All Filters]
Journal Article
Berger, T., R-H. Pfeiffer, R. Tartler, S. Dienst, K. Czarnecki, A. Wąsowski, and S. She, "Variability Mechanisms in Software Ecosystems", Information and Software Technology, vol. 56, issue 11, 2014. [pdf]
Miscellaneous
Bąk, K., D. Zayan, K. Czarnecki, M. Antkiewicz, Z. Diskin, A. Wąsowski, and D. Rayside, Example-Driven Modeling poster, , Toronto, CASCON, 2012. [pdf]
Diskin, Z., ZinovyDiskin-Photo, , 2015. [jpg]
Report
Diskin, Z., An algebraic semantics for bidirectional model synchronization, , no. GSDLab TR 2014-04-01, 08/2014. [pdf]
Diskin, Z., 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]
Diskin, Z., Compositionality of Update Propagation: Lax Putput, , no. GSDLAB TR 2017-02-01, Hamilton, McMaster University, Feb 2017. [pdf]
Diskin, Z., "From Lenses to Tiles: Model Synchronization via Double Categories", Generative Software Development Laboratory, Waterloo, University of Waterloo, 12/2009. [pdf]
Diskin, Z., Y. Xiong, K. Czarnecki, H. Ehrig, F. Hermann, and F. Orejas, From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case, , Waterloo, Generative Software Development Laboratory, University of Waterloo, 05/2011. [pdf]
Diskin, Z., T. Maibaum, and K. Czarnecki, "Intermodeling, queries and Kleisli categories", Generative Software Development Laboratory, Waterloo, University of Waterloo, 10/2011. [pdf]
Diskin, Z., Lax Lenses, , no. GSDLAB-TR 2013-03-10: University of Waterloo, 03/2013. [pdf]
Diskin, Z., S. Kokaly, and T. Maibaum, Mechanics of Megamodeling: Design Patterns and Laws, , no. GSDLab/McSCert-TR-2013-03-14, Waterloo/Hamilton , University of Waterloo/McMaster University, 03/2013. [pdf]
Diskin, Z., A. Safilian, and T. Maibaum, "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]
Diskin, Z., A. Safilian, T. Maibaum, and S. Ben-David, Modeling product lines with Kripke structures and modal logic, , no. GSDLab TR 2014-08-01, Waterloo, University of Waterloo (ECE), 08/2014. [pdf]
Diskin, Z., A. Safilian, T. Maibaum, and S. Ben-David, Modeling Product Lines with Kripke Structures and Modal Logic, , no. GSDLAB–TR 2015-04-01, Waterloo/Hamilton, University of Waterloo, ECE, April, 2015. [pdf]
Sun, P., Z. Diskin, M. Antkiewicz, and K. Czarnecki, Relational Modeling and Reasoning with Multisets and Multirelations in Alloy, , no. GSDLAB-TR 2016-01-22, 2016. [pdf][als][als][als][zip][zip]
Safilian, A., T. Maibaum, and Z. Diskin, The Semantics of Feature Models via Formal Languages (Extended Version), , no. GSDLab TR 2014-08-02, Waterloo/Hamilton, University of Waterloo (ECE)/McMaster University(CAS), 08/2014. [pdf]
Diskin, Z., A. Wider, H. Gholizadeh, and K. Czarnecki, A Taxonomic Space for Increasingly Symmetric Model Synchronization, , no. GSDLab TR, 2014-02-01, Waterloo, The University of Waterloo, GSDLab , 02/2014. [pdf]
Diskin, Z., Tiling the view update problem, , no. TR 2009-12-01, Waterloo, The University of Waterloo, GSDLab , 12/2009. [pdf]
Diskin, Z., "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]
Diskin, Z., Towards generic formal semantics for consistency of heterogeneous multimodels, , Waterloo, University of Waterloo, Jan 2011. [pdf]
Diskin, Z., 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]

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.

Kacper Bąk

Our lab is not only about research: we do a lot of development using Java, Python, Javascript, Haskell and other languages in combination with advanced libraries and frameworks. This development experience was very helpful during my job interviews, and employers were impressed by the projects we develop here in the lab.

Alexandr Murashkin