 | 2009 |
|---|
| 5 |       | Basil Becker:
Towards safety guarantees for service-oriented systems.
ICSE Companion 2009: 347-350 |
| 4 | | 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,
Anthony Finkelstein,
Cristina Gacek,
Kurt Geihs,
Vincenzo Grassi,
Gabor Karsai,
Holger M. Kienle,
Jeff Kramer,
Marin Litoiu,
Sam Malek,
Raffaela Mirandola,
Hausi A. Müller,
Sooyong Park,
Mary Shaw,
Matthias Tichy,
Massimo Tivoli,
Danny Weyns,
Jon Whittle:
Software Engineering for Self-Adaptive Systems: A Research Roadmap.
Software Engineering for Self-Adaptive Systems 2009: 1-26 |
| 2008 |
|---|
| 3 | | 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 |
| 2 | | Basil Becker,
Holger Giese:
On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles.
ISORC 2008: 203-210 |
| 2006 |
|---|
| 1 | | Basil Becker,
Dirk Beyer,
Holger Giese,
Florian Klein,
Daniela Schilling:
Symbolic invariant verification for systems with dynamic structural adaptation.
ICSE 2006: 72-81 |
