research
∙
04/18/2023
A User Study for Evaluation of Formal Verification Results and their Explanation at Bosch
Context: Ensuring safety for any sophisticated system is getting more co...
share
research
∙
12/09/2022
Industry Best Practices in Robotics Software Engineering
Robotics software is pushing the limits of software engineering practice...
research
∙
01/09/2022
A systematic literature review on counterexample explanation
Context: Safety is of paramount importance for cyber-physical systems in...
research
∙
08/13/2021
A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation
Context: The complexity of modern safety-critical systems in industries ...
research
∙
05/31/2021
Model-Based Reliability and Safety: Reducing the Complexity of Safety Analyses Using Component Fault Trees
The importance of mission or safety critical software systems in many ap...
research
∙
07/23/2019
Proof of Compositionality of CFT Correctness
In the paper Compositionality of Component Fault Trees, we present a dis...
research
∙
03/16/2018