Claudia Ermel
Orcid: 0000-0001-5448-7289
According to our database1,
Claudia Ermel
authored at least 81 papers
between 2000 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
2000
2002
2004
2006
2008
2010
2012
2014
2016
0
5
10
1
1
2
4
1
9
3
2
2
2
1
1
1
1
1
2
2
3
3
5
5
9
4
3
3
3
3
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2016
Proceedings of the 5th International Workshop on Bidirectional Transformations, 2016
2015
Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-662-47980-3, 2015
Local confluence analysis of hypergraph transformation systems with application conditions based on M-functors and Agg.
Sci. Comput. Program., 2015
Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation.
Proceedings of the Software, 2015
2014
A fundamental approach to model versioning based on graph modifications: from theory to implementation.
Softw. Syst. Model., 2014
Proceedings of the Theory and Practice of Model Transformations, 2014
2013
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
Comput., 2013
Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars.
Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), 2013
Towards Bidirectional Engineering of Satellite Control Procedures Using Triple Graph Grammars.
Proceedings of the 7th Workshop on Multi-Paradigm Modeling co-located with the 16th International Conference on Model Driven Engineering Languages and Systems, 2013
2012
Formal foundation of consistent EMF model transformations by algebraic graph transformation.
Softw. Syst. Model., 2012
Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012
Visual Modeling and Analysis of EMF Model Transformations Based on Triple Graph Grammars.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012
Proceedings of the First Workshop on the Analysis of Model Transformations, 2012
Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars.
Proceedings of the Fundamental Approaches to Software Engineering, 2012
2011
A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior.
Proceedings of the Fundamental Approaches to Software Engineering, 2011
A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications.
Proceedings of the Fundamental Approaches to Software Engineering, 2011
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011
2010
Int. J. Softw. Tools Technol. Transf., 2010
Formal Aspects Comput., 2010
Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
RONs Revisited: General Approach to Model Reconfigurable Object Nets based on Algebraic High-Level Nets.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Lifting Parallel Graph Transformation Concepts to Model Transformation based on the Eclipse Modeling Framework.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Proceedings of the Graph Transformations - 5th International Conference, 2010
Proceedings of the Fundamental Approaches to Software Engineering, 2010
Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation.
Proceedings of the Graph Transformations and Model-Driven Engineering, 2010
2009
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009
Visual Modelling and Analysis of Model Transformations based on Graph Transformation.
Bull. EATCS, 2009
Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation.
Bull. EATCS, 2009
Modeling multicasting in communication spaces by reconfigurable high-level Petri nets.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2009
On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars.
Proceedings of the Model Driven Engineering Languages and Systems, 2009
Generation of Simulation Views for Domain Specific Modeling Languages Based on the Eclipse Modeling Framework.
Proceedings of the ASE 2009, 2009
An Eclipse Framework for Rapid Development of Rich-featured GEF Editors based on EMF Models.
Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009
Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks.
Proceedings of the Fundamental Approaches to Software Engineering, 2009
2008
Preface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008).
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008
Flexible visualization of automatic simulation based on structured graph transformation.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2008
Proceedings of the Model Driven Engineering Languages and Systems, 2008
On the relationship of model transformations based on triple and plain graph grammars.
Proceedings of the Third International Workshop on Graph and Model Transformations, 2008
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation.
Proceedings of the Graph Transformations, 4th International Conference, 2008
Proceedings of the Fundamental Approaches to Software Engineering, 2008
2007
Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification, 2007
Model Transformations by Graph Transformation are Functors.
Bull. EATCS, 2007
Model Transformations should be Functors.
Bull. EATCS, 2007
Proceedings of the Fundamental Approaches to Software Engineering, 2007
Proceedings of the Fundamental Approaches to Software Engineering, 2007
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems.
Proceedings of the Petri Nets and Other Models of Concurrency, 2007
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007
2006
Simulation and animation of visual languages based on typed algebraic graph transformation.
PhD thesis, 2006
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006
2005
Proceedings of the International Workshop on Graph and Model Transformation, 2005
Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation.
Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005
Proceedings of the Formal Methods in Software and Systems Modeling, 2005
2004
Softw. Syst. Model., 2004
Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets.
Proceedings of the 2004 Workshop on Graph Transformation and Visual Modelling Techniques, 2004
Proceedings of the Workshop on Petri Nets and Graph Transformations, 2004
Proceedings of the Workshop on Visual Languages and Formal Methods, 2004
2003
Proceedings of the Petri Net Technology for Communication-Based Systems, 2003
Proceedings of the Petri Net Technology for Communication-Based Systems, 2003
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003
2002
Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2002
AGG and GenGED: Graph Transformation-Based Specification and Analysis Rechniques for Visual Languages.
Proceedings of the International Workshop on Graph-Based Tools, 2002
Proceedings of the Graph Transformation, First International Conference, 2002
2001
Sci. Comput. Program., 2001
Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2001
Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2001
Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«.
Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001
2000
Proceedings of the 14th Brazilian Symposium on Software Engineering, 2000
Rule-Based and Visual Model Evolution using GENGED.
Proceedings of the ICALP Workshops 2000, 2000