Claudia Ermel

Available identifiers

zbMath Open ermel.claudiaMaRDI QIDQ973048

List of research outcomes

Publication	Date of Publication	Type
Graph and model transformation. General framework and applications	2016-02-09	Paper
Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation	2015-06-22	Paper
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations	2014-03-26	Paper
Confluence in data reduction: bridging graph transformation and kernelization	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	2013-05-24	Paper
Confluence in data reduction: bridging graph transformation and kernelization	2012-08-14	Paper
Generation of animation views for Petri nets in GenGED	2011-04-08	Paper
Parallel independence of amalgamated graph transformations applied to model transformation	2010-11-26	Paper
Conflict detection for model versioning based on graph modifications	2010-10-04	Paper
Consistent integration of models based on views of meta models	2010-05-28	Paper
Visual modelling and analysis of model transformations based on graph transformation	2010-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q3396616	2009-09-19	Paper
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems	2009-03-11	Paper
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation	2008-11-20	Paper
Formal Methods in Software and Systems Modeling	2005-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q4438763	2003-12-10	Paper
Rule-based refinement of high-level nets preserving safety properties	2001-10-07	Paper

Research outcomes over time

This page was built for person: Claudia Ermel