2 citations · 4 across the 7 of their papers we have counts for
7 papers
Fuzzy Fault Trees Formalized
Thi Kim Nhung Dang, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
Fault tree analysis is a vital method of assessing safety risks. It helps to identify potential causes of accidents, assess their likelihood and severity, and suggest preventive me…
Querying Fault and Attack Trees: Property Specification on a Water Network
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, E. Moritz Hahn +1
We provide an overview of three different query languages whose objective is to specify properties on the highly popular formalisms of fault trees (FTs) and attack trees (ATs). The…
CTMCs with Imprecisely Timed Observations
Thom Badings, Matthias Volk, Sebastian Junges +2
Labeled continuous-time Markov chains (CTMCs) describe processes subject to random timing and partial observability. In applications such as runtime monitoring, we must incorporate…
Fuzzy quantitative attack tree analysis
Thi Kim Nhung Dang, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
Attack trees are important for security, as they help to identify weaknesses and vulnerabilities in a system. Quantitative attack tree analysis supports a number security metrics,…
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…