Esther Guerra

Available identifiers

zbMath Open guerra.estherMaRDI QIDQ465490

List of research outcomes

Publication	Date of Publication	Type
Introduction to the special collection from FASE 2021	2024-09-27	Paper
Lifted structural invariant analysis of Petri net product lines	2022-11-16	Paper
Multi-level Model Product Lines	2022-10-13	Paper
Language family engineering with product lines of multi-level models	2022-01-11	Paper
Extensible structural analysis of Petri net product lines	2021-06-14	Paper
Pattern-based Rewriting through Abstraction	2017-03-16	Paper
A formalisation of deep metamodelling	2016-08-05	Paper
Towards the flexible reuse of model transformations: a formal approach based on graph transformation	2014-10-23	Paper
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation	2012-06-01	Paper
An algebraic semantics for QVT-relations check-only transformations	2012-05-04	Paper
Controlling Reuse in Pattern-Based Model-to-Model Transformations	2010-11-26	Paper
Graph Transformation for Domain-Specific Discrete Event Time Simulation	2010-10-04	Paper
Model View Management with Triple Graph Transformation Systems	2008-11-27	Paper
Pattern-Based Model-to-Model Transformation	2008-11-20	Paper
Graph Transformations	2007-06-21	Paper

Research outcomes over time

This page was built for person: Esther Guerra