|
Search the dblp DataBase
Sven Johr:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Nicolás Wolovick, Sven Johr
A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes. [Citation Graph (0, 0)][DBLP] FORMATS, 2006, pp:352-367 [Conf]
- Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker
Compositional Performability Evaluation for STATEMATE. [Citation Graph (0, 0)][DBLP] QEST, 2006, pp:167-178 [Conf]
- Holger Hermanns, Sven Johr
Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems. [Citation Graph (0, 0)][DBLP] DSN, 2007, pp:718-728 [Conf]
May we reach it? Or must we? In what time? With what probability? [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|