 | 2009 |
|---|
| 5 |       | 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 |
|---|
| 4 |  | Holger Hermanns,
Sven Johr:
May we reach it? Or must we? In what time? With what probability?
MMB 2008: 125-140 |
| 2007 |
|---|
| 3 | | Holger Hermanns,
Sven Johr:
Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems.
DSN 2007: 718-728 |
| 2006 |
|---|
| 2 | | Nicolás Wolovick,
Sven Johr:
A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes.
FORMATS 2006: 352-367 |
| 1 | | 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 |
