Claudia Ermel - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2010

Modeling the "Ecore to GenModel" Transformation with EMF HenshinEnrico Biermann, Claudia Ermel, Stefan Jurack. TTC 2010:

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

2009

Generation of Simulation Views for Domain Specific Modeling Languages Based on the Eclipse Modeling FrameworkEnrico Biermann, Karsten Ehrig, Claudia Ermel, Jonas Hurrelmann. kbse 2009: 625-629 [doi]

On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph GrammarsHartmut Ehrig, Claudia Ermel, Frank Hermann, Ulrike Prange. MoDELS 2009: 241-255 [doi]

Modeling multicasting in communication spaces by reconfigurable high-level Petri netsClaudia Ermel, Tony Modica, Enrico Biermann, Hartmut Ehrig, Kathrin Hoffmann. vl 2009: 47-50 [doi]

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

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

2008

Flexible visualization of automatic simulation based on structured graph transformationEnrico Biermann, Claudia Ermel, Jonas Hurrelmann, Karsten Ehrig. vl 2008: 21-28 [doi]

Implementing Petri Net Transformations using Graph Transformation ToolsEnrico Biermann, Claudia Ermel, Tony Modica, Peggy Sylopp. eceasst, 14, 2008. [doi]

Precise Semantics of EMF Model Transformations by Graph TransformationEnrico Biermann, Claudia Ermel, Gabriele Taentzer. MoDELS 2008: 53-67 [doi]

Consistent Integration of Models Based on Views of Visual LanguagesHartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange. FASE 2008: 62-76 [doi]

Semantical Correctness and Completeness of Model Transformations Using Graph and Rule TransformationHartmut Ehrig, Claudia Ermel. gg 2008: 194-210 [doi]

Behavior-Preserving Simulation-to-Animation Model and Rule TransformationsClaudia Ermel, Hartmut Ehrig. ENTCS, 213(1):55-74, 2008. [doi]

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

2007

Generating Eclipse Editor Plug-Ins Using TigerEnrico Biermann, Karsten Ehrig, Claudia Ermel, Gabriele Taentzer. agtive 2008: 583-584 [doi]

The EMF Model Transformation FrameworkEnrico Biermann, Karsten Ehrig, Claudia Ermel, Christian Köhler, Gabriele Taentzer. agtive 2008: 566-567 [doi]

Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition SystemsHartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel. apn 2007: 104-123 [doi]

Information Preserving Bidirectional Model TransformationsHartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann, Gabriele Taentzer. FASE 2007: 72-86 [doi]

Visualization, Simulation and Analysis of Reconfigurable SystemsClaudia Ermel, Karsten Ehrig. agtive 2008: 265-280 [doi]

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

Ludo: A Case Study for Graph Transformation ToolsArend Rensink, Alexander Dotor, Claudia Ermel, Stefan Jurack, Ole Kniemeyer, Juan de Lara, Sonja Maier, Tom Staijen, Albert Zündorf. agtive 2008: 493-513 [doi]

Generating Domain-Specific Model Editors with Complex Editing CommandsGabriele Taentzer, André Crema, René Schmutzler, Claudia Ermel. agtive 2008: 98-103 [doi]

2006

Towards Model Transformation in Generated Eclipse Editor Plug-InsKarsten Ehrig, Claudia Ermel, Stefan Hänsgen. ENTCS, 152:39-52, 2006. [doi]

Semantical Correctness of Simulation-to-Animation Model and Rule TransformationClaudia Ermel, Hartmut Ehrig, Karsten Ehrig. eceasst, 4, 2006. [doi]

Object Oriented and Rule-based Design of Visual Languages using TigerClaudia Ermel, Karsten Ehrig, Gabriele Taentzer, Eduard Weiss. eceasst, 1, 2006. [doi]

2005

2004

Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri NetsJuan de Lara Jaramillo, Claudia Ermel, Gabriele Taentzer, Karsten Ehrig. ENTCS, 109:17-29, 2004. [doi]

Scenario animation for visual behavior models: A generic approachClaudia Ermel, Roswitha Bardohl. SoSyM, 3(2):164-177, 2004. [doi]

2003

2002

Transforming Specification Architectures by GenGEDRoswitha Bardohl, Claudia Ermel, Julia Padberg. gg 2002: 30-44 [doi]

AGG and GenGED: Graph Transformation-Based Specification and Analysis Rechniques for Visual LanguagesRoswitha Bardohl, Claudia Ermel, Ingo Weinhold. ENTCS, 72(2), 2002. [doi]

2001

2000

Rule-Based and Visual Model Evolution using GENGEDJulia Padberg, Claudia Ermel, Roswitha Bardohl. icalp 2000: 467-476

1998

Rule-Based Refinement of High-Level Nets Preserving Safety PropertiesJulia Padberg, Magdalena Gajewsky, Claudia Ermel. FASE 1998: 221-238 [doi]