25 citations · 83 across the 13 of their papers we have counts for
13 papers
Efficient and Generic Algorithms for Quantitative Attack Tree Analysis
Milan Lopuhaä-Zwakenberg, Carlos E. Budde, Mariëlle Stoelinga
Numerous analysis methods for quantitative attack tree analysis have been proposed. These algorithms compute relevant security metrics, i.e. performance indicators that quantify ho…
Automated fault tree learning from continuous-valued sensor data: a case study on domestic heaters
Bart Verkuil, Carlos E. Budde, Doina Bucur
Many industrial sectors have been collecting big sensor data. With recent technologies for processing big data, companies can exploit this for automatic failure detection and preve…
Efficient Algorithms for Quantitative Attack Tree Analysis
Carlos E. Budde, Mariëlle Stoelinga
Numerous analysis methods for quantitative attack tree analysis have been proposed. These algorithms compute relevant security metrics, i.e. performance indicators that quantify ho…
Rare Event Simulation for non-Markovian repairable Fault Trees
Carlos E. Budde, Marco Biagi, Raúl E. Monti +2
Dynamic Fault Trees (DFT) are widely adopted in industry to assess the dependability of safety-critical equipment. Since many systems are too large to be studied numerically, DFTs…
A compositional semantics for Repairable Fault Trees with general distributions
Raul E. Monti, Pedro R. D'Argenio, Carlos E. Budde
Fault Tree Analysis (FTA) is a prominent technique in industrial and scientific risk assessment. Repairable Fault Trees (RFT) enhance the classical Fault Tree (FT) model by introdu…
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems
Jaime Arias, Carlos E. Budde, Wojciech Penczek +2
Attack-Defence Trees (ADTs) are well-suited to assess possible attacks to systems and the efficiency of counter-measures. In this paper, we first enrich the available constructs wi…