Axel Habermaier

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 9

Top Topics

Safety Analysis

Qualitative And Quantitative

Execution Model

Agent Architecture

Top Venues

Int. J. Softw. Tools Technol. Transf.

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)
Benedikt Eberhardinger, Axel Habermaier, Wolfgang Reif
Toward Adaptive, Self-Aware Test Automation. AST@ICSE (2017)
Axel Habermaier, Alexander Knapp, Johannes Leupolz, Wolfgang Reif
Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis. FMICS-AVoCS (2016)
Benedikt Eberhardinger, Axel Habermaier, Hella Seebach, Wolfgang Reif
Back-to-Back Testing of Self-organization Mechanisms. ICTSS (2016)
Benedikt Eberhardinger, Axel Habermaier, Alwin Hoffmann, Alexander Poeppel, Wolfgang Reif
Toward Integrated Analysis & Testing of Component-Based, Adaptive Robot Systems. QRS Companion (2016)
Dominik Klumpp, Axel Habermaier, Benedikt Eberhardinger, Hella Seebach
Optimising Runtime Safety Analysis Efficiency for Self-Organising Systems. FAS*W@SASO/ICCAC (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)
Axel Habermaier, Alexander Knapp
On the Correctness of the SIMT Execution Model of GPUs. ESOP (2012)