Zinovy Diskin
Title
Cited by
Cited by
Year
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
1722011
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
1262006
Algebraic models for bidirectional model synchronization
Z Diskin
International Conference on Model Driven Engineering Languages and Systems …, 2008
902008
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
832016
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
782011
A diagrammatic logic for object-oriented visual modeling
Z Diskin, U Wolter
Electronic Notes in Theoretical Computer Science 203 (6), 19-41, 2008
742008
Specifying overlaps of heterogeneous models for global consistency checking
Z Diskin, Y Xiong, K Czarnecki
Proceedings of the First International Workshop on Model-Driven …, 2010
712010
Understanding and improving UML package merge
J Dingel, Z Diskin, A Zito
Software & Systems Modeling 7 (4), 443-467, 2008
662008
Model synchronization: mappings, tiles, and categories
Z Diskin
International Summer School on Generative and Transformational Techniques in …, 2009
602009
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
592000
Package merge in uml 2: Practice vs. theory?
A Zito, Z Diskin, J Dingel
International Conference on Model Driven Engineering Languages and Systems …, 2006
572006
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
552015
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
492014
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
462007
Intermodeling, queries, and kleisli categories
Z Diskin, T Maibaum, K Czarnecki
International Conference on Fundamental Approaches to Software Engineering …, 2012
422012
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
412010
Example-driven modeling: model= abstractions+ examples
K Bąk, D Zayan, K Czarnecki, M Antkiewicz, Z Diskin, A Wąsowski, ...
2013 35th International Conference on Software Engineering (ICSE), 1273-1276, 2013
402013
Mathematics of Generic Specifications for Model Management, II
Z Diskin
Encyclopedia of Database Technologies and Applications, 359-366, 2005
392005
BenchmarX Reloaded: A Practical Benchmark Framework for Bidirectional Transformations.
A Anjorin, Z Diskin, F Jouault, HS Ko, E Leblebici, B Westfechtel
BX@ ETAPS, 15-30, 2017
38*2017
Mapping-aware megamodeling: Design patterns and laws
Z Diskin, S Kokaly, T Maibaum
International Conference on Software Language Engineering, 322-343, 2013
372013
The system can't perform the operation now. Try again later.
Articles 1–20