Claudia Ermel
TitelZitiert vonJahr
The AGG approach: Language and environment
C Ermel, M Rudolf, G Taentzer
Handbook Of Graph Grammars And Computing By Graph Transformation: Volume 2 …, 1999
2111999
Information preserving bidirectional model transformations
H Ehrig, K Ehrig, C Ermel, F Hermann, G Taentzer
International Conference on Fundamental Approaches to Software Engineering …, 2007
1492007
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
1292005
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
992008
Semantical correctness and completeness of model transformations using graph and rule transformation
H Ehrig, C Ermel
International Conference on Graph Transformation, 194-210, 2008
542008
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
522014
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
492009
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
482012
Verifying model transformations by structural correspondence
A Narayanan, G Karsai
Electronic Communications of the EASST 10, 2008
452008
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
452007
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
441998
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
432010
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
392005
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
372010
Petri net transformations
H Ehrig, K Hoffmann, J Padberg, C Ermel, U Prange, E Biermann, ...
Petri Net, Theory and Applications, 2008
372008
The GP programming system
G Manning, D Plump
Electronic Communications of the EASST 10, 2008
342008
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
342007
Simulation and animation of visual languages based on typed algebraic graph transformation
C Ermel
Books on Demand, 2006
342006
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
332007
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
32*2011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20