Claudia Ermel

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Graph and model transformation. General framework and applications Monographs in Theoretical Computer Science. An EATCS Series	2016-02-09	Paper
Rule-based modeling and static analysis of self-adaptive systems by graph transformation Software, Services, and Systems	2015-06-22	Paper
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations Electronic Notes in Theoretical Computer Science	2014-03-26	Paper
Confluence in data reduction: bridging graph transformation and kernelization Computability	2013-10-10	Paper
View transformation in visual environments applied to algebraic high-level nets	2013-09-25	Paper
Parallel graph transformation for model simulation applied to timed transition Petri nets	2013-09-11	Paper
Visual design of software architecture and evolution based on graph transformation Electronic Notes in Theoretical Computer Science	2013-05-24	Paper
Confluence in data reduction: bridging graph transformation and kernelization Lecture Notes in Computer Science	2012-08-14	Paper
Generation of animation views for Petri nets in GenGED Petri Net Technology for Communication-Based Systems	2011-04-08	Paper
Parallel independence of amalgamated graph transformations applied to model transformation Lecture Notes in Computer Science	2010-11-26	Paper
Conflict detection for model versioning based on graph modifications Lecture Notes in Computer Science	2010-10-04	Paper
Consistent integration of models based on views of meta models Formal Aspects of Computing	2010-05-28	Paper
Visual modelling and analysis of model transformations based on graph transformation	2010-01-13	Paper
scientific article; zbMATH DE number 5605118 (Why is no real title available?)	2009-09-19	Paper
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems Petri Nets and Other Models of Concurrency – ICATPN 2007	2009-03-11	Paper
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation Lecture Notes in Computer Science	2008-11-20	Paper
Formal Methods in Software and Systems Modeling Lecture Notes in Computer Science	2005-12-02	Paper
scientific article; zbMATH DE number 2016065 (Why is no real title available?)	2003-12-10	Paper
Rule-based refinement of high-level nets preserving safety properties Science of Computer Programming	2001-10-07	Paper

Research outcomes over time

This page was built for person: Claudia Ermel