Holger Giese

Available identifiers

zbMath Open giese.holgerMaRDI QIDQ780063

List of research outcomes

Publication	Date of Publication	Type
Compositional analysis of probabilistic timed graph transformation systems	2024-09-27	Paper
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic	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	2023-11-24	Paper
Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions	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	2022-10-24	Paper
Formal verification of invariants for attributed graph transformation systems based on nested attributed graph conditions	2022-09-01	Paper
Optimistic and pessimistic on-the-fly analysis for metric temporal graph logic	2022-09-01	Paper
A simulator for probabilistic timed graph transformation systems with complex large-scale topologies	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	2020-07-14	Paper
\(k\)-inductive invariant checking for graph transformation systems	2019-11-22	Paper
Probabilistic timed graph transformation systems	2019-11-22	Paper
Probabilistic timed graph transformation systems	2018-11-01	Paper
On the operationalization of graph queries with generalized discrimination networks	2016-09-05	Paper
Inductive invariant checking with partial negative application conditions	2015-09-22	Paper
Towards automatic verification of behavior preservation for model transformation via invariant checking	2012-10-02	Paper
Probabilistic graph transformation systems	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	2012-10-02	Paper
Object-oriented design and architecture of distributed systems	2001-05-03	Paper

Research outcomes over time

This page was built for person: Holger Giese