Claudia Ermel

Karsten Gabriel, Pascal Lingnau, Claudia Ermel: Algebraic Approach to Timed Petri Nets. ECEASST 47 (2012)

Maria Maximova, Hartmut Ehrig, Claudia Ermel: Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors. ECEASST 51 (2012)

Claudia Ermel, Frank Hermann, Jürgen Gall, Daniel Binanzer: Visual Modeling and Analysis of EMF Model Transformations Based on Triple Graph Grammars. ECEASST 54 (2012)

Enrico Biermann, Claudia Ermel, Gabriele Taentzer: Formal foundation of consistent EMF model transformations by algebraic graph transformation. Software and System Modeling 11(2): 227-250 (2012)

Hartmut Ehrig, Claudia Ermel, Falk Hüffner, Rolf Niedermeier, Olga Runge: Confluence in Data Reduction: Bridging Graph Transformation and Kernelization. CiE 2012: 193-202

Frank Hermann, Hartmut Ehrig, Claudia Ermel, Fernando Orejas: Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. FASE 2012: 178-193

Ulrike Golas, Enrico Biermann, Hartmut Ehrig, Claudia Ermel: A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation. ECEASST 39 (2011)

Olga Runge, Claudia Ermel, Gabriele Taentzer: AGG 2.0 - New Features for Specifying and Analyzing Algebraic Graph Transformations. AGTIVE 2011: 81-88

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: 156-170

Hartmut Ehrig, Claudia Ermel, Gabriele Taentzer: A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications. FASE 2011: 202-216

Enrico Biermann, Claudia Ermel, Gabriele Taentzer: Lifting Parallel Graph Transformation Concepts to Model Transformation based on the Eclipse Modeling Framework. ECEASST 26 (2010)

Claudia Ermel, Karsten Ehrig: Graph Modelling and Transformation: Theory meets Practice. ECEASST 30 (2010)

Claudia Ermel, Hartmut Ehrig, Fernando Orejas, Gabriele Taentzer: International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface. ECEASST 30 (2010)

Claudia Ermel, Enrico Biermann, Johann Schmidt, Angeline Warning: Visual Modeling of Controlled EMF Model Transformation using HENSHIN. ECEASST 32 (2010)

Claudia Ermel, Kathrin Hoffmann: Preface. ECEASST 40 (2010)

Claudia Ermel, Sarkaft Shareef, Winzent Fischer: RONs Revisited: General Approach to Model Reconfigurable Object Nets based on Algebraic High-Level Nets. ECEASST 40 (2010)

Maria Maximova, Hartmut Ehrig, Claudia Ermel: Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories. ECEASST 40 (2010)

Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange: Consistent integration of models based on views of meta models. Formal Asp. Comput. 22(3-4): 327-344 (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. STTT 12(3-4): 245-261 (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: 121-140

Hartmut Ehrig, Claudia Ermel, Olga Runge, Antonio Bucchiarone, Patrizio Pelliccione: Formal Analysis and Verification of Self-Healing Systems. FASE 2010: 139-153

Gabriele Taentzer, Claudia Ermel, Philip Langer, Manuel Wimmer: Conflict Detection for Model Versioning Based on Graph Modifications. ICGT 2010: 171-186

Hartmut Ehrig, Claudia Ermel, Frank Hermann, Barbara König: Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation. Bulletin of the EATCS 97: 117-125 (2009)

Claudia Ermel: Visual Modelling and Analysis of Model Transformations based on Graph Transformation. Bulletin of the EATCS 99: 135-152 (2009)

Hartmut Ehrig, Karsten Ehrig, Claudia Ermel: Refactoring of Model Transformations. ECEASST 18 (2009)

Frank Hermann, Hartmut Ehrig, Claudia Ermel: Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks. FASE 2009: 325-339

Tony Modica, Enrico Biermann, Claudia Ermel: An Eclipse Framework for Rapid Development of Rich-featured GEF Editors based on EMF Models. GI Jahrestagung 2009: 2972-2985

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: 625-629

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: 241-255

Claudia Ermel, Tony Modica, Enrico Biermann, Hartmut Ehrig, Kathrin Hoffmann: Modeling multicasting in communication spaces by reconfigurable high-level Petri nets. VL/HCC 2009: 47-50

Claudia Ermel, Juan de Lara, Reiko Heckel: Preface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008). ECEASST 10 (2008)

Enrico Biermann, Claudia Ermel, Tony Modica, Peggy Sylopp: Implementing Petri Net Transformations using Graph Transformation Tools. ECEASST 14 (2008)

Claudia Ermel, Hartmut Ehrig: Behavior-Preserving Simulation-to-Animation Model and Rule Transformations. Electr. Notes Theor. Comput. Sci. 213(1): 55-74 (2008)

Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange: Consistent Integration of Models Based on Views of Visual Languages. FASE 2008: 62-76

Hartmut Ehrig, Claudia Ermel: Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation. ICGT 2008: 194-210

Enrico Biermann, Claudia Ermel, Gabriele Taentzer: Precise Semantics of EMF Model Transformations by Graph Transformation. MoDELS 2008: 53-67

Enrico Biermann, Claudia Ermel, Jonas Hurrelmann, Karsten Ehrig: Flexible visualization of automatic simulation based on structured graph transformation. VL/HCC 2008: 21-28

Don S. Batory, Oscar Díaz, Hartmut Ehrig, Claudia Ermel, Ulrike Prange, Gabriele Taentzer: Model Transformations should be Functors. Bulletin of the EATCS 92: 75-81 (2007)

Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange: Model Transformations by Graph Transformation are Functors. Bulletin of the EATCS 93: 134-142 (2007)

Gabriele Taentzer, André Crema, René Schmutzler, Claudia Ermel: Generating Domain-Specific Model Editors with Complex Editing Commands. AGTIVE 2007: 98-103

Claudia Ermel, Karsten Ehrig: Visualization, Simulation and Analysis of Reconfigurable Systems. AGTIVE 2007: 265-280

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: 493-513

Enrico Biermann, Karsten Ehrig, Claudia Ermel, Christian Köhler, Gabriele Taentzer: The EMF Model Transformation Framework. AGTIVE 2007: 566-567

Enrico Biermann, Karsten Ehrig, Claudia Ermel, Gabriele Taentzer: Generating Eclipse Editor Plug-Ins Using Tiger. AGTIVE 2007: 583-584

Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel: Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems. ICATPN 2007: 104-123

Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann, Gabriele Taentzer: Information Preserving Bidirectional Model Transformations. FASE 2007: 72-86

Julia Padberg, Kathrin Hoffmann, Hartmut Ehrig, Tony Modica, Enrico Biermann, Claudia Ermel: Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks. FASE 2007: 383-397

Claudia Ermel: Simulation and animation of visual languages based on typed algebraic graph transformation. Berlin Institute of Technology 2006, isbn 978-3-8334-6321-1, pp. 1-268

Claudia Ermel, Karsten Ehrig, Gabriele Taentzer, Eduard Weiss: Object Oriented and Rule-based Design of Visual Languages using Tiger. ECEASST 1 (2006)

Claudia Ermel, Hartmut Ehrig, Karsten Ehrig: Semantical Correctness of Simulation-to-Animation Model and Rule Transformation. ECEASST 4 (2006)

Karsten Ehrig, Claudia Ermel, Stefan Hänsgen: Towards Model Transformation in Generated Eclipse Editor Plug-Ins. Electr. Notes Theor. Comput. Sci. 152: 39-52 (2006)

Claudia Ermel, Karsten Ehrig: View Transformation in Visual Environments applied to Algebraic High-Level Nets. Electr. Notes Theor. Comput. Sci. 127(2): 61-86 (2005)

Karsten Ehrig, Claudia Ermel, Stefan Hänsgen, Gabriele Taentzer: Towards Graph Transformation Based Generation of Visual Editors Using Eclipse. Electr. Notes Theor. Comput. Sci. 127(4): 127-143 (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: 64-83

Karsten Ehrig, Claudia Ermel, Stefan Hänsgen, Gabriele Taentzer: Generation of visual editors as eclipse plug-ins. ASE 2005: 134-143

Claudia Ermel, Karsten Hölscher, Sabine Kuske, Paul Ziemann: Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation. VL/HCC 2005: 125-133

Juan de Lara Jaramillo, Claudia Ermel, Gabriele Taentzer, Karsten Ehrig: Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets. Electr. Notes Theor. Comput. Sci. 109: 17-29 (2004)

Claudia Ermel, Roswitha Bardohl: Scenario animation for visual behavior models: A generic approach. Software and System Modeling 3(2): 164-177 (2004)

Claudia Ermel, Roswitha Bardohl: Scenario Views for Visual Behavior Models in GenGED. Electr. Notes Theor. Comput. Sci. 72(3): 65-77 (2003)

Roswitha Bardohl, Claudia Ermel, Ingo Weinhold: GenGED - A Visual Definition Tool for Visual Modeling Environments. AGTIVE 2003: 413-419

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: 1-21

Claudia Ermel, Roswitha Bardohl, Hartmut Ehrig: Generation of Animation Views for Petri Nets in GenGED. Petri Net Technology for Communication-Based Systems 2003: 83-108

Roswitha Bardohl, Claudia Ermel, Ingo Weinhold: AGG and GenGED: Graph Transformation-Based Specification and Analysis Rechniques for Visual Languages. Electr. Notes Theor. Comput. Sci. 72(2): 14-24 (2002)

Roswitha Bardohl, Claudia Ermel, Julia Padberg: Transforming Specification Architectures by GenGED. ICGT 2002: 30-44

Claudia Ermel, Roswitha Bardohl, Julia Padberg: Visual Design of Software Architecture and Evolution based on Graph Transformation. Electr. Notes Theor. Comput. Sci. 44(4): 52-66 (2001)

Hartmut Ehrig, Claudia Ermel, Julia Padberg: Preface. Electr. Notes Theor. Comput. Sci. 44(4): 188-189 (2001)

Julia Padberg, Magdalena Gajewsky, Claudia Ermel: Rule-based refinement of high-level nets preserving safety properties. Sci. Comput. Program. 40(1): 97-118 (2001)

Claudia Ermel, Michael Weber: Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«. Unifying Petri Nets 2001: 79-102

Julia Padberg, Claudia Ermel, Roswitha Bardohl: Rule-Based and Visual Model Evolution using GENGED. ICALP Satellite Workshops 2000: 467-476

Julia Padberg, Magdalena Gajewsky, Claudia Ermel: Rule-Based Refinement of High-Level Nets Preserving Safety Properties. FASE 1998: 221-238