| Publication | Date of Publication | Type |
|---|
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 |
| 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
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 |
Automating the transformation-based analysis of visual languages
Formal Aspects of Computing | 2010-05-28 | Paper |
Matrix Graph Grammars with Application Conditions
Fundamenta Informaticae | 2010-05-25 | Paper |
A reformulation of matrix graph grammars with Boolean complexes
The Electronic Journal of Combinatorics | 2010-03-26 | Paper |
A reformulation of matrix graph grammars with Boolean complexes
The Electronic Journal of Combinatorics | 2010-03-26 | Paper |
Matrix Approach to Graph Transformation: Matching and Sequences
Lecture Notes in Computer Science | 2008-11-27 | 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 |
Fundamental Approaches to Software Engineering
Lecture Notes in Computer Science | 2007-11-28 | Paper |
Graph Transformations
Lecture Notes in Computer Science | 2007-06-21 | Paper |
Attributed graph transformation with node type inheritance
Theoretical Computer Science | 2007-05-23 | Paper |
SIMULATING STRUCTURAL CHANGE IN ADAPTIVE ORGANIZATIONS
Cybernetics and Systems | 2007-02-15 | Paper |
Diagrammatic Representation and Inference
Lecture Notes in Computer Science | 2005-12-27 | Paper |
Fundamental Approaches to Software Engineering
Lecture Notes in Computer Science | 2005-09-13 | Paper |
| scientific article; zbMATH DE number 2155179 (Why is no real title available?) | 2005-04-11 | Paper |
| scientific article; zbMATH DE number 2087519 (Why is no real title available?) | 2004-08-11 | Paper |
Distributed Simulation of Ecosystems for the Internet
Systems Analysis Modelling Simulation | 2004-06-08 | Paper |
| scientific article; zbMATH DE number 2033309 (Why is no real title available?) | 2004-01-27 | Paper |
| scientific article; zbMATH DE number 2016079 (Why is no real title available?) | 2003-12-10 | Paper |
