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 | 171 | 2011 |

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 | 124 | 2006 |

Algebraic models for bidirectional model synchronization Z Diskin International Conference on Model Driven Engineering Languages and Systems …, 2008 | 90 | 2008 |

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 | 79 | 2016 |

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 | 78 | 2011 |

A diagrammatic logic for object-oriented visual modeling Z Diskin, U Wolter Electronic Notes in Theoretical Computer Science 203 (6), 19-41, 2008 | 73 | 2008 |

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 | 71 | 2010 |

Understanding and improving UML package merge J Dingel, Z Diskin, A Zito Software & Systems Modeling 7 (4), 443-467, 2008 | 65 | 2008 |

Model synchronization: mappings, tiles, and categories Z Diskin International Summer School on Generative and Transformational Techniques in …, 2009 | 60 | 2009 |

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 | 58 | 2000 |

Package merge in uml 2: Practice vs. theory? A Zito, Z Diskin, J Dingel International Conference on Model Driven Engineering Languages and Systems …, 2006 | 57 | 2006 |

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 | 53 | 2015 |

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 | 48 | 2014 |

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 | 45 | 2007 |

Intermodeling, queries, and kleisli categories Z Diskin, T Maibaum, K Czarnecki International Conference on Fundamental Approaches to Software Engineering …, 2012 | 42 | 2012 |

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 | 41 | 2013 |

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 | 40 | 2010 |

Mathematics of Generic Specifications for Model Management, II Z Diskin Encyclopedia of Database Technologies and Applications, 359-366, 2005 | 38 | 2005 |

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 | 37* | 2017 |

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 | 37 | 2003 |