| 2008 |
|---|
| 77 | | Betty H. C. Cheng,
Rogério de Lemos,
Holger Giese,
Paola Inverardi,
Jeff Magee:
Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 |
| 76 | | Holger Giese:
Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers
Springer 2008 |
| 75 | EE | Basil Becker,
Holger Giese:
Incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systems.
ASE Workshops 2008: 33-40 |
| 74 | EE | Marin Litoiu,
Holger Giese:
Seams 2008: software engineering for adaptive and self-managing systems.
ICSE Companion 2008: 1063-1064 |
| 73 | EE | Basil Becker,
Holger Giese:
On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles.
ISORC 2008: 203-210 |
| 72 | EE | Betty H. C. Cheng,
Holger Giese,
Paola Inverardi,
Jeff Magee,
Rogério de Lemos:
08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map.
Software Engineering for Self-Adaptive Systems 2008 |
| 71 | EE | Betty H. C. Cheng,
Holger Giese,
Paola Inverardi,
Jeff Magee,
Rogério de Lemos:
08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems.
Software Engineering for Self-Adaptive Systems 2008 |
| 70 | 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 |
|---|
| 69 | | Holger Giese,
Gabor Karsai,
Edward Lee,
Bernhard Rumpe,
Bernhard Schätz:
Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 |
| 68 | | Ricardo Choren,
Alessandro F. Garcia,
Holger Giese,
Ho-fung Leung,
Carlos José Pereira de Lucena,
Alexander B. Romanovsky:
Software Engineering for Multi-Agent Systems V, Research Issues and Practical Applications [the book is a result of SELMAS 2006].
Springer 2007 |
| 67 | EE | Florian Klein,
Holger Giese:
Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams.
FASE 2007: 185-199 |
| 66 | EE | Sven Burmester,
Holger Giese,
Stefan Henkler,
Martin Hirsch,
Matthias Tichy,
Alfonso Gambuzza,
Eckehard Münch,
Henner Vöcking:
Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View.
ICSE 2007: 801-804 |
| 65 | EE | Holger Giese:
Workshops and Symposia at MODELS 2007.
MoDELS 2007: 682-690 |
| 64 | EE | Holger Giese,
Gabor Karsai,
Edward Lee,
Bernhard Rumpe,
Bernhard Schätz:
07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time Systems.
Model-Based Engineering of Embedded Real-Time Systems 2007 |
| 63 | EE | Holger Giese,
Gabor Karsai,
Edward Lee,
Bernhard Rumpe,
Bernhard Schätz:
07451 Summary - Model-Based Engineering of Embedded Real-Time Systems.
Model-Based Engineering of Embedded Real-Time Systems 2007 |
| 62 | EE | Holger Giese,
Stefan Henkler,
Martin Hirsch:
Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML.
WADS 2007: 248-272 |
| 61 | EE | Holger Giese,
Florian Klein:
Systematic verification of multi-agent systems based on rigorous executable specifications.
IJAOSE 1(1): 28-62 (2007) |
| 2006 |
|---|
| 60 | EE | Holger Giese:
Reusable Services and Semi-automatic Service Composition for Automotive Software.
ASWSD 2006: 161-181 |
| 59 | EE | Holger Giese,
Norma Montealegre,
Thomas Müller,
Simon Oberthür,
Bernd Schulz:
Acute Stress Response for Self-optimizing Mechatronic Systems.
BICC 2006: 157-167 |
| 58 | EE | Ricardo Choren,
Ho-fung Leung,
Alessandro F. Garcia,
Carlos José Pereira de Lucena,
Holger Giese,
Alexander Romanovsky:
Fifth workshop on software engineering for large-scale multi-agent systems (SELMAS).
ICSE 2006: 1022-1023 |
| 57 | EE | Basil Becker,
Dirk Beyer,
Holger Giese,
Florian Klein,
Daniela Schilling:
Symbolic invariant verification for systems with dynamic structural adaptation.
ICSE 2006: 72-81 |
| 56 | EE | Holger Giese,
Robert Wagner:
Incremental Model Synchronization with Triple Graph Grammars.
MoDELS 2006: 543-557 |
| 55 | EE | Holger Giese,
Tihamer Levendovszky,
Hans Vangheluwe:
Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools.
MoDELS Workshops 2006: 252-262 |
| 54 | 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 |
| 53 | EE | Holger Giese,
Stefan Henkler:
Architecture-driven platform independent deterministic replay for distributed hard real-time systems.
ROSATEA 2006: 28-38 |
| 52 | EE | Holger Giese,
Matthias Tichy:
Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration.
SAFECOMP 2006: 156-169 |
| 51 | EE | Holger Giese,
Stefan Henkler,
Martin Hirsch,
Florian Klein:
Nobody's perfect: interactive synthesis from parametrized real-time scenarios.
SCESM 2006: 67-74 |
| 50 | 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) |
| 49 | EE | Kendra Cooper,
Holger Giese,
Ingolf H. Krüger:
Visual modeling for software intensive systems.
J. Vis. Lang. Comput. 17(6): 503-507 (2006) |
| 48 | EE | Holger Giese,
Stefan Henkler:
A survey of approaches for the visual model-driven development of next generation software-intensive systems.
J. Vis. Lang. Comput. 17(6): 528-550 (2006) |
| 47 | EE | Holger Giese,
Alexander Vilbig:
Separation of non-orthogonal concerns in software architecture and design.
Software and System Modeling 5(2): 136-169 (2006) |
| 2005 |
|---|
| 46 | EE | Florian Klein,
Holger Giese:
Grounding Social Interactions in the Environment.
E4MAS 2005: 139-162 |
| 45 | EE | Sven Burmester,
Holger Giese,
Wilhelm Schäfer:
Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code.
ECMDA-FA 2005: 25-40 |
| 44 | EE | Sven Burmester,
Holger Giese,
Martin Hirsch,
Daniela Schilling,
Matthias Tichy:
The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems.
ICSE 2005: 670-671 |
| 43 | EE | Holger Giese,
Pascal Roques,
Timothy Lethbridge:
Summary of the Educator's Symposium.
MoDELS Satellite Events 2005: 302-305 |
| 42 | EE | Holger Giese,
Martin Hirsch:
Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML.
MoDELS Satellite Events 2005: 67-78 |
| 41 | EE | Florian Klein,
Holger Giese:
Analysis and Design of Physical and Social Contexts in Multi-agent Systems.
SELMAS 2005: 91-108 |
| 40 | EE | Sven Burmester,
Holger Giese:
Visual Integration of UML 2.0 and Block Diagrams for Flexible Reconfiguration in MECHATRONIC UML.
VL/HCC 2005: 109-116 |
| 39 | EE | Holger Giese,
Ingolf H. Krüger,
Kendra Cooper:
Visual Modeling for Software Intensive Systems.
VL/HCC 2005: 4 |
| 38 | EE | Holger Giese,
Ingolf Krüger:
A summary of the ICSE 2004 workshop on "scenarios and state machines: models, algorithms, and tools".
ACM SIGSOFT Software Engineering Notes 30(1): 2 (2005) |
| 37 | 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) |
| 36 | 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) |
| 35 | EE | Alessandro Garcia,
Ricardo Choren,
Carlos José Pereira de Lucena,
Alexander Romanovsky,
Holger Giese,
Danny Weyns,
Tom Holvoet,
Paolo Giorgini:
Software Engineering for Large-Scale Multi-Agent Systems - SELMAS 2005: workshop report.
ACM SIGSOFT Software Engineering Notes 30(4): 1-8 (2005) |
| 34 | EE | Matthias Tichy,
Holger Giese,
Daniela Schilling,
Wladimir Pauls:
Computing optimal self-repair actions: damage minimization versus repair time.
ACM SIGSOFT Software Engineering Notes 30(4): 7-6 (2005) |
| 2004 |
|---|
| 33 | EE | Sven Burmester,
Matthias Gehrke,
Holger Giese,
Simon Oberthür:
Making mechatronic agents resource-aware in order to enable safe dynamic resource allocation.
EMSOFT 2004: 175-183 |
| 32 | | Sven Burmester,
Holger Giese,
Oliver Oberschelp:
Hybrid UML Components for the Design of Complex Self-Optimizing Mechatronic Systems.
ICINCO (3) 2004: 222-229 |
| 31 | | Thorsten Hestermeyer,
Oliver Oberschelp,
Holger Giese:
Structured Information Processing for Self-Optimizing Mechatronic Systems.
ICINCO (3) 2004: 230-237 |
| 30 | EE | Holger Giese,
Ingolf Krüger:
Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM'04).
ICSE 2004: 766-767 |
| 29 | EE | Sven Burmester,
Holger Giese,
Matthias Tichy:
Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML.
MDAFA 2004: 47-61 |
| 28 | EE | Holger Giese,
Matthias Tichy,
Daniela Schilling:
Compositional Hazard Analysis of UML Component and Deployment Models.
SAFECOMP 2004: 166-179 |
| 27 | EE | Florian Klein,
Holger Giese:
Separation of Concerns for Mechatronic Multi-agent Systems Through Dynamic Communities.
SELMAS 2004: 272-289 |
| 26 | EE | Holger Giese,
Sven Burmester,
Wilhelm Schäfer,
Oliver Oberschelp:
Modular design and verification of component-based mechatronic systems with online-reconfiguration.
SIGSOFT FSE 2004: 179-188 |
| 25 | EE | Matthias Tichy,
Daniela Schilling,
Holger Giese:
Design of self-managing dependable systems with UML and fault tolerance patterns.
WOSS 2004: 105-109 |
| 24 | EE | Sven Burmester,
Holger Giese,
Jörg Niere,
Matthias Tichy,
Jörg P. Wadsack,
Robert Wagner,
Lothar Wendehals,
Albert Zündorf:
Tool integration at the meta-model level: the Fujaba approach.
STTT 6(3): 203-218 (2004) |
| 2003 |
|---|
| 23 | EE | Holger Giese,
Matthias Tichy,
Sven Burmester,
Stephan Flake:
Towards the compositional verification of real-time UML designs.
ESEC / SIGSOFT FSE 2003: 38-47 |
| 22 | EE | Matthias Tichy,
Holger Giese:
Seamless UML Support for Service-Based Software Architectures.
FIDJI 2003: 128-138 |
| 21 | 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 |
| 20 | EE | Holger Giese,
Florian Klein:
Autonomous Shuttle System Case Study.
Scenarios: Models, Transformations and Tools 2003: 90-94 |
| 19 | EE | Matthias Tichy,
Holger Giese:
A Self-optimizing Run-Time Architecture for Configurable Dependability of Services.
WADS 2003: 25-50 |
| 2002 |
|---|
| 18 | | Holger Giese,
Martin Kardos,
Ulrich Nickel:
Towards Design Verification and Validation at Multiple Levels of Abstraction.
DIPES 2002: 71-80 |
| 17 | EE | Matthias Gehrke,
Holger Giese,
Ulrich Nickel,
Jörg Niere,
Matthias Tichy,
Jörg P. Wadsack,
Albert Zündorf:
Reporting about industrial strength software engineering courses for undergraduates.
ICSE 2002: 395-405 |
| 2001 |
|---|
| 16 | | Holger Giese,
Ulrich Nickel:
Towards Service-Based Flexible Production Control Systems and their Modular Modeling and Simulation.
OMER 2001: 106-121 |
| 15 | | Holger Giese,
Guido Wirtz:
The OCoN approach for object-oriented distributed software systems modeling.
Comput. Syst. Sci. Eng. 16(3): 157-172 (2001) |
| 14 | EE | Guido Wirtz,
Mathias Weske,
Holger Giese:
The OCoN Approach to Workflow Modeling in Object-Oriented Systems.
Information Systems Frontiers 3(3): 357-376 (2001) |
| 13 | | Holger Giese,
Guido Wirtz:
Visual Modeling of Object-Oriented Distributed Systems.
J. Vis. Lang. Comput. 12(2): 183-202 (2001) |
| 12 | | Holger Giese,
Stephan Philippi:
FG 2.1.9: Bericht vom 8. Workshop des GI-Arbeitskreises GROOM am 13. und 14. November 2000 in Münster.
Softwaretechnik- Trends 21(1): (2001) |
| 11 | | Holger Giese:
Bericht über die Modellierung 2001 vom 28. - 30. März 2001 in Bad Lippspringe.
Softwaretechnik- Trends 21(3): (2001) |
| 2000 |
|---|
| 10 | EE | Guido Wirtz,
Mathias Weske,
Holger Giese:
Extending UML with Workflow Modeling Capabilities.
CoopIS 2000: 30-41 |
| 9 | | Guido Wirtz,
Holger Giese:
Skalierbare Beschreibung des Verhaltens verteilter Software-Systeme.
FBT 2000: 41-50 |
| 8 | EE | Holger Giese:
Contract-Based Component System Design.
HICSS 2000 |
| 7 | EE | Holger Giese,
Guido Wirtz:
Early Evaluation of Design Options for Distributed Systems.
PDSE 2000: 150-157 |
| 1999 |
|---|
| 6 | | Holger Giese,
Jörg Graf,
Guido Wirtz:
Contract-based Coordination of Distributed Object Systems.
PDPTA 1999: 25-31 |
| 5 | | Holger Giese,
Jörg Graf,
Guido Wirtz:
Closing the Gap Between Object-Oriented Modeling of Structure and Behavior.
UML 1999: 534-549 |
| 4 | EE | Holger Giese,
Jörg Graf,
Guido Wirtz:
Seamless Visual Object-Oriented Behavior Modeling for Distributed Software Systems.
VL 1999: 156-163 |
| 1998 |
|---|
| 3 | EE | Holger Giese,
Jörg Graf,
Guido Wirtz:
Modeling Distributed Software Systems with Object Coordination Nets.
PDSE 1998: 39- |
| 1997 |
|---|
| 2 | | Guido Wirtz,
Jörg Graf,
Holger Giese:
Ruling the Behavior of Distributed Software Components.
PDPTA 1997: 107-116 |
| 1 | | Holger Giese,
Guido Wirtz:
Modular Development of Correct Meander Programs.
PDPTA 1997: 178-181 |
