Sven Johr

According to our database, Sven Johr authored at least 8 papers between 2006 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Model-Based Analysis for Safety Critical Software.

Stefan Gulan, Jens Harnisch, Sven Johr, Roberto Kretschmer, Stefan Rieger, Rafael Zalman

Proceedings of the Computer Safety, Reliability, and Security, 2015

2013

Graphical modelling meets formal methods.

Stefan Gulan, Sven Johr, Roberto Kretschmer, Stefan Rieger, Michael Ditze

Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

2009

Compositional Dependability Evaluation for STATEMATE.

Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan-Hendrik Rakow, Ralf Wimmer, Bernd Becker

IEEE Trans. Software Eng., 2009

2008

Model checking compositional Markov systems.

Sven Johr

PhD thesis, 2008

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

Holger Hermanns, Sven Johr

Proceedings of the Proceedings 14th GI/ITG Conference on Measurement, Modelling and Evaluation of Computer and Communication Systems (MMB 2008), March 31, 2008

2007

Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems.

Holger Hermanns, Sven Johr

Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

2006

Compositional Performability Evaluation for STATEMATE.

Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

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

Nicolás Wolovick, Sven Johr

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006