Johannes Leupolz

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 5

Top Topics

Safety Analysis

Qualitative And Quantitative

Support Systems

Formal Analysis

Top Venues

Int. J. Softw. Tools Technol. Transf.

J. Softw. Evol. Process.

University of Augsburg, Germany (PHD)

Education History

University of Augsburg, Germany

PHD

Publications

Johannes Leupolz, Alexander Knapp, Axel Habermaier, Wolfgang Reif
Qualitative and quantitative analysis of safety-critical systems with s#. Int. J. Softw. Tools Technol. Transf. 20 (4) (2018)
Johannes Leupolz, Axel Habermaier, Wolfgang Reif
Quantitative and qualitative safety analysis of a hemodialysis machine with S#. J. Softw. Evol. Process. 30 (5) (2018)
Axel Habermaier, Alexander Knapp, Johannes Leupolz, Wolfgang Reif
Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis. FMICS-AVoCS (2016)
Axel Habermaier, Johannes Leupolz, Wolfgang Reif
Unified Simulation, Visualization, and Formal Analysis of Safety-Critical Systems with. FMICS-AVoCS (2016)
Axel Habermaier, Benedikt Eberhardinger, Hella Seebach, Johannes Leupolz, Wolfgang Reif
Runtime Model-Based Safety Analysis of Self-Organizing Systems with S#. SASO Workshops (2015)