default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHolger Giese
Person information
- affiliation: Hasso Plattner Institute, Potsdam, Germany
SPARQL queries 
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]Christian Krause, Holger Giese, Erik P. de Vink:
Compositional and behavior-preserving reconfiguration of component connectors in Reo. J. Vis. Lang. Comput. 24(3): 153-168 (2013) - [c115]Gregor Gabrysiak, Regina Hebig, Lukas Pirl, Holger Giese:
Cooperating with a non-governmental organization to teach gathering and implementation of requirements. CSEE&T 2013: 11-20 - [c114]Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Danny Weyns, Luciano Baresi, Nelly Bencomo, Yuriy Brun, Javier Cámara, Radu Calinescu, Myra B. Cohen, Alessandra Gorla, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Hausi A. Müller, Romain Rouvoy, Cecília M. F. Rubira, Éric Rutten, Mary Shaw, Giordano Tamburrelli, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Franco Zambonelli:
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. Software Engineering for Self-Adaptive Systems 2013: 3-30 - [c113]Marin Litoiu, Mary Shaw, Gabriel Tamura, Norha M. Villegas, Hausi A. Müller, Holger Giese, Romain Rouvoy, Éric Rutten:
What Can Control Theory Teach Us About Assurances in Self-Adaptive Software Systems? Software Engineering for Self-Adaptive Systems 2013: 90-134 - [c112]Christian Krause, Johannes Dyck, Holger Giese:
Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations. ICMT 2013: 76-91 - [c111]Stephan Hildebrandt, Leen Lambers, Holger Giese:
Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations. ICMT 2013: 174-188 - [c110]Thomas Beyhl, Gregor Berg, Holger Giese:
Why innovation processes need to support traceability. TEFSE@ICSE 2013: 1-4 - [c109]Stefan Neumann, Holger Giese:
Scalable real-time compatibility for embedded components using language-progressive TIOA. ISORC 2013: 1-10 - [c108]Regina Hebig, Holger Giese, Florian Stallmann, Andreas Seibel:
On the Complex Nature of MDE Evolution. MoDELS 2013: 436-453 - [c107]Thomas Beyhl, Regina Hebig, Holger Giese:
A Model Management Framework for Maintaining Traceability Links. Software Engineering (Workshops) 2013: 453-457 - [c106]Tingting Han, Christian Krause, Marta Z. Kwiatkowska, Holger Giese:
Modal Specifications for Probabilistic Timed Systems. QAPL 2013: 66-80 - [p2]Holger Giese, Wilhelm Schäfer:
Model-Driven Development of Safe Self-optimizing Mechatronic Systems with MechatronicUML. Assurances for Self-Adaptive Systems 2013: 152-186 - [e22]Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw:
Software Engineering for Self-Adaptive Systems II - International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers. Lecture Notes in Computer Science 7475, Springer 2013, ISBN 978-3-642-35812-8 [contents] - [e21]Margaret M. Burnett, Holger Giese, Tien Nguyen, Yuriy Brun:
Proceedings of the 1st International Workshop on Conducting Empirical Studies in Industry, CESI 2013, San Francisco, California, USA, May 20, 2013. IEEE Computer Society 2013, ISBN 978-1-4673-6286-3 [contents] - [e20]Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz:
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, Schloss Dagstuhl, Germany, April 24-26, 2013, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. fortiss GmbH, München 2013 [contents] - [i10]Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese:
Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511). Dagstuhl Reports 3(12): 67-96 (2013) - 2012
- [j25]Leen Lambers, Stephan Hildebrandt, Holger Giese, Fernando Orejas:
Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 49 (2012) - [j24]Stephan Hildebrandt, Leen Lambers, Basil Becker, Holger Giese:
Integration of Triple Graph Grammars and Constraints. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 54 (2012) - [c105]Ulrike Golas, Leen Lambers, Hartmut Ehrig, Holger Giese:
Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements. ICGT 2012: 141-155 - [c104]Holger Giese, Leen Lambers:
Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking. ICGT 2012: 249-263 - [c103]Christian Krause, Holger Giese:
Probabilistic Graph Transformation Systems. ICGT 2012: 311-325 - [c102]Gregor Gabrysiak, Markus Guentert, Regina Hebig, Holger Giese:
Teaching requirements engineering with authentic stakeholders: towards a scalable course setting. EduRex@ICSE 2012: 1-4 - [c101]Annapaola Marconi, Antonio Bucchiarone, Konstantinos Bratanis, Antonio Brogi, Javier Cámara, Dimitris Dranidis, Holger Giese, Raman Kazhamiakin, Rogério de Lemos, Clarissa Cassales Marquezan, Andreas Metzger:
Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systems. S-Cube@ICSE 2012: 40-46 - [c100]Thomas Vogel, Holger Giese:
A language for feedback loops in self-adaptive systems: Executable runtime megamodels. SEAMS 2012: 129-138 - [c99]Regina Hebig, Gregor Gabrysiak, Holger Giese:
Towards patterns for MDE-related processes to detect and handle changeability risks. ICSSP 2012: 38-47 - [c98]Stephan Hildebrandt, Leen Lambers, Holger Giese:
The MDELab tool framework for the development of correct model transformations with triple graph grammars. AMT@MoDELS 2012: 33-34 - [c97]Henrik Steudel, Regina Hebig, Holger Giese:
A build server for model-driven engineering. MPM@MoDELS 2012: 67-72 - [c96]Holger Giese, Leen Lambers, Basil Becker, Stephan Hildebrandt, Stefan Neumann, Thomas Vogel, Sebastian Wätzoldt:
Graph Transformations for MDE, Adaptation, and Models at Runtime. SFM 2012: 137-191 - [c95]Sebastian Wätzoldt, Stefan Neumann, Falk Benke, Holger Giese:
Integrated Software Development for Embedded Robotic Systems. SIMPAR 2012: 335-348 - [c94]Gregor Gabrysiak, Regina Hebig, Holger Giese:
Simulation-Assisted Elicitation and Validation of Behavioral Specifications for Multiple Stakeholders. WETICE 2012: 220-225 - [p1]Andreas Seibel, Regina Hebig, Holger Giese:
Traceability in Model-Driven Engineering: Efficient and Scalable Traceability Maintenance. Software and Systems Traceability 2012: 215-240 - [e19]Holger Giese, Grigore Rosu:
Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings. Lecture Notes in Computer Science 7273, Springer 2012, ISBN 978-3-642-30792-8 [contents] - [e18]Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz:
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. fortiss GmbH, München 2012 [contents] - 2011
- [j23]Stefan Henkler, Simon Oberthür, Holger Giese, Andreas Seibel:
Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures. Comput. Syst. Sci. Eng. 26(6) (2011) - [j22]Holger Giese, Stefan Henkler, Martin Hirsch:
A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems. Simul. 87(9): 775-808 (2011) - [c93]Stephan Hildebrandt, Leen Lambers, Holger Giese, Dominic Petrick, Ingo Richter:
Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations. AGTIVE 2011: 238-253 - [c92]Holger Giese, Nelly Bencomo, Liliana Pasquale, Andres J. Ramirez, Paola Inverardi, Sebastian Wätzoldt, Siobhán Clarke:
Living with Uncertainty in the Age of Runtime Models. Models@run.time@Dagstuhl 2011: 47-100 - [c91]Basil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese:
Iterative Development of Consistency-Preserving Rule-Based Refactorings. ICMT@TOOLS 2011: 123-137 - [c90]Regina Hebig, Andreas Seibel, Holger Giese:
Toward a comparable characterization for software development activities in context of MDE. ICSSP 2011: 33-42 - [c89]Thomas Vogel, Holger Giese:
Requirements and Assessment of Languages and Frameworks for Adaptation Models. MoDELS (Workshops) 2011: 167-182 - [c88]Gregor Gabrysiak, Holger Giese, Andreas Seibel:
Why should I help you to teach requirements engineering? REET 2011: 9-13 - [c87]Andreas Seibel, Regina Hebig, Stefan Neumann, Holger Giese:
A Dedicated Language for Context Composition and Execution of True Black-Box Model Transformations. SLE 2011: 19-39 - [c86]Christian Krause, Holger Giese:
Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements. INFINITY 2011: 64-78 - [e17]Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz:
Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers. Lecture Notes in Computer Science 6100, Springer 2011, ISBN 978-3-642-16276-3 [contents] - [e16]Holger Giese, Betty H. C. Cheng:
2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2011, Waikiki, Honolulu , HI, USA, May 23-24, 2011. ACM 2011, ISBN 978-1-4503-0575-4 [contents] - [e15]Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz:
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. fortiss GmbH, München 2011 [contents] - [i9]Holger Giese, Bernhard Rumpe, Bernhard Schätz, Janos Sztipanovits:
Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441). Dagstuhl Reports 1(11): 1-22 (2011) - 2010
- [j21]Martin Hanysz, Tobias Hoppe, Axel Uhl, Andreas Seibel, Holger Giese, Philipp Berger, Stephan Hildebrandt:
Navigating Across Non-Navigable Ecore References via OCL. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 36 (2010) - [j20]Andreas Seibel, Stefan Neumann, Holger Giese:
Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance. Softw. Syst. Model. 9(4): 493-528 (2010) - [c85]Holger Giese, Stephan Hildebrandt, Stefan Neumann:
Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent. Graph Transformations and Model-Driven Engineering 2010: 555-579 - [c84]Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Danny Weyns, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovski, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Dennis B. Smith, João Pedro Sousa, Ladan Tahvildari, Kenny Wong, Jochen Wuttke:
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems 2010: 1-32 - [c83]Danny Weyns, Bradley R. Schmerl, Vincenzo Grassi, Sam Malek, Raffaela Mirandola, Christian Prehofer, Jochen Wuttke, Jesper Andersson, Holger Giese, Karl M. Göschka:
On Patterns for Decentralized Control in Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems 2010: 76-107 - [c82]Regina Hebig, Holger Giese, Basil Becker:
Making control loops explicit when architecting self-adaptive systems. SOAR@ICAC 2010: 21-28 - [c81]Thomas Vogel, Holger Giese:
Adaptation and abstract runtime models. SEAMS 2010: 39-48 - [c80]Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Mauro Pezzè, Richard Taylor:
Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010). ICSE (2) 2010: 447-448 - [c79]Stefan Henkler, Simon Oberthür, Holger Giese, Andreas Seibel:
Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures. ISORC 2010: 58-65 - [c78]Gregor Gabrysiak, Holger Giese, Andreas Seibel:
Deriving behavior of multi-user processes from interactive requirements validation. ASE 2010: 355-356 - [c77]Thomas Vogel, Andreas Seibel, Holger Giese:
Toward Megamodels at Runtime. Models@run.time 2010: 13-24 - [c76]Thomas Vogel, Andreas Seibel, Holger Giese:
The Role of Models and Megamodels at Runtime. MoDELS (Workshops) 2010: 224-238 - [c75]Gregor Gabrysiak, Holger Giese, Andreas Seibel, Stefan Neumann:
Teaching requirements engineering with virtual stakeholders without software engineering knowledge. REET 2010: 36-45 - [e14]Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw:
Software Engineering for Self-Adaptive Systems, 24.10. - 29.10.2010. Dagstuhl Seminar Proceedings 10431, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - [e13]Holger Giese:
Architecting Critical Systems, First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings. Lecture Notes in Computer Science 6150, Springer 2010, ISBN 978-3-642-13555-2 [contents] - [e12]Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz:
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, Schloss Dagstuhl, Germany, 2010, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. fortiss GmbH, München 2010 [contents] - [i8]Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw:
10431 Abstracts Collection - Software Engineering for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems 2010 - [i7]Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw:
10431 Report - Software Engineering for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems 2010 - [i6]Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Marin Litoiu, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovskii, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Bradley R. Schmerl, Dennis B. Smith, João Pedro Sousa, Gabriel Tamura, Ladan Tahvildari, Norha M. Villegas, Thomas Vogel, Danny Weyns, Kenny Wong, Jochen Wuttke:
Software Engineering for Self-Adaptive Systems: A second Research Roadmap. Software Engineering for Self-Adaptive Systems 2010
2000 – 2009
- 2009
- [j19]Holger Giese, Stephan Hildebrandt, Andreas Seibel:
Improved Flexibility and Scalability by Interpreting Story Diagrams. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 18 (2009) - [j18]Holger Giese, Robert Wagner:
From model transformation to incremental bidirectional model synchronization. Softw. Syst. Model. 8(1): 21-43 (2009) - [c74]Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Giovanna Di Marzo Serugendo, Schahram Dustdar, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger M. Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, Hausi A. Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, Jon Whittle:
Software Engineering for Self-Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems 2009: 1-26 - [c73]Yuriy Brun, Giovanna Di Marzo Serugendo, Cristina Gacek, Holger Giese, Holger M. Kienle, Marin Litoiu, Hausi A. Müller, Mauro Pezzè, Mary Shaw:
Engineering Self-Adaptive Systems through Feedback Loops. Software Engineering for Self-Adaptive Systems 2009: 48-70 - [c72]Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker:
Model-driven architectural monitoring and adaptation for autonomic systems. ICAC 2009: 67-68 - [c71]Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor:
SEAMS 2009: Software engineering for adaptive and self-managing systems. ICSE Companion 2009: 463-464 - [c70]Stefan Henkler, Joel Greenyer, Martin Hirsch, Wilhelm Schäfer, Kahtan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Löffler, Andreas Seibel, Holger Giese:
Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite. ICSE 2009: 615-618 - [c69]Holger Giese, Stephan Hildebrandt, Stefan Neumann:
Towards Integrating SysML and AUTOSAR Modeling via Bidirectional Model Synchronization. MBEES 2009: 155-164 - [c68]Basil Becker, Holger Giese, Stefan Neumann, Martin Schenck, Arian Treffer:
Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration. ACES-MB@MoDELS 2009 - [c67]Basil Becker, Holger Giese, Stefan Neumann, Martin Schenck, Arian Treffer:
Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration. MoDELS (Workshops) 2009: 83-97 - [c66]Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker:
Incremental Model Synchronization for Efficient Run-Time Monitoring. MoDELS (Workshops) 2009: 124-139 - [e11]Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee:
Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar]. Lecture Notes in Computer Science 5525, Springer 2009, ISBN 978-3-642-02160-2 [contents] - [e10]Holger Giese, Michaela Huhn, Ulrich Nickel, Bernhard Schätz:
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Informatik-Bericht 2009-01, TU Braunschweig, Institut für Software Systems Engineering 2009 [contents] - [i5]Jens Happe, Heiko Koziolek, Umesh Bellur, Holger Giese, Wilhelm Hasselbring, Robert Laddaga, Tiziana Margaria, Josu Martinez, Christian Müller-Schloer, Roland Reichle:
The Role of Models in Self-adaptive and Self-healing Systems. Self-Healing and Self-Adaptive Systems 2009 - 2008
- [j17]Sven Burmester, Holger Giese, Eckehard Münch, Oliver Oberschelp, Florian Klein, Peter Scheideler:
Tool support for the design of self-optimizing mechatronic multi-agent systems. Int. J. Softw. Tools Technol. Transf. 10(3): 207-222 (2008) - [c65]Holger Giese, Stephan Hildebrandt:
Incremental model synchronization for multiple updates. GRaMoT@ICSE 2008: 1-8 - [c64]Martin Hirsch, Stefan Henkler, Holger Giese:
Modeling collaborations with dynamic structural adaptation in mechatronic UML. SEAMS 2008: 33-40 - [c63]Cristina Gacek, Holger Giese, Ethan Hadar:
Friends or foes?: a conceptual analysis of self-adaptation and it change management. SEAMS 2008: 121-128 - [c62]Marin Litoiu, Holger Giese:
Seams 2008: software engineering for adaptive and self-managing systems. ICSE Companion 2008: 1063-1064 - [c61]Basil Becker, Holger Giese:
On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles. ISORC 2008: 203-210 - [c60]Basil Becker, Holger Giese:
Incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systems. ASE Workshops 2008: 33-40 - [c59]Basil Becker, Holger Giese:
Modeling of correct self-adaptive systems: a graph transformation system based approach. CSTST 2008: 508-516 - [e9]Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee:
Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008. Dagstuhl Seminar Proceedings 08031, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - [e8]Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard N. Taylor:
2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2008, Leipzig, Germany, May 12-13, 2008. ACM 2008, ISBN 978-1-60558-037-1 [contents] - [e7]Holger Giese, Michaela Huhn, Ulrich Nickel, Bernhard Schätz:
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, Schloss Dagstuhl, Germany, 7.-9. April 2008, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Informatik-Bericht 2008-2, TU Braunschweig, Institut für Software Systems Engineering 2008 [contents] - [e6]Holger Giese:
Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers. Lecture Notes in Computer Science 5002, Springer 2008, ISBN 978-3-540-69069-6 [contents] - [i4]Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos:
08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map. Software Engineering for Self-Adaptive Systems 2008 - [i3]Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos:
08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems 2008 - 2007
- [j16]Holger Giese, Florian Klein:
Systematic verification of multi-agent systems based on rigorous executable specifications. Int. J. Agent Oriented Softw. Eng. 1(1): 28-62 (2007) - [c58]Bernhard Schätz, Holger Giese:
Models of Reactive Systems - Communication, Concurrency, and Causality. Model-Based Engineering of Embedded Real-Time Systems 2007: 3-15 - [c57]Holger Giese, Stefan Neumann, Oliver Niggemann, Bernhard Schätz:
Model-Based Integration. Model-Based Engineering of Embedded Real-Time Systems 2007: 17-54 - [c56]Florian Klein, Holger Giese:
Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams. FASE 2007: 185-199 - [c55]Holger Giese, Stefan Henkler, Martin Hirsch:
Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML. WADS 2007: 248-272 - [c54]Sven Burmester, Holger Giese, Stefan Henkler, Martin Hirsch, Matthias Tichy, Alfonso Gambuzza, Eckehard Münch, Henner Vöcking:
Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View. ICSE 2007: 801-804 - [c53]Ingo Stürmer, Heiko Dörr, Holger Giese, Udo Kelter, Andy Schürr, Albert Zündorf:
Das MATE Projekt - visuelle Spezifikation von MATLAB Simulink/Stateflow Analysen und Transformationen. MBEES 2007: 83-94 - [c52]Holger Giese:
Workshops and Symposia at MODELS 2007. MoDELS 2007: 682-690 - [e5]Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz:
Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007. Dagstuhl Seminar Proceedings 07451, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - [e4]Mirko Conrad, Holger Giese, Bernhard Rumpe, Bernhard Schätz:
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, Schloss Dagstuhl, Germany, 15.-18. Januar 2007, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Informatik-Bericht 2007-1, TU Braunschweig, Institut für Software Systems Engineering 2007 [contents] - [e3]Ricardo Choren, Alessandro F. Garcia, Holger Giese, Ho-fung Leung, Carlos José Pereira de Lucena, Alexander B. Romanovsky:
Software Engineering for Multi-Agent Systems V, Research Issues and Practical Applications [the book is a result of SELMAS 2006]. Lecture Notes in Computer Science 4408, Springer 2007, ISBN 978-3-540-73130-6 [contents] - [i2]Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz:
07451 Summary - Model-Based Engineering of Embedded Real-Time Systems. Model-Based Engineering of Embedded Real-Time Systems 2007 - [i1]Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz:
07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time Systems. Model-Based Engineering of Embedded Real-Time Systems 2007 - 2006
- [j15]Alessandro Garcia, Holger Giese, Alexander B. Romanovsky, Ricardo Choren, Ho-fung Leung, Carlos José Pereira de Lucena, Florian Klein, Eric Platon:
Software engineering for large-scale multi-agent systems - SELMAS 2006: workshop report. ACM SIGSOFT Softw. Eng. Notes 31(5): 24-32 (2006) - [j14]Holger Giese, Alexander Vilbig:
Separation of non-orthogonal concerns in software architecture and design. Softw. Syst. Model. 5(2): 136-169 (2006) - [j13]Kendra M. L. Cooper, Holger Giese, Ingolf H. Krüger:
Visual modeling for software intensive systems. J. Vis. Lang. Comput. 17(6): 503-507 (2006) - [j12]Holger Giese, Stefan Henkler:
A survey of approaches for the visual model-driven development of next generation software-intensive systems. J. Vis. Lang. Comput. 17(6): 528-550 (2006) - [c51]Holger Giese:
Reusable Services and Semi-automatic Service Composition for Automotive Software. ASWSD 2006: 161-181 - [c50]Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling:
Symbolic invariant verification for systems with dynamic structural adaptation. ICSE 2006: 72-81 - [c49]Ricardo Choren, Ho-fung Leung, Alessandro F. Garcia, Carlos José Pereira de Lucena, Holger Giese, Alexander B. Romanovsky:
Fifth workshop on software engineering for large-scale multi-agent systems (SELMAS). ICSE 2006: 1022-1023 - [c48]Holger Giese, Norma Montealegre, Thomas Müller, Simon Oberthür, Bernd Schulz:
Acute Stress Response for Self-optimizing Mechatronic Systems. BICC 2006: 157-167 - [c47]Holger Giese, Stefan Henkler:
Architecture-driven platform independent deterministic replay for distributed hard real-time systems. ROSATEA 2006: 28-38 - [c46]Holger Giese, Tihamer Levendovszky, Hans Vangheluwe:
Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools. MoDELS (Workshops) 2006: 252-262 - [c45]Holger Giese, Robert Wagner:
Incremental Model Synchronization with Triple Graph Grammars. MoDELS 2006: 543-557 - [c44]Björn Axenath, Holger Giese, Florian Klein, Ursula Frank:
Systematic Requirements-Driven Evaluation and Synthesis of Alternative Principle Solutions for Advanced Mechatronic Systems. RE 2006: 156-165 - [c43]Holger Giese, Matthias Tichy:
Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration. SAFECOMP 2006: 156-169 - [c42]Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein:
Nobody's perfect: interactive synthesis from parametrized real-time scenarios. SCESM 2006: 67-74 - [c41]Ricardo Choren, Ho-fung Leung, Alessandro F. Garcia, Carlos Lucena, Holger Giese, Alexander B. Romanovsky:
Introduction to the SELMAS 2006. SELMAS 2006: 1-4 - [e2]Holger Giese, Bernhard Rumpe, Bernhard Schätz:
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, Schloss Dagstuhl, Germany, 9.-13. Januar 2006, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Informatik-Bericht 2006-1, TU Braunschweig, Institut für Software Systems Engineering 2006 [contents] - [e1]Ricardo Choren, Alessandro F. Garcia, Holger Giese, Ho-fung Leung, Carlos José Pereira de Lucena, Alexander B. Romanovsky:
Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, SELMAS '06, Shanghai, China, May 22-23, 2006. ACM 2006 [contents] - 2005
- [j11]Holger Giese, Ingolf Krüger:
A summary of the ICSE 2004 workshop on "scenarios and state machines: models, algorithms, and tools". ACM SIGSOFT Softw. Eng. Notes 30(1): 2 (2005) - [j10]Alessandro Garcia, Ricardo Choren, Carlos José Pereira de Lucena, Alexander B. Romanovsky, Holger Giese, Danny Weyns, Tom Holvoet, Paolo Giorgini:
Software Engineering for Large-Scale Multi-Agent Systems - SELMAS 2005: workshop report. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-8 (2005) - [j9]Holger Giese, Ekkart Kindler, Florian Klein, Robert Wagner:
Reconciling scenario-centered controller design with state-based system models. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-5 (2005) - [j8]Florian Klein, Holger Giese:
Analysis and design of physical and social contexts in multi-agent systems using UML. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-8 (2005) - [j7]Matthias Tichy, Holger Giese, Daniela Schilling, Wladimir Pauls:
Computing optimal self-repair actions: damage minimization versus repair time. ACM SIGSOFT Softw. Eng. Notes 30(4): 7-6 (2005) - [c40]Florian Klein, Holger Giese:
Grounding Social Interactions in the Environment. E4MAS 2005: 139-162 - [c39]Sven Burmester, Holger Giese, Wilhelm Schäfer:
Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code. ECMDA-FA 2005: 25-40 - [c38]Matthias Tichy, Holger Giese, Daniela Schilling, Wladimir Pauls:
Computing optimal self-repair actions: damage minimization versus repair time. WADS@ICSE 2005: 13:7-13:6 - [c37]Sven Burmester, Holger Giese, Martin Hirsch, Daniela Schilling, Matthias Tichy:
The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems. ICSE 2005: 670-671 - [c36]Holger Giese:
Towards the Model-Driven Development of Self-Optimizing Mechatronic Systems. MBEES 2005: 11-22 - [c35]Holger Giese:
Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems. Monterey Workshop 2005: 258-280 - [c34]Florian Klein, Holger Giese:
Analysis and design of physical and social contexts in multi-agent systems using UML. SELMAS 2005: 2:1-2:8 - [c33]Florian Klein, Holger Giese:
Analysis and Design of Physical and Social Contexts in Multi-agent Systems. SELMAS (LNCS) 2005: 91-108 - [c32]Holger Giese, Martin Hirsch:
Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML. MoDELS (Satellite Events) 2005: 67-78 - [c31]Holger Giese, Pascal Roques, Timothy Lethbridge:
Summary of the Educator's Symposium. MoDELS (Satellite Events) 2005: 302-305 - [c30]Holger Giese, Ingolf H. Krüger, Kendra M. L. Cooper:
Visual Modeling for Software Intensive Systems. VL/HCC 2005: 4 - [c29]Sven Burmester, Holger Giese:
Visual Integration of UML 2.0 and Block Diagrams for Flexible Reconfiguration in MECHATRONIC UML. VL/HCC 2005: 109-116 - 2004
- [j6]Sven Burmester, Holger Giese, Jörg Niere, Matthias Tichy, Jörg P. Wadsack, Robert Wagner, Lothar Wendehals, Albert Zündorf:
Tool integration at the meta-model level: the Fujaba approach. Int. J. Softw. Tools Technol. Transf. 6(3): 203-218 (2004) - [c28]Sven Burmester, Matthias Gehrke, Holger Giese, Simon Oberthür:
Making mechatronic agents resource-aware in order to enable safe dynamic resource allocation. EMSOFT 2004: 175-183 - [c27]Sven Burmester, Holger Giese, Oliver Oberschelp:
Hybrid UML Components for the Design of Complex Self-Optimizing Mechatronic Systems. ICINCO (3) 2004: 222-229 - [c26]Thorsten Hestermeyer, Oliver Oberschelp, Holger Giese:
Structured Information Processing for Self-Optimizing Mechatronic Systems. ICINCO (3) 2004: 230-237 - [c25]Holger Giese, Ingolf Krüger:
Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM'04). ICSE 2004: 766-767 - [c24]Sven Burmester, Holger Giese, Matthias Tichy:
Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML. MDAFA 2004: 47-61 - [c23]Holger Giese, Matthias Tichy, Daniela Schilling:
Compositional Hazard Analysis of UML Component and Deployment Models. SAFECOMP 2004: 166-179 - [c22]Florian Klein, Holger Giese:
Separation of Concerns for Mechatronic Multi-agent Systems Through Dynamic Communities. SELMAS 2004: 272-289 - [c21]Holger Giese, Sven Burmester, Wilhelm Schäfer, Oliver Oberschelp:
Modular design and verification of component-based mechatronic systems with online-reconfiguration. SIGSOFT FSE 2004: 179-188 - [c20]Matthias Tichy, Daniela Schilling, Holger Giese:
Design of self-managing dependable systems with UML and fault tolerance patterns. WOSS 2004: 105-109 - 2003
- [c19]Holger Giese, Florian Klein:
Autonomous Shuttle System Case Study. Scenarios: Models, Transformations and Tools 2003: 90-94 - [c18]Holger Giese, Florian Klein, Sven Burmester:
Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models. Scenarios: Models, Transformations and Tools 2003: 193-211 - [c17]Matthias Tichy, Holger Giese:
Seamless UML Support for Service-Based Software Architectures. FIDJI 2003: 128-138 - [c16]Matthias Tichy, Holger Giese:
A Self-optimizing Run-Time Architecture for Configurable Dependability of Services. WADS 2003: 25-50 - [c15]Holger Giese, Matthias Tichy, Sven Burmester, Stephan Flake:
Towards the compositional verification of real-time UML designs. ESEC / SIGSOFT FSE 2003: 38-47 - 2002
- [c14]Matthias Gehrke, Holger Giese, Ulrich Nickel, Jörg Niere, Matthias Tichy, Jörg P. Wadsack, Albert Zündorf:
Reporting about industrial strength software engineering courses for undergraduates. ICSE 2002: 395-405 - [c13]Holger Giese, Martin Kardos, Ulrich Nickel:
Towards Design Verification and Validation at Multiple Levels of Abstraction. DIPES 2002: 71-80 - 2001
- [b1]Holger Giese:
Object-oriented design and architecture of distributed systems. University of Münster, Germany, Shaker 2001, ISBN 978-3-8265-8634-7, pp. I-VII, 1-451 - [j5]Holger Giese, Guido Wirtz:
The OCoN approach for object-oriented distributed software systems modeling. Comput. Syst. Sci. Eng. 16(3): 157-172 (2001) - [j4]Guido Wirtz, Mathias Weske, Holger Giese:
The OCoN Approach to Workflow Modeling in Object-Oriented Systems. Inf. Syst. Frontiers 3(3): 357-376 (2001) - [j3]Holger Giese, Stephan Philippi:
FG 2.1.9: Bericht vom 8. Workshop des GI-Arbeitskreises GROOM am 13. und 14. November 2000 in Münster. Softwaretechnik-Trends 21(1) (2001) - [j2]Holger Giese:
Bericht über die Modellierung 2001 vom 28. - 30. März 2001 in Bad Lippspringe. Softwaretechnik-Trends 21(3) (2001) - [j1]Holger Giese, Guido Wirtz:
Visual Modeling of Object-Oriented Distributed Systems. J. Vis. Lang. Comput. 12(2): 183-202 (2001) - [c12]Holger Giese, Ulrich Nickel:
Towards Service-Based Flexible Production Control Systems and their Modular Modeling and Simulation. OMER 2001: 106-121 - 2000
- [c11]Guido Wirtz, Mathias Weske, Holger Giese:
Extending UML with Workflow Modeling Capabilities. CoopIS 2000: 30-41 - [c10]Guido Wirtz, Holger Giese:
Skalierbare Beschreibung des Verhaltens verteilter Software-Systeme. FBT 2000: 41-50 - [c9]Holger Giese:
Contract-Based Component System Design. HICSS 2000 - [c8]Holger Giese, Guido Wirtz:
Early Evaluation of Design Options for Distributed Systems. PDSE 2000: 150-157 - [c7]Guido Wirtz, Holger Giese:
Using UML and object-coordination-nets for workflow specification. SMC 2000: 3159-3164
1990 – 1999
- 1999
- [c6]Holger Giese, Jörg Graf, Guido Wirtz:
Contract-based Coordination of Distributed Object Systems. PDPTA 1999: 25-31 - [c5]Holger Giese, Jörg Graf, Guido Wirtz:
Closing the Gap Between Object-Oriented Modeling of Structure and Behavior. UML 1999: 534-549 - [c4]Holger Giese, Jörg Graf, Guido Wirtz:
Seamless Visual Object-Oriented Behavior Modeling for Distributed Software Systems. VL 1999: 156-163 - 1998
- [c3]Holger Giese, Jörg Graf, Guido Wirtz:
Modeling Distributed Software Systems with Object Coordination Nets. PDSE 1998: 39- - 1997
- [c2]Guido Wirtz, Jörg Graf, Holger Giese:
Ruling the Behavior of Distributed Software Components. PDPTA 1997: 107-116 - [c1]Holger Giese, Guido Wirtz:
Modular Development of Correct Meander Programs. PDPTA 1997: 178-181
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-16 20:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
