| Publication | Date of Publication | Type |
|---|
Compositional analysis of probabilistic timed graph transformation systems
Formal Aspects of Computing | 2024-09-27 | Paper |
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic
Journal of Logical and Algebraic Methods in Programming | 2024-02-12 | Paper |
Towards Engineering Smart Cyber-Physical Systems with Graph Transformation Systems (Invited Talk).
| 2023-12-08 | Paper |
Metric temporal graph logic over typed attributed graphs
Fundamental Approaches to Software Engineering | 2023-11-24 | Paper |
Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions
Journal of Logical and Algebraic Methods in Programming | 2023-02-03 | Paper |
Probabilistic Metric Temporal Graph Logic
| 2022-12-07 | Paper |
Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction
| 2022-12-07 | Paper |
Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-Formedness
| 2022-12-07 | Paper |
Translation validation of coloured Petri net models of programs on integers
Acta Informatica | 2022-10-24 | Paper |
Formal verification of invariants for attributed graph transformation systems based on nested attributed graph conditions
Graph Transformation | 2022-09-01 | Paper |
Optimistic and pessimistic on-the-fly analysis for metric temporal graph logic
Graph Transformation | 2022-09-01 | Paper |
A simulator for probabilistic timed graph transformation systems with complex large-scale topologies
Graph Transformation | 2022-09-01 | Paper |
Interval probabilistic timed graph transformation systems
| 2022-03-21 | Paper |
Host-graph-sensitive RETE nets for incremental graph pattern matching
| 2022-03-21 | Paper |
Compositional analysis of probabilistic timed graph transformation systems
| 2021-08-04 | Paper |
Modal specifications for probabilistic timed systems
| 2021-06-09 | Paper |
Model checking probabilistic real-time properties for service-oriented systems with service level agreements
| 2021-03-10 | Paper |
Hybrid search plan generation for generalized graph pattern matching
Journal of Logical and Algebraic Methods in Programming | 2020-07-14 | Paper |
\(k\)-inductive invariant checking for graph transformation systems
Graph Transformation | 2019-11-22 | Paper |
Probabilistic timed graph transformation systems
Graph Transformation | 2019-11-22 | Paper |
Probabilistic timed graph transformation systems
Journal of Logical and Algebraic Methods in Programming | 2018-11-01 | Paper |
On the operationalization of graph queries with generalized discrimination networks
Graph Transformation | 2016-09-05 | Paper |
Inductive invariant checking with partial negative application conditions
Graph Transformation | 2015-09-22 | Paper |
Towards automatic verification of behavior preservation for model transformation via invariant checking
Lecture Notes in Computer Science | 2012-10-02 | Paper |
Probabilistic graph transformation systems
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 |
Object-oriented design and architecture of distributed systems
| 2001-05-03 | Paper |
