56 citations · 87 across the 18 of their papers we have counts for
3 papers · 1 filter
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…
Doping Tests for Cyber-Physical Systems
Sebastian Biewer, Pedro D'Argenio, Holger Hermanns
The software running in embedded or cyber-physical systems (CPS) is typically of proprietary nature, so users do not know precisely what the systems they own are (in)capable of doi…