Holger Giese
Universität Potsdam
H-index: 45
Europe-Germany
Top articles of Holger Giese
Combining Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation Systems
2024/4/6
Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models
2024/4/6
Holger Giese
H-Index: 23
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/2/1
Sven Schneider
H-Index: 9
Holger Giese
H-Index: 23
Message from the Modellierung’24 Workshop Chairs
2024
Holger Giese
H-Index: 23
Triple graph grammars for multi-version models
2023/6/6
Holger Giese
H-Index: 23
Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions
Journal of Logical and Algebraic Methods in Programming
2023/2/1
Holger Giese
H-Index: 23
Incremental Model Transformations with Triple Graph Grammars for Multi-version Models
2023/10/1
Holger Giese
H-Index: 23
Modeling and formal analysis of meta-ecosystems with dynamic structure using graph transformation
Ecological Informatics
2023/7/1
Sven Schneider
H-Index: 9
Holger Giese
H-Index: 23
Challenges in Reward Design for Reinforcement Learning-based Traffic Signal Control: An Investigation using a CO2 Emission Objective
SUMO Conference Proceedings
2023/6/29
Holger Giese
H-Index: 23
Proceedings of the HPI Research School on Service-oriented Systems Engineering 2020 Fall Retreat
2023/6/7
Modular and incremental global model management with extended generalized discrimination networks
2023/6/6
Holger Giese
H-Index: 23
Translation validation of coloured Petri net models of programs on integers
Acta Informatica
2022/12
Chittaranjan Mandal
H-Index: 15
Holger Giese
H-Index: 23
Tool support for the teaching of state-based behavior modeling
2022/10/23
Holger Giese
H-Index: 23
Incremental execution of temporal graph queries over runtime models with history and its applications
Software and Systems Modeling
2022/10
Holger Giese
H-Index: 23
Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction
2022/6/26
Sven Schneider
H-Index: 9
Holger Giese
H-Index: 23
Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-Formedness
2022/6/26
Holger Giese
H-Index: 23
Towards Engineering Smart Cyber-Physical Systems with Graph Transformation Systems (Invited Talk).
2021
Holger Giese
H-Index: 23
An ontological foundation for multi-paradigm modelling for cyber-physical systems
2021/1/1
An integrated ontology for multi-paradigm modelling for cyber-physical systems
2021/1/1
Co-Authors
