| |
| 2009 | ||
|---|---|---|
| 2 | EE | Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan Rakow, Ralf Wimmer, Bernd Becker: Compositional Dependability Evaluation for STATEMATE. IEEE Trans. Software Eng. 35(2): 274-292 (2009) |
| 2008 | ||
| 1 | EE | Eckard Böde, Thomas Peikenkamp, Jan Rakow, Samuel Wischmeyer: Model Based Importance Analysis for Minimal Cut Sets. ATVA 2008: 303-317 |
| 1 | Bernd Becker | [2] |
| 2 | Eckard Böde | [1] [2] |
| 3 | Marc Herbstritt | [2] |
| 4 | Holger Hermanns | [2] |
| 5 | Sven Johr | [2] |
| 6 | Thomas Peikenkamp | [1] [2] |
| 7 | Reza Pulungan | [2] |
| 8 | Ralf Wimmer | [2] |
| 9 | Samuel Wischmeyer | [1] |