Claudia Ermel

Generation of visual editors as eclipse plug-ins

Karsten Ehrig, Claudia Ermel, Stefan Hänsgen et al. · 2005 · 71 citations

Computing, Computer Science, Programming Languages +13

Formal foundation of consistent EMF model transformations by algebraic graph transformation

Enrico Biermann, Claudia Ermel, Gabriele Taentzer · Software & Systems Modeling · 2011 · 70 citations

Engineering, Information Systems, Formal Methods +15

A fundamental approach to model versioning based on graph modifications: from theory to implementation

Gabriele Taentzer, Claudia Ermel, Philip Langer et al. · Software & Systems Modeling · 2012 · 63 citations

Computing, Computer Science, Fault Tolerance +13

Rule-based refinement of high-level nets preserving safety properties

Julia Padberg, M. Gajewsky, Claudia Ermel · Science of Computer Programming · 2001 · 38 citations

Engineering, Systems Engineering, Formal Methods +14

Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets

Juan de Lara, Claudia Ermel, Gabriele Taentzer et al. · Electronic Notes in Theoretical Computer Science · 2004 · 26 citations · Full text

Computing, Computer Systems, Parallel Computing +15