Остановите войну!
for scientists:
default search action
Claudia Ermel
- > Home > Persons > Claudia Ermel
Publications
- 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 - 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) - [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
- [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) - [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 - 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) - [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
- [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) - [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) - [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 - 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) - [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 - [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
- [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 - 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) - [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
- [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) - 2003
- [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 - 2001
- [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]
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-04-25 02:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint