| 2008 |
|---|
| 15 | EE | Sven Burmester,
Holger Giese,
Eckehard Münch,
Oliver Oberschelp,
Florian Klein,
Peter Scheideler:
Tool support for the design of self-optimizing mechatronic multi-agent systems.
STTT 10(3): 207-222 (2008) |
| 2007 |
|---|
| 14 | EE | Florian Klein,
Holger Giese:
Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams.
FASE 2007: 185-199 |
| 13 | EE | Holger Giese,
Florian Klein:
Systematic verification of multi-agent systems based on rigorous executable specifications.
IJAOSE 1(1): 28-62 (2007) |
| 2006 |
|---|
| 12 | EE | Basil Becker,
Dirk Beyer,
Holger Giese,
Florian Klein,
Daniela Schilling:
Symbolic invariant verification for systems with dynamic structural adaptation.
ICSE 2006: 72-81 |
| 11 | EE | Björn Axenath,
Holger Giese,
Florian Klein,
Ursula Frank:
Systematic Requirements-Driven Evaluation and Synthesis of Alternative Principle Solutions for Advanced Mechatronic Systems.
RE 2006: 156-165 |
| 10 | EE | Holger Giese,
Stefan Henkler,
Martin Hirsch,
Florian Klein:
Nobody's perfect: interactive synthesis from parametrized real-time scenarios.
SCESM 2006: 67-74 |
| 9 | EE | Alessandro Garcia,
Holger Giese,
Alexander Romanovsky,
Ricardo Choren,
Ho-fung Leung,
Carlos José Pereira de Lucena,
Florian Klein,
Eric Platon:
Software engineering for large-scale multi-agent systems - SELMAS 2006: workshop report.
ACM SIGSOFT Software Engineering Notes 31(5): 24-32 (2006) |
| 2005 |
|---|
| 8 | EE | Florian Klein,
Holger Giese:
Grounding Social Interactions in the Environment.
E4MAS 2005: 139-162 |
| 7 | EE | Florian Klein,
Holger Giese:
Analysis and Design of Physical and Social Contexts in Multi-agent Systems.
SELMAS 2005: 91-108 |
| 6 | EE | Holger Giese,
Ekkart Kindler,
Florian Klein,
Robert Wagner:
Reconciling scenario-centered controller design with state-based system models.
ACM SIGSOFT Software Engineering Notes 30(4): 1-5 (2005) |
| 5 | EE | Florian Klein,
Holger Giese:
Analysis and design of physical and social contexts in multi-agent systems using UML.
ACM SIGSOFT Software Engineering Notes 30(4): 1-8 (2005) |
| 2004 |
|---|
| 4 | EE | Florian Klein,
Holger Giese:
Separation of Concerns for Mechatronic Multi-agent Systems Through Dynamic Communities.
SELMAS 2004: 272-289 |
| 2003 |
|---|
| 3 | EE | Holger Giese,
Florian Klein,
Sven Burmester:
Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models.
Scenarios: Models, Transformations and Tools 2003: 193-211 |
| 2 | EE | Holger Giese,
Florian Klein:
Autonomous Shuttle System Case Study.
Scenarios: Models, Transformations and Tools 2003: 90-94 |
| 2000 |
|---|
| 1 | EE | Michael zur Muehlen,
Florian Klein:
AFRICA: Workflow Interoperability Based on XML-Messages.
ISDO 2000 |
