Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic - Sven Schneider; Maria Maximova; Holger Giese (J. Log. Algebraic Methods Program., 2024)

Principled Transfer Learning for Autonomic Systems: A Neuro-Symbolic Vision - Christian Medeiros Adriano; Sona Ghahremani; Holger Giese (IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2024 - Companion, Aarhus, Denmark, September 16-20, 2024, 2024)

Portable Nets: Modeling and Verification of Business Processes with multiple Start and End Points - Mustafa Ghani; Holger Giese (Proceedings of the International Workshop on Petri Nets and Software Engineering 2024 co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2024), June 24 - 25, 2024, Geneva, Switzerland, 2024)

Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models - Lucas Sakizloglou; Holger Giese; Leen Lambers (Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, 2024)

Combining Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation Systems - He Xu; Sven Schneider; Holger Giese (Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, 2024)

Localized RETE for Incremental Graph Queries - Matthias Barkowsky; Holger Giese (Graph Transformation - 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings, 2024)

Deriving Delay-Robust Timed Graph Transformation System Models - Mustafa Ghani; Sven Schneider; Maria Maximova; Holger Giese (Graph Transformation - 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings, 2024)

Message from the Modellierung'24 Workshop Chairs - Holger Giese; Kristina Rosenthal (Modellierung 2024 - Workshop Proceedings, Potsdam, Germany, March 12-15, 2024, 2024)

STIGS: Spatio-Temporal Interference Graph Simulator for Self-Configurable Multi-Tenant Cloud Systems - Iqra Zafar; Christian Medeiros Adriano; Holger Giese (Companion of the 15th ACM/SPEC International Conference on Performance Engineering, ICPE 2024, London, United Kingdom, May 7-11, 2024, 2024)

Modellierung 2024 - Workshop Proceedings, Potsdam, Germany, March 12-15, 2024 - Holger Giese; Kristina Rosenthal (Gesellschaft für Informatik e.V., 2024)

Incremental Model Transformations with Triple Graph Grammars for Multi-version Models and Multi-version Pattern Matching Evaluation Data (Version 1) - Matthias Barkowsky; Holger Giese (Zenodo, 2024)
Accessed on YYYY-MM-DD.

Localized RETE for Incremental Graph Queries - Matthias Barkowsky; Holger Giese (CoRR, 2024)

Mind the Gap Between Synthetic and Real: Utilizing Transfer Learning to Probe the Boundaries of Stable Diffusion Generated Data - Leonhard Hennicke; Christian Medeiros Adriano; Holger Giese; Jan Mathias Köhler; Lukas Schott (CoRR, 2024)

Localized RETE for Incremental Graph Queries with Nested Graph Conditions - Matthias Barkowsky; Holger Giese (CoRR, 2024)

Modeling and formal analysis of meta-ecosystems with dynamic structure using graph transformation - Boris Flotterer; Maria Maximova; Sven Schneider; Johannes Dyck; Christian Zöllner; Holger Giese; Christelle Hély; Cédric Gaucherel (Ecol. Informatics, 2023)

Compositional Analysis of Probabilistic Timed Graph Transformation Systems - Maria Maximova; Sven Schneider; Holger Giese (Formal Aspects Comput., 2023)

Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions - Matthias Barkowsky; Holger Giese (J. Log. Algebraic Methods Program., 2023)

Incremental Model Transformations with Triple Graph Grammars for Multi-version Models - Matthias Barkowsky; Holger Giese (26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2023, Västerås, Sweden, October 1-6, 2023, 2023)

Challenges in Reward Design for Reinforcement Learning-based Traffic Signal Control: An Investigation using a CO2 Emission Objective - Max Schumacher; Christian Medeiros Adriano; Holger Giese (SUMO User Conference 2023, Berlin, Germany, May 2-4, 2023, 2023)

Triple Graph Grammars for Multi-version Models - Matthias Barkowsky; Holger Giese (CoRR, 2023)

Modular and Incremental Global Model Management with Extended Generalized Discrimination Networks - Matthias Barkowsky; Holger Giese (CoRR, 2023)

Incremental Model Transformations with Triple Graph Grammars for Multi-version Models - Matthias Barkowsky; Holger Giese (CoRR, 2023)

Translation validation of coloured Petri net models of programs on integers - Soumyadip Bandyopadhyay; Dipankar Sarkar; Chittaranjan A. Mandal; Holger Giese (Acta Informatica, 2022)

Incremental execution of temporal graph queries over runtime models with history and its applications - Lucas Sakizloglou; Sona Ghahremani; Matthias Barkowsky; Holger Giese (Softw. Syst. Model., 2022)

Probabilistic Metric Temporal Graph Logic - Sven Schneider; Maria Maximova; Holger Giese (Graph Transformation - 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings, 2022)

Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-Formedness - Matthias Barkowsky; Holger Giese (Graph Transformation - 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings, 2022)

Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction - Sven Schneider; Maria Maximova; Holger Giese (Graph Transformation - 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings, 2022)

Tool support for the teaching of state-based behavior modeling - Christian Zöllner; Christian M. Adriano; Simon Wietheger; Leen Lambers; Holger Giese (Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022, 2022)

Towards Development with Multi-Version Models: Detecting Merge Conflicts and Checking Well-Formedness - Matthias Barkowsky; Holger Giese (CoRR, 2022)

Formal testing of timed graph transformation systems using metric temporal graph logic - Sven Schneider; Maria Maximova; Lucas Sakizloglou; Holger Giese (Int. J. Softw. Tools Technol. Transf., 2021)

Hybrid Planning with Receding Horizon: A Case for Meta-self-awareness - Sona Ghahremani; Holger Giese (IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2021, Companion Volume, Washington, DC, USA, September 27 - Oct. 1, 2021, 2021)

Towards Engineering Smart Cyber-Physical Systems with Graph Transformation Systems (Invited Talk) - Holger Giese (9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021, August 31 to September 3, 2021, Salzburg, Austria, 2021)

Compositional Analysis of Probabilistic Timed Graph Transformation Systems - Maria Maximova; Sven Schneider; Holger Giese (Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, 2021)

Keeping Pace with the History of Evolving Runtime Models - Lucas Sakizloglou; Matthias Barkowsky; Holger Giese (Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, 2021)

Host-Graph-Sensitive RETE Nets for Incremental Graph Pattern Matching - Matthias Barkowsky; Holger Giese (Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings, 2021)

Interval Probabilistic Timed Graph Transformation Systems - Maria Maximova; Sven Schneider; Holger Giese (Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings, 2021)

On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems - Christian Zöllner; Matthias Barkowsky; Maria Maximova; Holger Giese (Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings, 2021)

Improving Adaptive Monitoring with Incremental Runtime Model Queries - Matthias Barkowsky; Thomas Brand; Holger Giese (16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2021, Madrid, Spain, May 18-24, 2021, 2021)

Probabilistic Metric Temporal Graph Logic - Sven Schneider; Maria Maximova; Holger Giese (CoRR, 2021)

Hybrid Planning with Receding Horizon: A Case for Meta-self-awareness - Sona Ghahremani; Holger Giese (CoRR, 2021)

Evaluation of Self-Healing Systems: An Analysis of the State-of-the-Art and Required Improvements - Sona Ghahremani; Holger Giese (Comput., 2020)

Hybrid search plan generation for generalized graph pattern matching - Matthias Barkowsky; Holger Giese (J. Log. Algebraic Methods Program., 2020)

Improving Scalability and Reward of Utility-Driven Self-Healing for Large Dynamic Architectures - Sona Ghahremani; Holger Giese; Thomas Vogel (ACM Trans. Auton. Adapt. Syst., 2020)

Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions - Sven Schneider; Johannes Dyck; Holger Giese (Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, 2020)

Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic - Sven Schneider; Lucas Sakizloglou; Maria Maximova; Holger Giese (Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, 2020)

A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies - Christian Zöllner; Matthias Barkowsky; Maria Maximova; Melanie Schneider; Holger Giese (Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, 2020)

Collective risk minimization via a bayesian model for statistical software testing - Joachim Hänsel; Christian M. Adriano; Johannes Dyck; Holger Giese (SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June - 3 July, 2020, 2020)

Towards highly scalable runtime models with history - Lucas Sakizloglou; Sona Ghahremani; Thomas Brand; Matthias Barkowsky; Holger Giese (SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June - 3 July, 2020, 2020)

From classic to agile: experiences from more than a decade of project-based modeling education - Holger Giese; Leen Lambers; Christian Zöllner (MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020, Companion Proceedings, 2020)

A scalable querying scheme for memory-efficient runtime models with history - Lucas Sakizloglou; Sona Ghahremani; Matthias Barkowsky; Holger Giese (MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020, 2020)

Towards Highly Scalable Runtime Models with History - Lucas Sakizloglou; Sona Ghahremani; Thomas Brand; Matthias Barkowsky; Holger Giese (CoRR, 2020)

Collective Risk Minimization via a Bayesian Model for Statistical Software Testing - Joachim Hänsel; Christian M. Adriano; Johannes Dyck; Holger Giese (CoRR, 2020)

Improving Scalability and Reward of Utility-Driven Self-Healing for Large Dynamic Architectures - Sona Ghahremani; Holger Giese; Thomas Vogel (CoRR, 2020)

A Scalable Querying Scheme for Memory-efficient Runtime Models with History - Lucas Sakizloglou; Sona Ghahremani; Matthias Barkowsky; Holger Giese (CoRR, 2020)

Automatic verification of behavior preservation at the transformation level for relational model transformation - Johannes Dyck; Holger Giese; Leen Lambers (Softw. Syst. Model., 2019)

Metric Temporal Graph Logic over Typed Attributed Graphs - Holger Giese; Maria Maximova; Lucas Sakizloglou; Sven Schneider (Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, 2019)

Hybrid Search Plan Generation for Generalized Graph Pattern Matching - Matthias Barkowsky; Holger Giese (Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings, 2019)

OCCI-compliant, fully causal-connected architecture runtime models supporting sensor management - Johannes Erbel; Thomas Brand; Holger Giese; Jens Grabowski (Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2019, Montreal, QC, Canada, May 25-31, 2019, 2019)

Software Engineering for Smart Cyber-Physical Systems: Challenges and Opportunities - Holger Giese (Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference), ISEC 2019, Pune, India, February 14-16, 2019, 2019)

Modeling Approach and Evaluation Criteria for Adaptable Architectural Runtime Model Instances - Thomas Brand; Holger Giese (22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, Munich, Germany, September 15-20, 2019, 2019)

Generic Adaptive Monitoring Based on Executed Architecture Runtime Model Queries and Events - Thomas Brand; Holger Giese (13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2019, Umea, Sweden, June 16-20, 2019, 2019)

Performance Evaluation for Self-Healing Systems: Current Practice & Open Issues - Sona Ghahremani; Holger Giese (IEEE 4th International Workshops on Foundations and Applications of Self* Systems, FAS*W@SASO/ICCAC 2019, Umea, Sweden, June 16-20, 2019, 2019)

Probabilistic timed graph transformation systems - Maria Maximova; Holger Giese; Christian Krause (J. Log. Algebraic Methods Program., 2018)

Industrial experiences from evolving measurement systems into self-healing systems for improved availability - Miroslaw Staron; Wilhelm Meding; Matthias Tichy; Jonas Bjurhede; Holger Giese; Ola Soder (Softw. Pract. Exp., 2018)

Training Prediction Models for Rule-Based Self-Adaptive Systems - Sona Ghahremani; Christian M. Adriano; Holger Giese (2018 IEEE International Conference on Autonomic Computing, ICAC 2018, Trento, Italy, September 3-7, 2018, 2018)

Analysis of GPGPU Programs for Data-race and Barrier Divergence - Santonu Sarkar; Prateek Kandelwal; Soumyadip Bandyopadhyay; Holger Giese (Proceedings of the 13th International Conference on Software Technologies, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, 2018)

Towards software architecture runtime models for continuous adaptive monitoring - Thomas Brand; Holger Giese (Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS co-located with ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018), Copenhagen, Denmark, October, 14, 2018, 2018)

Towards Generic Adaptive Monitoring - Thomas Brand; Holger Giese (12th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2018, Trento, Italy, September 3-7, 2018, 2018)

Efficient Utility-Driven Self-Healing Employing Adaptation Rules for Large Dynamic Architectures - Sona Ghahremani; Holger Giese; Thomas Vogel (CoRR, 2018)

Towards Linking Adaptation Rules to the Utility Function for Dynamic Architectures - Sona Ghahremani; Holger Giese; Thomas Vogel (CoRR, 2018)

Model-Driven Engineering of Self-Adaptive Software with EUREMA - Thomas Vogel; Holger Giese (CoRR, 2018)

A Testing Scheme for Self-Adaptive Software Systems with Architectural Runtime Models - Joachim Hänsel; Thomas Vogel; Holger Giese (CoRR, 2018)

The Role of Models and Megamodels at Runtime - Thomas Vogel; Andreas Seibel; Holger Giese (CoRR, 2018)

Adaptation and Abstract Runtime Models - Thomas Vogel; Holger Giese (CoRR, 2018)

Model-Driven Architectural Monitoring and Adaptation for Autonomic Systems - Thomas Vogel; Stefan Neumann; Stephan Hildebrandt; Holger Giese; Basil Becker (CoRR, 2018)

A language for feedback loops in self-adaptive systems: Executable runtime megamodels - Thomas Vogel; Holger Giese (CoRR, 2018)

Requirements and Assessment of Languages and Frameworks for Adaptation Models - Thomas Vogel; Holger Giese (CoRR, 2018)

On the complex nature of MDE evolution and its impact on changeability - Regina Hebig; Holger Giese (Softw. Syst. Model., 2017)

k-Inductive Invariant Checking for Graph Transformation Systems - Johannes Dyck; Holger Giese (Graph Transformation - 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings, 2017)

Probabilistic Timed Graph Transformation Systems - Maria Maximova; Holger Giese; Christian Krause (Graph Transformation - 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings, 2017)

Efficient Utility-Driven Self-Healing Employing Adaptation Rules for Large Dynamic Architectures - Sona Ghahremani; Holger Giese; Thomas Vogel (2017 IEEE International Conference on Autonomic Computing, ICAC 2017, Columbus, OH, USA, July 17-21, 2017, 2017)

Towards Collective Online and Offline Testing for Dynamic Software Product Line Systems - Joachim Hänsel; Holger Giese (2nd IEEE/ACM International Workshop on Variability and Complexity in Software Design, VACE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017, 2017)

A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models - Dominique Blouin; Matthias Barkowski; Melanie Schneider; Holger Giese; Johannes Dyck; Etienne Borde; Dalila Tamzalit; Joost Noppen (IEEE 25th International Requirements Engineering Conference Workshops, RE 2017 Workshops, Lisbon, Portugal, September 4-8, 2017, 2017)

The Notion of Self-aware Computing - 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; et al. (Self-Aware Computing Systems, 2017)

Self-aware Computing Systems: Related Concepts and Research Areas - 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, 2017)

Towards a Framework for the Levels and Aspects of Self-aware Computing Systems - Peter R. Lewis; Kirstie L. Bellman; Christopher Landauer; Lukas Esterle; Kyrre Glette; Ada Diaconescu; Holger Giese (Self-Aware Computing Systems, 2017)

Reference Scenarios for Self-aware Computing - Jeffrey O. Kephart; Martina Maggio; Ada Diaconescu; Holger Giese; Henry Hoffmann; Samuel Kounev; Anne Koziolek; Peter R. Lewis; Anders Robertsson; Simon Spinner (Self-Aware Computing Systems, 2017)

Architectural Concepts for Self-aware Computing Systems - Holger Giese; Thomas Vogel; Ada Diaconescu; Sebastian Götz; Samuel Kounev (Self-Aware Computing Systems, 2017)

Generic Architectures for Individual Self-aware Computing Systems - Holger Giese; Thomas Vogel; Ada Diaconescu; Sebastian Götz; Kirstie L. Bellman (Self-Aware Computing Systems, 2017)

Architectures for Collective Self-aware Computing Systems - Ada Diaconescu; Kirstie L. Bellman; Lukas Esterle; Holger Giese; Sebastian Götz; Peter R. Lewis; Andrea Zisman (Self-Aware Computing Systems, 2017)

State of the Art in Architectures for Self-aware Computing Systems - Holger Giese; Thomas Vogel; Ada Diaconescu; Sebastian Götz; Nelly Bencomo; Kurt Geihs; Samuel Kounev; Kirstie L. Bellman (Self-Aware Computing Systems, 2017)

Self-adaptation for Individual 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 (Self-Aware Computing Systems, 2017)

Self-adaptation in Collective 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 (Self-Aware Computing Systems, 2017)

Self-aware Computing Systems: Open Challenges and Future Research Directions - Robert Birke; Javier Cámara; Lydia Y. Chen; Lukas Esterle; Kurt Geihs; Erol Gelenbe; Holger Giese; Anders Robertsson; Xiaoyun Zhu (Self-Aware Computing Systems, 2017)

Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers - Rogério de Lemos; David Garlan; Carlo Ghezzi; Holger Giese (Springer, 2017)

Combining Requirements, Use Case Maps and AADL Models for Safety-Critical Systems Design - Dominique Blouin; Holger Giese (42th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2016, Limassol, Cyprus, August 31 - Sept. 2, 2016, 2016)

Formal Models and Analysis for Self-adaptive Cyber-physical Systems - (Extended Abstract) - Holger Giese (Formal Aspects of Component Software - 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers, 2016)

On the Operationalization of Graph Queries with Generalized Discrimination Networks - Thomas Beyhl; Dominique Blouin; Holger Giese; Leen Lambers (Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings, 2016)

Towards Linking Adaptation Rules to the Utility Function for Dynamic Architectures - Sona Ghahremani; Holger Giese; Thomas Vogel (10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2016, Augsburg, Germany, September 12-16, 2016, 2016)

MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems - Hans Vangheluwe; Vasco Amaral; Holger Giese; Jan F. Broenink; Bernhard Schätz; Alexander Norta; Paulo Carreira; Ivan Lukovic; Tanja Mayerhofer; Manuel Wimmer; Antonio Vallecillo (Joint Proceedings of the Doctoral Symposium and Projects Showcase Held as Part of STAF 2016 co-located with Software Technologies: Applications and Foundations (STAF 2016), Vienna, Austria, July 4-7, 2016, 2016)

Incremental View Maintenance for Deductive Graph Databases Using Generalized Discrimination Networks - Thomas Beyhl; Holger Giese (Proceedings Second Graphs as Models Workshop, GaM@ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, 2016)

2016 IEEE International Conference on Autonomic Computing, ICAC 2016, Wuerzburg, Germany, July 17-22, 2016 - Samuel Kounev; Holger Giese; Jie Liu (IEEE Computer Society, 2016)

Modeling Collaborations in Adaptive Systems of Systems - Sebastian Wätzoldt; Holger Giese (Proceedings of the 2015 European Conference on Software Architecture Workshops, Dubrovnik/Cavtat, Croatia, September 7-11, 2015, 2015)

Towards Smart Systems of Systems - Holger Giese; Thomas Vogel; Sebastian Wätzoldt (Fundamentals of Software Engineering - 6th International Conference, FSEN 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers, 2015)

Inductive Invariant Checking with Partial Negative Application Conditions - Johannes Dyck; Holger Giese (Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings, 2015)

Traceability Recovery for Innovation Processes - Thomas Beyhl; Holger Giese (8th IEEE/ACM International Symposium on Software and Systems Traceability, SST 2015, Florence, Italy, May 17, 2015, 2015)

Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations - Johannes Dyck; Holger Giese; Leen Lambers; Sebastian Schlesinger; Sabine Glesner (Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada, September 28, 2015, 2015)

A Testing Scheme for Self-Adaptive Software Systems with Architectural Runtime Models - Joachim Hänsel; Thomas Vogel; Holger Giese (2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASO Workshops 2015, Cambridge, MA, USA, September 21-25, 2015, 2015)

Implementing Graph Transformations in the Bulk Synchronous Parallel Model - Christian Krause; Matthias Tichy; Holger Giese (Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März - 20. März 2015, Dresden, Germany, 2015)

Bridging the gap between formal semantics and implementation of triple graph grammars - Ensuring conformance of relational model transformation specifications and implementations - Holger Giese; Stephan Hildebrandt; Leen Lambers (Softw. Syst. Model., 2014)

Model-Driven Engineering of Self-Adaptive Software with EUREMA - Thomas Vogel; Holger Giese (ACM Trans. Auton. Adapt. Syst., 2014)

BenchmarX - Anthony Anjorin; Alcino Cunha; Holger Giese; Frank Hermann; Arend Rensink; Andy Schürr (Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), Athens, Greece, March 28, 2014, 2014)

Implementing Graph Transformations in the Bulk Synchronous Parallel Model - Christian Krause; Matthias Tichy; Holger Giese (Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, 2014)

On Unifying Development Models and Runtime Models - Thomas Vogel; Holger Giese (Proceedings of the 9th Workshop on Models@run.time co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 30, 2014, 2014)

Classifying Distributed Self-* Systems Based on Runtime Models and Their Coupling - Sebastian Wätzoldt; Holger Giese (Proceedings of the 9th Workshop on Models@run.time co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 30, 2014, 2014)

Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings - Holger Giese; Barbara König (Springer, 2014)

A Survey of Triple Graph Grammar Tools - Stephan Hildebrandt; Leen Lambers; Holger Giese; Jan Rieke; Joel Greenyer; Wilhelm Schäfer; Marius Lauder; Anthony Anjorin; Andy Schürr (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Invited Talk: Extensions of Graph Transformation Systems for Timed, Continuous, and Probabilistic Behavior - Holger Giese (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Compositional and behavior-preserving reconfiguration of component connectors in Reo - Christian Krause; Holger Giese; Erik P. de Vink (J. Vis. Lang. Comput., 2013)

Cooperating with a non-governmental organization to teach gathering and implementation of requirements - Gregor Gabrysiak; Regina Hebig; Lukas Pirl; Holger Giese (26th International Conference on Software Engineering Education and Training, CSEE&T 2013, San Francisco, CA, USA, May 19-21, 2013, 2013)

Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances - 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; et al. (Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers, 2013)

What Can Control Theory Teach Us About Assurances in Self-Adaptive Software Systems? - Marin Litoiu; Mary Shaw; Gabriel Tamura; Norha M. Villegas; Hausi A. Müller; Holger Giese; Romain Rouvoy; Éric Rutten (Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers, 2013)

Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations - Christian Krause; Johannes Dyck; Holger Giese (Theory and Practice of Model Transformations - 6th International Conference, ICMT@STAF 2013, Budapest, Hungary, June 18-19, 2013. Proceedings, 2013)

Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations - Stephan Hildebrandt; Leen Lambers; Holger Giese (Theory and Practice of Model Transformations - 6th International Conference, ICMT@STAF 2013, Budapest, Hungary, June 18-19, 2013. Proceedings, 2013)

Why innovation processes need to support traceability - Thomas Beyhl; Gregor Berg; Holger Giese (7th International Workshop on Traceability in Emerging Forms of Software Engineering, TEFSE 2013, 19 May, 2013, San Francisco, CA, USA, 2013)

Scalable real-time compatibility for embedded components using language-progressive TIOA - Stefan Neumann; Holger Giese (16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2013, Paderborn, Germany, June 19-21, 2013, 2013)

On the Complex Nature of MDE Evolution - Regina Hebig; Holger Giese; Florian Stallmann; Andreas Seibel (Model-Driven Engineering Languages and Systems - 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings, 2013)

A Model Management Framework for Maintaining Traceability Links - Thomas Beyhl; Regina Hebig; Holger Giese (Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 1. März 2013 in Aachen, 2013)

Modal Specifications for Probabilistic Timed Systems - Tingting Han; Christian Krause; Marta Z. Kwiatkowska; Holger Giese (Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, Rome, Italy, March 23-24, 2013, 2013)

Model-Driven Development of Safe Self-optimizing Mechatronic Systems with MechatronicUML - Holger Giese; Wilhelm Schäfer (Assurances for Self-Adaptive Systems - Principles, Models, and Techniques, 2013)

Software Engineering for Self-Adaptive Systems II - International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers - Rogério de Lemos; Holger Giese; Hausi A. Müller; Mary Shaw (Springer, 2013)

Proceedings of the 1st International Workshop on Conducting Empirical Studies in Industry, CESI 2013, San Francisco, California, USA, May 20, 2013 - Margaret M. Burnett; Holger Giese; Tien Nguyen; Yuriy Brun (IEEE Computer Society, 2013)

Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, Schloss Dagstuhl, Germany, April 24-26, 2013, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme - Holger Giese; Michaela Huhn; Jan Phillips; Bernhard Schätz (fortiss GmbH, München, 2013)

Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511) - Rogério de Lemos; David Garlan; Carlo Ghezzi; Holger Giese (Dagstuhl Reports, 2013)

Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case - Leen Lambers; Stephan Hildebrandt; Holger Giese; Fernando Orejas (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Integration of Triple Graph Grammars and Constraints - Stephan Hildebrandt; Leen Lambers; Basil Becker; Holger Giese (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements - Ulrike Golas; Leen Lambers; Hartmut Ehrig; Holger Giese (Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, 2012)

Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking - Holger Giese; Leen Lambers (Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, 2012)

Probabilistic Graph Transformation Systems - Christian Krause; Holger Giese (Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, 2012)

Teaching requirements engineering with authentic stakeholders: towards a scalable course setting - Gregor Gabrysiak; Markus Guentert; Regina Hebig; Holger Giese (Proceedings of the First International Workshop on Software Engineering Education Based on Real-World Experiences, EduRex 2012, Zurich, Switzerland, June 9, 2012, 2012)

Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systems - 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 (First International Workshop on European Software Services and Systems Research - Results and Challenges, S-Cube 2012, Zurich, Switzerland, June 5, 2012, 2012)

A language for feedback loops in self-adaptive systems: Executable runtime megamodels - Thomas Vogel; Holger Giese (7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2012, Zurich, Switzerland, June 4-5, 2012, 2012)

Towards patterns for MDE-related processes to detect and handle changeability risks - Regina Hebig; Gregor Gabrysiak; Holger Giese (2012 International Conference on Software and System Process, ICSSP 2012, Zurich, Switzerland, June 2-3, 2012, 2012)

The MDELab tool framework for the development of correct model transformations with triple graph grammars - Stephan Hildebrandt; Leen Lambers; Holger Giese (Proceedings of the First Workshop on the Analysis of Model Transformations, AMT@MODELS 2012, Innsbruck, Austria, October 2, 2012, 2012)

A build server for model-driven engineering - Henrik Steudel; Regina Hebig; Holger Giese (Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, MPM@MoDELS 2012, Innsbruck, Austria, October 1-5, 2012, 2012)

Graph Transformations for MDE, Adaptation, and Models at Runtime - Holger Giese; Leen Lambers; Basil Becker; Stephan Hildebrandt; Stefan Neumann; Thomas Vogel; Sebastian Wätzoldt (Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures, 2012)

Integrated Software Development for Embedded Robotic Systems - Sebastian Wätzoldt; Stefan Neumann; Falk Benke; Holger Giese (Simulation, Modeling, and Programming for Autonomous Robots - Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings, 2012)

Simulation-Assisted Elicitation and Validation of Behavioral Specifications for Multiple Stakeholders - Gregor Gabrysiak; Regina Hebig; Holger Giese (21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2012, Toulouse, France, June 25-27, 2012, 2012)

Traceability in Model-Driven Engineering: Efficient and Scalable Traceability Maintenance - Andreas Seibel; Regina Hebig; Holger Giese (Software and Systems Traceability, 2012)

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 - Holger Giese; Grigore Rosu (Springer, 2012)

Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme - Holger Giese; Michaela Huhn; Jan Phillips; Bernhard Schätz (fortiss GmbH, München, 2012)

Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures - Stefan Henkler; Simon Oberthür; Holger Giese; Andreas Seibel (Comput. Syst. Sci. Eng., 2011)

A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems - Holger Giese; Stefan Henkler; Martin Hirsch (Simul., 2011)

Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations - Stephan Hildebrandt; Leen Lambers; Holger Giese; Dominic Petrick; Ingo Richter (Applications of Graph Transformations with Industrial Relevance - 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers, 2011)

Living with Uncertainty in the Age of Runtime Models - Holger Giese; Nelly Bencomo; Liliana Pasquale; Andres J. Ramirez; Paola Inverardi; Sebastian Wätzoldt; Siobhán Clarke (Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27 - December 2, 2011], 2011)

Iterative Development of Consistency-Preserving Rule-Based Refactorings - Basil Becker; Leen Lambers; Johannes Dyck; Stefanie Birth; Holger Giese (Theory and Practice of Model Transformations - 4th International Conference, ICMT@TOOLS 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings, 2011)

Toward a comparable characterization for software development activities in context of MDE - Regina Hebig; Andreas Seibel; Holger Giese (International Conference on Software and Systems Process, ICSSP 2011, Honolulu, HI, USA, May 21-22, 2011, Proceedings, 2011)

Requirements and Assessment of Languages and Frameworks for Adaptation Models - Thomas Vogel; Holger Giese (Models in Software Engineering - Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers, 2011)

Why should I help you to teach requirements engineering? - Gregor Gabrysiak; Holger Giese; Andreas Seibel (6th International Workshop on Requirements Engineering Education and Training, REET 2011, Trento, Italy, August 29, 2011, 2011)

Language and Framework Requirements for Adaptation Models - Thomas Vogel; Holger Giese (Proceedings of the 6th International Workshop on Models@run.time at the ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems, Wellington, New Zealand, October 17, 2011, 2011)

A Dedicated Language for Context Composition and Execution of True Black-Box Model Transformations - Andreas Seibel; Regina Hebig; Stefan Neumann; Holger Giese (Software Language Engineering - 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers, 2011)

Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements - Christian Krause; Holger Giese (Proceedings 13th International Workshop on Verification of Infinite-State Systems, INFINITY 2011, Taipei, Taiwan, 10th October 2011, 2011)

Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers - Holger Giese; Gabor Karsai; Edward Lee; Bernhard Rumpe; Bernhard Schätz (Springer, 2011)

2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2011, Waikiki, Honolulu , HI, USA, May 23-24, 2011 - Holger Giese; Betty H. C. Cheng (ACM, 2011)

Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme - Holger Giese; Michaela Huhn; Jan Phillips; Bernhard Schätz (fortiss GmbH, München, 2011)

Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441) - Holger Giese; Bernhard Rumpe; Bernhard Schätz; Janos Sztipanovits (Dagstuhl Reports, 2011)

Navigating Across Non-Navigable Ecore References via OCL - Martin Hanysz; Tobias Hoppe; Axel Uhl; Andreas Seibel; Holger Giese; Philipp Berger; Stephan Hildebrandt (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance - Andreas Seibel; Stefan Neumann; Holger Giese (Softw. Syst. Model., 2010)

Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent - Holger Giese; Stephan Hildebrandt; Stefan Neumann (Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, 2010)

Software Engineering for Self-Adaptive Systems: A Second Research Roadmap - 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; et al. (Software Engineering for Self-Adaptive Systems II - International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers, 2010)

On Patterns for Decentralized Control in 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 (Software Engineering for Self-Adaptive Systems II - International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers, 2010)

Making control loops explicit when architecting self-adaptive systems - Regina Hebig; Holger Giese; Basil Becker (Proceedings of the Second International Workshop on Self-Organizing Architectures, SOAR '10, Washington, DC, USA, June 7, 2010, 2010)

Adaptation and abstract runtime models - Thomas Vogel; Holger Giese (2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2010, Cape Town, South Africa, May 3-4, 2010, 2010)

Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010) - Betty H. C. Cheng; Rogério de Lemos; David Garlan; Holger Giese; Marin Litoiu; Jeff Magee; Hausi A. Müller; Mauro Pezzè; Richard Taylor (Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, 2010)

Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures - Stefan Henkler; Simon Oberthür; Holger Giese; Andreas Seibel (13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2010, Carmona, Sevilla, Spain, 5-6 May 2010, 2010)

Deriving behavior of multi-user processes from interactive requirements validation - Gregor Gabrysiak; Holger Giese; Andreas Seibel (ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010, 2010)

Toward Megamodels at Runtime - Thomas Vogel; Andreas Seibel; Holger Giese (Proceedings of the 5th Workshop on Models@run.time, Oslo, Norway, October 5th, 2010, 2010)

The Role of Models and Megamodels at Runtime - Thomas Vogel; Andreas Seibel; Holger Giese (Models in Software Engineering - Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers, 2010)

Teaching requirements engineering with virtual stakeholders without software engineering knowledge - Gregor Gabrysiak; Holger Giese; Andreas Seibel; Stefan Neumann (5th International Workshop on Requirements Engineering Education and Training, REET 2010, Sydney, NSW, Australia, September 28, 2010, 2010)

Software Engineering for Self-Adaptive Systems, 24.10. - 29.10.2010 - Rogério de Lemos; Holger Giese; Hausi A. Müller; Mary Shaw (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010)

Architecting Critical Systems, First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings - Holger Giese (Springer, 2010)

Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, Schloss Dagstuhl, Germany, 2010, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme - Holger Giese; Michaela Huhn; Jan Phillips; Bernhard Schätz (fortiss GmbH, München, 2010)

10431 Abstracts Collection - Software Engineering for Self-Adaptive Systems - Rogério de Lemos; Holger Giese; Hausi A. Müller; Mary Shaw (Software Engineering for Self-Adaptive Systems, 24.10. - 29.10.2010, 2010)

10431 Report - Software Engineering for Self-Adaptive Systems - Rogério de Lemos; Holger Giese; Hausi A. Müller; Mary Shaw (Software Engineering for Self-Adaptive Systems, 24.10. - 29.10.2010, 2010)

Software Engineering for Self-Adaptive Systems: A second Research Roadmap - 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; et al. (Software Engineering for Self-Adaptive Systems, 24.10. - 29.10.2010, 2010)

Improved Flexibility and Scalability by Interpreting Story Diagrams - Holger Giese; Stephan Hildebrandt; Andreas Seibel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

From model transformation to incremental bidirectional model synchronization - Holger Giese; Robert Wagner (Softw. Syst. Model., 2009)

Software Engineering for Self-Adaptive Systems: A Research Roadmap - 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; et al. (Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], 2009)

Engineering Self-Adaptive Systems through Feedback Loops - Yuriy Brun; Giovanna Di Marzo Serugendo; Cristina Gacek; Holger Giese; Holger M. Kienle; Marin Litoiu; Hausi A. Müller; Mauro Pezzè; Mary Shaw (Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], 2009)

Model-driven architectural monitoring and adaptation for autonomic systems - Thomas Vogel; Stefan Neumann; Stephan Hildebrandt; Holger Giese; Basil Becker (Proceedings of the 6th International Conference on Autonomic Computing, ICAC 2009, June 15-19, 2009, Barcelona, Spain, 2009)

SEAMS 2009: Software engineering for adaptive and self-managing systems - Betty H. C. Cheng; Rogério de Lemos; David Garlan; Holger Giese; Marin Litoiu; Jeff Magee; Hausi A. Müller; Richard Taylor (31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Companion Volume, 2009)

Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite - Stefan Henkler; Joel Greenyer; Martin Hirsch; Wilhelm Schäfer; Kahtan Alhawash; Tobias Eckardt; Christian Heinzemann; Renate Löffler; Andreas Seibel; Holger Giese (31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Proceedings, 2009)

Towards Integrating SysML and AUTOSAR Modeling via Bidirectional Model Synchronization - Holger Giese; Stephan Hildebrandt; Stefan Neumann (Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, 2009)

Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration - Basil Becker; Holger Giese; Stefan Neumann; Martin Schenck; Arian Treffer (Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ( ACES-MB 2009 ), held as part of the 2009 International Conference on Model Driven Engineering Languages and Systems ( MoDELS'09 ) Denver, Colorado, USA, October 6, 2009, 2009)

Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration - Basil Becker; Holger Giese; Stefan Neumann; Martin Schenck; Arian Treffer (Models in Software Engineering, Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers, 2009)

Incremental Model Synchronization for Efficient Run-Time Monitoring - Thomas Vogel; Stefan Neumann; Stephan Hildebrandt; Holger Giese; Basil Becker (Models in Software Engineering, Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers, 2009)

Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar] - Betty H. C. Cheng; Rogério de Lemos; Holger Giese; Paola Inverardi; Jeff Magee (Springer, 2009)

Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme - Holger Giese; Michaela Huhn; Ulrich Nickel; Bernhard Schätz (TU Braunschweig, Institut für Software Systems Engineering, 2009)

The Role of Models in Self-adaptive and Self-healing Systems - Jens Happe; Heiko Koziolek; Umesh Bellur; Holger Giese; Wilhelm Hasselbring; Robert Laddaga; Tiziana Margaria; Josu Martinez; Christian Müller-Schloer; Roland Reichle (Self-Healing and Self-Adaptive Systems, 10.05. - 15.05.2009, 2009)

Tool support for the design of self-optimizing mechatronic multi-agent systems - Sven Burmester; Holger Giese; Eckehard Münch; Oliver Oberschelp; Florian Klein; Peter Scheideler (Int. J. Softw. Tools Technol. Transf., 2008)

Incremental model synchronization for multiple updates - Holger Giese; Stephan Hildebrandt (Proceedings of the Third International Workshop on Graph and Model Transformations, GRaMoT '08, Leipzig, Germany, May 12, 2008, 2008)

Modeling collaborations with dynamic structural adaptation in mechatronic UML - Martin Hirsch; Stefan Henkler; Holger Giese (2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2008, Leipzig, Germany, May 12-13, 2008, 2008)

Friends or foes?: a conceptual analysis of self-adaptation and it change management - Cristina Gacek; Holger Giese; Ethan Hadar (2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2008, Leipzig, Germany, May 12-13, 2008, 2008)

Seams 2008: software engineering for adaptive and self-managing systems - Marin Litoiu; Holger Giese (30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, Companion Volume, 2008)

On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles - Basil Becker; Holger Giese (11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA, 2008)

Incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systems - Basil Becker; Holger Giese (23rd IEEE/ACM International Conference on Automated Software Engineering - Workshop Proceedings (ASE Workshops 2008), 15-16 September 2008, L'Aquila, Italy, 2008)

Modeling of correct self-adaptive systems: a graph transformation system based approach - Basil Becker; Holger Giese (CSTST 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, Cergy-Pontoise, France, October 28-31, 2008, 2008)

Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008 - Betty H. C. Cheng; Rogério de Lemos; Holger Giese; Paola Inverardi; Jeff Magee (Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2008)

2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2008, Leipzig, Germany, May 12-13, 2008 - Betty H. C. Cheng; Rogério de Lemos; David Garlan; Holger Giese; Marin Litoiu; Jeff Magee; Hausi A. Müller; Richard N. Taylor (ACM, 2008)

Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, Schloss Dagstuhl, Germany, 7.-9. April 2008, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme - Holger Giese; Michaela Huhn; Ulrich Nickel; Bernhard Schätz (TU Braunschweig, Institut für Software Systems Engineering, 2008)

Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers - Holger Giese (Springer, 2008)

08031 – Software Engineering for Self-Adaptive Systems: A Research Road Map - Betty H. C. Cheng; Holger Giese; Paola Inverardi; Jeff Magee; Rogério de Lemos (Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008, 2008)

08031 Abstracts Collection – Software Engineering for Self-Adaptive Systems - Betty H. C. Cheng; Holger Giese; Paola Inverardi; Jeff Magee; Rogério de Lemos (Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008, 2008)

Systematic verification of multi-agent systems based on rigorous executable specifications - Holger Giese; Florian Klein (Int. J. Agent Oriented Softw. Eng., 2007)

Models of Reactive Systems - Communication, Concurrency, and Causality - Bernhard Schätz; Holger Giese (Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers, 2007)

Model-Based Integration - Holger Giese; Stefan Neumann; Oliver Niggemann; Bernhard Schätz (Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers, 2007)

Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams - Florian Klein; Holger Giese (Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, 2007)

Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML - Holger Giese; Stefan Henkler; Martin Hirsch (Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], 2007)

Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View - Sven Burmester; Holger Giese; Stefan Henkler; Martin Hirsch; Matthias Tichy; Alfonso Gambuzza; Eckehard Münch; Henner Vöcking (29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, 2007)

Das MATE Projekt - visuelle Spezifikation von MATLAB Simulink/Stateflow Analysen und Transformationen - Ingo Stürmer; Heiko Dörr; Holger Giese; Udo Kelter; Andy Schürr; Albert Zündorf (Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, Schloss Dagstuhl, Germany, 15.-18. Januar 2007, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, 2007)

Workshops and Symposia at MODELS 2007 - Holger Giese (Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings, 2007)

Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007 - Holger Giese; Gabor Karsai; Edward Lee; Bernhard Rumpe; Bernhard Schätz (Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2007)

Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, Schloss Dagstuhl, Germany, 15.-18. Januar 2007, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme - Mirko Conrad; Holger Giese; Bernhard Rumpe; Bernhard Schätz (TU Braunschweig, Institut für Software Systems Engineering, 2007)

Software Engineering for Multi-Agent Systems V, Research Issues and Practical Applications [the book is a result of SELMAS 2006] - Ricardo Choren; Alessandro F. Garcia; Holger Giese; Ho-fung Leung; Carlos José Pereira de Lucena; Alexander B. Romanovsky (Springer, 2007)

07451 Summary - Model-Based Engineering of Embedded Real-Time Systems - Holger Giese; Gabor Karsai; Edward Lee; Bernhard Rumpe; Bernhard Schätz (Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007, 2007)

07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time Systems - Holger Giese; Gabor Karsai; Edward Lee; Bernhard Rumpe; Bernhard Schätz (Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007, 2007)

Software engineering for large-scale multi-agent systems - SELMAS 2006: workshop report - Alessandro Garcia; Holger Giese; Alexander B. Romanovsky; Ricardo Choren; Ho-fung Leung; Carlos José Pereira de Lucena; Florian Klein; Eric Platon (ACM SIGSOFT Softw. Eng. Notes, 2006)

Separation of non-orthogonal concerns in software architecture and design - Holger Giese; Alexander Vilbig (Softw. Syst. Model., 2006)

Visual modeling for software intensive systems - Kendra M. L. Cooper; Holger Giese; Ingolf H. Krüger (J. Vis. Lang. Comput., 2006)

A survey of approaches for the visual model-driven development of next generation software-intensive systems - Holger Giese; Stefan Henkler (J. Vis. Lang. Comput., 2006)

Reusable Services and Semi-automatic Service Composition for Automotive Software - Holger Giese (Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers, 2006)

Symbolic invariant verification for systems with dynamic structural adaptation - Basil Becker; Dirk Beyer; Holger Giese; Florian Klein; Daniela Schilling (28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, 2006)

Fifth workshop on software engineering for large-scale multi-agent systems (SELMAS) - Ricardo Choren; Ho-fung Leung; Alessandro F. Garcia; Carlos José Pereira de Lucena; Holger Giese; Alexander B. Romanovsky (28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, 2006)

Acute Stress Response for Self-optimizing Mechatronic Systems - Holger Giese; Norma Montealegre; Thomas Müller; Simon Oberthür; Bernd Schulz (Biologically Inspired Cooperative Computing, IFIP 19th World Computer Congress, TC 10: 1st IFIP International Conference on Biologically Inspired Computing, August 21-24, 2006, Santiago, Chile, 2006)

Architecture-driven platform independent deterministic replay for distributed hard real-time systems - Holger Giese; Stefan Henkler (Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), ROSATEA 2006, Portland, Maine, USA, July 17-20, 2006, 2006)

Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools - Holger Giese; Tihamer Levendovszky; Hans Vangheluwe (Models in Software Engineering, Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers, 2006)

Incremental Model Synchronization with Triple Graph Grammars - Holger Giese; Robert Wagner (Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings, 2006)

Systematic Requirements-Driven Evaluation and Synthesis of Alternative Principle Solutions for Advanced Mechatronic Systems - Björn Axenath; Holger Giese; Florian Klein; Ursula Frank (14th IEEE International Conference on Requirements Engineering (RE 2006), 11-15 September 2006, Minneapolis/St.Paul, Minnesota, USA, 2006)

Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration - Holger Giese; Matthias Tichy (Computer Safety, Reliability, and Security, 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings, 2006)

Nobody's perfect: interactive synthesis from parametrized real-time scenarios - Holger Giese; Stefan Henkler; Martin Hirsch; Florian Klein (SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Shanghai, China, May 27, 2006, 2006)

Introduction to the SELMAS 2006 - Ricardo Choren; Ho-fung Leung; Alessandro F. Garcia; Carlos Lucena; Holger Giese; 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, 2006)

Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, Schloss Dagstuhl, Germany, 9.-13. Januar 2006, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme - Holger Giese; Bernhard Rumpe; Bernhard Schätz (TU Braunschweig, Institut für Software Systems Engineering, 2006)

Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, SELMAS '06, Shanghai, China, May 22-23, 2006 - Ricardo Choren; Alessandro F. Garcia; Holger Giese; Ho-fung Leung; Carlos José Pereira de Lucena; Alexander B. Romanovsky (ACM, 2006)

A summary of the ICSE 2004 workshop on "scenarios and state machines: models, algorithms, and tools" - Holger Giese; Ingolf Krüger (ACM SIGSOFT Softw. Eng. Notes, 2005)

Software Engineering for Large-Scale Multi-Agent Systems - SELMAS 2005: workshop report - Alessandro Garcia; Ricardo Choren; Carlos José Pereira de Lucena; Alexander B. Romanovsky; Holger Giese; Danny Weyns; Tom Holvoet; Paolo Giorgini (ACM SIGSOFT Softw. Eng. Notes, 2005)

Reconciling scenario-centered controller design with state-based system models - Holger Giese; Ekkart Kindler; Florian Klein; Robert Wagner (ACM SIGSOFT Softw. Eng. Notes, 2005)

Analysis and design of physical and social contexts in multi-agent systems using UML - Florian Klein; Holger Giese (ACM SIGSOFT Softw. Eng. Notes, 2005)

Computing optimal self-repair actions: damage minimization versus repair time - Matthias Tichy; Holger Giese; Daniela Schilling; Wladimir Pauls (ACM SIGSOFT Softw. Eng. Notes, 2005)

Grounding Social Interactions in the Environment - Florian Klein; Holger Giese (Environments for Multi-Agent Systems II, Second International Workshop, E4MAS 2005, Utrecht, The Netherlands, July 25, 2005, Selected Revised and Invited Papers, 2005)

Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code - Sven Burmester; Holger Giese; Wilhelm Schäfer (Model Driven Architecture - Foundations and Applications, 1st European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings, 2005)

Computing optimal self-repair actions: damage minimization versus repair time - Matthias Tichy; Holger Giese; Daniela Schilling; Wladimir Pauls (Proceedings of the 2005 workshop on Architecting dependable systems, WADS '05, St. Louis, Missouri, USA, May 17, 2005, 2005)

The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems - Sven Burmester; Holger Giese; Martin Hirsch; Daniela Schilling; Matthias Tichy (27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA, 2005)

Towards the Model-Driven Development of Self-Optimizing Mechatronic Systems - Holger Giese (Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme I, Schloss Dagstuhl, Germany, 10.-14. Januar 2005, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, 2005)

Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems - Holger Giese (Reliable Systems on Unreliable Networked Platforms - 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers, 2005)

Analysis and design of physical and social contexts in multi-agent systems using UML - Florian Klein; Holger Giese (Proceedings of the fourth international workshop on Software engineering for large-scale multi-agent systems, SELMAS '05, St. Louis, Missouri, USA, May 15-16, 2005, 2005)

Analysis and Design of Physical and Social Contexts in Multi-agent Systems - Florian Klein; Holger Giese (Software Engineering for Multi-Agent Systems IV, Research Issues and Practical Applications [the book is a result of SELMAS 2005], 2005)

Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML - Holger Giese; Martin Hirsch (Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers, 2005)

Summary of the Educator's Symposium - Holger Giese; Pascal Roques; Timothy Lethbridge (Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers, 2005)

Visual Modeling for Software Intensive Systems - Holger Giese; Ingolf H. Krüger; Kendra M. L. Cooper (2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 21-24 September 2005, Dallas, TX, USA, 2005)

Visual Integration of UML 2.0 and Block Diagrams for Flexible Reconfiguration in MECHATRONIC UML - Sven Burmester; Holger Giese (2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 21-24 September 2005, Dallas, TX, USA, 2005)

Tool integration at the meta-model level: the Fujaba approach - Sven Burmester; Holger Giese; Jörg Niere; Matthias Tichy; Jörg P. Wadsack; Robert Wagner; Lothar Wendehals; Albert Zündorf (Int. J. Softw. Tools Technol. Transf., 2004)

Making mechatronic agents resource-aware in order to enable safe dynamic resource allocation - Sven Burmester; Matthias Gehrke; Holger Giese; Simon Oberthür (EMSOFT 2004, September 27-29, 2004, Pisa, Italy, Fourth ACM International Conference On Embedded Software, Proceedings, 2004)

Hybrid UML Components for the Design of Complex Self-Optimizing Mechatronic Systems - Sven Burmester; Holger Giese; Oliver Oberschelp (ICINCO 2004, Proceedings of the First International Conference on Informatics in Control, Automation and Robotics, Setúbal, Portugal, August 25-28, 2004, 2004)

Structured Information Processing for Self-Optimizing Mechatronic Systems - Thorsten Hestermeyer; Oliver Oberschelp; Holger Giese (ICINCO 2004, Proceedings of the First International Conference on Informatics in Control, Automation and Robotics, Setúbal, Portugal, August 25-28, 2004, 2004)

Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM'04) - Holger Giese; Ingolf Krüger (26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom, 2004)

Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML - Sven Burmester; Holger Giese; Matthias Tichy (Model Driven Architecture, European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004, Revised Selected Papers, 2004)

Compositional Hazard Analysis of UML Component and Deployment Models - Holger Giese; Matthias Tichy; Daniela Schilling (Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings, 2004)

Separation of Concerns for Mechatronic Multi-agent Systems Through Dynamic Communities - Florian Klein; Holger Giese (Software Engineering for Multi-Agent Systems III, Research Issues and Practical Applications [the book is a result of SELMAS 2004], 2004)

Modular design and verification of component-based mechatronic systems with online-reconfiguration - Holger Giese; Sven Burmester; Wilhelm Schäfer; Oliver Oberschelp (Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31 - November 6, 2004, 2004)

Design of self-managing dependable systems with UML and fault tolerance patterns - Matthias Tichy; Daniela Schilling; Holger Giese (Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, WOSS 2004, Newport Beach, California, USA, October 31 - November 1, 2004, 2004)

Autonomous Shuttle System Case Study - Holger Giese; Florian Klein (Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers, 2003)

Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models - Holger Giese; Florian Klein; Sven Burmester (Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers, 2003)

Seamless UML Support for Service-Based Software Architectures - Matthias Tichy; Holger Giese (Scientific Engineering of Distributed Java Applications, Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003, Revised Papers, 2003)

A Self-optimizing Run-Time Architecture for Configurable Dependability of Services - Matthias Tichy; Holger Giese (Architecting Dependable Systems II - [the book is a result of the ICSE 2003 Workshop on Software Architectures for Dependable Systems], 2003)

Towards the compositional verification of real-time UML designs - Holger Giese; Matthias Tichy; Sven Burmester; Stephan Flake (Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003, 2003)

Reporting about industrial strength software engineering courses for undergraduates - Matthias Gehrke; Holger Giese; Ulrich Nickel; Jörg Niere; Matthias Tichy; Jörg P. Wadsack; Albert Zündorf (Proceedings of the 24th International Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USA, 2002)

Towards Design Verification and Validation at Multiple Levels of Abstraction - Holger Giese; Martin Kardos; Ulrich Nickel (Design and Analysis of Distributed Embedded Systems, IFIP 17\(^th\) World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002), August 25-29, 2002, Montréal, Québec, Canada, 2002)

Object-oriented design and architecture of distributed systems - Holger Giese (University of Münster, Germany, 2001)

The OCoN approach for object-oriented distributed software systems modeling - Holger Giese; Guido Wirtz (Comput. Syst. Sci. Eng., 2001)

The OCoN Approach to Workflow Modeling in Object-Oriented Systems - Guido Wirtz; Mathias Weske; Holger Giese (Inf. Syst. Frontiers, 2001)

FG 2.1.9: Bericht vom 8. Workshop des GI-Arbeitskreises GROOM am 13. und 14. November 2000 in Münster - Holger Giese; Stephan Philippi (Softwaretechnik-Trends, 2001)

Bericht über die Modellierung 2001 vom 28. - 30. März 2001 in Bad Lippspringe - Holger Giese (Softwaretechnik-Trends, 2001)

Visual Modeling of Object-Oriented Distributed Systems - Holger Giese; Guido Wirtz (J. Vis. Lang. Comput., 2001)

Towards Service-Based Flexible Production Control Systems and their Modular Modeling and Simulation - Holger Giese; Ulrich Nickel (OMER - Object-Oriented Modeling of Embedded Real-Time Systems, GI-Workshops OMER-1 & OMER-2 May 28/29, 1999 & May 10-12, 2001, Herrsching am Amersee, Germany, 2001)

Extending UML with Workflow Modeling Capabilities - Guido Wirtz; Mathias Weske; Holger Giese (Cooperative Information Systems, 7th International Conference, CoopIS 2000, Eilat, Israel, September 6-8, 2000, Proceedings, 2000)

Skalierbare Beschreibung des Verhaltens verteilter Software-Systeme - Guido Wirtz; Holger Giese (Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000, 2000)

Contract-Based Component System Design - Holger Giese (33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 4-7 January, 2000, Maui, Hawaii, USA, 2000)

Early Evaluation of Design Options for Distributed Systems - Holger Giese; Guido Wirtz (International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 2000, Limerick, Ireland, June 10-11, 2000, 2000)

Using UML and object-coordination-nets for workflow specification - Guido Wirtz; Holger Giese (Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: "Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions", Sheraton Music City Hotel, Nashville, Tennessee, USA, 8-11 October 2000, 2000)

Contract-based Coordination of Distributed Object Systems - Holger Giese; Jörg Graf; Guido Wirtz (Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1999, June 28 - July 1, 1999, Las Vegas, Nevada, USA, 1999)

Closing the Gap Between Object-Oriented Modeling of Structure and Behavior - Holger Giese; Jörg Graf; Guido Wirtz («UML»'99: The Unified Modeling Language - Beyond the Standard, Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings, 1999)

Seamless Visual Object-Oriented Behavior Modeling for Distributed Software Systems - Holger Giese; Jörg Graf; Guido Wirtz (1999 IEEE Symposium on Visual Languages, VL 1999, Tokyo, Japan, September 13-16, 1999, Proceedings, 1999)

Modeling Distributed Software Systems with Object Coordination Nets - Holger Giese; Jörg Graf; Guido Wirtz (International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 1998, Kyoto, Japan, April 20-21, 1998, 1998)

Ruling the Behavior of Distributed Software Components - Guido Wirtz; Jörg Graf; Holger Giese (Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1997, June 30 - July 3, 1997, Las Vegas, Nevada, USA, 1997)

Modular Development of Correct Meander Programs - Holger Giese; Guido Wirtz (Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1997, June 30 - July 3, 1997, Las Vegas, Nevada, USA, 1997)