In our lab, people rarely work alone - we collaborate a lot with each other as well as with external researchers and our industry partners.
Zinovy Diskin, Ph.D.
Research Associate
Room: DC 1340
Email: zdiskin-at-gsd.uwaterloo.ca
Room: DC 1340
Email: zdiskin-at-gsd.uwaterloo.ca
- 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.
News
- ‹‹
- 3 of 3
Projects
Activities
Publications
"Specifying Overlaps of Heterogeneous Models for Global Consistency Checking",
MoDELS'10 Workshops: Reports and Selected Papers, vol. 6627, Oslo, Norway, Springer, 2011.
[pdf]
"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]
"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]
"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]
"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.
[pdf]
"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]
"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]
"From Lenses to Tiles: Model Synchronization via Double Categories",
Generative Software Development Laboratory, Waterloo, University of Waterloo, 12/2009.
[pdf]
Tiling the view update problem,
, no. TR 2009-12-01, Waterloo, The University of Waterloo, GSDLab , 12/2009.
[pdf]
"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]
"Algebraic Models for Bidirectional Model Synchronization",
MoDELS 2008, Toulouse France, Springer, 10/2008.
