Publications

Export 46 results:
Sort by: Author Type [ Year (Asc)]
Filters: First Letter Of Last Name is D  [Clear All Filters]
2008
Diskin, Z., "Algebraic Models for Bidirectional Model Synchronization", MoDELS 2008, Toulouse France, Springer, 10/2008.
2009
Diskin, Z., K. Czarnecki, and M. Antkiewicz, "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]
Heydarnoori, A., K. Czarnecki, and T. Tonelli Bartolomei, "Supporting Framework Use via Automatically Extracted Concept-Implementation Templates", 23rd European Conference on Object-Oriented Programming (ECOOP), vol. 5653, Genova, Italy, Springer-Verlag, pp. 344-368, 07/2009. [pdf][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., Tiling the view update problem, , no. TR 2009-12-01, Waterloo, The University of Waterloo, GSDLab , 12/2009. [pdf]
2010
Diskin, Z., Y. Xiong, and K. Czarnecki, "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]
Diskin, Z., Y. Xiong, and K. Czarnecki, "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]
2011
Diskin, Z., Y. Xiong, and K. Czarnecki, "From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case", Journal of Object Technology, vol. 10, 2011.
Diskin, Z., "Model Synchronization: Mappings, Tiles and Categories", Generative and Transformational Techniques in Software Engineering, GTTSE'09, vol. 6491, Braga, Portugal, Springer, 2011. [pdf]
Tonelli Bartolomei, T., M. Derakhshanmanesh, A. Fuhr, P. Koch, M. Konrath, and R. Lämmel, "Combining Multiple Dimensions of Knowledge in API Migration", First International Workshop on Model-Driven Software Migration (MDSM), at the 15th European Conference on Software Maintenance and Reengineering (CSMR), Oldenburg, Germany, CEUR, 03/2011. [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]
Hermann, F., H. Ehrig, F. Orejas, K. Czarnecki, Z. Diskin, and Y. Xiong, "Correctness of Model Synchronization Based on Triple Graph Grammars", ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems: Springer, 10/2011. [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", ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems: Springer, 10/2011. [pdf][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., Y. Xiong, and K. Czarnecki, "Specifying Overlaps of Heterogeneous Models for Global Consistency Checking", MoDELS'10 Workshops: Reports and Selected Papers, vol. 6627, Oslo, Norway, Springer, 2011. [pdf]
Diskin, Z., Towards generic formal semantics for consistency of heterogeneous multimodels, , Waterloo, University of Waterloo, Jan 2011. [pdf]
2012
Diskin, Z., "CT for BX: Category Theory Foundations for Bidirectional Model Transformations", Applied and Computational Category Theory, Tallinn, Estonia, Pre-proceedings, 2012. [pdf]
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., T. Maibaum, and K. Czarnecki, "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.
Diskin, Z., and T. Maibaum, "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]
2013
Antkiewicz, M., K. Bąk, D. Zayan, K. Czarnecki, A. Wąsowski, and Z. Diskin, "Example-Driven Modeling Using Clafer", First International Workshop on Model-driven Engineering By Example, 2013. [ppsx][pdf]
Bąk, K., D. Zayan, K. Czarnecki, M. Antkiewicz, Z. Diskin, A. Wąsowski, and D. Rayside, "Example-Driven Modeling. Model = Abstractions + Examples", New Ideas and Emerging Results (NIER) track of the 35th International Conference on Software Engineering (ICSE 2013), San Francisco, CA, USA, 2013. [pdf]
Dubinsky, Y., J. Rubin, T. Berger, S. Duszynski, M. Becker, and K. Czarnecki, "An Exploratory Study of Cloning in Industrial Software Product Lines", 17th European Conference on Software Maintenance and Reengineering (CSMR), 2013. [pdf]
Diskin, Z., S. Kokaly, and T. Maibaum, "Mapping-aware megamodeling: Design Patterns and Laws", Software Language Engineering: Springer, 2013. [zip]
Bąk, K., Z. Diskin, M. Antkiewicz, K. Czarnecki, and A. Wąsowski, "Partial Instances via Subclassing", 6th International Conference on Software Language Engineering, Indianapolis, USA, 2013. [pdf][pdf]

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

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

Rehan Rauf