| |
| 2008 | ||
|---|---|---|
| 3 | 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 |
| 2 | EE | Basil Becker, Holger Giese: On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles. ISORC 2008: 203-210 |
| 2006 | ||
| 1 | EE | Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling: Symbolic invariant verification for systems with dynamic structural adaptation. ICSE 2006: 72-81 |
| 1 | Dirk Beyer | [1] |
| 2 | Holger Giese | [1] [2] [3] |
| 3 | Florian Klein | [1] |
| 4 | Daniela Schilling | [1] |