| |
| 2007 | ||
|---|---|---|
| 3 | EE | Holger Hermanns, Sven Johr: Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems. DSN 2007: 718-728 |
| 2006 | ||
| 2 | EE | Nicolás Wolovick, Sven Johr: A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes. FORMATS 2006: 352-367 |
| 1 | EE | Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker: Compositional Performability Evaluation for STATEMATE. QEST 2006: 167-178 |
| 1 | Bernd Becker | [1] |
| 2 | Eckard Böde | [1] |
| 3 | Marc Herbstritt | [1] |
| 4 | Holger Hermanns | [1] [3] |
| 5 | Thomas Peikenkamp | [1] |
| 6 | Reza Pulungan | [1] |
| 7 | Ralf Wimmer | [1] |
| 8 | Nicolás Wolovick | [2] |