The AGG approach: Language and environment C Ermel, M Rudolf, G Taentzer Handbook Of Graph Grammars And Computing By Graph Transformation: Volume 2 …, 1999 | 220 | 1999 |
Information preserving bidirectional model transformations H Ehrig, K Ehrig, C Ermel, F Hermann, G Taentzer International Conference on Fundamental Approaches to Software Engineering …, 2007 | 162 | 2007 |
Generation of visual editors as eclipse plug-ins K Ehrig, C Ermel, S Hänsgen, G Taentzer Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005 | 141 | 2005 |
Precise semantics of EMF model transformations by graph transformation E Biermann, C Ermel, G Taentzer International Conference on Model Driven Engineering Languages and Systems …, 2008 | 109 | 2008 |
Formal foundation of consistent EMF model transformations by algebraic graph transformation E Biermann, C Ermel, G Taentzer Software & Systems Modeling 11 (2), 227-250, 2012 | 78 | 2012 |
A fundamental approach to model versioning based on graph modifications: from theory to implementation G Taentzer, C Ermel, P Langer, M Wimmer Software & Systems Modeling 13 (1), 239-272, 2014 | 67 | 2014 |
Semantical correctness and completeness of model transformations using graph and rule transformation H Ehrig, C Ermel International Conference on Graph Transformation, 194-210, 2008 | 63 | 2008 |
Graph and Model Transformation H Ehrig, C Ermel, U Golas, F Hermann Monographs in Theoretical Computer Science. Springer, 2015 | 53 | 2015 |
On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars H Ehrig, C Ermel, F Hermann, U Prange International Conference on Model Driven Engineering Languages and Systems …, 2009 | 52 | 2009 |
Independence of net transformations and token firing in reconfigurable place/transition systems H Ehrig, K Hoffmann, J Padberg, U Prange, C Ermel International Conference on Application and Theory of Petri Nets, 104-123, 2007 | 50 | 2007 |
Formal analysis and verification of self-healing systems H Ehrig, C Ermel, O Runge, A Bucchiarone, P Pelliccione International Conference on Fundamental Approaches to Software Engineering …, 2010 | 46 | 2010 |
Verifying model transformations by structural correspondence A Narayanan, G Karsai Electronic Communications of the EASST 10, 2008 | 46 | 2008 |
Conflict detection for model versioning based on graph modifications G Taentzer, C Ermel, P Langer, M Wimmer International Conference on Graph Transformation, 171-186, 2010 | 45 | 2010 |
Animated simulation of integrated UML behavioral models based on graph transformation C Ermel, K Holscher, S Kuske, P Ziemann 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2005 | 43 | 2005 |
Rule-based refinement of high-level nets preserving safety properties J Padberg, M Gajewsky, C Ermel International Conference on Fundamental Approaches to Software Engineering …, 1998 | 43 | 1998 |
Concurrent model synchronization with conflict resolution based on triple graph grammars F Hermann, H Ehrig, C Ermel, F Orejas International Conference on Fundamental Approaches to Software Engineering …, 2012 | 42 | 2012 |
The GP programming system G Manning, D Plump Electronic Communications of the EASST 10, 2008 | 42 | 2008 |
AGG 2.0–new features for specifying and analyzing algebraic graph transformations O Runge, C Ermel, G Taentzer International Symposium on Applications of Graph Transformations with …, 2011 | 41 | 2011 |
Petri net transformations H Ehrig, K Hoffmann, J Padberg, C Ermel, U Prange, E Biermann, ... Petri Net, Theory and Applications, 2008 | 40 | 2008 |
Formal specification of model transformations by triple graph grammars with application conditions U Golas, H Ehrig, F Herrmann Electronic Communications of the EASST 39, 2011 | 39* | 2011 |