Runtime Model-Based Safety Analysis of Self-Organizing Systems with S#. - Axel Habermaier; Benedikt Eberhardinger; Hella Seebach; Johannes Leupolz; Wolfgang Reif (SASO Workshops, 2015)

Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis. - Axel Habermaier; Alexander Knapp; Johannes Leupolz; Wolfgang Reif (FMICS-AVoCS, 2016)

Unified Simulation, Visualization, and Formal Analysis of Safety-Critical Systems with. - Axel Habermaier; Johannes Leupolz; Wolfgang Reif (FMICS-AVoCS, 2016)

Quantitative and qualitative safety analysis of a hemodialysis machine with S#. - Johannes Leupolz; Axel Habermaier; Wolfgang Reif (J. Softw. Evol. Process., 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)

Probabilistic Safety Analysis of Executable Models. - Johannes Leupolz (2018)