| |
| 2008 | ||
|---|---|---|
| 2 | EE | Lijun Zhang, Holger Hermanns, E. Moritz Hahn, Björn Wachter: Time-bounded model checking of infinite-state continuous-time Markov chains. ACSD 2008: 98-107 |
| 2006 | ||
| 1 | EE | Thomas Peikenkamp, Antonella Cavallo, Laura Valacca, Eckard Böde, Matthias Pretzer, E. Moritz Hahn: Towards a Unified Model-Based Safety Assessment. SAFECOMP 2006: 275-288 |
| 1 | Eckard Böde | [1] |
| 2 | Antonella Cavallo | [1] |
| 3 | Holger Hermanns | [2] |
| 4 | Thomas Peikenkamp | [1] |
| 5 | Matthias Pretzer | [1] |
| 6 | Laura Valacca | [1] |
| 7 | Björn Wachter | [2] |
| 8 | Lijun Zhang | [2] |