59 citations · 111 across the 11 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.SE2016★ 8 cited
The Probabilistic Model Checker Storm (Extended Abstract)
Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen +1
We present a new probabilistic model checker Storm. Using state-of-the-art libraries, we aim for both high performance and versatility. This extended abstract gives a brief overvie…
cs.SE2016★ 22 cited
Advancing Dynamic Fault Tree Analysis
Matthias Volk, Sebastian Junges, Joost-Pieter Katoen
This paper presents a new state space generation approach for dynamic fault trees (DFTs) together with a technique to synthesise failures rates in DFTs. Our state space generation…