Claudia Ermel

ORCID

Publication Activity (10 Years)

Years Active: 1998-2016
Publications (10 Years): 1

Top Venues

Software, Services, and Systems

Sci. Comput. Program.

Softw. Syst. Model.

Bx@ETAPS

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Susann Gottmann, Nico Nachtigall, Claudia Ermel, Frank Hermann, Thomas Engel
Towards the Propagation of Model Updates along different Views in Multi-View Models. Bx@ETAPS (2016)
Maria Maximova, Hartmut Ehrig, Claudia Ermel
Local confluence analysis of hypergraph transformation systems with application conditions based on M-functors and Agg. Sci. Comput. Program. 104 (2015)
Antonio Bucchiarone, Hartmut Ehrig, Claudia Ermel, Patrizio Pelliccione, Olga Runge
Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation. Software, Services, and Systems (2015)
Frank Hermann, Susann Gottmann, Nico Nachtigall, Hartmut Ehrig, Benjamin Braatz, Gianluigi Morelli, Alain Pierre, Thomas Engel, Claudia Ermel
Triple Graph Grammars in the Large for Translating Satellite Procedures. ICMT (2014)
Gabriele Taentzer, Claudia Ermel, Philip Langer, Manuel Wimmer
A fundamental approach to model versioning based on graph modifications: from theory to implementation. Softw. Syst. Model. 13 (1) (2014)
Susann Gottmann, Frank Hermann, Nico Nachtigall, Benjamin Braatz, Claudia Ermel, Hartmut Ehrig, Thomas Engel
Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars. AMT@MoDELS (2013)
Maria Maximova, Hartmut Ehrig, Claudia Ermel
Analysis of Hypergraph Transformation Systems in AGG based on M-Functors. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 58 (2013)
Hartmut Ehrig, Claudia Ermel, Falk Hüffner, Rolf Niedermeier, Olga Runge
Confluence in Data Reduction: Bridging Graph Transformation and Kernelization. Comput. 2 (1) (2013)
Susann Gottmann, Frank Hermann, Claudia Ermel, Thomas Engel, Gianluigi Morelli
Towards Bidirectional Engineering of Satellite Control Procedures Using Triple Graph Grammars. MPM@MoDELS (2013)
Maria Maximova, Hartmut Ehrig, Claudia Ermel
Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 51 (2012)
Frank Hermann, Hartmut Ehrig, Claudia Ermel, Fernando Orejas
Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. FASE (2012)
Claudia Ermel, Frank Hermann, Jürgen Gall, Daniel Binanzer
Visual Modeling and Analysis of EMF Model Transformations Based on Triple Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 54 (2012)
Gabriele Taentzer, Thorsten Arendt, Claudia Ermel, Reiko Heckel
Towards refactoring of rule-based, in-place model transformation systems. AMT@MoDELS (2012)
Hartmut Ehrig, Claudia Ermel, Falk Hüffner, Rolf Niedermeier, Olga Runge
Confluence in Data Reduction: Bridging Graph Transformation and Kernelization. CiE (2012)
Karsten Gabriel, Pascal Lingnau, Claudia Ermel
Algebraic Approach to Timed Petri Nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 47 (2012)
Enrico Biermann, Claudia Ermel, Gabriele Taentzer
Formal foundation of consistent EMF model transformations by algebraic graph transformation. Softw. Syst. Model. 11 (2) (2012)
Hartmut Ehrig, Claudia Ermel, Gabriele Taentzer
A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications. FASE (2011)
Ulrike Golas, Enrico Biermann, Hartmut Ehrig, Claudia Ermel
A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 39 (2011)
Claudia Ermel, Jürgen Gall, Leen Lambers, Gabriele Taentzer
Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior. FASE (2011)
Olga Runge, Claudia Ermel, Gabriele Taentzer
AGG 2.0 - New Features for Specifying and Analyzing Algebraic Graph Transformations. AGTIVE (2011)
Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange
Consistent integration of models based on views of meta models. Formal Aspects Comput. 22 (3-4) (2010)
Claudia Ermel, Kathrin Hoffmann
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 40 (2010)
Enrico Biermann, Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Gabriele Taentzer
Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation. Graph Transformations and Model-Driven Engineering (2010)
Hartmut Ehrig, Claudia Ermel, Olga Runge, Antonio Bucchiarone, Patrizio Pelliccione
Formal Analysis and Verification of Self-Healing Systems. FASE (2010)
Claudia Ermel, Sarkaft Shareef, Winzent Fischer
RONs Revisited: General Approach to Model Reconfigurable Object Nets based on Algebraic High-Level Nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 40 (2010)
Gabriele Taentzer, Claudia Ermel, Philip Langer, Manuel Wimmer
Conflict Detection for Model Versioning Based on Graph Modifications. ICGT (2010)
Enrico Biermann, Claudia Ermel, Gabriele Taentzer
Lifting Parallel Graph Transformation Concepts to Model Transformation based on the Eclipse Modeling Framework. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26 (2010)
Claudia Ermel, Hartmut Ehrig, Fernando Orejas, Gabriele Taentzer
International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
Enrico Biermann, Claudia Ermel, Leen Lambers, Ulrike Prange, Olga Runge, Gabriele Taentzer
Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System. Int. J. Softw. Tools Technol. Transf. 12 (3-4) (2010)
Claudia Ermel, Enrico Biermann, Johann Schmidt, Angeline Warning
Visual Modeling of Controlled EMF Model Transformation using HENSHIN. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 32 (2010)
Claudia Ermel, Karsten Ehrig
Graph Modelling and Transformation: Theory meets Practice. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
Maria Maximova, Hartmut Ehrig, Claudia Ermel
Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 40 (2010)
Frank Hermann, Hartmut Ehrig, Claudia Ermel
Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks. FASE (2009)
Enrico Biermann, Karsten Ehrig, Claudia Ermel, Jonas Hurrelmann
Generation of Simulation Views for Domain Specific Modeling Languages Based on the Eclipse Modeling Framework. ASE (2009)
Hartmut Ehrig, Karsten Ehrig, Claudia Ermel
Refactoring of Model Transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 18 (2009)
Hartmut Ehrig, Claudia Ermel, Frank Hermann, Barbara König
Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation. Bull. EATCS 97 (2009)
Hartmut Ehrig, Claudia Ermel, Frank Hermann, Ulrike Prange
On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars. MoDELS (2009)
Tony Modica, Enrico Biermann, Claudia Ermel
An Eclipse Framework for Rapid Development of Rich-featured GEF Editors based on EMF Models. GI Jahrestagung (2009)
Claudia Ermel
Visual Modelling and Analysis of Model Transformations based on Graph Transformation. Bull. EATCS 99 (2009)
Claudia Ermel, Tony Modica, Enrico Biermann, Hartmut Ehrig, Kathrin Hoffmann
Modeling multicasting in communication spaces by reconfigurable high-level Petri nets. VL/HCC (2009)
Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange
Consistent Integration of Models Based on Views of Visual Languages. FASE (2008)
Enrico Biermann, Claudia Ermel, Gabriele Taentzer
Precise Semantics of EMF Model Transformations by Graph Transformation. MoDELS (2008)
Enrico Biermann, Claudia Ermel, Jonas Hurrelmann, Karsten Ehrig
Flexible visualization of automatic simulation based on structured graph transformation. VL/HCC (2008)
Hartmut Ehrig, Claudia Ermel, Frank Hermann
On the relationship of model transformations based on triple and plain graph grammars. GRaMoT@ICSE (2008)
Hartmut Ehrig, Claudia Ermel
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation. ICGT (2008)
Claudia Ermel, Juan de Lara, Reiko Heckel
Preface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008). Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
Enrico Biermann, Claudia Ermel, Tony Modica, Peggy Sylopp
Implementing Petri Net Transformations using Graph Transformation Tools. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 14 (2008)
Claudia Ermel, Hartmut Ehrig
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations. Electron. Notes Theor. Comput. Sci. 213 (1) (2008)
Claudia Ermel, Karsten Ehrig
Visualization, Simulation and Analysis of Reconfigurable Systems. AGTIVE (2007)
Don S. Batory, Oscar Díaz, Hartmut Ehrig, Claudia Ermel, Ulrike Prange, Gabriele Taentzer
Model Transformations should be Functors. Bull. EATCS 92 (2007)
Julia Padberg, Kathrin Hoffmann, Hartmut Ehrig, Tony Modica, Enrico Biermann, Claudia Ermel
Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks. FASE (2007)
Enrico Biermann, Karsten Ehrig, Claudia Ermel, Gabriele Taentzer
Generating Eclipse Editor Plug-Ins Using Tiger. AGTIVE (2007)
Arend Rensink, Alexander Dotor, Claudia Ermel, Stefan Jurack, Ole Kniemeyer, Juan de Lara, Sonja Maier, Tom Staijen, Albert Zündorf
Ludo: A Case Study for Graph Transformation Tools. AGTIVE (2007)
Gabriele Taentzer, André Crema, René Schmutzler, Claudia Ermel
Generating Domain-Specific Model Editors with Complex Editing Commands. AGTIVE (2007)
Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange
Model Transformations by Graph Transformation are Functors. Bull. EATCS 93 (2007)
Enrico Biermann, Karsten Ehrig, Claudia Ermel, Christian Köhler, Gabriele Taentzer
The EMF Model Transformation Framework. AGTIVE (2007)
Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems. ICATPN (2007)
Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann, Gabriele Taentzer
Information Preserving Bidirectional Model Transformations. FASE (2007)
Karsten Ehrig, Claudia Ermel, Stefan Hänsgen
Towards Model Transformation in Generated Eclipse Editor Plug-Ins. Electron. Notes Theor. Comput. Sci. 152 (2006)
Claudia Ermel, Karsten Ehrig, Gabriele Taentzer, Eduard Weiss
Object Oriented and Rule-based Design of Visual Languages using Tiger. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 1 (2006)
Claudia Ermel, Hartmut Ehrig, Karsten Ehrig
Semantical Correctness of Simulation-to-Animation Model and Rule Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 4 (2006)
Claudia Ermel, Karsten Hölscher, Sabine Kuske, Paul Ziemann
Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation. VL/HCC (2005)
Claudia Ermel, Karsten Ehrig
View Transformation in Visual Environments applied to Algebraic High-Level Nets. Electron. Notes Theor. Comput. Sci. 127 (2) (2005)
Karsten Ehrig, Claudia Ermel, Stefan Hänsgen, Gabriele Taentzer
Towards Graph Transformation Based Generation of Visual Editors Using Eclipse. Electron. Notes Theor. Comput. Sci. 127 (4) (2005)
Claudia Ermel, Gabriele Taentzer, Roswitha Bardohl
Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation. Formal Methods in Software and Systems Modeling (2005)
Karsten Ehrig, Claudia Ermel, Stefan Hänsgen, Gabriele Taentzer
Generation of visual editors as eclipse plug-ins. ASE (2005)
Claudia Ermel, Roswitha Bardohl
Scenario animation for visual behavior models: A generic approach. Softw. Syst. Model. 3 (2) (2004)
Juan de Lara Jaramillo, Claudia Ermel, Gabriele Taentzer, Karsten Ehrig
Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets. Electron. Notes Theor. Comput. Sci. 109 (2004)
Claudia Ermel, Roswitha Bardohl
Scenario Views for Visual Behavior Models in GenGED. Electron. Notes Theor. Comput. Sci. 72 (3) (2003)
Claudia Ermel, Roswitha Bardohl, Hartmut Ehrig
Generation of Animation Views for Petri Nets in GenGED. Petri Net Technology for Communication-Based Systems (2003)
Herbert Weber, Hartmut Ehrig, Wolfgang Reisig, Alexander Borusan, Sabine Lembke, Juliane Dehnert, Michael Weber, Axel Martens, Julia Padberg, Claudia Ermel, Anilda Qemali
The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY. Petri Net Technology for Communication-Based Systems (2003)
Roswitha Bardohl, Claudia Ermel, Ingo Weinhold
GenGED - A Visual Definition Tool for Visual Modeling Environments. AGTIVE (2003)
Roswitha Bardohl, Claudia Ermel, Ingo Weinhold
AGG and GenGED: Graph Transformation-Based Specification and Analysis Rechniques for Visual Languages. Electron. Notes Theor. Comput. Sci. 72 (2) (2002)
Roswitha Bardohl, Claudia Ermel, Julia Padberg
Transforming Specification Architectures by GenGED. ICGT (2002)
Hartmut Ehrig, Claudia Ermel, Julia Padberg
Preface. Electron. Notes Theor. Comput. Sci. 44 (4) (2001)
Claudia Ermel, Michael Weber
Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«. Unifying Petri Nets (2001)
Julia Padberg, Magdalena Gajewsky, Claudia Ermel
Rule-based refinement of high-level nets preserving safety properties. Sci. Comput. Program. 40 (1) (2001)
Claudia Ermel, Roswitha Bardohl, Julia Padberg
Visual Design of Software Architecture and Evolution based on Graph Transformation. Electron. Notes Theor. Comput. Sci. 44 (4) (2001)
Julia Padberg, Claudia Ermel, Roswitha Bardohl
Rule-Based and Visual Model Evolution using GENGED. ICALP Satellite Workshops (2000)
Roswitha Bardohl, Claudia Ermel, Leila Ribeiro
A Modular Approach to Animation of Simulation Models. SBES (2000)
Julia Padberg, Magdalena Gajewsky, Claudia Ermel
Rule-Based Refinement of High-Level Nets Preserving Safety Properties. FASE (1998)

Claudia Ermel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Claudia Ermel