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
https://portal.mardi4nfdi.de/entity/Q4992525	2021-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q4965870	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	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