Holger Giese
Universität Potsdam
H-index: 45
Europe-Germany
Top articles of Holger Giese
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
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 | Sven Schneider Maria Maximova Holger Giese | 2024/2/1 |
Combining Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation Systems | He Xu Sven Schneider Holger Giese | 2024/4/6 | |
Message from the Modellierung’24 Workshop Chairs | Holger Giese Kristina Rosenthal | 2024 | |
Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models | Lucas Sakizloglou Holger Giese Leen Lambers | 2024/4/6 | |
Triple graph grammars for multi-version models | Matthias Barkowsky Holger Giese | 2023/6/6 | |
Incremental Model Transformations with Triple Graph Grammars for Multi-version Models | Matthias Barkowsky Holger Giese | 2023/10/1 | |
Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions | Journal of Logical and Algebraic Methods in Programming | Matthias Barkowsky Holger Giese | 2023/2/1 |
Proceedings of the HPI Research School on Service-oriented Systems Engineering 2020 Fall Retreat | Christoph Meinel Jürgen Roland Friedrich Döllner Mathias Weske Andreas Polze Robert Hirschfeld | 2023/6/7 | |
Modular and incremental global model management with extended generalized discrimination networks | Matthias Barkowsky Holger Giese | 2023/6/6 | |
Modeling and formal analysis of meta-ecosystems with dynamic structure using graph transformation | Ecological Informatics | Boris Flotterer Maria Maximova Sven Schneider Johannes Dyck Christian Zöllner | 2023/7/1 |
Challenges in Reward Design for Reinforcement Learning-based Traffic Signal Control: An Investigation using a CO2 Emission Objective | SUMO Conference Proceedings | Max Schumacher Christian Medeiros Adriano Holger Giese | 2023/6/29 |
Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-Formedness | Matthias Barkowsky Holger Giese | 2022/6/26 | |
Tool support for the teaching of state-based behavior modeling | Christian Zöllner Christian M Adriano Simon Wietheger Leen Lambers Holger Giese | 2022/10/23 | |
Probabilistic metric temporal graph logic | Sven Schneider Maria Maximova Holger Giese | 2022/6/26 | |
Incremental execution of temporal graph queries over runtime models with history and its applications | Software and Systems Modeling | Lucas Sakizloglou Sona Ghahremani Matthias Barkowsky Holger Giese | 2022/10 |
Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction | Sven Schneider Maria Maximova Holger Giese | 2022/6/26 | |
Translation validation of coloured Petri net models of programs on integers | Acta Informatica | Soumyadip Bandyopadhyay Dipankar Sarkar Chittaranjan Mandal Holger Giese | 2022/12 |
Formal testing of timed graph transformation systems using metric temporal graph logic | International Journal on Software Tools for Technology Transfer | Sven Schneider Maria Maximova Lucas Sakizloglou Holger Giese | 2021/6 |
Compositional Analysis of Probabilistic Timed Graph Transformation Systems. | Maria Maximova Sven Schneider Holger Giese | 2021/3/19 | |
On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems | Christian Zöllner Matthias Barkowsky Maria Maximova Holger Giese | 2021/6/18 |