Holger Giese

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 85

Top Venues

University of Münster, Germany (PHD)

Education History

University of Münster, Germany

PHD

Publications

He Xu, Sven Schneider, Holger Giese
Combining Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation Systems. FASE (2024)
Matthias Barkowsky, Holger Giese
Localized RETE for Incremental Graph Queries. CoRR (2024)
Iqra Zafar, Christian Medeiros Adriano, Holger Giese
STIGS: Spatio-Temporal Interference Graph Simulator for Self-Configurable Multi-Tenant Cloud Systems. ICPE (Companion) (2024)
Holger Giese, Kristina Rosenthal
Message from the Modellierung'24 Workshop Chairs. Modellierung (Workshops) (2024)
Sven Schneider, Maria Maximova, Holger Giese
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic. J. Log. Algebraic Methods Program. 137 (2024)
Lucas Sakizloglou, Holger Giese, Leen Lambers
Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models. FASE (2024)
Leonhard Hennicke, Christian Medeiros Adriano, Holger Giese, Jan Mathias Köhler, Lukas Schott
Mind the Gap Between Synthetic and Real: Utilizing Transfer Learning to Probe the Boundaries of Stable Diffusion Generated Data. CoRR (2024)
Mustafa Ghani, Sven Schneider, Maria Maximova, Holger Giese
Deriving Delay-Robust Timed Graph Transformation System Models. ICGT (2024)
Matthias Barkowsky, Holger Giese
Localized RETE for Incremental Graph Queries. ICGT (2024)
Mustafa Ghani, Holger Giese
Portable Nets: Modeling and Verification of Business Processes with multiple Start and End Points. PNSE@Petri Nets (2024)
Matthias Barkowsky, Holger Giese
Incremental Model Transformations with Triple Graph Grammars for Multi-version Models. CoRR (2023)
Matthias Barkowsky, Holger Giese
Triple Graph Grammars for Multi-version Models. CoRR (2023)
Boris Flotterer, Maria Maximova, Sven Schneider, Johannes Dyck, Christian Zöllner, Holger Giese, Christelle Hély, Cédric Gaucherel
Modeling and formal analysis of meta-ecosystems with dynamic structure using graph transformation. Ecol. Informatics 75 (2023)
Matthias Barkowsky, Holger Giese
Modular and Incremental Global Model Management with Extended Generalized Discrimination Networks. CoRR (2023)
Maria Maximova, Sven Schneider, Holger Giese
Compositional Analysis of Probabilistic Timed Graph Transformation Systems. Formal Aspects Comput. 35 (3) (2023)
Max Schumacher, Christian Medeiros Adriano, Holger Giese
Challenges in Reward Design for Reinforcement Learning-based Traffic Signal Control: An Investigation using a CO2 Emission Objective. SUMO (2023)
Matthias Barkowsky, Holger Giese
Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions. J. Log. Algebraic Methods Program. 131 (2023)
Matthias Barkowsky, Holger Giese
Incremental Model Transformations with Triple Graph Grammars for Multi-version Models. MODELS (2023)
Sven Schneider, Maria Maximova, Holger Giese
Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction. ICGT (2022)
Sven Schneider, Maria Maximova, Holger Giese
Probabilistic Metric Temporal Graph Logic. ICGT (2022)
Christian Zöllner, Christian M. Adriano, Simon Wietheger, Leen Lambers, Holger Giese
Tool support for the teaching of state-based behavior modeling. MoDELS (Companion) (2022)
Matthias Barkowsky, Holger Giese
Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-Formedness. ICGT (2022)
Lucas Sakizloglou, Sona Ghahremani, Matthias Barkowsky, Holger Giese
Incremental execution of temporal graph queries over runtime models with history and its applications. Softw. Syst. Model. 21 (5) (2022)
Matthias Barkowsky, Holger Giese
Towards Development with Multi-Version Models: Detecting Merge Conflicts and Checking Well-Formedness. CoRR (2022)
Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan A. Mandal, Holger Giese
Translation validation of coloured Petri net models of programs on integers. Acta Informatica 59 (6) (2022)
Matthias Barkowsky, Thomas Brand, Holger Giese
Improving Adaptive Monitoring with Incremental Runtime Model Queries. SEAMS@ICSE (2021)
Lucas Sakizloglou, Matthias Barkowsky, Holger Giese
Keeping Pace with the History of Evolving Runtime Models. FASE (2021)
Sven Schneider, Maria Maximova, Holger Giese
Probabilistic Metric Temporal Graph Logic. CoRR (2021)
Maria Maximova, Sven Schneider, Holger Giese
Compositional Analysis of Probabilistic Timed Graph Transformation Systems. FASE (2021)
Sona Ghahremani, Holger Giese
Hybrid Planning with Receding Horizon: A Case for Meta-self-awareness. CoRR (2021)
Matthias Barkowsky, Holger Giese
Host-Graph-Sensitive RETE Nets for Incremental Graph Pattern Matching. ICGT (2021)
Christian Zöllner, Matthias Barkowsky, Maria Maximova, Holger Giese
On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems. ICGT (2021)
Sven Schneider, Maria Maximova, Lucas Sakizloglou, Holger Giese
Formal testing of timed graph transformation systems using metric temporal graph logic. Int. J. Softw. Tools Technol. Transf. 23 (3) (2021)
Sona Ghahremani, Holger Giese
Hybrid Planning with Receding Horizon: A Case for Meta-self-awareness. ACSOS-C (2021)
Maria Maximova, Sven Schneider, Holger Giese
Interval Probabilistic Timed Graph Transformation Systems. ICGT (2021)
Holger Giese
Towards Engineering Smart Cyber-Physical Systems with Graph Transformation Systems (Invited Talk). CALCO (2021)
Lucas Sakizloglou, Sona Ghahremani, Thomas Brand, Matthias Barkowsky, Holger Giese
Towards Highly Scalable Runtime Models with History. CoRR (2020)
Sona Ghahremani, Holger Giese, Thomas Vogel
Improving Scalability and Reward of Utility-Driven Self-Healing for Large Dynamic Architectures. ACM Trans. Auton. Adapt. Syst. 14 (3) (2020)
Matthias Barkowsky, Holger Giese
Hybrid search plan generation for generalized graph pattern matching. J. Log. Algebraic Methods Program. 114 (2020)
Christian Zöllner, Matthias Barkowsky, Maria Maximova, Melanie Schneider, Holger Giese
A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies. ICGT (2020)
Sven Schneider, Johannes Dyck, Holger Giese
Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions. ICGT (2020)
Sona Ghahremani, Holger Giese, Thomas Vogel
Improving Scalability and Reward of Utility-Driven Self-Healing for Large Dynamic Architectures. CoRR (2020)
Joachim Hänsel, Christian M. Adriano, Johannes Dyck, Holger Giese
Collective risk minimization via a bayesian model for statistical software testing. SEAMS@ICSE (2020)
Sona Ghahremani, Holger Giese
Evaluation of Self-Healing Systems: An Analysis of the State-of-the-Art and Required Improvements. Comput. 9 (1) (2020)
Sven Schneider, Lucas Sakizloglou, Maria Maximova, Holger Giese
Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic. ICGT (2020)
Lucas Sakizloglou, Sona Ghahremani, Thomas Brand, Matthias Barkowsky, Holger Giese
Towards highly scalable runtime models with history. SEAMS@ICSE (2020)
Lucas Sakizloglou, Sona Ghahremani, Matthias Barkowsky, Holger Giese
A scalable querying scheme for memory-efficient runtime models with history. MoDELS (2020)
Joachim Hänsel, Christian M. Adriano, Johannes Dyck, Holger Giese
Collective Risk Minimization via a Bayesian Model for Statistical Software Testing. CoRR (2020)
Lucas Sakizloglou, Sona Ghahremani, Matthias Barkowsky, Holger Giese
A Scalable Querying Scheme for Memory-efficient Runtime Models with History. CoRR (2020)
Holger Giese, Leen Lambers, Christian Zöllner
From classic to agile: experiences from more than a decade of project-based modeling education. MoDELS (Companion) (2020)
Johannes Dyck, Holger Giese, Leen Lambers
Automatic verification of behavior preservation at the transformation level for relational model transformation. Softw. Syst. Model. 18 (5) (2019)
Johannes Erbel, Thomas Brand, Holger Giese, Jens Grabowski
OCCI-compliant, fully causal-connected architecture runtime models supporting sensor management. SEAMS@ICSE (2019)
Holger Giese
Software Engineering for Smart Cyber-Physical Systems: Challenges and Opportunities. ISEC (2019)
Thomas Brand, Holger Giese
Modeling Approach and Evaluation Criteria for Adaptable Architectural Runtime Model Instances. MoDELS (2019)
Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider
Metric Temporal Graph Logic over Typed Attributed Graphs. FASE (2019)
Sona Ghahremani, Holger Giese
Performance Evaluation for Self-Healing Systems: Current Practice & Open Issues. FAS*W@SASO/ICAC (2019)
Matthias Barkowsky, Holger Giese
Hybrid Search Plan Generation for Generalized Graph Pattern Matching. ICGT (2019)
Thomas Brand, Holger Giese
Generic Adaptive Monitoring Based on Executed Architecture Runtime Model Queries and Events. SASO (2019)
Miroslaw Staron, Wilhelm Meding, Matthias Tichy, Jonas Bjurhede, Holger Giese, Ola Soder
Industrial experiences from evolving measurement systems into self-healing systems for improved availability. Softw. Pract. Exp. 48 (3) (2018)
Sona Ghahremani, Holger Giese, Thomas Vogel
Efficient Utility-Driven Self-Healing Employing Adaptation Rules for Large Dynamic Architectures. CoRR (2018)
Thomas Vogel, Holger Giese
Adaptation and Abstract Runtime Models. CoRR (2018)
Thomas Brand, Holger Giese
Towards software architecture runtime models for continuous adaptive monitoring. MoDELS (Workshops) (2018)
Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker
Model-Driven Architectural Monitoring and Adaptation for Autonomic Systems. CoRR (2018)
Thomas Vogel, Andreas Seibel, Holger Giese
The Role of Models and Megamodels at Runtime. CoRR (2018)
Thomas Brand, Holger Giese
Towards Generic Adaptive Monitoring. SASO (2018)
Thomas Vogel, Holger Giese
Requirements and Assessment of Languages and Frameworks for Adaptation Models. CoRR (2018)
Santonu Sarkar, Prateek Kandelwal, Soumyadip Bandyopadhyay, Holger Giese
Analysis of GPGPU Programs for Data-race and Barrier Divergence. ICSOFT (2018)
Joachim Hänsel, Thomas Vogel, Holger Giese
A Testing Scheme for Self-Adaptive Software Systems with Architectural Runtime Models. CoRR (2018)
Sona Ghahremani, Christian M. Adriano, Holger Giese
Training Prediction Models for Rule-Based Self-Adaptive Systems. ICAC (2018)
Maria Maximova, Holger Giese, Christian Krause
Probabilistic timed graph transformation systems. J. Log. Algebraic Methods Program. 101 (2018)
Thomas Vogel, Holger Giese
A language for feedback loops in self-adaptive systems: Executable runtime megamodels. CoRR (2018)
Thomas Vogel, Holger Giese
Model-Driven Engineering of Self-Adaptive Software with EUREMA. CoRR (2018)
Sona Ghahremani, Holger Giese, Thomas Vogel
Towards Linking Adaptation Rules to the Utility Function for Dynamic Architectures. CoRR (2018)
Dominique Blouin, Matthias Barkowski, Melanie Schneider, Holger Giese, Johannes Dyck, Etienne Borde, Dalila Tamzalit, Joost Noppen
A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models. RE Workshops (2017)
Sona Ghahremani, Holger Giese, Thomas Vogel
Efficient Utility-Driven Self-Healing Employing Adaptation Rules for Large Dynamic Architectures. ICAC (2017)
Joachim Hänsel, Holger Giese
Towards Collective Online and Offline Testing for Dynamic Software Product Line Systems. VACE@ICSE (2017)
Regina Hebig, Holger Giese
On the complex nature of MDE evolution and its impact on changeability. Softw. Syst. Model. 16 (2) (2017)
Maria Maximova, Holger Giese, Christian Krause
Probabilistic Timed Graph Transformation Systems. ICGT (2017)
Johannes Dyck, Holger Giese
k-Inductive Invariant Checking for Graph Transformation Systems. ICGT (2017)
Dominique Blouin, Holger Giese
Combining Requirements, Use Case Maps and AADL Models for Safety-Critical Systems Design. SEAA (2016)
Thomas Beyhl, Holger Giese
Incremental View Maintenance for Deductive Graph Databases Using Generalized Discrimination Networks. GaM@ETAPS (2016)
Sona Ghahremani, Holger Giese, Thomas Vogel
Towards Linking Adaptation Rules to the Utility Function for Dynamic Architectures. SASO (2016)
Holger Giese
Formal Models and Analysis for Self-adaptive Cyber-physical Systems - (Extended Abstract). FACS (2016)
Hans Vangheluwe, Vasco Amaral, Holger Giese, Jan F. Broenink, Bernhard Schätz, Alexander Norta, Paulo Carreira, Ivan Lukovic, Tanja Mayerhofer, Manuel Wimmer, Antonio Vallecillo
MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems. STAF Doctoral Symposium / Showcase (2016)
Thomas Beyhl, Dominique Blouin, Holger Giese, Leen Lambers
On the Operationalization of Graph Queries with Generalized Discrimination Networks. ICGT (2016)
Johannes Dyck, Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner
Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations. AMT@MoDELS (2015)
Thomas Beyhl, Holger Giese
Traceability Recovery for Innovation Processes. SST@ICSE (2015)
Sebastian Wätzoldt, Holger Giese
Modeling Collaborations in Adaptive Systems of Systems. ECSA Workshops (2015)
Holger Giese, Thomas Vogel, Sebastian Wätzoldt
Towards Smart Systems of Systems. FSEN (2015)
Johannes Dyck, Holger Giese
Inductive Invariant Checking with Partial Negative Application Conditions. ICGT (2015)
Christian Krause, Matthias Tichy, Holger Giese
Implementing Graph Transformations in the Bulk Synchronous Parallel Model. Software Engineering & Management (2015)
Joachim Hänsel, Thomas Vogel, Holger Giese
A Testing Scheme for Self-Adaptive Software Systems with Architectural Runtime Models. SASO Workshops (2015)
Christian Krause, Matthias Tichy, Holger Giese
Implementing Graph Transformations in the Bulk Synchronous Parallel Model. FASE (2014)
Thomas Vogel, Holger Giese
Model-Driven Engineering of Self-Adaptive Software with EUREMA. ACM Trans. Auton. Adapt. Syst. 8 (4) (2014)
Anthony Anjorin, Alcino Cunha, Holger Giese, Frank Hermann, Arend Rensink, Andy Schürr
BenchmarX. EDBT/ICDT Workshops (2014)
Thomas Vogel, Holger Giese
On Unifying Development Models and Runtime Models. Models@run.time (2014)
Holger Giese, Stephan Hildebrandt, Leen Lambers
Bridging the gap between formal semantics and implementation of triple graph grammars - Ensuring conformance of relational model transformation specifications and implementations. Softw. Syst. Model. 13 (1) (2014)
Sebastian Wätzoldt, Holger Giese
Classifying Distributed Self-* Systems Based on Runtime Models and Their Coupling. Models@run.time (2014)
Regina Hebig, Holger Giese, Florian Stallmann, Andreas Seibel
On the Complex Nature of MDE Evolution. MoDELS (2013)
Tingting Han, Christian Krause, Marta Z. Kwiatkowska, Holger Giese
Modal Specifications for Probabilistic Timed Systems. QAPL (2013)

Holger Giese.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Holger Giese