Folgen
Claudia Ermel
Titel
Zitiert von
Zitiert von
Jahr
The AGG approach: Language and environment
C Ermel, M Rudolf, G Taentzer
Handbook Of Graph Grammars And Computing By Graph Transformation: Volume 2 …, 1999
2431999
Information preserving bidirectional model transformations
H Ehrig, K Ehrig, C Ermel, F Hermann, G Taentzer
Fundamental Approaches to Software Engineering: 10th International …, 2007
1762007
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
1452005
Precise semantics of EMF model transformations by graph transformation
E Biermann, C Ermel, G Taentzer
Model Driven Engineering Languages and Systems: 11th International …, 2008
1172008
Formal foundation of consistent EMF model transformations by algebraic graph transformation
E Biermann, C Ermel, G Taentzer
Software & Systems Modeling 11, 227-250, 2012
932012
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
872014
Graph and Model Transformation
H Ehrig, C Ermel, U Golas, F Hermann
Monographs in Theoretical Computer Science. Springer, 2015
792015
Semantical correctness and completeness of model transformations using graph and rule transformation
H Ehrig, C Ermel
Graph Transformations: 4th International Conference, ICGT 2008, Leicester …, 2008
672008
On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars
H Ehrig, C Ermel, F Hermann, U Prange
Model Driven Engineering Languages and Systems: 12th International …, 2009
602009
Independence of net transformations and token firing in reconfigurable place/transition systems
H Ehrig, K Hoffmann, J Padberg, U Prange, C Ermel
Petri Nets and Other Models of Concurrency–ICATPN 2007: 28th International …, 2007
592007
AGG 2.0–new features for specifying and analyzing algebraic graph transformations
O Runge, C Ermel, G Taentzer
Applications of Graph Transformations with Industrial Relevance: 4th …, 2012
572012
Concurrent model synchronization with conflict resolution based on triple graph grammars
F Hermann, H Ehrig, C Ermel, F Orejas
Fundamental Approaches to Software Engineering: 15th International …, 2012
572012
Conflict detection for model versioning based on graph modifications
G Taentzer, C Ermel, P Langer, M Wimmer
Graph Transformations: 5th International Conference, ICGT 2010, Enschede …, 2010
552010
Formal analysis and verification of self-healing systems
H Ehrig, C Ermel, O Runge, A Bucchiarone, P Pelliccione
Fundamental Approaches to Software Engineering: 13th International …, 2010
492010
Rule-based refinement of high-level nets preserving safety properties
J Padberg, M Gajewsky, C Ermel
Lecture notes in computer science 1382, 221-238, 1998
461998
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
452005
Petri net transformations
H Ehrig, K Hoffmann, J Padberg, C Ermel, U Prange, E Biermann, ...
Petri Net, Theory and Applications, 2008
432008
Object oriented and rule-based design of visual languages using tiger
C Ermel, K Ehrig, G Taentzer, E Weiss
Electronic Communications of the EASST 1, 2007
402007
On the relationship of model transformations based on triple and plain graph grammars
H Ehrig, C Ermel, F Hermann
Proceedings of the third international workshop on Graph and model …, 2008
372008
A visual editor for reconfigurable object nets based on the ECLIPSE graphical editor framework
E Biermann, C Ermel, F Hermann, T Modica
Arbeitsberichte aus dem Arbeitsberichte aus dem Fachbereich Informatik, 2, 2007
372007
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20