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)

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

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

Analysis and Design of Physical and Social Contexts in Multi-agent Systems. - Florian Klein 001; Holger Giese (SELMAS (LNCS), 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)

Symbolic invariant verification for systems with dynamic structural adaptation. - Basil Becker; Dirk Beyer 001; Holger Giese; Florian Klein 001; Daniela Schilling (ICSE, 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)

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

Building reliable systems based on self-organizing multi-agent systems. - Florian Klein 001; Matthias Tichy (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)

Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams. - Florian Klein 001; Holger Giese (FASE, 2007)

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

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)

A model-driven approach to multi-agent system design. - Florian Stallmann (2008)

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