Holger Giese - RankMe

303 papers A* 8A 14B 42C 6Misc 4Journal 71Unranked 121

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Localized RETE for Incremental Graph Queries with Nested Graph Conditions. Log. Methods Comput. Sci. Matthias Barkowsky, Holger Giese
2026	B	`conf`	Modeling and Analyzing Planning-Aware Distributed Cyber-Physical Systems with Timed Graph Transformation Systems. FASE Mustafa Ghani, Holger Giese
2025	—	`conf`	Causal Knowledge Transfer for Multi-Agent Reinforcement Learning in Dynamic Environments. ACSOS-C Kathrin Korte, Christian Medeiros Adriano, Sona Ghahremani, Holger Giese
2025	J	`jnl`	Causal Knowledge Transfer for Multi-Agent Reinforcement Learning in Dynamic Environments. CoRR Kathrin Korte, Christian Medeiros Adriano, Sona Ghahremani, Holger Giese
2025	A	`conf`	From Assessment to Enhancement of Pull Requests at Scale: Aligning Code Reviews with Developer Competencies Using Large Language Models. ESEM Luca Mariotto, Christian Medeiros Adriano, René Eichhorn, Daniel Burgstahler, Holger Giese
2025	J	`jnl`	Incremental model transformations with triple graph grammars for multi-version models and multi-version pattern matching. Softw. Syst. Model. Matthias Barkowsky, Holger Giese
2025	—	`conf`	Neuro-Symbolic Causal Reasoning for Cautious Self-Adaptation Under Distribution Shifts. ACSOS Christian Medeiros Adriano, Sona Ghahremani, Finn Kaiser, Holger Giese
2025	B	`conf`	Stochastic Timed Graph Transformation Systems. FASE Sven Schneider, Maria Maximova, Holger Giese
2025	—	`conf`	Towards Soundness-Preserving Composition with Portable Nets. PNSE/ATAED/PeNGE@PETRI NETS Mustafa Ghani, Holger Giese
2024	J	`jnl`	Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic. J. Log. Algebraic Methods Program. Sven Schneider, Maria Maximova, Holger Giese
2024	B	`conf`	Combining Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation Systems. FASE He Xu, Sven Schneider, Holger Giese
2024	B	`conf`	Deriving Delay-Robust Timed Graph Transformation System Models. ICGT Mustafa Ghani, Sven Schneider, Maria Maximova, Holger Giese
2024	B	`conf`	Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models. FASE Lucas Sakizloglou, Holger Giese, Leen Lambers
2024	J	`jnl`	Localized RETE for Incremental Graph Queries with Nested Graph Conditions. CoRR Matthias Barkowsky, Holger Giese
2024	B	`conf`	Localized RETE for Incremental Graph Queries. ICGT Matthias Barkowsky, Holger Giese
2024	J	`jnl`	Localized RETE for Incremental Graph Queries. CoRR Matthias Barkowsky, Holger Giese
2024	—	`conf`	Message from the Modellierung'24 Workshop Chairs. Modellierung (Workshops) Holger Giese, Kristina Rosenthal
2024	J	`jnl`	Mind the Gap Between Synthetic and Real: Utilizing Transfer Learning to Probe the Boundaries of Stable Diffusion Generated Data. CoRR Leonhard Hennicke, Christian Medeiros Adriano, Holger Giese, Jan Mathias Köhler, Lukas Schott
2024	—	`ed.`	Modellierung 2024 - Workshop Proceedings, Potsdam, Germany, March 12-15, 2024. Modellierung (Workshops) Holger Giese, Kristina Rosenthal
2024	—	`conf`	Portable Nets: Modeling and Verification of Business Processes with multiple Start and End Points. PNSE@Petri Nets Mustafa Ghani, Holger Giese
2024	—	`conf`	Principled Transfer Learning for Autonomic Systems: A Neuro-Symbolic Vision. ACSOS-C Christian Medeiros Adriano, Sona Ghahremani, Holger Giese
2024	—	`conf`	STIGS: Spatio-Temporal Interference Graph Simulator for Self-Configurable Multi-Tenant Cloud Systems. ICPE (Companion) Iqra Zafar, Christian Medeiros Adriano, Holger Giese
2023	—	`conf`	Challenges in Reward Design for Reinforcement Learning-based Traffic Signal Control: An Investigation using a CO2 Emission Objective. SUMO Max Schumacher, Christian Medeiros Adriano, Holger Giese
2023	J	`jnl`	Compositional Analysis of Probabilistic Timed Graph Transformation Systems. Formal Aspects Comput. Maria Maximova, Sven Schneider, Holger Giese
2023	J	`jnl`	Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions. J. Log. Algebraic Methods Program. Matthias Barkowsky, Holger Giese
2023	A	`conf`	Incremental Model Transformations with Triple Graph Grammars for Multi-version Models. MODELS Matthias Barkowsky, Holger Giese
2023	J	`jnl`	Incremental Model Transformations with Triple Graph Grammars for Multi-version Models. CoRR Matthias Barkowsky, Holger Giese
2023	J	`jnl`	Modeling and formal analysis of meta-ecosystems with dynamic structure using graph transformation. Ecol. Informatics Boris Flotterer, Maria Maximova, Sven Schneider, Johannes Dyck, Christian Zöllner, Holger Giese, Christelle Hély, Cédric Gaucherel
2023	J	`jnl`	Modular and Incremental Global Model Management with Extended Generalized Discrimination Networks. CoRR Matthias Barkowsky, Holger Giese
2023	J	`jnl`	Triple Graph Grammars for Multi-version Models. CoRR Matthias Barkowsky, Holger Giese
2022	J	`jnl`	Incremental execution of temporal graph queries over runtime models with history and its applications. Softw. Syst. Model. Lucas Sakizloglou, Sona Ghahremani, Matthias Barkowsky, Holger Giese
2022	B	`conf`	Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction. ICGT Sven Schneider, Maria Maximova, Holger Giese
2022	B	`conf`	Probabilistic Metric Temporal Graph Logic. ICGT Sven Schneider, Maria Maximova, Holger Giese
2022	—	`conf`	Tool support for the teaching of state-based behavior modeling. MoDELS (Companion) Christian Zöllner, Christian M. Adriano, Simon Wietheger, Leen Lambers, Holger Giese
2022	J	`jnl`	Towards Development with Multi-Version Models: Detecting Merge Conflicts and Checking Well-Formedness. CoRR Matthias Barkowsky, Holger Giese
2022	B	`conf`	Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-Formedness. ICGT Matthias Barkowsky, Holger Giese
2022	J	`jnl`	Translation validation of coloured Petri net models of programs on integers. Acta Informatica Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan A. Mandal, Holger Giese
2021	B	`conf`	Compositional Analysis of Probabilistic Timed Graph Transformation Systems. FASE Maria Maximova, Sven Schneider, Holger Giese
2021	J	`jnl`	Formal testing of timed graph transformation systems using metric temporal graph logic. Int. J. Softw. Tools Technol. Transf. Sven Schneider, Maria Maximova, Lucas Sakizloglou, Holger Giese
2021	B	`conf`	Host-Graph-Sensitive RETE Nets for Incremental Graph Pattern Matching. ICGT Matthias Barkowsky, Holger Giese
2021	—	`conf`	Hybrid Planning with Receding Horizon: A Case for Meta-self-awareness. ACSOS-C Sona Ghahremani, Holger Giese
2021	J	`jnl`	Hybrid Planning with Receding Horizon: A Case for Meta-self-awareness. CoRR Sona Ghahremani, Holger Giese
2021	—	`conf`	Improving Adaptive Monitoring with Incremental Runtime Model Queries. SEAMS@ICSE Matthias Barkowsky, Thomas Brand, Holger Giese
2021	B	`conf`	Interval Probabilistic Timed Graph Transformation Systems. ICGT Maria Maximova, Sven Schneider, Holger Giese
2021	B	`conf`	Keeping Pace with the History of Evolving Runtime Models. FASE Lucas Sakizloglou, Matthias Barkowsky, Holger Giese
2021	B	`conf`	On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems. ICGT Christian Zöllner, Matthias Barkowsky, Maria Maximova, Holger Giese
2021	J	`jnl`	Probabilistic Metric Temporal Graph Logic. CoRR Sven Schneider, Maria Maximova, Holger Giese
2021	B	`conf`	Towards Engineering Smart Cyber-Physical Systems with Graph Transformation Systems (Invited Talk). CALCO Holger Giese
2020	J	`jnl`	A Scalable Querying Scheme for Memory-efficient Runtime Models with History. CoRR Lucas Sakizloglou, Sona Ghahremani, Matthias Barkowsky, Holger Giese
2020	B	`conf`	A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies. ICGT Christian Zöllner, Matthias Barkowsky, Maria Maximova, Melanie Schneider, Holger Giese
2020	A	`conf`	A scalable querying scheme for memory-efficient runtime models with history. MoDELS Lucas Sakizloglou, Sona Ghahremani, Matthias Barkowsky, Holger Giese
2020	J	`jnl`	Collective Risk Minimization via a Bayesian Model for Statistical Software Testing. CoRR Joachim Hänsel, Christian M. Adriano, Johannes Dyck, Holger Giese
2020	—	`conf`	Collective risk minimization via a bayesian model for statistical software testing. SEAMS@ICSE Joachim Hänsel, Christian M. Adriano, Johannes Dyck, Holger Giese
2020	J	`jnl`	Evaluation of Self-Healing Systems: An Analysis of the State-of-the-Art and Required Improvements. Comput. Sona Ghahremani, Holger Giese
2020	B	`conf`	Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions. ICGT Sven Schneider, Johannes Dyck, Holger Giese
2020	—	`conf`	From classic to agile: experiences from more than a decade of project-based modeling education. MoDELS (Companion) Holger Giese, Leen Lambers, Christian Zöllner
2020	J	`jnl`	Hybrid search plan generation for generalized graph pattern matching. J. Log. Algebraic Methods Program. Matthias Barkowsky, Holger Giese
2020	J	`jnl`	Improving Scalability and Reward of Utility-Driven Self-Healing for Large Dynamic Architectures. CoRR Sona Ghahremani, Holger Giese, Thomas Vogel
2020	J	`jnl`	Improving Scalability and Reward of Utility-Driven Self-Healing for Large Dynamic Architectures. ACM Trans. Auton. Adapt. Syst. Sona Ghahremani, Holger Giese, Thomas Vogel
2020	B	`conf`	Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic. ICGT Sven Schneider, Lucas Sakizloglou, Maria Maximova, Holger Giese
2020	J	`jnl`	Towards Highly Scalable Runtime Models with History. CoRR Lucas Sakizloglou, Sona Ghahremani, Thomas Brand, Matthias Barkowsky, Holger Giese
2020	—	`conf`	Towards highly scalable runtime models with history. SEAMS@ICSE Lucas Sakizloglou, Sona Ghahremani, Thomas Brand, Matthias Barkowsky, Holger Giese
2019	J	`jnl`	Automatic verification of behavior preservation at the transformation level for relational model transformation. Softw. Syst. Model. Johannes Dyck, Holger Giese, Leen Lambers
2019	—	`conf`	Generic Adaptive Monitoring Based on Executed Architecture Runtime Model Queries and Events. SASO Thomas Brand, Holger Giese
2019	B	`conf`	Hybrid Search Plan Generation for Generalized Graph Pattern Matching. ICGT Matthias Barkowsky, Holger Giese
2019	B	`conf`	Metric Temporal Graph Logic over Typed Attributed Graphs. FASE Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider
2019	A	`conf`	Modeling Approach and Evaluation Criteria for Adaptable Architectural Runtime Model Instances. MoDELS Thomas Brand, Holger Giese
2019	—	`conf`	OCCI-compliant, fully causal-connected architecture runtime models supporting sensor management. SEAMS@ICSE Johannes Erbel, Thomas Brand, Holger Giese, Jens Grabowski
2019	—	`conf`	Performance Evaluation for Self-Healing Systems: Current Practice & Open Issues. FAS*W@SASO/ICAC Sona Ghahremani, Holger Giese
2019	—	`conf`	Software Engineering for Smart Cyber-Physical Systems: Challenges and Opportunities. ISEC Holger Giese
2018	J	`jnl`	A Testing Scheme for Self-Adaptive Software Systems with Architectural Runtime Models. CoRR Joachim Hänsel, Thomas Vogel, Holger Giese
2018	J	`jnl`	A language for feedback loops in self-adaptive systems: Executable runtime megamodels. CoRR Thomas Vogel, Holger Giese
2018	J	`jnl`	Adaptation and Abstract Runtime Models. CoRR Thomas Vogel, Holger Giese
2018	C	`conf`	Analysis of GPGPU Programs for Data-race and Barrier Divergence. ICSOFT Santonu Sarkar, Prateek Kandelwal, Soumyadip Bandyopadhyay, Holger Giese
2018	J	`jnl`	Efficient Utility-Driven Self-Healing Employing Adaptation Rules for Large Dynamic Architectures. CoRR Sona Ghahremani, Holger Giese, Thomas Vogel
2018	J	`jnl`	Industrial experiences from evolving measurement systems into self-healing systems for improved availability. Softw. Pract. Exp. Miroslaw Staron, Wilhelm Meding, Matthias Tichy, Jonas Bjurhede, Holger Giese, Ola Soder
2018	J	`jnl`	Model-Driven Architectural Monitoring and Adaptation for Autonomic Systems. CoRR Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker
2018	J	`jnl`	Model-Driven Engineering of Self-Adaptive Software with EUREMA. CoRR Thomas Vogel, Holger Giese
2018	J	`jnl`	Probabilistic timed graph transformation systems. J. Log. Algebraic Methods Program. Maria Maximova, Holger Giese, Christian Krause
2018	J	`jnl`	Requirements and Assessment of Languages and Frameworks for Adaptation Models. CoRR Thomas Vogel, Holger Giese
2018	J	`jnl`	The Role of Models and Megamodels at Runtime. CoRR Thomas Vogel, Andreas Seibel, Holger Giese
2018	—	`conf`	Towards Generic Adaptive Monitoring. SASO Thomas Brand, Holger Giese
2018	J	`jnl`	Towards Linking Adaptation Rules to the Utility Function for Dynamic Architectures. CoRR Sona Ghahremani, Holger Giese, Thomas Vogel
2018	—	`conf`	Towards software architecture runtime models for continuous adaptive monitoring. MoDELS (Workshops) Thomas Brand, Holger Giese
2018	—	`conf`	Training Prediction Models for Rule-Based Self-Adaptive Systems. ICAC Sona Ghahremani, Christian M. Adriano, Holger Giese
2017	—	`conf`	A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models. RE Workshops Dominique Blouin, Matthias Barkowski, Melanie Schneider, Holger Giese, Johannes Dyck, Etienne Borde, Dalila Tamzalit, Joost Noppen
2017	—	`ch.`	Architectural Concepts for Self-aware Computing Systems. Self-Aware Computing Systems Holger Giese, Thomas Vogel, Ada Diaconescu, Sebastian Götz, Samuel Kounev
2017	—	`ch.`	Architectures for Collective Self-aware Computing Systems. Self-Aware Computing Systems Ada Diaconescu, Kirstie L. Bellman, Lukas Esterle, Holger Giese, Sebastian Götz, Peter R. Lewis, Andrea Zisman
2017	—	`conf`	Efficient Utility-Driven Self-Healing Employing Adaptation Rules for Large Dynamic Architectures. ICAC Sona Ghahremani, Holger Giese, Thomas Vogel
2017	—	`ch.`	Generic Architectures for Individual Self-aware Computing Systems. Self-Aware Computing Systems Holger Giese, Thomas Vogel, Ada Diaconescu, Sebastian Götz, Kirstie L. Bellman
2017	J	`jnl`	On the complex nature of MDE evolution and its impact on changeability. Softw. Syst. Model. Regina Hebig, Holger Giese
2017	B	`conf`	Probabilistic Timed Graph Transformation Systems. ICGT Maria Maximova, Holger Giese, Christian Krause
2017	—	`ch.`	Reference Scenarios for Self-aware Computing. Self-Aware Computing Systems Jeffrey O. Kephart, Martina Maggio, Ada Diaconescu, Holger Giese, Henry Hoffmann, Samuel Kounev, Anne Koziolek, Peter R. Lewis, Anders Robertsson, Simon Spinner
2017	—	`ch.`	Self-adaptation for Individual Self-aware Computing Systems. Self-Aware Computing Systems Martina Maggio, Tarek F. Abdelzaher, Lukas Esterle, Holger Giese, Jeffrey O. Kephart, Ole J. Mengshoel, Alessandro Vittorio Papadopoulos, Anders Robertsson, Katinka Wolter
2017	—	`ch.`	Self-adaptation in Collective Self-aware Computing Systems. Self-Aware Computing Systems Jeffrey O. Kephart, Ada Diaconescu, Holger Giese, Anders Robertsson, Tarek F. Abdelzaher, Peter R. Lewis, Antonio Filieri, Lukas Esterle, Sylvain Frey
2017	—	`ch.`	Self-aware Computing Systems: Open Challenges and Future Research Directions. Self-Aware Computing Systems Robert Birke, Javier Cámara, Lydia Y. Chen, Lukas Esterle, Kurt Geihs, Erol Gelenbe, Holger Giese, Anders Robertsson, Xiaoyun Zhu
2017	—	`ch.`	Self-aware Computing Systems: Related Concepts and Research Areas. Self-Aware Computing Systems 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
2017	—	`ed.`	Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers Software Engineering for Self-Adaptive Systems Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese
2017	—	`ch.`	State of the Art in Architectures for Self-aware Computing Systems. Self-Aware Computing Systems Holger Giese, Thomas Vogel, Ada Diaconescu, Sebastian Götz, Nelly Bencomo, Kurt Geihs, Samuel Kounev, Kirstie L. Bellman
2017	—	`ch.`	The Notion of Self-aware Computing. Self-Aware Computing Systems 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
2017	—	`conf`	Towards Collective Online and Offline Testing for Dynamic Software Product Line Systems. VACE@ICSE Joachim Hänsel, Holger Giese
2017	—	`ch.`	Towards a Framework for the Levels and Aspects of Self-aware Computing Systems. Self-Aware Computing Systems Peter R. Lewis, Kirstie L. Bellman, Christopher Landauer, Lukas Esterle, Kyrre Glette, Ada Diaconescu, Holger Giese
2017	B	`conf`	k-Inductive Invariant Checking for Graph Transformation Systems. ICGT Johannes Dyck, Holger Giese
2016	—	`ed.`	2016 IEEE International Conference on Autonomic Computing, ICAC 2016, Wuerzburg, Germany, July 17-22, 2016 ICAC Samuel Kounev, Holger Giese, Jie Liu
2016	B	`conf`	Combining Requirements, Use Case Maps and AADL Models for Safety-Critical Systems Design. SEAA Dominique Blouin, Holger Giese
2016	—	`conf`	Formal Models and Analysis for Self-adaptive Cyber-physical Systems - (Extended Abstract). FACS Holger Giese
2016	—	`conf`	Incremental View Maintenance for Deductive Graph Databases Using Generalized Discrimination Networks. GaM Thomas Beyhl, Holger Giese
2016	—	`conf`	MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems. STAF Doctoral Symposium / Showcase Hans Vangheluwe, Vasco Amaral, Holger Giese, Jan F. Broenink, Bernhard Schätz, Alexander Norta, Paulo Carreira, Ivan Lukovic, Tanja Mayerhofer, Manuel Wimmer, Antonio Vallecillo
2016	B	`conf`	On the Operationalization of Graph Queries with Generalized Discrimination Networks. ICGT Thomas Beyhl, Dominique Blouin, Holger Giese, Leen Lambers
2016	—	`conf`	Towards Linking Adaptation Rules to the Utility Function for Dynamic Architectures. SASO Sona Ghahremani, Holger Giese, Thomas Vogel
2015	—	`conf`	A Testing Scheme for Self-Adaptive Software Systems with Architectural Runtime Models. SASO Workshops Joachim Hänsel, Thomas Vogel, Holger Giese
2015	—	`conf`	Implementing Graph Transformations in the Bulk Synchronous Parallel Model. Software Engineering & Management Christian Krause, Matthias Tichy, Holger Giese
2015	B	`conf`	Inductive Invariant Checking with Partial Negative Application Conditions. ICGT Johannes Dyck, Holger Giese
2015	—	`conf`	Modeling Collaborations in Adaptive Systems of Systems. ECSA Workshops Sebastian Wätzoldt, Holger Giese
2015	—	`conf`	Towards Smart Systems of Systems. FSEN Holger Giese, Thomas Vogel, Sebastian Wätzoldt
2015	—	`conf`	Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations. AMT@MoDELS Johannes Dyck, Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner
2015	—	`conf`	Traceability Recovery for Innovation Processes. SST@ICSE Thomas Beyhl, Holger Giese
2014	—	`conf`	BenchmarX. EDBT/ICDT Workshops Anthony Anjorin, Alcino Cunha, Holger Giese, Frank Hermann, Arend Rensink, Andy Schürr
2014	J	`jnl`	Bridging the gap between formal semantics and implementation of triple graph grammars - Ensuring conformance of relational model transformation specifications and implementations. Softw. Syst. Model. Holger Giese, Stephan Hildebrandt, Leen Lambers
2014	—	`conf`	Classifying Distributed Self-* Systems Based on Runtime Models and Their Coupling. [email protected] Sebastian Wätzoldt, Holger Giese
2014	B	`ed.`	Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings ICGT Holger Giese, Barbara König
2014	B	`conf`	Implementing Graph Transformations in the Bulk Synchronous Parallel Model. FASE Christian Krause, Matthias Tichy, Holger Giese
2014	J	`jnl`	Model-Driven Engineering of Self-Adaptive Software with EUREMA. ACM Trans. Auton. Adapt. Syst. Thomas Vogel, Holger Giese
2014	—	`conf`	On Unifying Development Models and Runtime Models. [email protected] Thomas Vogel, Holger Giese
2013	C	`conf`	A Model Management Framework for Maintaining Traceability Links. Software Engineering (Workshops) Thomas Beyhl, Regina Hebig, Holger Giese
2013	J	`jnl`	A Survey of Triple Graph Grammar Tools. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Stephan Hildebrandt, Leen Lambers, Holger Giese, Jan Rieke, Joel Greenyer, Wilhelm Schäfer, Marius Lauder, Anthony Anjorin, Andy Schürr
2013	—	`conf`	Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations. ICMT Stephan Hildebrandt, Leen Lambers, Holger Giese
2013	J	`jnl`	Compositional and behavior-preserving reconfiguration of component connectors in Reo. J. Vis. Lang. Comput. Christian Krause, Holger Giese, Erik P. de Vink
2013	—	`conf`	Cooperating with a non-governmental organization to teach gathering and implementation of requirements. CSEE&T Gregor Gabrysiak, Regina Hebig, Lukas Pirl, Holger Giese
2013	—	`ed.`	Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, Schloss Dagstuhl, Germany, April 24-26, 2013, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme MBEES Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz
2013	J	`jnl`	Invited Talk: Extensions of Graph Transformation Systems for Timed, Continuous, and Probabilistic Behavior. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Holger Giese
2013	—	`conf`	Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations. ICMT Christian Krause, Johannes Dyck, Holger Giese
2013	—	`conf`	Modal Specifications for Probabilistic Timed Systems. QAPL Tingting Han, Christian Krause, Marta Z. Kwiatkowska, Holger Giese
2013	—	`ch.`	Model-Driven Development of Safe Self-optimizing Mechatronic Systems with MechatronicUML. Assurances for Self-Adaptive Systems Holger Giese, Wilhelm Schäfer
2013	A	`conf`	On the Complex Nature of MDE Evolution. MoDELS Regina Hebig, Holger Giese, Florian Stallmann, Andreas Seibel
2013	—	`ed.`	Proceedings of the 1st International Workshop on Conducting Empirical Studies in Industry, CESI 2013, San Francisco, California, USA, May 20, 2013 CESI@ICSE Margaret M. Burnett, Holger Giese, Tien Nguyen, Yuriy Brun
2013	C	`conf`	Scalable real-time compatibility for embedded components using language-progressive TIOA. ISORC Stefan Neumann, Holger Giese
2013	—	`ed.`	Software Engineering for Self-Adaptive Systems II - International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers Software Engineering for Self-Adaptive Systems Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw
2013	J	`jnl`	Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511). Dagstuhl Reports Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese
2013	—	`conf`	Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. Software Engineering for Self-Adaptive Systems 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
2013	—	`conf`	What Can Control Theory Teach Us About Assurances in Self-Adaptive Software Systems? Software Engineering for Self-Adaptive Systems Marin Litoiu, Mary Shaw, Gabriel Tamura, Norha M. Villegas, Hausi A. Müller, Holger Giese, Romain Rouvoy, Éric Rutten
2013	—	`conf`	Why innovation processes need to support traceability. TEFSE@ICSE Thomas Beyhl, Gregor Berg, Holger Giese
2012	—	`conf`	A build server for model-driven engineering. MPM@MoDELS Henrik Steudel, Regina Hebig, Holger Giese
2012	A	`conf`	A language for feedback loops in self-adaptive systems: Executable runtime megamodels. SEAMS Thomas Vogel, Holger Giese
2012	J	`jnl`	Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Leen Lambers, Stephan Hildebrandt, Holger Giese, Fernando Orejas
2012	—	`ed.`	Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme MBEES Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz
2012	—	`ed.`	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 FMOODS/FORTE Holger Giese, Grigore Rosu
2012	—	`conf`	Graph Transformations for MDE, Adaptation, and Models at Runtime. SFM Holger Giese, Leen Lambers, Basil Becker, Stephan Hildebrandt, Stefan Neumann, Thomas Vogel, Sebastian Wätzoldt
2012	—	`conf`	Integrated Software Development for Embedded Robotic Systems. SIMPAR Sebastian Wätzoldt, Stefan Neumann, Falk Benke, Holger Giese
2012	J	`jnl`	Integration of Triple Graph Grammars and Constraints. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Stephan Hildebrandt, Leen Lambers, Basil Becker, Holger Giese
2012	B	`conf`	Probabilistic Graph Transformation Systems. ICGT Christian Krause, Holger Giese
2012	—	`conf`	Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systems. S-Cube@ICSE 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
2012	C	`conf`	Simulation-Assisted Elicitation and Validation of Behavioral Specifications for Multiple Stakeholders. WETICE Gregor Gabrysiak, Regina Hebig, Holger Giese
2012	—	`conf`	Teaching requirements engineering with authentic stakeholders: towards a scalable course setting. EduRex@ICSE Gregor Gabrysiak, Markus Guentert, Regina Hebig, Holger Giese
2012	—	`conf`	The MDELab tool framework for the development of correct model transformations with triple graph grammars. AMT@MoDELS Stephan Hildebrandt, Leen Lambers, Holger Giese
2012	B	`conf`	Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements. ICGT Ulrike Golas, Leen Lambers, Hartmut Ehrig, Holger Giese
2012	B	`conf`	Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking. ICGT Holger Giese, Leen Lambers
2012	B	`conf`	Towards patterns for MDE-related processes to detect and handle changeability risks. ICSSP Regina Hebig, Gregor Gabrysiak, Holger Giese
2012	—	`ch.`	Traceability in Model-Driven Engineering: Efficient and Scalable Traceability Maintenance. Software and Systems Traceability Andreas Seibel, Regina Hebig, Holger Giese
2011	A	`ed.`	2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2011, Waikiki, Honolulu , HI, USA, May 23-24, 2011 SEAMS Holger Giese, Betty H. C. Cheng
2011	B	`conf`	A Dedicated Language for Context Composition and Execution of True Black-Box Model Transformations. SLE Andreas Seibel, Regina Hebig, Stefan Neumann, Holger Giese
2011	J	`jnl`	A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems. Simul. Holger Giese, Stefan Henkler, Martin Hirsch
2011	—	`conf`	Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations. AGTIVE Stephan Hildebrandt, Leen Lambers, Holger Giese, Dominic Petrick, Ingo Richter
2011	—	`ed.`	Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme MBEES Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz
2011	—	`conf`	Iterative Development of Consistency-Preserving Rule-Based Refactorings. ICMT@TOOLS Basil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese
2011	—	`conf`	Language and Framework Requirements for Adaptation Models. [email protected] Thomas Vogel, Holger Giese
2011	—	`conf`	Living with Uncertainty in the Age of Runtime Models. [email protected]@Dagstuhl Holger Giese, Nelly Bencomo, Liliana Pasquale, Andres J. Ramirez, Paola Inverardi, Sebastian Wätzoldt, Siobhán Clarke
2011	—	`conf`	Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements INFINITY Christian Krause, Holger Giese
2011	—	`ed.`	Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers Model-Based Engineering of Embedded Real-Time Systems Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz
2011	J	`jnl`	Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures. Comput. Syst. Sci. Eng. Stefan Henkler, Simon Oberthür, Holger Giese, Andreas Seibel
2011	—	`conf`	Requirements and Assessment of Languages and Frameworks for Adaptation Models. MoDELS (Workshops) Thomas Vogel, Holger Giese
2011	J	`jnl`	Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441). Dagstuhl Reports Holger Giese, Bernhard Rumpe, Bernhard Schätz, Janos Sztipanovits
2011	B	`conf`	Toward a comparable characterization for software development activities in context of MDE. ICSSP Regina Hebig, Andreas Seibel, Holger Giese
2011	—	`conf`	Why should I help you to teach requirements engineering? REET Gregor Gabrysiak, Holger Giese, Andreas Seibel
2010	—	`conf`	10431 Abstracts Collection - Software Engineering for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw
2010	—	`conf`	10431 Report - Software Engineering for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw
2010	A	`conf`	Adaptation and abstract runtime models. SEAMS Thomas Vogel, Holger Giese
2010	—	`ed.`	Architecting Critical Systems, First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings ISARCS Holger Giese
2010	—	`ed.`	Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, Schloss Dagstuhl, Germany, 2010, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme MBEES Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz
2010	A*	`conf`	Deriving behavior of multi-user processes from interactive requirements validation. ASE Gregor Gabrysiak, Holger Giese, Andreas Seibel
2010	J	`jnl`	Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance. Softw. Syst. Model. Andreas Seibel, Stefan Neumann, Holger Giese
2010	—	`conf`	Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010). ICSE (2) Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Mauro Pezzè, Richard Taylor
2010	—	`conf`	Making control loops explicit when architecting self-adaptive systems. SOAR@ICAC Regina Hebig, Holger Giese, Basil Becker
2010	—	`conf`	Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent. Graph Transformations and Model-Driven Engineering Holger Giese, Stephan Hildebrandt, Stefan Neumann
2010	C	`conf`	Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures. ISORC Stefan Henkler, Simon Oberthür, Holger Giese, Andreas Seibel
2010	J	`jnl`	Navigating Across Non-Navigable Ecore References via OCL. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Martin Hanysz, Tobias Hoppe, Axel Uhl, Andreas Seibel, Holger Giese, Philipp Berger, Stephan Hildebrandt
2010	—	`conf`	On Patterns for Decentralized Control in Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems Danny Weyns, Bradley R. Schmerl, Vincenzo Grassi, Sam Malek, Raffaela Mirandola, Christian Prehofer, Jochen Wuttke, Jesper Andersson, Holger Giese, Karl M. Göschka
2010	—	`ed.`	Software Engineering for Self-Adaptive Systems, 24.10. - 29.10.2010 Software Engineering for Self-Adaptive Systems Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw
2010	—	`conf`	Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems 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
2010	—	`conf`	Software Engineering for Self-Adaptive Systems: A second Research Roadmap. Software Engineering for Self-Adaptive Systems 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
2010	—	`conf`	Teaching requirements engineering with virtual stakeholders without software engineering knowledge. REET Gregor Gabrysiak, Holger Giese, Andreas Seibel, Stefan Neumann
2010	—	`conf`	The Role of Models and Megamodels at Runtime. MoDELS (Workshops) Thomas Vogel, Andreas Seibel, Holger Giese
2010	—	`conf`	Toward Megamodels at Runtime. [email protected] Thomas Vogel, Andreas Seibel, Holger Giese
2009	—	`ed.`	Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme MBEES Holger Giese, Michaela Huhn, Ulrich Nickel, Bernhard Schätz
2009	—	`conf`	Engineering Self-Adaptive Systems through Feedback Loops. Software Engineering for Self-Adaptive Systems Yuriy Brun, Giovanna Di Marzo Serugendo, Cristina Gacek, Holger Giese, Holger M. Kienle, Marin Litoiu, Hausi A. Müller, Mauro Pezzè, Mary Shaw
2009	J	`jnl`	From model transformation to incremental bidirectional model synchronization. Softw. Syst. Model. Holger Giese, Robert Wagner
2009	J	`jnl`	Improved Flexibility and Scalability by Interpreting Story Diagrams. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Holger Giese, Stephan Hildebrandt, Andreas Seibel
2009	—	`conf`	Incremental Model Synchronization for Efficient Run-Time Monitoring. MoDELS (Workshops) Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker
2009	—	`conf`	Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration. ACES-MB@MoDELS Basil Becker, Holger Giese, Stefan Neumann, Martin Schenck, Arian Treffer
2009	—	`conf`	Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration. MoDELS (Workshops) Basil Becker, Holger Giese, Stefan Neumann, Martin Schenck, Arian Treffer
2009	—	`conf`	Model-driven architectural monitoring and adaptation for autonomic systems. ICAC Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker
2009	—	`conf`	SEAMS 2009: Software engineering for adaptive and self-managing systems. ICSE Companion Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor
2009	—	`ed.`	Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar] Software Engineering for Self-Adaptive Systems Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee
2009	—	`conf`	Software Engineering for Self-Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems 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
2009	A*	`conf`	Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite. ICSE Stefan Henkler, Joel Greenyer, Martin Hirsch, Wilhelm Schäfer, Kahtan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Löffler, Andreas Seibel, Holger Giese
2009	—	`conf`	The Role of Models in Self-adaptive and Self-healing Systems. Self-Healing and Self-Adaptive Systems Jens Happe, Heiko Koziolek, Umesh Bellur, Holger Giese, Wilhelm Hasselbring, Robert Laddaga, Tiziana Margaria, Josu Martinez, Christian Müller-Schloer, Roland Reichle
2009	—	`conf`	Towards Integrating SysML and AUTOSAR Modeling via Bidirectional Model Synchronization. MBEES Holger Giese, Stephan Hildebrandt, Stefan Neumann
2008	—	`conf`	08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map. Software Engineering for Self-Adaptive Systems Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos
2008	—	`conf`	08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos
2008	A	`ed.`	2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2008, Leipzig, Germany, May 12-13, 2008 SEAMS Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard N. Taylor
2008	—	`ed.`	Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, Schloss Dagstuhl, Germany, 7.-9. April 2008, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme MBEES Holger Giese, Michaela Huhn, Ulrich Nickel, Bernhard Schätz
2008	A	`conf`	Friends or foes?: a conceptual analysis of self-adaptation and it change management. SEAMS Cristina Gacek, Holger Giese, Ethan Hadar
2008	—	`conf`	Incremental model synchronization for multiple updates. GRaMoT@ICSE Holger Giese, Stephan Hildebrandt
2008	—	`conf`	Incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systems. ASE Workshops Basil Becker, Holger Giese
2008	A	`conf`	Modeling collaborations with dynamic structural adaptation in mechatronic UML. SEAMS Martin Hirsch, Stefan Henkler, Holger Giese
2008	—	`conf`	Modeling of correct self-adaptive systems: a graph transformation system based approach. CSTST Basil Becker, Holger Giese
2008	—	`ed.`	Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers MoDELS (Workshops) Holger Giese
2008	C	`conf`	On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles. ISORC Basil Becker, Holger Giese
2008	—	`conf`	Seams 2008: software engineering for adaptive and self-managing systems. ICSE Companion Marin Litoiu, Holger Giese
2008	—	`ed.`	Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008 Software Engineering for Self-Adaptive Systems Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee
2008	J	`jnl`	Tool support for the design of self-optimizing mechatronic multi-agent systems. Int. J. Softw. Tools Technol. Transf. Sven Burmester, Holger Giese, Eckehard Münch, Oliver Oberschelp, Florian Klein, Peter Scheideler
2007	—	`conf`	07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time Systems. Model-Based Engineering of Embedded Real-Time Systems Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz
2007	—	`conf`	07451 Summary - Model-Based Engineering of Embedded Real-Time Systems. Model-Based Engineering of Embedded Real-Time Systems Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz
2007	B	`conf`	Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML. WADS Holger Giese, Stefan Henkler, Martin Hirsch
2007	—	`ed.`	Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, Schloss Dagstuhl, Germany, 15.-18. Januar 2007, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme MBEES Mirko Conrad, Holger Giese, Bernhard Rumpe, Bernhard Schätz
2007	—	`conf`	Das MATE Projekt - visuelle Spezifikation von MATLAB Simulink/Stateflow Analysen und Transformationen. MBEES Ingo Stürmer, Heiko Dörr, Holger Giese, Udo Kelter, Andy Schürr, Albert Zündorf
2007	B	`conf`	Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams. FASE Florian Klein, Holger Giese
2007	—	`ed.`	Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007 Model-Based Engineering of Embedded Real-Time Systems Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz
2007	—	`conf`	Model-Based Integration. Model-Based Engineering of Embedded Real-Time Systems Holger Giese, Stefan Neumann, Oliver Niggemann, Bernhard Schätz
2007	—	`conf`	Models of Reactive Systems - Communication, Concurrency, and Causality. Model-Based Engineering of Embedded Real-Time Systems Bernhard Schätz, Holger Giese
2007	—	`ed.`	Software Engineering for Multi-Agent Systems V, Research Issues and Practical Applications [the book is a result of SELMAS 2006]. SELMAS (LNCS) Ricardo Choren, Alessandro F. Garcia, Holger Giese, Ho-fung Leung, Carlos José Pereira de Lucena, Alexander B. Romanovsky
2007	J	`jnl`	Systematic verification of multi-agent systems based on rigorous executable specifications. Int. J. Agent Oriented Softw. Eng. Holger Giese, Florian Klein
2007	A*	`conf`	Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View. ICSE Sven Burmester, Holger Giese, Stefan Henkler, Martin Hirsch, Matthias Tichy, Alfonso Gambuzza, Eckehard Münch, Henner Vöcking
2007	A	`conf`	Workshops and Symposia at MODELS 2007. MoDELS Holger Giese
2006	J	`jnl`	A survey of approaches for the visual model-driven development of next generation software-intensive systems. J. Vis. Lang. Comput. Holger Giese, Stefan Henkler
2006	—	`conf`	Acute Stress Response for Self-optimizing Mechatronic Systems. BICC Holger Giese, Norma Montealegre, Thomas Müller, Simon Oberthür, Bernd Schulz
2006	—	`conf`	Architecture-driven platform independent deterministic replay for distributed hard real-time systems. ROSATEA Holger Giese, Stefan Henkler
2006	B	`conf`	Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration. SAFECOMP Holger Giese, Matthias Tichy
2006	—	`ed.`	Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, Schloss Dagstuhl, Germany, 9.-13. Januar 2006, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme MBEES Holger Giese, Bernhard Rumpe, Bernhard Schätz
2006	A*	`conf`	Fifth workshop on software engineering for large-scale multi-agent systems (SELMAS). ICSE Ricardo Choren, Ho-fung Leung, Alessandro F. Garcia, Carlos José Pereira de Lucena, Holger Giese, Alexander B. Romanovsky
2006	A	`conf`	Incremental Model Synchronization with Triple Graph Grammars. MoDELS Holger Giese, Robert Wagner
2006	—	`conf`	Introduction to the SELMAS 2006. SELMAS Ricardo Choren, Ho-fung Leung, Alessandro F. Garcia, Carlos Lucena, Holger Giese, Alexander B. Romanovsky
2006	—	`conf`	Nobody's perfect: interactive synthesis from parametrized real-time scenarios. SCESM Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein
2006	—	`ed.`	Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, SELMAS '06, Shanghai, China, May 22-23, 2006 SELMAS Ricardo Choren, Alessandro F. Garcia, Holger Giese, Ho-fung Leung, Carlos José Pereira de Lucena, Alexander B. Romanovsky
2006	—	`conf`	Reusable Services and Semi-automatic Service Composition for Automotive Software. ASWSD Holger Giese
2006	J	`jnl`	Separation of non-orthogonal concerns in software architecture and design. Softw. Syst. Model. Holger Giese, Alexander Vilbig
2006	J	`jnl`	Software engineering for large-scale multi-agent systems - SELMAS 2006: workshop report. ACM SIGSOFT Softw. Eng. Notes Alessandro Garcia, Holger Giese, Alexander B. Romanovsky, Ricardo Choren, Ho-fung Leung, Carlos José Pereira de Lucena, Florian Klein, Eric Platon
2006	—	`conf`	Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools. MoDELS (Workshops) Holger Giese, Tihamer Levendovszky, Hans Vangheluwe
2006	A*	`conf`	Symbolic invariant verification for systems with dynamic structural adaptation. ICSE Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling
2006	A	`conf`	Systematic Requirements-Driven Evaluation and Synthesis of Alternative Principle Solutions for Advanced Mechatronic Systems. RE Björn Axenath, Holger Giese, Florian Klein, Ursula Frank
2006	J	`jnl`	Visual modeling for software intensive systems. J. Vis. Lang. Comput. Kendra M. L. Cooper, Holger Giese, Ingolf H. Krüger
2005	J	`jnl`	A summary of the ICSE 2004 workshop on "scenarios and state machines: models, algorithms, and tools". ACM SIGSOFT Softw. Eng. Notes Holger Giese, Ingolf Krüger
2005	—	`conf`	Analysis and Design of Physical and Social Contexts in Multi-agent Systems. SELMAS (LNCS) Florian Klein, Holger Giese
2005	—	`conf`	Analysis and design of physical and social contexts in multi-agent systems using UML. SELMAS Florian Klein, Holger Giese
2005	J	`jnl`	Analysis and design of physical and social contexts in multi-agent systems using UML. ACM SIGSOFT Softw. Eng. Notes Florian Klein, Holger Giese
2005	—	`conf`	Computing optimal self-repair actions: damage minimization versus repair time. WADS@ICSE Matthias Tichy, Holger Giese, Daniela Schilling, Wladimir Pauls
2005	J	`jnl`	Computing optimal self-repair actions: damage minimization versus repair time. ACM SIGSOFT Softw. Eng. Notes Matthias Tichy, Holger Giese, Daniela Schilling, Wladimir Pauls
2005	—	`conf`	Grounding Social Interactions in the Environment. E4MAS Florian Klein, Holger Giese
2005	—	`conf`	Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code. ECMDA-FA Sven Burmester, Holger Giese, Wilhelm Schäfer
2005	—	`conf`	Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems. Monterey Workshop Holger Giese
2005	—	`conf`	Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML. MoDELS (Satellite Events) Holger Giese, Martin Hirsch
2005	J	`jnl`	Reconciling scenario-centered controller design with state-based system models. ACM SIGSOFT Softw. Eng. Notes Holger Giese, Ekkart Kindler, Florian Klein, Robert Wagner
2005	J	`jnl`	Software Engineering for Large-Scale Multi-Agent Systems - SELMAS 2005: workshop report. ACM SIGSOFT Softw. Eng. Notes Alessandro Garcia, Ricardo Choren, Carlos José Pereira de Lucena, Alexander B. Romanovsky, Holger Giese, Danny Weyns, Tom Holvoet, Paolo Giorgini
2005	—	`conf`	Summary of the Educator's Symposium. MoDELS (Satellite Events) Holger Giese, Pascal Roques, Timothy Lethbridge
2005	A*	`conf`	The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems. ICSE Sven Burmester, Holger Giese, Martin Hirsch, Daniela Schilling, Matthias Tichy
2005	—	`conf`	Towards the Model-Driven Development of Self-Optimizing Mechatronic Systems. MBEES Holger Giese
2005	B	`conf`	Visual Integration of UML 2.0 and Block Diagrams for Flexible Reconfiguration in MECHATRONIC UML. VL/HCC Sven Burmester, Holger Giese
2005	B	`conf`	Visual Modeling for Software Intensive Systems. VL/HCC Holger Giese, Ingolf H. Krüger, Kendra M. L. Cooper
2004	B	`conf`	Compositional Hazard Analysis of UML Component and Deployment Models. SAFECOMP Holger Giese, Matthias Tichy, Daniela Schilling
2004	—	`conf`	Design of self-managing dependable systems with UML and fault tolerance patterns. WOSS Matthias Tichy, Daniela Schilling, Holger Giese
2004	—	`conf`	Hybrid UML Components for the Design of Complex Self-Optimizing Mechatronic Systems. ICINCO (3) Sven Burmester, Holger Giese, Oliver Oberschelp
2004	Misc	`conf`	Making mechatronic agents resource-aware in order to enable safe dynamic resource allocation. EMSOFT Sven Burmester, Matthias Gehrke, Holger Giese, Simon Oberthür
2004	—	`conf`	Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML. MDAFA Sven Burmester, Holger Giese, Matthias Tichy
2004	—	`conf`	Modular design and verification of component-based mechatronic systems with online-reconfiguration. SIGSOFT FSE Holger Giese, Sven Burmester, Wilhelm Schäfer, Oliver Oberschelp
2004	—	`conf`	Separation of Concerns for Mechatronic Multi-agent Systems Through Dynamic Communities. SELMAS Florian Klein, Holger Giese
2004	—	`conf`	Structured Information Processing for Self-Optimizing Mechatronic Systems. ICINCO (3) Thorsten Hestermeyer, Oliver Oberschelp, Holger Giese
2004	A*	`conf`	Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM'04). ICSE Holger Giese, Ingolf Krüger
2004	J	`jnl`	Tool integration at the meta-model level: the Fujaba approach. Int. J. Softw. Tools Technol. Transf. Sven Burmester, Holger Giese, Jörg Niere, Matthias Tichy, Jörg P. Wadsack, Robert Wagner, Lothar Wendehals, Albert Zündorf
2003	B	`conf`	A Self-optimizing Run-Time Architecture for Configurable Dependability of Services. WADS Matthias Tichy, Holger Giese
2003	—	`conf`	Autonomous Shuttle System Case Study. Scenarios: Models, Transformations and Tools Holger Giese, Florian Klein
2003	—	`conf`	Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models. Scenarios: Models, Transformations and Tools Holger Giese, Florian Klein, Sven Burmester
2003	—	`conf`	Seamless UML Support for Service-Based Software Architectures. FIDJI Matthias Tichy, Holger Giese
2003	—	`conf`	Towards the compositional verification of real-time UML designs. ESEC / SIGSOFT FSE Holger Giese, Matthias Tichy, Sven Burmester, Stephan Flake
2002	A*	`conf`	Reporting about industrial strength software engineering courses for undergraduates. ICSE Matthias Gehrke, Holger Giese, Ulrich Nickel, Jörg Niere, Matthias Tichy, Jörg P. Wadsack, Albert Zündorf
2002	—	`conf`	Towards Design Verification and Validation at Multiple Levels of Abstraction. DIPES Holger Giese, Martin Kardos, Ulrich Nickel
2001	J	`jnl`	Bericht über die Modellierung 2001 vom 28. - 30. März 2001 in Bad Lippspringe. Softwaretechnik-Trends Holger Giese
2001	J	`jnl`	FG 2.1.9: Bericht vom 8. Workshop des GI-Arbeitskreises GROOM am 13. und 14. November 2000 in Münster. Softwaretechnik-Trends Holger Giese, Stephan Philippi
2001	—	`—`	Object-oriented design and architecture of distributed systems. Holger Giese
2001	J	`jnl`	The OCoN Approach to Workflow Modeling in Object-Oriented Systems. Inf. Syst. Frontiers Guido Wirtz, Mathias Weske, Holger Giese
2001	J	`jnl`	The OCoN approach for object-oriented distributed software systems modeling. Comput. Syst. Sci. Eng. Holger Giese, Guido Wirtz
2001	—	`conf`	Towards Service-Based Flexible Production Control Systems and their Modular Modeling and Simulation. OMER Holger Giese, Ulrich Nickel
2001	J	`jnl`	Visual Modeling of Object-Oriented Distributed Systems. J. Vis. Lang. Comput. Holger Giese, Guido Wirtz
2000	—	`conf`	Contract-Based Component System Design. HICSS Holger Giese
2000	—	`conf`	Early Evaluation of Design Options for Distributed Systems. PDSE Holger Giese, Guido Wirtz
2000	B	`conf`	Extending UML with Workflow Modeling Capabilities. CoopIS Guido Wirtz, Mathias Weske, Holger Giese
2000	—	`conf`	Skalierbare Beschreibung des Verhaltens verteilter Software-Systeme. FBT Guido Wirtz, Holger Giese
2000	B	`conf`	Using UML and object-coordination-nets for workflow specification. SMC Guido Wirtz, Holger Giese
1999	—	`conf`	Closing the Gap Between Object-Oriented Modeling of Structure and Behavior. UML Holger Giese, Jörg Graf, Guido Wirtz
1999	Misc	`conf`	Contract-based Coordination of Distributed Object Systems. PDPTA Holger Giese, Jörg Graf, Guido Wirtz
1999	—	`conf`	Seamless Visual Object-Oriented Behavior Modeling for Distributed Software Systems. VL Holger Giese, Jörg Graf, Guido Wirtz
1998	—	`conf`	Modeling Distributed Software Systems with Object Coordination Nets. PDSE Holger Giese, Jörg Graf, Guido Wirtz
1997	Misc	`conf`	Modular Development of Correct Meander Programs. PDPTA Holger Giese, Guido Wirtz
1997	Misc	`conf`	Ruling the Behavior of Distributed Software Components. PDPTA Guido Wirtz, Jörg Graf, Holger Giese