research
∙
05/17/2022
Sampling-Based Verification of CTMCs with Uncertain Rates
We employ uncertain parametric CTMCs with parametric transition rates an...
share
research
∙
02/06/2022
BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees
Fault trees are a key model in reliability analysis. Classical static fa...
research
∙
02/17/2020
The Probabilistic Model Checker Storm
We present the probabilistic model checker Storm. Storm supports the ana...
research
∙
03/16/2019
Parameter Synthesis for Markov Models
Markov chain analysis is a key technique in reliability engineering. A p...
research
∙
03/13/2019
Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees
This paper considers the design-phase safety analysis of vehicle guidanc...
research
∙
03/14/2018
One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs
Dynamic Fault Trees (DFTs) are a prominent model in reliability engineer...
research
∙
10/27/2016