5 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.SE2022★ 2 cited
BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees
Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen +2
Fault trees are a key model in reliability analysis. Classical static fault trees (SFT) can best be analysed using binary decision diagrams (BDD). State-based techniques are favora…
cs.CE2020★ 5 cited
Various Ways to Quantify BDMPs
Marc Bouissou, Shahid Khan, Joost-Pieter Katoen +1
A Boolean logic driven Markov process (BDMP) is a dependability analysis model that defines a continuous-time Markov chain (CTMC). This formalism has high expressive power, yet it…