Johannes Leupolz

According to our database, Johannes Leupolz authored at least 6 papers between 2015 and 2018.

Collaborative distances:

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

2018

Probabilistic Safety Analysis of Executable Models.

Johannes Leupolz

PhD thesis, 2018

Qualitative and quantitative analysis of safety-critical systems with s#.

Johannes Leupolz, Alexander Knapp, Axel Habermaier, Wolfgang Reif

Int. J. Softw. Tools Technol. Transf., 2018

Quantitative and qualitative safety analysis of a hemodialysis machine with S#.

Johannes Leupolz, Axel Habermaier, Wolfgang Reif

J. Softw. Evol. Process., 2018

2016

Unified Simulation, Visualization, and Formal Analysis of Safety-Critical Systems with.

Axel Habermaier, Johannes Leupolz, Wolfgang Reif

Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis.

Axel Habermaier, Alexander Knapp, Johannes Leupolz, Wolfgang Reif

Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

2015

Runtime Model-Based Safety Analysis of Self-Organizing Systems with S#.

Axel Habermaier, Benedikt Eberhardinger, Hella Seebach, Johannes Leupolz, Wolfgang Reif

Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015