Holger Giese

Available identifiers

zbMath Open giese.holgerMaRDI QIDQ780063

List of research outcomes

Publication	Date of Publication	Type
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
Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-Formedness	2022-12-07	Paper
Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction	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
Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars	2012-10-02	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
https://portal.mardi4nfdi.de/entity/Q2711180	2001-05-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Holger Giese