2006 |
6 | EE | Basil Becker,
Dirk Beyer,
Holger Giese,
Florian Klein,
Daniela Schilling:
Symbolic invariant verification for systems with dynamic structural adaptation.
ICSE 2006: 72-81 |
5 | EE | Giovanni Denaro,
Mauro Pezzè,
Davide Tosi,
Daniela Schilling:
Towards self-adaptive service-oriented architectures.
TAV-WEB 2006: 10-16 |
2005 |
4 | 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 |
3 | 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 |
2 | EE | Holger Giese,
Matthias Tichy,
Daniela Schilling:
Compositional Hazard Analysis of UML Component and Deployment Models.
SAFECOMP 2004: 166-179 |
1 | EE | Matthias Tichy,
Daniela Schilling,
Holger Giese:
Design of self-managing dependable systems with UML and fault tolerance patterns.
WOSS 2004: 105-109 |