Juan de Lara

Available identifiers

zbMath Open de-lara.juanMaRDI QIDQ465489

List of research outcomes

Publication	Date of Publication	Type
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
Using matrix graph grammars for the analysis of behavioural specifications: sequential and parallel independence	2014-01-10	Paper
Parallel graph transformation for model simulation applied to timed transition Petri nets	2013-09-11	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
Automating the transformation-based analysis of visual languages	2010-05-28	Paper
Matrix Graph Grammars with Application Conditions	2010-05-25	Paper
A reformulation of matrix graph grammars with Boolean complexes	2010-03-26	Paper
Matrix Approach to Graph Transformation: Matching and Sequences	2008-11-27	Paper
Model View Management with Triple Graph Transformation Systems	2008-11-27	Paper
Pattern-Based Model-to-Model Transformation	2008-11-20	Paper
Fundamental Approaches to Software Engineering	2007-11-28	Paper
Graph Transformations	2007-06-21	Paper
Attributed graph transformation with node type inheritance	2007-05-23	Paper
SIMULATING STRUCTURAL CHANGE IN ADAPTIVE ORGANIZATIONS	2007-02-15	Paper
Diagrammatic Representation and Inference	2005-12-27	Paper
Fundamental Approaches to Software Engineering	2005-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q4665726	2005-04-11	Paper
https://portal.mardi4nfdi.de/entity/Q4738324	2004-08-11	Paper
Distributed Simulation of Ecosystems for the Internet	2004-06-08	Paper
https://portal.mardi4nfdi.de/entity/Q4444445	2004-01-27	Paper
https://portal.mardi4nfdi.de/entity/Q4438782	2003-12-10	Paper

Research outcomes over time

This page was built for person: Juan de Lara