default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDClaudia Ermel
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2016
[c52]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: 45-60- 2015
- [b2]Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann:
Graph and Model Transformation - General Framework and Applications. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2015, ISBN 978-3-662-47979-7, pp. 5-399 - [j29]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: 44-70 (2015) - [c51]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: 582-601 - [e2]Zhen Li, Claudia Ermel, Scott D. Fleming:
2015 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2015, Atlanta, GA, USA, October 18-22, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-7457-6 [contents] - 2014
- [j28]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): 239-272 (2014) - [c50]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: 122-137 - 2013
- [j27]Hartmut Ehrig, Claudia Ermel, Falk Hüffner, Rolf Niedermeier, Olga Runge:
Confluence in Data Reduction: Bridging Graph Transformation and Kernelization. Comput. 2(1): 31-49 (2013) - [j26]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) - [c49]Susann Gottmann, Frank Hermann, Claudia Ermel, Thomas Engel, Gianluigi Morelli:
Towards Bidirectional Engineering of Satellite Control Procedures Using Triple Graph Grammars. MPM@MoDELS 2013: 67-76 - [c48]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 - 2012
- [j25]Karsten Gabriel, Pascal Lingnau, Claudia Ermel:
Algebraic Approach to Timed Petri Nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 47 (2012) - [j24]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) - [j23]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) - [j22]Enrico Biermann, Claudia Ermel, Gabriele Taentzer:
Formal foundation of consistent EMF model transformations by algebraic graph transformation. Softw. Syst. Model. 11(2): 227-250 (2012) - [c47]Hartmut Ehrig, Claudia Ermel, Falk Hüffner, Rolf Niedermeier, Olga Runge:
Confluence in Data Reduction: Bridging Graph Transformation and Kernelization. CiE 2012: 193-202 - [c46]Frank Hermann, Hartmut Ehrig, Claudia Ermel, Fernando Orejas:
Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. FASE 2012: 178-193 - [c45]Gabriele Taentzer, Thorsten Arendt, Claudia Ermel, Reiko Heckel:
Towards refactoring of rule-based, in-place model transformation systems. AMT@MoDELS 2012: 41-46 - 2011
- [j21]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) - [c44]Olga Runge, Claudia Ermel, Gabriele Taentzer:
AGG 2.0 - New Features for Specifying and Analyzing Algebraic Graph Transformations. AGTIVE 2011: 81-88 - [c43]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 - [c42]Hartmut Ehrig, Claudia Ermel, Gabriele Taentzer:
A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications. FASE 2011: 202-216 - 2010
- [j20]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) - [j19]Claudia Ermel, Karsten Ehrig:
Graph Modelling and Transformation: Theory meets Practice. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010) - [j18]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) - [j17]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) - [j16]Claudia Ermel, Kathrin Hoffmann:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 40 (2010) - [j15]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) - [j14]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) - [j13]Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange:
Consistent integration of models based on views of meta models. Formal Aspects Comput. 22(3-4): 327-344 (2010) - [j12]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): 245-261 (2010) - [c41]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 - [c40]Hartmut Ehrig, Claudia Ermel, Olga Runge, Antonio Bucchiarone, Patrizio Pelliccione:
Formal Analysis and Verification of Self-Healing Systems. FASE 2010: 139-153 - [c39]Gabriele Taentzer, Claudia Ermel, Philip Langer, Manuel Wimmer:
Conflict Detection for Model Versioning Based on Graph Modifications. ICGT 2010: 171-186
2000 – 2009
- 2009
- [j11]Hartmut Ehrig, Claudia Ermel, Frank Hermann, Barbara König:
Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation. Bull. EATCS 97: 117-125 (2009) - [j10]Claudia Ermel:
Visual Modelling and Analysis of Model Transformations based on Graph Transformation. Bull. EATCS 99: 135-152 (2009) - [j9]Hartmut Ehrig, Karsten Ehrig, Claudia Ermel:
Refactoring of Model Transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 18 (2009) - [c38]Frank Hermann, Hartmut Ehrig, Claudia Ermel:
Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks. FASE 2009: 325-339 - [c37]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 - [c36]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 - [c35]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 - [c34]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 - 2008
- [j8]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) - [j7]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) - [c33]Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange:
Consistent Integration of Models Based on Views of Visual Languages. FASE 2008: 62-76 - [c32]Hartmut Ehrig, Claudia Ermel:
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation. ICGT 2008: 194-210 - [c31]Hartmut Ehrig, Claudia Ermel, Frank Hermann:
On the relationship of model transformations based on triple and plain graph grammars. GRaMoT@ICSE 2008: 9-16 - [c30]Enrico Biermann, Claudia Ermel, Gabriele Taentzer:
Precise Semantics of EMF Model Transformations by Graph Transformation. MoDELS 2008: 53-67 - [c29]Enrico Biermann, Claudia Ermel, Jonas Hurrelmann, Karsten Ehrig:
Flexible visualization of automatic simulation based on structured graph transformation. VL/HCC 2008: 21-28 - 2007
- [j6]Don S. Batory, Oscar Díaz, Hartmut Ehrig, Claudia Ermel, Ulrike Prange, Gabriele Taentzer:
Model Transformations should be Functors. Bull. EATCS 92: 75-81 (2007) - [j5]Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange:
Model Transformations by Graph Transformation are Functors. Bull. EATCS 93: 134-142 (2007) - [c28]Gabriele Taentzer, André Crema, René Schmutzler, Claudia Ermel:
Generating Domain-Specific Model Editors with Complex Editing Commands. AGTIVE 2007: 98-103 - [c27]Claudia Ermel, Karsten Ehrig:
Visualization, Simulation and Analysis of Reconfigurable Systems. AGTIVE 2007: 265-280 - [c26]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 - [c25]Enrico Biermann, Karsten Ehrig, Claudia Ermel, Christian Köhler, Gabriele Taentzer:
The EMF Model Transformation Framework. AGTIVE 2007: 566-567 - [c24]Enrico Biermann, Karsten Ehrig, Claudia Ermel, Gabriele Taentzer:
Generating Eclipse Editor Plug-Ins Using Tiger. AGTIVE 2007: 583-584 - [c23]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 - [c22]Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann, Gabriele Taentzer:
Information Preserving Bidirectional Model Transformations. FASE 2007: 72-86 - [c21]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 - [c20]Claudia Ermel, Hartmut Ehrig:
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations. GT-VC@CONCUR 2007: 55-74 - 2006
- [b1]Claudia Ermel:
Simulation and animation of visual languages based on typed algebraic graph transformation. Technical University of Berlin, Germany, Books on Demand GmbH 2006, ISBN 978-3-8334-6321-1, pp. 1-268 - [j4]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) - [j3]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) - 2005
- [c19]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 - [c18]Karsten Ehrig, Claudia Ermel, Stefan Hänsgen, Gabriele Taentzer:
Generation of visual editors as eclipse plug-ins. ASE 2005: 134-143 - [c17]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 - [c16]Karsten Ehrig, Claudia Ermel, Stefan Hänsgen:
Towards Model Transformation in Generated Eclipse Editor Plug-Ins. GRaMoT@GPCE 2005: 39-52 - 2004
- [j2]Claudia Ermel, Roswitha Bardohl:
Scenario animation for visual behavior models: A generic approach. Softw. Syst. Model. 3(2): 164-177 (2004) - [c15]Juan de Lara Jaramillo, Claudia Ermel, Gabriele Taentzer, Karsten Ehrig:
Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets. GT-VMT@ETAPS 2004: 17-29 - [c14]Claudia Ermel, Karsten Ehrig:
View Transformation in Visual Environments applied to Algebraic High-Level Nets. PNGT@ICGT 2004: 61-86 - [c13]Karsten Ehrig, Claudia Ermel, Stefan Hänsgen, Gabriele Taentzer:
Towards Graph Transformation Based Generation of Visual Editors Using Eclipse. VLFM 2004: 127-143 - 2003
- [c12]Roswitha Bardohl, Claudia Ermel, Ingo Weinhold:
GenGED - A Visual Definition Tool for Visual Modeling Environments. AGTIVE 2003: 413-419 - [c11]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 - [c10]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 - 2002
- [c9]Roswitha Bardohl, Claudia Ermel, Julia Padberg:
Transforming Specification Architectures by GenGED. ICGT 2002: 30-44 - [c8]Roswitha Bardohl, Claudia Ermel, Ingo Weinhold:
AGG and GenGED: Graph Transformation-Based Specification and Analysis Rechniques for Visual Languages. GraBaTs 2002: 14-24 - [c7]Claudia Ermel, Roswitha Bardohl:
Scenario Views for Visual Behavior Models in GenGED. GT-VMT@ICGT 2002: 65-77 - 2001
- [j1]Julia Padberg, Magdalena Gajewsky, Claudia Ermel:
Rule-based refinement of high-level nets preserving safety properties. Sci. Comput. Program. 40(1): 97-118 (2001) - [c6]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 - [c5]Claudia Ermel, Roswitha Bardohl, Julia Padberg:
Visual Design of Software Architecture and Evolution based on Graph Transformation. UNIGRA 2001: 52-66 - [c4]Hartmut Ehrig, Claudia Ermel, Julia Padberg:
Preface. UNIGRA 2001: 188-189 - [e1]Hartmut Ehrig, Claudia Ermel, Julia Padberg:
Uniform Approaches to Graphical Process Specification Techniques, UNIGRA 2001, a Satellite Event of ETAPS 2001, Genova, Italy, March 31 - April 1, 2001. Electronic Notes in Theoretical Computer Science 44(4), Elsevier 2001 [contents] - 2000
- [c3]Julia Padberg, Claudia Ermel, Roswitha Bardohl:
Rule-Based and Visual Model Evolution using GENGED. ICALP Satellite Workshops 2000: 467-476 - [c2]Roswitha Bardohl, Claudia Ermel, Leila Ribeiro:
A Modular Approach to Animation of Simulation Models. SBES 2000: 133-146
1990 – 1999
- 1998
- [c1]Julia Padberg, Magdalena Gajewsky, Claudia Ermel:
Rule-Based Refinement of High-Level Nets Preserving Safety Properties. FASE 1998: 221-238
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-16 00:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
