Zinovy Diskin
TitleCited byYear
From state-to delta-based bidirectional model transformations: the symmetric case
Z Diskin, Y Xiong, K Czarnecki, H Ehrig, F Hermann, F Orejas
International Conference on Model Driven Engineering Languages and Systems …, 2011
1592011
A comparative survey of scenario-based to state-based model synthesis approaches
H Liang, J Dingel, Z Diskin
Proceedings of the 2006 international workshop on Scenarios and state …, 2006
1222006
Algebraic models for bidirectional model synchronization
Z Diskin
International Conference on Model Driven Engineering Languages and Systems …, 2008
892008
Correctness of model synchronization based on triple graph grammars
F Hermann, H Ehrig, F Orejas, K Czarnecki, Z Diskin, Y Xiong
International Conference on Model Driven Engineering Languages and Systems …, 2011
742011
Clafer: unifying class and feature modeling
K Bąk, Z Diskin, M Antkiewicz, K Czarnecki, A Wąsowski
Software & Systems Modeling 15 (3), 811-845, 2016
732016
A diagrammatic logic for object-oriented visual modeling
Z Diskin, U Wolter
Electronic Notes in Theoretical Computer Science 203 (6), 19-41, 2008
682008
Specifying overlaps of heterogeneous models for global consistency checking
Z Diskin, Y Xiong, K Czarnecki
International Conference on Model Driven Engineering Languages and Systems …, 2010
652010
Understanding and improving UML package merge
J Dingel, Z Diskin, A Zito
Software & Systems Modeling 7 (4), 443-467, 2008
652008
Model synchronization: mappings, tiles, and categories
Z Diskin
International Summer School on Generative and Transformational Techniques in …, 2009
592009
Package merge in uml 2: Practice vs. theory?
A Zito, Z Diskin, J Dingel
International Conference on Model Driven Engineering Languages and Systems …, 2006
562006
Universal arrow foundations for visual modeling
Z Diskin, B Kadish, F Piessens, M Johnson
International Conference on Theory and Application of Diagrams, 345-360, 2000
552000
Model synchronization based on triple graph grammars: correctness, completeness and invertibility
F Hermann, H Ehrig, F Orejas, K Czarnecki, Z Diskin, Y Xiong, ...
Software & Systems Modeling 14 (1), 241-269, 2015
492015
An Eclipse-based tool framework for software model management
R Salay, M Chechik, S Easterbrook, Z Diskin, P McCormick, S Nejati, ...
Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange, 55-59, 2007
452007
Category theory and model-driven engineering: From formal semantics to design patterns and beyond
Z Diskin, T Maibaum
Model-Driven Engineering of Information Systems: Principles, Techniques, and …, 2014
432014
Example-driven modeling: model= abstractions+ examples
K Bąk, D Zayan, K Czarnecki, M Antkiewicz, Z Diskin, A Wąsowski, ...
Proceedings of the 2013 International Conference on Software Engineering …, 2013
412013
Intermodeling, queries, and kleisli categories
Z Diskin, T Maibaum, K Czarnecki
International Conference on Fundamental Approaches to Software Engineering …, 2012
412012
From state-to delta-based bidirectional model transformations
Z Diskin, Y Xiong, K Czarnecki
International Conference on Theory and Practice of Model Transformations, 61-76, 2010
392010
Mathematics of Generic Specifications for Model Management, II
Z Diskin
Encyclopedia of Database Technologies and Applications, 359-366, 2005
372005
Variable set semantics for keyed generalized sketches: Formal semantics for object identity and abstract syntax for conceptual modeling
Z Diskin, B Kadish
Data & Knowledge Engineering 47 (1), 1-59, 2003
362003
Algebraic graph-based approach to management of multibase systems, I: Schema integration via sketches and equations
B Cadish, Z Diskin
proceedings of Next Generation of Information Technologies and Systems …, 1995
341995
The system can't perform the operation now. Try again later.
Articles 1–20