On the Correctness of the SIMT Execution Model of GPUs. - Axel Habermaier; Alexander Knapp (ESOP, 2012)

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)

Back-to-Back Testing of Self-organization Mechanisms. - Benedikt Eberhardinger; Axel Habermaier; Hella Seebach; Wolfgang Reif (ICTSS, 2016)

Toward Integrated Analysis & Testing of Component-Based, Adaptive Robot Systems. - Benedikt Eberhardinger; Axel Habermaier; Alwin Hoffmann; Alexander Poeppel; Wolfgang Reif (QRS Companion, 2016)

Optimising Runtime Safety Analysis Efficiency for Self-Organising Systems. - Dominik Klumpp; Axel Habermaier; Benedikt Eberhardinger; Hella Seebach (FAS*W@SASO/ICCAC, 2016)

Toward Adaptive, Self-Aware Test Automation. - Benedikt Eberhardinger; Axel Habermaier; Wolfgang Reif (AST@ICSE, 2017)

Design Time and Run Time Formal Safety Analysis using Executable Models - Axel Habermaier (2017)

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)