Claudia Ermel

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