Compositional analysis of probabilistic timed graph transformation systems
From MaRDI portal
Publication:2044184
DOI10.1007/978-3-030-71500-7_10zbMath1467.68090OpenAlexW3137146339MaRDI QIDQ2044184
Sven Schneider, Maria Maximova, Holger Giese
Publication date: 4 August 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-71500-7_10
model checkingquantitative analysiscompositional analysiscyber-physical systemsqualitative analysisgraph transformation systemsprobabilistic timed systems
Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Large-scale systems (93A15) Networked control (93B70)
Related Items (3)
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic ⋮ Compositional analysis of probabilistic timed graph transformation systems ⋮ Interval probabilistic timed graph transformation systems
Cites Work
- Unnamed Item
- Symbolic graphs for attributed graph constraints
- Probabilistic timed graph transformation systems
- Compositional analysis of probabilistic timed graph transformation systems
- Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement
- Fundamentals of algebraic graph transformation
- Lazy Graph Transformation
- Generalised Compositionality in Graph Transformation
- Predictive Top-Down Parsing for Hyperedge Replacement Grammars
- Compositionality in Graph Transformation
- k-Inductive Invariant Checking for Graph Transformation Systems
- Probabilistic Timed Graph Transformation Systems
- Graph Parsing as Graph Transformation
- Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions
- Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
This page was built for publication: Compositional analysis of probabilistic timed graph transformation systems
