32 citations · 189 across the 41 of their papers we have counts for
7 papers · 1 filter
Fault Trees, Decision Trees, And Binary Decision Diagrams: A Systematic Comparison
L. A. Jimenez-Roa, T. Heskes, M. Stoelinga
In reliability engineering, we need to understand system dependencies, cause-effect relations, identify critical components, and analyze how they trigger failures. Three prominent…
Deterioration modeling of sewer pipes via discrete-time Markov chains: A large-scale case study in the Netherlands
L. A. Jimenez-Roa, T. Heskes, T. Tinga +2
Sewer pipe network systems are an important part of civil infrastructure, and in order to find a good trade-off between maintenance costs and system performance, reliable sewer pip…
ATM: a Logic for Quantitative Security Properties on Attack Trees
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, E. Moritz Hahn +1
Critical infrastructure systems - for which high reliability and availability are paramount - must operate securely. Attack trees (ATs) are hierarchical diagrams that offer a flexi…
Cost-damage analysis of attack trees
Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
Attack trees (ATs) are a widely deployed modelling technique to categorize potential attacks on a system. An attacker of such a system aims at doing as much damage as possible, but…
With a little help from your friends: semi-cooperative games via Joker moves
Petra van den Bos, Marielle Stoelinga
This paper coins the notion of Joker games, a variant of concurrent games where the players are not strictly adversarial. Instead, Player 1 can get help from Player 2 by playing a…
PFL: a Probabilistic Logic for Fault Trees
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, E. Moritz Hahn +1
Safety-critical infrastructures must operate in a safe and reliable way. Fault tree analysis is a widespread method used for risk assessment of these systems: fault trees (FTs) are…