25 citations · 99 across the 22 of their papers we have counts for
3 papers · 1 filter
Towards realistic large random models of labeled transition systems and their 0-1 laws
Milan Lopuhaä-Zwakenberg
Model checking is the automated verification of properties (specified in some modal logic) in labeled transition systems (LTSs); it is an essential tool in ensuring software system…
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…
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…