S. Johr

Analysis of Large Safety-Critical Systems : A quantitative Approach ?

B. Becker, H. Hermanns, T. Peikenkamp, 2006 .

A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes

Nicolás Wolovick, Sven Johr, S. Johr, 2006, FORMATS.

May we reach it? Or must we? In what time? With what probability?

Holger Hermanns, Sven Johr, H. Hermanns, 2011, Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen.

Compositional Dependability Evaluation for STATEMATE

Bernd Becker, Reza Pulungan, Holger Hermanns, 2009, IEEE Transactions on Software Engineering.

Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems

Holger Hermanns, Sven Johr, H. Hermanns, 2007, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07).

Model checking compositional Markov systems

Sven Johr, S. Johr, 2008 .

Graphical modelling meets formal methods

Stefan Rieger, Michael Ditze, Stefan Gulan, 2013, 2013 11th IEEE International Conference on Industrial Informatics (INDIN).

Compositional Performability Evaluation for STATEMATE

Bernd Becker, Reza Pulungan, Holger Hermanns, 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).