32 citations · 189 across the 41 of their papers we have counts for
Showing 2024 · cs.LOShow all
2 papers · 2 filters
cs.LO2024
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…
cs.LO2024★ 1 cited
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…