From State- to Delta-Based Bidirectional Model Transformations: the Symmetric Case FO Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank ... MoDELS 2011, 2011 | 179* | 2011 |

From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case Z Diskin, Y Xiong, K Czarnecki J. Object Technology 10 (6), 1-25, 2011 | 179 | 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 | 129 | 2006 |

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

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

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

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

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

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

Model synchronization: Mappings, tiles, and categories Z Diskin International Summer School on Generative and Transformational Techniques in …, 2009 | 62 | 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 | 61 | 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 | 59 | 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 | 57 | 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 | 56 | 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 | 51 | 2007 |

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

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 | 44 | 2017 |

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

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

Mapping-aware megamodeling: Design patterns and laws Z Diskin, S Kokaly, T Maibaum International Conference on Software Language Engineering, 322-343, 2013 | 40 | 2013 |