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
https://portal.mardi4nfdi.de/entity/Q2848076	2013-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q2847842	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
https://portal.mardi4nfdi.de/entity/Q3656207	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Claudia Ermel