default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHolger Giese
Person information
- affiliation: Hasso Plattner Institute, Potsdam, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j44]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: 100938 (2024)- [c176]Mustafa Ghani, Holger Giese:
Portable Nets: Modeling and Verification of Business Processes with multiple Start and End Points. PNSE@Petri Nets 2024 - [c175]Lucas Sakizloglou, Holger Giese, Leen Lambers:
Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models. FASE 2024: 22-55 - [c174]He Xu, Sven Schneider, Holger Giese:
Combining Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation Systems. FASE 2024: 77-100 - [c173]Matthias Barkowsky, Holger Giese:
Localized RETE for Incremental Graph Queries. ICGT 2024: 118-137 - [c172]Mustafa Ghani, Sven Schneider, Maria Maximova, Holger Giese:
Deriving Delay-Robust Timed Graph Transformation System Models. ICGT 2024: 158-179 - [c171]Holger Giese, Kristina Rosenthal:
Message from the Modellierung'24 Workshop Chairs. Modellierung (Workshops) 2024: 1 - [c170]Iqra Zafar, Christian Medeiros Adriano, Holger Giese:
STIGS: Spatio-Temporal Interference Graph Simulator for Self-Configurable Multi-Tenant Cloud Systems. ICPE (Companion) 2024: 52-56 - [e26]Holger Giese, Kristina Rosenthal:
Modellierung 2024 - Workshop Proceedings, Potsdam, Germany, March 12-15, 2024. Gesellschaft für Informatik e.V. 2024 [contents] - [i31]Matthias Barkowsky, Holger Giese:
Localized RETE for Incremental Graph Queries. CoRR abs/2405.01145 (2024) - [i30]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 abs/2405.03243 (2024) - 2023
- [j43]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: 101908 (2023) - [j42]Maria Maximova, Sven Schneider, Holger Giese:
Compositional Analysis of Probabilistic Timed Graph Transformation Systems. Formal Aspects Comput. 35(3): 16:1-16:79 (2023) - [j41]Matthias Barkowsky, Holger Giese:
Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions. J. Log. Algebraic Methods Program. 131: 100841 (2023) - [c169]Matthias Barkowsky, Holger Giese:
Incremental Model Transformations with Triple Graph Grammars for Multi-version Models. MODELS 2023: 296-306 - [c168]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: 131-151 - [i29]Matthias Barkowsky, Holger Giese:
Triple Graph Grammars for Multi-version Models. CoRR abs/2301.00623 (2023) - [i28]Matthias Barkowsky, Holger Giese:
Modular and Incremental Global Model Management with Extended Generalized Discrimination Networks. CoRR abs/2301.00624 (2023) - [i27]Matthias Barkowsky, Holger Giese:
Incremental Model Transformations with Triple Graph Grammars for Multi-version Models. CoRR abs/2307.02105 (2023) - 2022
- [j40]Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan A. Mandal, Holger Giese:
Translation validation of coloured Petri net models of programs on integers. Acta Informatica 59(6): 725-759 (2022) - [j39]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): 1789-1829 (2022) - [c167]Sven Schneider, Maria Maximova, Holger Giese:
Probabilistic Metric Temporal Graph Logic. ICGT 2022: 58-76 - [c166]Matthias Barkowsky, Holger Giese:
Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-Formedness. ICGT 2022: 118-136 - [c165]Sven Schneider, Maria Maximova, Holger Giese:
Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction. ICGT 2022: 173-192 - [c164]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: 87-94 - [i26]Matthias Barkowsky, Holger Giese:
Towards Development with Multi-Version Models: Detecting Merge Conflicts and Checking Well-Formedness. CoRR abs/2205.04198 (2022) - 2021
- [j38]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): 411-488 (2021) - [c163]Sona Ghahremani, Holger Giese:
Hybrid Planning with Receding Horizon: A Case for Meta-self-awareness. ACSOS-C 2021: 131-138 - [c162]Holger Giese:
Towards Engineering Smart Cyber-Physical Systems with Graph Transformation Systems (Invited Talk). CALCO 2021: 2:1-2:1 - [c161]Maria Maximova, Sven Schneider, Holger Giese:
Compositional Analysis of Probabilistic Timed Graph Transformation Systems. FASE 2021: 196-217 - [c160]Lucas Sakizloglou, Matthias Barkowsky, Holger Giese:
Keeping Pace with the History of Evolving Runtime Models. FASE 2021: 262-268 - [c159]Matthias Barkowsky, Holger Giese:
Host-Graph-Sensitive RETE Nets for Incremental Graph Pattern Matching. ICGT 2021: 145-163 - [c158]Maria Maximova, Sven Schneider, Holger Giese:
Interval Probabilistic Timed Graph Transformation Systems. ICGT 2021: 221-239 - [c157]Christian Zöllner, Matthias Barkowsky, Maria Maximova, Holger Giese:
On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems. ICGT 2021: 262-279 - [c156]Matthias Barkowsky, Thomas Brand, Holger Giese:
Improving Adaptive Monitoring with Incremental Runtime Model Queries. SEAMS@ICSE 2021: 71-77 - [i25]Sven Schneider, Maria Maximova, Holger Giese:
Probabilistic Metric Temporal Graph Logic. CoRR abs/2106.08418 (2021) - [i24]Sona Ghahremani, Holger Giese:
Hybrid Planning with Receding Horizon: A Case for Meta-self-awareness. CoRR abs/2108.11170 (2021) - 2020
- [j37]Sona Ghahremani, Holger Giese:
Evaluation of Self-Healing Systems: An Analysis of the State-of-the-Art and Required Improvements. Comput. 9(1): 16 (2020) - [j36]Matthias Barkowsky, Holger Giese:
Hybrid search plan generation for generalized graph pattern matching. J. Log. Algebraic Methods Program. 114: 100563 (2020) - [j35]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): 12:1-12:41 (2020) - [c155]Sven Schneider, Johannes Dyck, Holger Giese:
Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions. ICGT 2020: 257-275 - [c154]Sven Schneider, Lucas Sakizloglou, Maria Maximova, Holger Giese:
Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic. ICGT 2020: 276-294 - [c153]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: 325-334 - [c152]Joachim Hänsel, Christian M. Adriano, Johannes Dyck, Holger Giese:
Collective risk minimization via a bayesian model for statistical software testing. SEAMS@ICSE 2020: 45-56 - [c151]Lucas Sakizloglou, Sona Ghahremani, Thomas Brand, Matthias Barkowsky, Holger Giese:
Towards highly scalable runtime models with history. SEAMS@ICSE 2020: 188-194 - [c150]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: 22:1-22:10 - [c149]Lucas Sakizloglou, Sona Ghahremani, Matthias Barkowsky, Holger Giese:
A scalable querying scheme for memory-efficient runtime models with history. MoDELS 2020: 175-186 - [i23]Lucas Sakizloglou, Sona Ghahremani, Thomas Brand, Matthias Barkowsky, Holger Giese:
Towards Highly Scalable Runtime Models with History. CoRR abs/2004.03727 (2020) - [i22]Joachim Hänsel, Christian M. Adriano, Johannes Dyck, Holger Giese:
Collective Risk Minimization via a Bayesian Model for Statistical Software Testing. CoRR abs/2005.07460 (2020) - [i21]Sona Ghahremani, Holger Giese, Thomas Vogel:
Improving Scalability and Reward of Utility-Driven Self-Healing for Large Dynamic Architectures. CoRR abs/2005.11180 (2020) - [i20]Lucas Sakizloglou, Sona Ghahremani, Matthias Barkowsky, Holger Giese:
A Scalable Querying Scheme for Memory-efficient Runtime Models with History. CoRR abs/2008.04230 (2020)
2010 – 2019
- 2019
- [j34]Johannes Dyck, Holger Giese, Leen Lambers:
Automatic verification of behavior preservation at the transformation level for relational model transformation. Softw. Syst. Model. 18(5): 2937-2972 (2019) - [c148]Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider:
Metric Temporal Graph Logic over Typed Attributed Graphs. FASE 2019: 282-298 - [c147]Matthias Barkowsky, Holger Giese:
Hybrid Search Plan Generation for Generalized Graph Pattern Matching. ICGT 2019: 212-229 - [c146]Johannes Erbel, Thomas Brand, Holger Giese, Jens Grabowski:
OCCI-compliant, fully causal-connected architecture runtime models supporting sensor management. SEAMS@ICSE 2019: 188-194 - [c145]Holger Giese:
Software Engineering for Smart Cyber-Physical Systems: Challenges and Opportunities. ISEC 2019: 1:1 - [c144]Thomas Brand, Holger Giese:
Modeling Approach and Evaluation Criteria for Adaptable Architectural Runtime Model Instances. MoDELS 2019: 227-232 - [c143]Thomas Brand, Holger Giese:
Generic Adaptive Monitoring Based on Executed Architecture Runtime Model Queries and Events. SASO 2019: 17-22 - [c142]Sona Ghahremani, Holger Giese:
Performance Evaluation for Self-Healing Systems: Current Practice & Open Issues. FAS*W@SASO/ICAC 2019: 116-119 - 2018
- [j33]Maria Maximova, Holger Giese, Christian Krause:
Probabilistic timed graph transformation systems. J. Log. Algebraic Methods Program. 101: 110-131 (2018) - [j32]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): 719-739 (2018) - [c141]Sona Ghahremani, Christian M. Adriano, Holger Giese:
Training Prediction Models for Rule-Based Self-Adaptive Systems. ICAC 2018: 187-192 - [c140]Santonu Sarkar, Prateek Kandelwal, Soumyadip Bandyopadhyay, Holger Giese:
Analysis of GPGPU Programs for Data-race and Barrier Divergence. ICSOFT 2018: 494-505 - [c139]Thomas Brand, Holger Giese:
Towards software architecture runtime models for continuous adaptive monitoring. MoDELS (Workshops) 2018: 72-77 - [c138]Thomas Brand, Holger Giese:
Towards Generic Adaptive Monitoring. SASO 2018: 156-161 - [i19]Sona Ghahremani, Holger Giese, Thomas Vogel:
Efficient Utility-Driven Self-Healing Employing Adaptation Rules for Large Dynamic Architectures. CoRR abs/1805.03549 (2018) - [i18]Sona Ghahremani, Holger Giese, Thomas Vogel:
Towards Linking Adaptation Rules to the Utility Function for Dynamic Architectures. CoRR abs/1805.03599 (2018) - [i17]Thomas Vogel, Holger Giese:
Model-Driven Engineering of Self-Adaptive Software with EUREMA. CoRR abs/1805.07353 (2018) - [i16]Joachim Hänsel, Thomas Vogel, Holger Giese:
A Testing Scheme for Self-Adaptive Software Systems with Architectural Runtime Models. CoRR abs/1805.07354 (2018) - [i15]Thomas Vogel, Andreas Seibel, Holger Giese:
The Role of Models and Megamodels at Runtime. CoRR abs/1805.07396 (2018) - [i14]Thomas Vogel, Holger Giese:
Adaptation and Abstract Runtime Models. CoRR abs/1805.07397 (2018) - [i13]Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker:
Model-Driven Architectural Monitoring and Adaptation for Autonomic Systems. CoRR abs/1805.08677 (2018) - [i12]Thomas Vogel, Holger Giese:
A language for feedback loops in self-adaptive systems: Executable runtime megamodels. CoRR abs/1805.08678 (2018) - [i11]Thomas Vogel, Holger Giese:
Requirements and Assessment of Languages and Frameworks for Adaptation Models. CoRR abs/1805.08679 (2018) - 2017
- [j31]Regina Hebig, Holger Giese:
On the complex nature of MDE evolution and its impact on changeability. Softw. Syst. Model. 16(2): 333-356 (2017) - [c137]Johannes Dyck, Holger Giese:
k-Inductive Invariant Checking for Graph Transformation Systems. ICGT 2017: 142-158 - [c136]Maria Maximova, Holger Giese, Christian Krause:
Probabilistic Timed Graph Transformation Systems. ICGT 2017: 159-175 - [c135]Sona Ghahremani, Holger Giese, Thomas Vogel:
Efficient Utility-Driven Self-Healing Employing Adaptation Rules for Large Dynamic Architectures. ICAC 2017: 59-68 - [c134]Joachim Hänsel, Holger Giese:
Towards Collective Online and Offline Testing for Dynamic Software Product Line Systems. VACE@ICSE 2017: 9-12 - [c133]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: 36-45 - [p13]Samuel Kounev, Peter R. Lewis, Kirstie L. Bellman, Nelly Bencomo, Javier Cámara, Ada Diaconescu, Lukas Esterle, Kurt Geihs, Holger Giese, Sebastian Götz, Paola Inverardi, Jeffrey O. Kephart, Andrea Zisman:
The Notion of Self-aware Computing. Self-Aware Computing Systems 2017: 3-16 - [p12]Javier Cámara, Kirstie L. Bellman, Jeffrey O. Kephart, Marco Autili, Nelly Bencomo, Ada Diaconescu, Holger Giese, Sebastian Götz, Paola Inverardi, Samuel Kounev, Massimo Tivoli:
Self-aware Computing Systems: Related Concepts and Research Areas. Self-Aware Computing Systems 2017: 17-49 - [p11]Peter R. Lewis, Kirstie L. Bellman, Christopher Landauer, Lukas Esterle, Kyrre Glette, Ada Diaconescu, Holger Giese:
Towards a Framework for the Levels and Aspects of Self-aware Computing Systems. Self-Aware Computing Systems 2017: 51-85 - [p10]Jeffrey O. Kephart, Martina Maggio, Ada Diaconescu, Holger Giese, Henry Hoffmann, Samuel Kounev, Anne Koziolek, Peter R. Lewis, Anders Robertsson, Simon Spinner:
Reference Scenarios for Self-aware Computing. Self-Aware Computing Systems 2017: 87-106 - [p9]Holger Giese, Thomas Vogel, Ada Diaconescu, Sebastian Götz, Samuel Kounev:
Architectural Concepts for Self-aware Computing Systems. Self-Aware Computing Systems 2017: 109-147 - [p8]Holger Giese, Thomas Vogel, Ada Diaconescu, Sebastian Götz, Kirstie L. Bellman:
Generic Architectures for Individual Self-aware Computing Systems. Self-Aware Computing Systems 2017: 149-189 - [p7]Ada Diaconescu, Kirstie L. Bellman, Lukas Esterle, Holger Giese, Sebastian Götz, Peter R. Lewis, Andrea Zisman:
Architectures for Collective Self-aware Computing Systems. Self-Aware Computing Systems 2017: 191-235 - [p6]Holger Giese, Thomas Vogel, Ada Diaconescu, Sebastian Götz, Nelly Bencomo, Kurt Geihs, Samuel Kounev, Kirstie L. Bellman:
State of the Art in Architectures for Self-aware Computing Systems. Self-Aware Computing Systems 2017: 237-275 - [p5]Martina Maggio, Tarek F. Abdelzaher, Lukas Esterle, Holger Giese, Jeffrey O. Kephart, Ole J. Mengshoel, Alessandro Vittorio Papadopoulos, Anders Robertsson, Katinka Wolter:
Self-adaptation for Individual Self-aware Computing Systems. Self-Aware Computing Systems 2017: 375-399 - [p4]Jeffrey O. Kephart, Ada Diaconescu, Holger Giese, Anders Robertsson, Tarek F. Abdelzaher, Peter R. Lewis, Antonio Filieri, Lukas Esterle, Sylvain Frey:
Self-adaptation in Collective Self-aware Computing Systems. Self-Aware Computing Systems 2017: 401-435 - [p3]Robert Birke, Javier Cámara, Lydia Y. Chen, Lukas Esterle, Kurt Geihs, Erol Gelenbe, Holger Giese, Anders Robertsson, Xiaoyun Zhu:
Self-aware Computing Systems: Open Challenges and Future Research Directions. Self-Aware Computing Systems 2017: 709-722 - [e25]Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese:
Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers. Lecture Notes in Computer Science 9640, Springer 2017, ISBN 978-3-319-74182-6 [contents] - 2016
- [c132]Dominique Blouin, Holger Giese:
Combining Requirements, Use Case Maps and AADL Models for Safety-Critical Systems Design. SEAA 2016: 266-274 - [c131]Holger Giese:
Formal Models and Analysis for Self-adaptive Cyber-physical Systems - (Extended Abstract). FACS 2016: 3-9 - [c130]Thomas Beyhl, Dominique Blouin, Holger Giese, Leen Lambers:
On the Operationalization of Graph Queries with Generalized Discrimination Networks. ICGT 2016: 170-186 - [c129]Sona Ghahremani, Holger Giese, Thomas Vogel:
Towards Linking Adaptation Rules to the Utility Function for Dynamic Architectures. SASO 2016: 142-143 - [c128]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: 40-47 - [c127]Thomas Beyhl, Holger Giese:
Incremental View Maintenance for Deductive Graph Databases Using Generalized Discrimination Networks. GaM@ETAPS 2016: 57-71 - [e24]Samuel Kounev, Holger Giese, Jie Liu:
2016 IEEE International Conference on Autonomic Computing, ICAC 2016, Wuerzburg, Germany, July 17-22, 2016. IEEE Computer Society 2016, ISBN 978-1-5090-1654-9 [contents] - 2015
- [c126]Sebastian Wätzoldt, Holger Giese:
Modeling Collaborations in Adaptive Systems of Systems. ECSA Workshops 2015: 3:1-3:8 - [c125]Holger Giese, Thomas Vogel, Sebastian Wätzoldt:
Towards Smart Systems of Systems. FSEN 2015: 1-29 - [c124]Johannes Dyck, Holger Giese:
Inductive Invariant Checking with Partial Negative Application Conditions. ICGT 2015: 237-253 - [c123]Thomas Beyhl, Holger Giese:
Traceability Recovery for Innovation Processes. SST@ICSE 2015: 22-28 - [c122]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: 36-45 - [c121]Joachim Hänsel, Thomas Vogel, Holger Giese:
A Testing Scheme for Self-Adaptive Software Systems with Architectural Runtime Models. SASO Workshops 2015: 134-139 - [c120]Christian Krause, Matthias Tichy, Holger Giese:
Implementing Graph Transformations in the Bulk Synchronous Parallel Model. Software Engineering & Management 2015: 99-100 - 2014
- [j30]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): 273-299 (2014) - [j29]Thomas Vogel, Holger Giese:
Model-Driven Engineering of Self-Adaptive Software with EUREMA. ACM Trans. Auton. Adapt. Syst. 8(4): 18:1-18:33 (2014) - [c119]Anthony Anjorin, Alcino Cunha, Holger Giese, Frank Hermann, Arend Rensink, Andy Schürr:
BenchmarX. EDBT/ICDT Workshops 2014: 82-86 - [c118]Christian Krause, Matthias Tichy, Holger Giese:
Implementing Graph Transformations in the Bulk Synchronous Parallel Model. FASE 2014: 325-339 - [c117]Thomas Vogel, Holger Giese:
On Unifying Development Models and Runtime Models. Models@run.time 2014: 5-10 - [c116]Sebastian Wätzoldt, Holger Giese:
Classifying Distributed Self-* Systems Based on Runtime Models and Their Coupling. Models@run.time 2014: 11-20 - [e23]Holger Giese, Barbara König:
Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings. Lecture Notes in Computer Science 8571, Springer 2014, ISBN 978-3-319-09107-5 [contents] - 2013
- [j28]Stephan Hildebrandt, Leen Lambers, Holger Giese, Jan Rieke, Joel Greenyer, Wilhelm Schäfer, Marius Lauder, Anthony Anjorin, Andy Schürr:
A Survey of Triple Graph Grammar Tools. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013) - [j27]Holger Giese:
Invited Talk: Extensions of Graph Transformation Systems for Timed, Continuous, and Probabilistic Behavior. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 58 (2013) - [j26]