Claudia Ermel

According to our database, Claudia Ermel authored at least 81 papers between 2000 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2016

Towards the Propagation of Model Updates along different Views in Multi-View Models.

Susann Gottmann, Nico Nachtigall, Claudia Ermel, Frank Hermann, Thomas Engel

Proceedings of the 5th International Workshop on Bidirectional Transformations, 2016

2015

Graph and Model Transformation - General Framework and Applications

Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann

Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-662-47980-3, 2015

Local confluence analysis of hypergraph transformation systems with application conditions based on M-functors and Agg.

Maria Maximova, Hartmut Ehrig, Claudia Ermel

Sci. Comput. Program., 2015

Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation.

Antonio Bucchiarone, Hartmut Ehrig, Claudia Ermel, Patrizio Pelliccione, Olga Runge

Proceedings of the Software, 2015

2014

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

Gabriele Taentzer, Claudia Ermel, Philip Langer, Manuel Wimmer

Softw. Syst. Model., 2014

Triple Graph Grammars in the Large for Translating Satellite Procedures.

Frank Hermann, Susann Gottmann, Nico Nachtigall, Hartmut Ehrig, Benjamin Braatz, Gianluigi Morelli, Alain Pierre, Thomas Engel, Claudia Ermel

Proceedings of the Theory and Practice of Model Transformations, 2014

2013

Analysis of Hypergraph Transformation Systems in AGG based on M-Functors.

Maria Maximova, Hartmut Ehrig, Claudia Ermel

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Confluence in Data Reduction: Bridging Graph Transformation and Kernelization.

Hartmut Ehrig, Claudia Ermel, Falk Hüffner, Rolf Niedermeier, Olga Runge

Comput., 2013

Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars.

Susann Gottmann, Frank Hermann, Nico Nachtigall, Benjamin Braatz, Claudia Ermel, Hartmut Ehrig, Thomas Engel

Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), 2013

Towards Bidirectional Engineering of Satellite Control Procedures Using Triple Graph Grammars.

Susann Gottmann, Frank Hermann, Claudia Ermel, Thomas Engel, Gianluigi Morelli

Proceedings of the 7th Workshop on Multi-Paradigm Modeling co-located with the 16th International Conference on Model Driven Engineering Languages and Systems, 2013

2012

Formal foundation of consistent EMF model transformations by algebraic graph transformation.

Enrico Biermann, Claudia Ermel, Gabriele Taentzer

Softw. Syst. Model., 2012

Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors.

Maria Maximova, Hartmut Ehrig, Claudia Ermel

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Algebraic Approach to Timed Petri Nets.

Karsten Gabriel, Pascal Lingnau, Claudia Ermel

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Visual Modeling and Analysis of EMF Model Transformations Based on Triple Graph Grammars.

Claudia Ermel, Frank Hermann, Jürgen Gall, Daniel Binanzer

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Towards refactoring of rule-based, in-place model transformation systems.

Gabriele Taentzer, Thorsten Arendt, Claudia Ermel, Reiko Heckel

Proceedings of the First Workshop on the Analysis of Model Transformations, 2012

Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars.

Frank Hermann, Hartmut Ehrig, Claudia Ermel, Fernando Orejas

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation.

Ulrike Golas, Enrico Biermann, Hartmut Ehrig, Claudia Ermel

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior.

Claudia Ermel, Jürgen Gall, Leen Lambers, Gabriele Taentzer

Proceedings of the Fundamental Approaches to Software Engineering, 2011

A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications.

Hartmut Ehrig, Claudia Ermel, Gabriele Taentzer

Proceedings of the Fundamental Approaches to Software Engineering, 2011

AGG 2.0 - New Features for Specifying and Analyzing Algebraic Graph Transformations.

Olga Runge, Claudia Ermel, Gabriele Taentzer

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011

2010

Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System.

Enrico Biermann, Claudia Ermel, Leen Lambers, Ulrike Prange, Olga Runge, Gabriele Taentzer

Int. J. Softw. Tools Technol. Transf., 2010

Consistent integration of models based on views of meta models.

Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange

Formal Aspects Comput., 2010

Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories.

Maria Maximova, Hartmut Ehrig, Claudia Ermel

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

RONs Revisited: General Approach to Model Reconfigurable Object Nets based on Algebraic High-Level Nets.

Claudia Ermel, Sarkaft Shareef, Winzent Fischer

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Preface.

Claudia Ermel, Kathrin Hoffmann

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface.

Claudia Ermel, Hartmut Ehrig, Fernando Orejas, Gabriele Taentzer

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Graph Modelling and Transformation: Theory meets Practice.

Claudia Ermel, Karsten Ehrig

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Visual Modeling of Controlled EMF Model Transformation using HENSHIN.

Claudia Ermel, Enrico Biermann, Johann Schmidt, Angeline Warning

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Lifting Parallel Graph Transformation Concepts to Model Transformation based on the Eclipse Modeling Framework.

Enrico Biermann, Claudia Ermel, Gabriele Taentzer

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Conflict Detection for Model Versioning Based on Graph Modifications.

Gabriele Taentzer, Claudia Ermel, Philip Langer, Manuel Wimmer

Proceedings of the Graph Transformations - 5th International Conference, 2010

Formal Analysis and Verification of Self-Healing Systems.

Hartmut Ehrig, Claudia Ermel, Olga Runge, Antonio Bucchiarone, Patrizio Pelliccione

Proceedings of the Fundamental Approaches to Software Engineering, 2010

Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation.

Enrico Biermann, Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Gabriele Taentzer

Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

2009

Refactoring of Model Transformations.

Hartmut Ehrig, Karsten Ehrig, Claudia Ermel

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Visual Modelling and Analysis of Model Transformations based on Graph Transformation.

Claudia Ermel

Bull. EATCS, 2009

Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation.

Hartmut Ehrig, Claudia Ermel, Frank Hermann, Barbara König

Bull. EATCS, 2009

Modeling multicasting in communication spaces by reconfigurable high-level Petri nets.

Claudia Ermel, Tony Modica, Enrico Biermann, Hartmut Ehrig, Kathrin Hoffmann

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2009

On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars.

Hartmut Ehrig, Claudia Ermel, Frank Hermann, Ulrike Prange

Proceedings of the Model Driven Engineering Languages and Systems, 2009

Generation of Simulation Views for Domain Specific Modeling Languages Based on the Eclipse Modeling Framework.

Enrico Biermann, Karsten Ehrig, Claudia Ermel, Jonas Hurrelmann

Proceedings of the ASE 2009, 2009

An Eclipse Framework for Rapid Development of Rich-featured GEF Editors based on EMF Models.

Tony Modica, Enrico Biermann, Claudia Ermel

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks.

Frank Hermann, Hartmut Ehrig, Claudia Ermel

Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008

Preface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008).

Claudia Ermel, Juan de Lara, Reiko Heckel

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Implementing Petri Net Transformations using Graph Transformation Tools.

Enrico Biermann, Claudia Ermel, Tony Modica, Peggy Sylopp

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Flexible visualization of automatic simulation based on structured graph transformation.

Enrico Biermann, Claudia Ermel, Jonas Hurrelmann, Karsten Ehrig

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2008

Precise Semantics of EMF Model Transformations by Graph Transformation.

Enrico Biermann, Claudia Ermel, Gabriele Taentzer

Proceedings of the Model Driven Engineering Languages and Systems, 2008

On the relationship of model transformations based on triple and plain graph grammars.

Hartmut Ehrig, Claudia Ermel, Frank Hermann

Proceedings of the Third International Workshop on Graph and Model Transformations, 2008

Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation.

Hartmut Ehrig, Claudia Ermel

Proceedings of the Graph Transformations, 4th International Conference, 2008

Consistent Integration of Models Based on Views of Visual Languages.

Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange

Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007

Behavior-Preserving Simulation-to-Animation Model and Rule Transformations.

Claudia Ermel, Hartmut Ehrig

Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification, 2007

Model Transformations by Graph Transformation are Functors.

Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange

Bull. EATCS, 2007

Model Transformations should be Functors.

Don S. Batory, Oscar Díaz, Hartmut Ehrig, Claudia Ermel, Ulrike Prange, Gabriele Taentzer

Bull. EATCS, 2007

Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks.

Julia Padberg, Kathrin Hoffmann, Hartmut Ehrig, Tony Modica, Enrico Biermann, Claudia Ermel

Proceedings of the Fundamental Approaches to Software Engineering, 2007

Information Preserving Bidirectional Model Transformations.

Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann, Gabriele Taentzer

Proceedings of the Fundamental Approaches to Software Engineering, 2007

Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems.

Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

Generating Domain-Specific Model Editors with Complex Editing Commands.

Gabriele Taentzer, André Crema, René Schmutzler, Claudia Ermel

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

Ludo: A Case Study for Graph Transformation Tools.

Arend Rensink, Alexander Dotor, Claudia Ermel, Stefan Jurack, Ole Kniemeyer, Juan de Lara, Sonja Maier, Tom Staijen, Albert Zündorf

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

Visualization, Simulation and Analysis of Reconfigurable Systems.

Claudia Ermel, Karsten Ehrig

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

Generating Eclipse Editor Plug-Ins Using Tiger.

Enrico Biermann, Karsten Ehrig, Claudia Ermel, Gabriele Taentzer

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

The EMF Model Transformation Framework.

Enrico Biermann, Karsten Ehrig, Claudia Ermel, Christian Köhler, Gabriele Taentzer

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006

Simulation and animation of visual languages based on typed algebraic graph transformation.

Claudia Ermel

PhD thesis, 2006

Object Oriented and Rule-based Design of Visual Languages using Tiger.

Claudia Ermel, Karsten Ehrig, Gabriele Taentzer, Eduard Weiss

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Semantical Correctness of Simulation-to-Animation Model and Rule Transformation.

Claudia Ermel, Hartmut Ehrig, Karsten Ehrig

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

2005

Towards Model Transformation in Generated Eclipse Editor Plug-Ins.

Karsten Ehrig, Claudia Ermel, Stefan Hänsgen

Proceedings of the International Workshop on Graph and Model Transformation, 2005

Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation.

Claudia Ermel, Karsten Hölscher, Sabine Kuske, Paul Ziemann

Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005

Generation of visual editors as eclipse plug-ins.

Karsten Ehrig, Claudia Ermel, Stefan Hänsgen, Gabriele Taentzer

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation.

Claudia Ermel, Gabriele Taentzer, Roswitha Bardohl

Proceedings of the Formal Methods in Software and Systems Modeling, 2005

2004

Scenario animation for visual behavior models: A generic approach.

Claudia Ermel, Roswitha Bardohl

Softw. Syst. Model., 2004

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

Juan de Lara Jaramillo, Claudia Ermel, Gabriele Taentzer, Karsten Ehrig

Proceedings of the 2004 Workshop on Graph Transformation and Visual Modelling Techniques, 2004

View Transformation in Visual Environments applied to Algebraic High-Level Nets.

Claudia Ermel, Karsten Ehrig

Proceedings of the Workshop on Petri Nets and Graph Transformations, 2004

Towards Graph Transformation Based Generation of Visual Editors Using Eclipse.

Karsten Ehrig, Claudia Ermel, Stefan Hänsgen, Gabriele Taentzer

Proceedings of the Workshop on Visual Languages and Formal Methods, 2004

2003

The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY.

Herbert Weber, Hartmut Ehrig, Wolfgang Reisig, Alexander Borusan, Sabine Lembke, Juliane Dehnert, Michael Weber, Axel Martens, Julia Padberg, Claudia Ermel, Anilda Qemali

Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

Generation of Animation Views for Petri Nets in GenGED.

Claudia Ermel, Roswitha Bardohl, Hartmut Ehrig

Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

GenGED - A Visual Definition Tool for Visual Modeling Environments.

Roswitha Bardohl, Claudia Ermel, Ingo Weinhold

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003

2002

Scenario Views for Visual Behavior Models in GenGED.

Claudia Ermel, Roswitha Bardohl

Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2002

AGG and GenGED: Graph Transformation-Based Specification and Analysis Rechniques for Visual Languages.

Roswitha Bardohl, Claudia Ermel, Ingo Weinhold

Proceedings of the International Workshop on Graph-Based Tools, 2002

Transforming Specification Architectures by GenGED.

Roswitha Bardohl, Claudia Ermel, Julia Padberg

Proceedings of the Graph Transformation, First International Conference, 2002

2001

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

Julia Padberg, Magdalena Gajewsky, Claudia Ermel

Sci. Comput. Program., 2001

Visual Design of Software Architecture and Evolution based on Graph Transformation.

Claudia Ermel, Roswitha Bardohl, Julia Padberg

Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2001

Preface.

Hartmut Ehrig, Claudia Ermel, Julia Padberg

Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2001

Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«.

Claudia Ermel, Michael Weber

Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001

2000

A Modular Approach to Animation of Simulation Models.

Roswitha Bardohl, Claudia Ermel, Leila Ribeiro

Proceedings of the 14th Brazilian Symposium on Software Engineering, 2000

Rule-Based and Visual Model Evolution using GENGED.

Julia Padberg, Claudia Ermel, Roswitha Bardohl

Proceedings of the ICALP Workshops 2000, 2000