Modular Development of Correct Meander Programs. - Holger Giese; Guido Wirtz (PDPTA, 1997)

Ruling the Behavior of Distributed Software Components. - Guido Wirtz; Jörg Graf; Holger Giese (PDPTA, 1997)

Modeling Distributed Software Systems with Object Coordination Nets. - Holger Giese; Jörg Graf; Guido Wirtz (PDSE, 1998)

Contract-based Coordination of Distributed Object Systems. - Holger Giese; Jörg Graf; Guido Wirtz (PDPTA, 1999)

Closing the Gap Between Object-Oriented Modeling of Structure and Behavior. - Holger Giese; Jörg Graf; Guido Wirtz (UML, 1999)

Seamless Visual Object-Oriented Behavior Modeling for Distributed Software Systems. - Holger Giese; Jörg Graf; Guido Wirtz (VL, 1999)

Extending UML with Workflow Modeling Capabilities. - Guido Wirtz; Mathias Weske; Holger Giese (CoopIS, 2000)

Skalierbare Beschreibung des Verhaltens verteilter Software-Systeme. - Guido Wirtz; Holger Giese (FBT, 2000)

Contract-Based Component System Design. - Holger Giese (HICSS, 2000)

Early Evaluation of Design Options for Distributed Systems. - Holger Giese; Guido Wirtz (PDSE, 2000)

Using UML and object-coordination-nets for workflow specification. - Guido Wirtz; Holger Giese (SMC, 2000)

Object-oriented design and architecture of distributed systems. - Holger Giese (Shaker, 2001)

Towards Service-Based Flexible Production Control Systems and their Modular Modeling and Simulation. - Holger Giese; Ulrich Nickel 002 (OMER, 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)

Bericht über die Modellierung 2001 vom 28. - 30. März 2001 in Bad Lippspringe. - Holger Giese (Softwaretechnik-Trends, 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)

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

Reporting about industrial strength software engineering courses for undergraduates. - Matthias Gehrke; Holger Giese; Ulrich Nickel 002; Jörg Niere; Matthias Tichy; Jörg P. Wadsack; Albert Zündorf (ICSE, 2002)

Towards Design Verification and Validation at Multiple Levels of Abstraction. - Holger Giese; Martin Kardos; Ulrich Nickel 002 (DIPES, 2002)

Autonomous Shuttle System Case Study. - Holger Giese; Florian Klein 001 (Scenarios: Models, Transformations and Tools, 2003)

Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models. - Holger Giese; Florian Klein 001; Sven Burmester (Scenarios: Models, Transformations and Tools, 2003)

Seamless UML Support for Service-Based Software Architectures. - Matthias Tichy; Holger Giese (FIDJI, 2003)

A Self-optimizing Run-Time Architecture for Configurable Dependability of Services. - Matthias Tichy; Holger Giese (WADS, 2003)

Towards the compositional verification of real-time UML designs. - Holger Giese; Matthias Tichy; Sven Burmester; Stephan Flake (ESEC / SIGSOFT FSE, 2003)

Making mechatronic agents resource-aware in order to enable safe dynamic resource allocation. - Sven Burmester; Matthias Gehrke; Holger Giese; Simon Oberthür (EMSOFT, 2004)

Hybrid UML Components for the Design of Complex Self-Optimizing Mechatronic Systems. - Sven Burmester; Holger Giese; Oliver Oberschelp (ICINCO (3), 2004)

Structured Information Processing for Self-Optimizing Mechatronic Systems. - Thorsten Hestermeyer; Oliver Oberschelp; Holger Giese (ICINCO (3), 2004)

Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM'04). - Holger Giese; Ingolf Krüger (ICSE, 2004)

Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML. - Sven Burmester; Holger Giese; Matthias Tichy (MDAFA, 2004)

Compositional Hazard Analysis of UML Component and Deployment Models. - Holger Giese; Matthias Tichy; Daniela Schilling (SAFECOMP, 2004)

Separation of Concerns for Mechatronic Multi-agent Systems Through Dynamic Communities. - Florian Klein 001; Holger Giese (SELMAS, 2004)

Modular design and verification of component-based mechatronic systems with online-reconfiguration. - Holger Giese; Sven Burmester; Wilhelm Schäfer; Oliver Oberschelp (SIGSOFT FSE, 2004)

Design of self-managing dependable systems with UML and fault tolerance patterns. - Matthias Tichy; Daniela Schilling; Holger Giese (WOSS, 2004)

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 002; Lothar Wendehals; Albert Zündorf (Int. J. Softw. Tools Technol. Transf., 2004)

Grounding Social Interactions in the Environment. - Florian Klein 001; Holger Giese (E4MAS, 2005)

Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code. - Sven Burmester; Holger Giese; Wilhelm Schäfer (ECMDA-FA, 2005)

The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems. - Sven Burmester; Holger Giese; Martin Hirsch 001; Daniela Schilling; Matthias Tichy (ICSE, 2005)

Towards the Model-Driven Development of Self-Optimizing Mechatronic Systems. - Holger Giese (MBEES, 2005)

Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems. - Holger Giese (Monterey Workshop, 2005)

Analysis and Design of Physical and Social Contexts in Multi-agent Systems. - Florian Klein 001; Holger Giese (SELMAS (LNCS), 2005)

Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML. - Holger Giese; Martin Hirsch 001 (MoDELS (Satellite Events), 2005)

Summary of the Educator's Symposium. - Holger Giese; Pascal Roques; Timothy Lethbridge (MoDELS (Satellite Events), 2005)

Visual Integration of UML 2.0 and Block Diagrams for Flexible Reconfiguration in MECHATRONIC UML. - Sven Burmester; Holger Giese (VL/HCC, 2005)

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

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)

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

Analysis and design of physical and social contexts in multi-agent systems using UML. - Florian Klein 001; 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)

Reusable Services and Semi-automatic Service Composition for Automotive Software. - Holger Giese (ASWSD, 2006)

Symbolic invariant verification for systems with dynamic structural adaptation. - Basil Becker; Dirk Beyer 001; Holger Giese; Florian Klein 001; Daniela Schilling (ICSE, 2006)

Fifth workshop on software engineering for large-scale multi-agent systems (SELMAS). - Ricardo Choren; Ho-fung Leung; Alessandro F. Garcia 001; Carlos José Pereira de Lucena; Holger Giese; Alexander B. Romanovsky (ICSE, 2006)

Acute Stress Response for Self-optimizing Mechatronic Systems. - Holger Giese; Norma Montealegre; Thomas Müller; Simon Oberthür; Bernd Schulz (BICC, 2006)

Architecture-driven platform independent deterministic replay for distributed hard real-time systems. - Holger Giese; Stefan Henkler (ROSATEA, 2006)

Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools. - Holger Giese; Tihamer Levendovszky; Hans Vangheluwe (MoDELS (Workshops), 2006)

Incremental Model Synchronization with Triple Graph Grammars. - Holger Giese; Robert Wagner 002 (MoDELS, 2006)

Systematic Requirements-Driven Evaluation and Synthesis of Alternative Principle Solutions for Advanced Mechatronic Systems. - Björn Axenath; Holger Giese; Florian Klein 001; Ursula Frank (RE, 2006)

Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration. - Holger Giese; Matthias Tichy (SAFECOMP, 2006)

Nobody's perfect: interactive synthesis from parametrized real-time scenarios. - Holger Giese; Stefan Henkler; Martin Hirsch 001; Florian Klein 001 (SCESM, 2006)

Introduction to the SELMAS 2006. - Ricardo Choren; Ho-fung Leung; Alessandro F. Garcia 001; Carlos Lucena; Holger Giese; Alexander B. Romanovsky (SELMAS, 2006)

Software engineering for large-scale multi-agent systems - SELMAS 2006: workshop report. - Alessandro Garcia 001; Holger Giese; Alexander B. Romanovsky; Ricardo Choren; Ho-fung Leung; Carlos José Pereira de Lucena; Florian Klein 001; 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)

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, 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, 2007)

Model-Based Integration. - Holger Giese; Stefan Neumann 002; Oliver Niggemann; Bernhard Schätz (Model-Based Engineering of Embedded Real-Time Systems, 2007)

Models of Reactive Systems - Communication, Concurrency, and Causality. - Bernhard Schätz; Holger Giese (Model-Based Engineering of Embedded Real-Time Systems, 2007)

Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams. - Florian Klein 001; Holger Giese (FASE, 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 001; Matthias Tichy; Alfonso Gambuzza; Eckehard Münch; Henner Vöcking (ICSE, 2007)

Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML. - Holger Giese; Stefan Henkler; Martin Hirsch 001 (WADS, 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 (MBEES, 2007)

Workshops and Symposia at MODELS 2007. - Holger Giese (MoDELS, 2007)

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

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, 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, 2008)

Friends or foes?: a conceptual analysis of self-adaptation and it change management. - Cristina Gacek; Holger Giese; Ethan Hadar (SEAMS, 2008)

Incremental model synchronization for multiple updates. - Holger Giese; Stephan Hildebrandt (GRaMoT@ICSE, 2008)

Modeling collaborations with dynamic structural adaptation in mechatronic UML. - Martin Hirsch 001; Stefan Henkler; Holger Giese (SEAMS, 2008)

Seams 2008: software engineering for adaptive and self-managing systems. - Marin Litoiu; Holger Giese (ICSE Companion, 2008)

On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles. - Basil Becker; Holger Giese (ISORC, 2008)

Incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systems. - Basil Becker; Holger Giese (ASE Workshops, 2008)

Modeling of correct self-adaptive systems: a graph transformation system based approach. - Basil Becker; Holger Giese (CSTST, 2008)

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

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, 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, 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, 2009)

Model-driven architectural monitoring and adaptation for autonomic systems. - Thomas Vogel 001; Stefan Neumann 002; Stephan Hildebrandt; Holger Giese; Basil Becker (ICAC, 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 001 (ICSE Companion, 2009)

Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite. - Stefan Henkler; Joel Greenyer; Martin Hirsch 001; Wilhelm Schäfer; Kahtan Alhawash; Tobias Eckardt; Christian Heinzemann; Renate Löffler; Andreas Seibel; Holger Giese (ICSE, 2009)

Towards Integrating SysML and AUTOSAR Modeling via Bidirectional Model Synchronization. - Holger Giese; Stephan Hildebrandt; Stefan Neumann 002 (MBEES, 2009)

Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration. - Basil Becker; Holger Giese; Stefan Neumann 002; Martin Schenck; Arian Treffer (MoDELS (Workshops), 2009)

Incremental Model Synchronization for Efficient Run-Time Monitoring. - Thomas Vogel 001; Stefan Neumann 002; Stephan Hildebrandt; Holger Giese; Basil Becker (MoDELS (Workshops), 2009)

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 002 (Softw. Syst. Model., 2009)

Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent. - Holger Giese; Stephan Hildebrandt; Stefan Neumann 002 (Graph Transformations and Model-Driven Engineering, 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, 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, 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 001; Danny Weyns; Luciano Baresi; et al. (Software Engineering for Self-Adaptive Systems, 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, 2010)

Making control loops explicit when architecting self-adaptive systems. - Regina Hebig; Holger Giese; Basil Becker (SOAR@ICAC, 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 001 (ICSE (2), 2010)

Adaptation and abstract runtime models. - Thomas Vogel 001; Holger Giese (SEAMS, 2010)

Deriving behavior of multi-user processes from interactive requirements validation. - Gregor Gabrysiak; Holger Giese; Andreas Seibel (ASE, 2010)

Toward Megamodels at Runtime. - Thomas Vogel 001; Andreas Seibel; Holger Giese (Models@run.time, 2010)

The Role of Models and Megamodels at Runtime. - Thomas Vogel 001; Andreas Seibel; Holger Giese (MoDELS (Workshops), 2010)

Teaching requirements engineering with virtual stakeholders without software engineering knowledge. - Gregor Gabrysiak; Holger Giese; Andreas Seibel; Stefan Neumann 002 (REET, 2010)

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

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

Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations. - Stephan Hildebrandt; Leen Lambers; Holger Giese; Dominic Petrick; Ingo Richter (AGTIVE, 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@Dagstuhl, 2011)

Iterative Development of Consistency-Preserving Rule-Based Refactorings. - Basil Becker; Leen Lambers; Johannes Dyck; Stefanie Birth; Holger Giese (ICMT@TOOLS, 2011)

Toward a comparable characterization for software development activities in context of MDE. - Regina Hebig; Andreas Seibel; Holger Giese (ICSSP, 2011)

Requirements and Assessment of Languages and Frameworks for Adaptation Models. - Thomas Vogel 001; Holger Giese (MoDELS (Workshops), 2011)

Why should I help you to teach requirements engineering? - Gregor Gabrysiak; Holger Giese; Andreas Seibel (REET, 2011)

Language and Framework Requirements for Adaptation Models. - Thomas Vogel 001; Holger Giese (Models@run.time, 2011)

A Dedicated Language for Context Composition and Execution of True Black-Box Model Transformations. - Andreas Seibel; Regina Hebig; Stefan Neumann 002; Holger Giese (SLE, 2011)

Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements - Christian Krause 001; Holger Giese (INFINITY, 2011)

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)

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

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

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

Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking. - Holger Giese; Leen Lambers (ICGT, 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 (ICGT, 2012)

Probabilistic Graph Transformation Systems. - Christian Krause 001; Holger Giese (ICGT, 2012)

Teaching requirements engineering with authentic stakeholders: towards a scalable course setting. - Gregor Gabrysiak; Markus Guentert; Regina Hebig; Holger Giese (EduRex@ICSE, 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 001; Dimitris Dranidis; Holger Giese; Raman Kazhamiakin; Rogério de Lemos; Clarissa Cassales Marquezan; Andreas Metzger (S-Cube@ICSE, 2012)

A language for feedback loops in self-adaptive systems: Executable runtime megamodels. - Thomas Vogel 001; Holger Giese (SEAMS, 2012)

Towards patterns for MDE-related processes to detect and handle changeability risks. - Regina Hebig; Gregor Gabrysiak; Holger Giese (ICSSP, 2012)

The MDELab tool framework for the development of correct model transformations with triple graph grammars. - Stephan Hildebrandt; Leen Lambers; Holger Giese (AMT@MoDELS, 2012)

A build server for model-driven engineering. - Henrik Steudel; Regina Hebig; Holger Giese (MPM@MoDELS, 2012)

Graph Transformations for MDE, Adaptation, and Models at Runtime. - Holger Giese; Leen Lambers; Basil Becker; Stephan Hildebrandt; Stefan Neumann 002; Thomas Vogel 001; Sebastian Wätzoldt (SFM, 2012)

Integrated Software Development for Embedded Robotic Systems. - Sebastian Wätzoldt; Stefan Neumann 002; Falk Benke; Holger Giese (SIMPAR, 2012)

Simulation-Assisted Elicitation and Validation of Behavioral Specifications for Multiple Stakeholders. - Gregor Gabrysiak; Regina Hebig; Holger Giese (WETICE, 2012)

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

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)

Cooperating with a non-governmental organization to teach gathering and implementation of requirements. - Gregor Gabrysiak; Regina Hebig; Lukas Pirl; Holger Giese (CSEE&T, 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 001; et al. (Software Engineering for Self-Adaptive Systems, 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, 2013)

Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations. - Stephan Hildebrandt; Leen Lambers; Holger Giese (ICMT, 2013)

Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations. - Christian Krause 001; Johannes Dyck; Holger Giese (ICMT, 2013)

Why innovation processes need to support traceability. - Thomas Beyhl; Gregor Berg; Holger Giese (TEFSE@ICSE, 2013)

Scalable real-time compatibility for embedded components using language-progressive TIOA. - Stefan Neumann 002; Holger Giese (ISORC, 2013)

On the Complex Nature of MDE Evolution. - Regina Hebig; Holger Giese; Florian Stallmann; Andreas Seibel (MoDELS, 2013)

A Model Management Framework for Maintaining Traceability Links. - Thomas Beyhl; Regina Hebig; Holger Giese (Software Engineering (Workshops), 2013)

Modal Specifications for Probabilistic Timed Systems. - Tingting Han 001; Christian Krause 001; Marta Z. Kwiatkowska; Holger Giese (QAPL, 2013)

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

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

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)

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

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

BenchmarX. - Anthony Anjorin; Alcino Cunha; Holger Giese; Frank Hermann 001; Arend Rensink; Andy Schürr (EDBT/ICDT Workshops, 2014)

On Unifying Development Models and Runtime Models. - Thomas Vogel 001; Holger Giese (Models@run.time, 2014)

Classifying Distributed Self-* Systems Based on Runtime Models and Their Coupling. - Sebastian Wätzoldt; Holger Giese (Models@run.time, 2014)

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 001; Holger Giese (ACM Trans. Auton. Adapt. Syst., 2014)

Modeling Collaborations in Adaptive Systems of Systems. - Sebastian Wätzoldt; Holger Giese (ECSA Workshops, 2015)

Towards Smart Systems of Systems. - Holger Giese; Thomas Vogel 001; Sebastian Wätzoldt (FSEN, 2015)

Inductive Invariant Checking with Partial Negative Application Conditions. - Johannes Dyck; Holger Giese (ICGT, 2015)

Traceability Recovery for Innovation Processes. - Thomas Beyhl; Holger Giese (SST@ICSE, 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 (AMT@MoDELS, 2015)

A Testing Scheme for Self-Adaptive Software Systems with Architectural Runtime Models. - Joachim Hänsel; Thomas Vogel 001; Holger Giese (SASO Workshops, 2015)

Implementing Graph Transformations in the Bulk Synchronous Parallel Model. - Christian Krause 001; Matthias Tichy; Holger Giese (Software Engineering & Management, 2015)

Combining Requirements, Use Case Maps and AADL Models for Safety-Critical Systems Design. - Dominique Blouin; Holger Giese (SEAA, 2016)

Formal Models and Analysis for Self-adaptive Cyber-physical Systems - (Extended Abstract). - Holger Giese (FACS, 2016)

On the Operationalization of Graph Queries with Generalized Discrimination Networks. - Thomas Beyhl; Dominique Blouin; Holger Giese; Leen Lambers (ICGT, 2016)

Towards Linking Adaptation Rules to the Utility Function for Dynamic Architectures. - Sona Ghahremani; Holger Giese; Thomas Vogel 001 (SASO, 2016)

MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems. - Hans Vangheluwe; Vasco Amaral 001; Holger Giese; Jan F. Broenink; Bernhard Schätz; Alexander Norta; Paulo Carreira 001; Ivan Lukovic; Tanja Mayerhofer; Manuel Wimmer; Antonio Vallecillo (STAF Doctoral Symposium / Showcase, 2016)

Incremental View Maintenance for Deductive Graph Databases Using Generalized Discrimination Networks. - Thomas Beyhl; Holger Giese (GaM@ETAPS, 2016)

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

Self-aware Computing Systems: Related Concepts and Research Areas. - Javier Cámara 001; 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)

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

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

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

Architectural Concepts for Self-aware Computing Systems. - Holger Giese; Thomas Vogel 001; Ada Diaconescu; Sebastian Götz; Samuel Kounev (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 001; Antonio Filieri; Lukas Esterle; Sylvain Frey (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 001; Anders Robertsson; Simon Spinner (Self-Aware Computing Systems, 2017)

The Notion of Self-aware Computing. - Samuel Kounev; Peter R. Lewis 001; Kirstie L. Bellman; Nelly Bencomo; Javier Cámara 001; Ada Diaconescu; Lukas Esterle; Kurt Geihs; Holger Giese; Sebastian Götz; Paola Inverardi; Jeffrey O. Kephart; et al. (Self-Aware Computing Systems, 2017)

Towards a Framework for the Levels and Aspects of Self-aware Computing Systems. - Peter R. Lewis 001; Kirstie L. Bellman; Christopher Landauer; Lukas Esterle; Kyrre Glette; Ada Diaconescu; Holger Giese (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)

k-Inductive Invariant Checking for Graph Transformation Systems. - Johannes Dyck; Holger Giese (ICGT, 2017)

Efficient Utility-Driven Self-Healing Employing Adaptation Rules for Large Dynamic Architectures. - Sona Ghahremani; Holger Giese; Thomas Vogel 001 (ICAC, 2017)

Towards Collective Online and Offline Testing for Dynamic Software Product Line Systems. - Joachim Hänsel; Holger Giese (VACE@ICSE, 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 (RE Workshops, 2017)

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

Training Prediction Models for Rule-Based Self-Adaptive Systems. - Sona Ghahremani; Christian M. Adriano; Holger Giese (ICAC, 2018)

Analysis of GPGPU Programs for Data-race and Barrier Divergence. - Santonu Sarkar; Prateek Kandelwal; Soumyadip Bandyopadhyay; Holger Giese (ICSOFT, 2018)

Towards software architecture runtime models for continuous adaptive monitoring. - Thomas Brand; Holger Giese (MoDELS (Workshops), 2018)

Towards Generic Adaptive Monitoring. - Thomas Brand; Holger Giese (SASO, 2018)

Probabilistic timed graph transformation systems. - Maria Maximova; Holger Giese; Christian Krause 001 (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)

Metric Temporal Graph Logic over Typed Attributed Graphs. - Holger Giese; Maria Maximova; Lucas Sakizloglou; Sven Schneider 001 (FASE, 2019)

OCCI-compliant, fully causal-connected architecture runtime models supporting sensor management. - Johannes Erbel; Thomas Brand; Holger Giese; Jens Grabowski (SEAMS@ICSE, 2019)

Software Engineering for Smart Cyber-Physical Systems: Challenges and Opportunities. - Holger Giese (ISEC, 2019)

Modeling Approach and Evaluation Criteria for Adaptable Architectural Runtime Model Instances. - Thomas Brand; Holger Giese (MoDELS, 2019)

Generic Adaptive Monitoring Based on Executed Architecture Runtime Model Queries and Events. - Thomas Brand; Holger Giese (SASO, 2019)

Performance Evaluation for Self-Healing Systems: Current Practice & Open Issues. - Sona Ghahremani; Holger Giese (FAS*W@SASO/ICAC, 2019)

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

Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions. - Sven Schneider 001; Johannes Dyck; Holger Giese (ICGT, 2020)

Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic. - Sven Schneider 001; Lucas Sakizloglou; Maria Maximova; Holger Giese (ICGT, 2020)

A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies. - Christian Zöllner 002; Matthias Barkowsky; Maria Maximova; Melanie Schneider; Holger Giese (ICGT, 2020)

Collective risk minimization via a bayesian model for statistical software testing. - Joachim Hänsel; Christian M. Adriano; Johannes Dyck; Holger Giese (SEAMS@ICSE, 2020)

Towards highly scalable runtime models with history. - Lucas Sakizloglou; Sona Ghahremani; Thomas Brand; Matthias Barkowsky; Holger Giese (SEAMS@ICSE, 2020)

From classic to agile: experiences from more than a decade of project-based modeling education. - Holger Giese; Leen Lambers; Christian Zöllner 002 (MoDELS (Companion), 2020)

A scalable querying scheme for memory-efficient runtime models with history. - Lucas Sakizloglou; Sona Ghahremani; Matthias Barkowsky; Holger Giese (MoDELS, 2020)

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 001 (ACM Trans. Auton. Adapt. Syst., 2020)

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

Towards Engineering Smart Cyber-Physical Systems with Graph Transformation Systems (Invited Talk). - Holger Giese (CALCO, 2021)

Keeping Pace with the History of Evolving Runtime Models. - Lucas Sakizloglou; Matthias Barkowsky; Holger Giese (FASE, 2021)

On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems. - Christian Zöllner 002; Matthias Barkowsky; Maria Maximova; Holger Giese (ICGT, 2021)

Host-Graph-Sensitive RETE Nets for Incremental Graph Pattern Matching. - Matthias Barkowsky; Holger Giese (ICGT, 2021)

Interval Probabilistic Timed Graph Transformation Systems. - Maria Maximova; Sven Schneider 001; Holger Giese (ICGT, 2021)

Improving Adaptive Monitoring with Incremental Runtime Model Queries. - Matthias Barkowsky; Thomas Brand; Holger Giese (SEAMS@ICSE, 2021)

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

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

Probabilistic Metric Temporal Graph Logic. - Sven Schneider 001; Maria Maximova; Holger Giese (ICGT, 2022)

Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction. - Sven Schneider 001; Maria Maximova; Holger Giese (ICGT, 2022)

Tool support for the teaching of state-based behavior modeling. - Christian Zöllner 002; Christian M. Adriano; Simon Wietheger; Leen Lambers; Holger Giese (MoDELS (Companion), 2022)

Translation validation of coloured Petri net models of programs on integers. - Soumyadip Bandyopadhyay; Dipankar Sarkar 001; 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)

Incremental Model Transformations with Triple Graph Grammars for Multi-version Models. - Matthias Barkowsky; Holger Giese (MODELS, 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, 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)

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

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

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

Principled Transfer Learning for Autonomic Systems: A Neuro-Symbolic Vision. - Christian Medeiros Adriano; Sona Ghahremani; Holger Giese (ACSOS-C, 2024)

Portable Nets: Modeling and Verification of Business Processes with multiple Start and End Points. - Mustafa Ghani; Holger Giese (PNSE@Petri Nets, 2024)

Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models. - Lucas Sakizloglou; Holger Giese; Leen Lambers (FASE, 2024)

Combining Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation Systems. - He Xu; Sven Schneider 001; Holger Giese (FASE, 2024)

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

Deriving Delay-Robust Timed Graph Transformation System Models. - Mustafa Ghani; Sven Schneider 001; Maria Maximova; Holger Giese (ICGT, 2024)

Message from the Modellierung'24 Workshop Chairs. - Holger Giese; Kristina Rosenthal (Modellierung (Workshops), 2024)

STIGS: Spatio-Temporal Interference Graph Simulator for Self-Configurable Multi-Tenant Cloud Systems. - Iqra Zafar; Christian Medeiros Adriano; Holger Giese (ICPE (Companion), 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)

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

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

Supplement to FASE 2024 Special Issue Submission in J. FAC. - Lucas Sakizloglou; Holger Giese; Leen Lambers (Zenodo, 2024)

Localized RETE for Incremental Graph Queries with Nested Graph Conditions Evaluation Artifacts. - Matthias Barkowsky; Holger Giese (Zenodo, 2024)

Stochastic Timed Graph Transformation Systems. - Sven Schneider 001; Maria Maximova; Holger Giese (FASE, 2025)

Supplement to FASE 2024 Special Issue Submission in J. FAC. - Lucas Sakizloglou; Holger Giese; Leen Lambers (Zenodo, 2025)

Causal Knowledge Transfer for Multi-Agent Reinforcement Learning in Dynamic Environments. - Kathrin Korte; Christian Medeiros Adriano; Sona Ghahremani; Holger Giese (CoRR, 2025)