In our lab, you are free to work on what you are interested in, and your colleagues will always be there when you need help or feedback.
Zinovy Diskin, Ph.D.
Room: DC 1340
Room: DC 1340
- My area of expertise is formal semantics and algebraic models for constructs and concepts used in MDE, particularly metamodeling, multimodleing and model management. Resume can be found here.
I am cross-appointed in the Department of Computing and Software at McMaster University as Senior Research Scientist with the NECSIS Project.
"Correctness of Model Synchronization Based on Triple Graph Grammars", ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems: Springer, 10/2011.
"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.
"Intermodeling, queries and Kleisli categories", Generative Software Development Laboratory, Waterloo, University of Waterloo, 10/2011.
From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case, , Waterloo, Generative Software Development Laboratory, University of Waterloo, 05/2011.
"From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case", Journal of Object Technology, vol. 10, 2011.
"Model Synchronization: Mappings, Tiles and Categories", Generative and Transformational Techniques in Software Engineering, GTTSE'09, vol. 6491, Braga, Portugal, Springer, 2011.
"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.
"From State-Based to Delta-Based Bidirectional Model Transformation", 3rd International Conference on Model Transformation, Malaga, Spain, Springer, pp. 61-76, 06/2010.
"From Lenses to Tiles: Model Synchronization via Double Categories", Generative Software Development Laboratory, Waterloo, University of Waterloo, 12/2009.
Tiling the view update problem, , no. TR 2009-12-01, Waterloo, The University of Waterloo, GSDLab , 12/2009.
"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.
"Algebraic Models for Bidirectional Model Synchronization", MoDELS 2008, Toulouse France, Springer, 10/2008.