| Publication | Date of Publication | Type |
|---|
Taint analysis for graph APIs focusing on broken access control
Logical Methods in Computer Science | 2026-03-23 | Paper |
| Coinductive techniques for checking satisfiability of generalized nested conditions | 2026-02-10 | Paper |
A logic-based incremental approach to graph repair
Fundamental Approaches to Software Engineering | 2023-11-24 | Paper |
Evaluation diversity for graph conditions
Journal of Logical and Algebraic Methods in Programming | 2023-06-19 | Paper |
Initial conflicts for transformation rules with nested application conditions
Graph Transformation | 2022-09-01 | Paper |
| Evaluation diversity for graph conditions | 2022-03-21 | Paper |
| Analysis of graph transformation systems: native vs translation-based techniques | 2022-01-06 | Paper |
Analysis of graph transformation systems: native vs translation-based techniques
(available as arXiv preprint) | 2022-01-06 | Paper |
Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality
Theoretical Computer Science | 2021-08-27 | Paper |
A navigational logic for reasoning about graph properties
Journal of Logical and Algebraic Methods in Programming | 2021-02-26 | Paper |
Symbolic model generation for graph properties
Fundamental Approaches to Software Engineering | 2020-02-13 | Paper |
| Exploring conflict reasons for graph transformation systems | 2020-02-06 | Paper |
Granularity of conflicts and dependencies in graph transformation systems
Graph Transformation | 2019-11-22 | Paper |
Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach
Journal of Logical and Algebraic Methods in Programming | 2019-03-27 | Paper |
Institutions for navigational logics for graphical structures
Theoretical Computer Science | 2018-07-26 | Paper |
| Towards a navigational logic for graphical structures | 2018-04-04 | Paper |
| Initial conflicts and dependencies: critical pairs revisited | 2018-04-04 | Paper |
On the operationalization of graph queries with generalized discrimination networks
Graph Transformation | 2016-09-05 | Paper |
-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
Mathematical Structures in Computer Science | 2016-07-26 | Paper |
Tableau-based reasoning for graph properties
Graph Transformation | 2014-09-26 | Paper |
Efficient conflict detection in graph transformation systems by essential critical pairs
Electronic Notes in Theoretical Computer Science | 2014-03-21 | Paper |
Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Towards automatic verification of behavior preservation for model transformation via invariant checking
Lecture Notes in Computer Science | 2012-10-02 | Paper |
Toward bridging the gap between formal foundations and current practice for triple graph grammars. Flexible relations between source and target elements
Lecture Notes in Computer Science | 2012-10-02 | Paper |
M-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence
Fundamenta Informaticae | 2012-07-11 | Paper |
Lazy graph transformation
Fundamenta Informaticae | 2012-07-11 | Paper |
Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
Theoretical Computer Science | 2012-05-14 | Paper |
Local Confluence for Rules with Nested Application Conditions
Lecture Notes in Computer Science | 2010-10-04 | Paper |
Delaying Constraint Solving in Symbolic Graph Transformation
Lecture Notes in Computer Science | 2010-10-04 | Paper |
Conflict Detection for Graph Transformation with Negative Application Conditions
Lecture Notes in Computer Science | 2008-11-27 | Paper |
Embedding and Confluence of Graph Transformations with Negative Application Conditions
Lecture Notes in Computer Science | 2008-11-20 | Paper |
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts
Lecture Notes in Computer Science | 2008-11-20 | Paper |
Construction and properties of adhesive and weak adhesive high-level replacement categories
Applied Categorical Structures | 2008-07-30 | Paper |
