Esther Guerra

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
Introduction to the special collection from FASE 2021 Formal Aspects of Computing	2024-09-27	Paper
Lifted structural invariant analysis of Petri net product lines Journal of Logical and Algebraic Methods in Programming	2022-11-16	Paper
Multi-level model product lines. Open and closed variability for modelling language families Fundamental Approaches to Software Engineering	2022-10-13	Paper
Language family engineering with product lines of multi-level models Formal Aspects of Computing	2022-01-11	Paper
Extensible structural analysis of Petri net product lines	2021-06-14	Paper
Pattern-based rewriting through abstraction Fundamenta Informaticae	2017-03-16	Paper
A formalisation of deep metamodelling Formal Aspects of Computing	2016-08-05	Paper
Towards the flexible reuse of model transformations: a formal approach based on graph transformation Journal of Logical and Algebraic Methods in Programming	2014-10-23	Paper
Correctness, completeness and termination of pattern-based model-to-model transformation Algebra and Coalgebra in Computer Science	2012-06-01	Paper
An algebraic semantics for QVT-relations check-only transformations Fundamenta Informaticae	2012-05-04	Paper
Controlling reuse in pattern-based model-to-model transformations Lecture Notes in Computer Science	2010-11-26	Paper
Graph transformation for domain-specific discrete event time simulation Lecture Notes in Computer Science	2010-10-04	Paper
Model View Management with Triple Graph Transformation Systems Lecture Notes in Computer Science	2008-11-27	Paper
Pattern-Based Model-to-Model Transformation Lecture Notes in Computer Science	2008-11-20	Paper
Pattern-Based Model-to-Model Transformation Lecture Notes in Computer Science	2008-11-20	Paper
Graph Transformations Lecture Notes in Computer Science	2007-06-21	Paper

Research outcomes over time

This page was built for person: Esther Guerra