| Publication | Date of Publication | Type |
|---|
Graph Grammar Extraction from Source Code
Lecture Notes in Computer Science | 2022-11-04 | Paper |
| Module integration using graph grammars (MIGRATE) | 2022-07-13 | Paper |
On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
Journal of Logical and Algebraic Methods in Programming | 2019-11-28 | Paper |
The pullback-pushout approach to algebraic graph transformation
Graph Transformation | 2019-11-22 | Paper |
Algebraic graph rewriting with controlled embedding
Theoretical Computer Science | 2019-11-22 | Paper |
The PBPO graph transformation approach
Journal of Logical and Algebraic Methods in Programming | 2019-03-27 | Paper |
Formal relationship between graph grammars and Petri nets
Lecture Notes in Computer Science | 2019-01-10 | Paper |
| On the essence and initiality of conflicts | 2018-08-24 | Paper |
| The Verigraph system for graph transformation | 2018-04-04 | Paper |
| On the essence of parallel independence for the double-pushout and sesqui-pushout approaches | 2018-04-04 | Paper |
Theorem proving graph grammars with attributes and negative application conditions
Theoretical Computer Science | 2017-06-15 | Paper |
A formal model for the deferred update replication technique
Trustworthy Global Computing | 2016-11-09 | Paper |
Parallelism in AGREE transformations
Graph Transformation | 2016-09-05 | Paper |
Use case analysis based on formal methods: an empirical study
Recent Trends in Algebraic Development Techniques | 2016-02-25 | Paper |
AGREE -- algebraic graph rewriting with controlled embedding
Graph Transformation | 2015-09-22 | Paper |
AGREE -- algebraic graph rewriting with controlled embedding
Graph Transformation | 2015-09-22 | Paper |
Characterizing conflicts between rule application and rule evolution in graph transformation systems
Graph Transformation | 2015-09-22 | Paper |
Rule-based transformation of graph rewriting rules: towards higher-order graph grammars
Theoretical Computer Science | 2015-07-24 | Paper |
Formal verification of graph grammars using mathematical induction
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
Towards a notion of transaction in graph rewriting
Electronic Notes in Theoretical Computer Science | 2014-03-21 | Paper |
Stochastic object-based graph grammars
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
Formal verification of object-oriented graph grammars specifications
Electronic Notes in Theoretical Computer Science | 2013-12-20 | Paper |
| A graph-based semantics for object-oriented programming constructs | 2013-09-20 | Paper |
A graph transformation view on the specification of applications using mobile code
Electronic Notes in Theoretical Computer Science | 2013-05-10 | Paper |
Specification patterns for properties over reachable states of graph grammars
Lecture Notes in Computer Science | 2012-11-06 | Paper |
Correct transformation: from object-based graph grammars to PROMELA
Science of Computer Programming | 2012-07-20 | Paper |
Verification of graph grammars using a logical approach
Science of Computer Programming | 2012-07-20 | Paper |
An institution for graph transformation
Recent Trends in Algebraic Development Techniques | 2012-06-08 | Paper |
Coreflective concurrent semantics for single-pushout graph grammars.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Verification of distributed object-based systems.
Lecture Notes in Computer Science | 2010-01-12 | Paper |
Towards object-oriented graphs and grammars.
Lecture Notes in Computer Science | 2010-01-12 | Paper |
Graph Transformation with Dependencies for the Specification of Interactive Systems
Recent Trends in Algebraic Development Techniques | 2009-10-22 | Paper |
Linear-Ordered Graph Grammars: Applications to Distributed Systems Design
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Graph Transformations
Lecture Notes in Computer Science | 2007-06-21 | Paper |
Graph Transformations
Lecture Notes in Computer Science | 2007-06-21 | Paper |
Unfolding semantics of graph transformation
Information and Computation | 2007-05-14 | Paper |
Formal Methods in Software and Systems Modeling
Lecture Notes in Computer Science | 2005-12-02 | Paper |
| scientific article; zbMATH DE number 2016084 (Why is no real title available?) | 2003-12-10 | Paper |
| scientific article; zbMATH DE number 1569120 (Why is no real title available?) | 2001-02-22 | Paper |
| scientific article; zbMATH DE number 1418813 (Why is no real title available?) | 2000-03-30 | Paper |
Parallel composition of graph grammars
Applied Categorical Structures | 2000-03-23 | Paper |
Algebraic high-level net transformation systems
Mathematical Structures in Computer Science | 1996-06-10 | Paper |
