Axel Habermaier

According to our database, Axel Habermaier authored at least 11 papers between 2012 and 2018.

Collaborative distances:

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

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

2017

Design Time and Run Time Formal Safety Analysis using Executable Models

Axel Habermaier

PhD thesis, 2017

Toward Adaptive, Self-Aware Test Automation.

Benedikt Eberhardinger, Axel Habermaier, Wolfgang Reif

Proceedings of the 12th IEEE/ACM International Workshop on Automation of Software Testing, 2017

2016

Optimising Runtime Safety Analysis Efficiency for Self-Organising Systems.

Dominik Klumpp, Axel Habermaier, Benedikt Eberhardinger, Hella Seebach

Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016

Toward Integrated Analysis & Testing of Component-Based, Adaptive Robot Systems.

Benedikt Eberhardinger, Axel Habermaier, Alwin Hoffmann, Alexander Poeppel, Wolfgang Reif

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Back-to-Back Testing of Self-organization Mechanisms.

Benedikt Eberhardinger, Axel Habermaier, Hella Seebach, Wolfgang Reif

Proceedings of the Testing Software and Systems, 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

2012

On the Correctness of the SIMT Execution Model of GPUs.

Axel Habermaier, Alexander Knapp

Proceedings of the Programming Languages and Systems, 2012