17 citations · 20 across the 6 of their papers we have counts for
11 papers
Routing in Delay-Tolerant Networks under Uncertain Contact Plans
Fernando D. Raverta, Juan A. Fraire, Pablo G. Madoery +3
Delay-Tolerant Networks (DTN) enable store-carry-and-forward data transmission in networks challenged by frequent disruptions and high latency. Existing classification distinguishe…
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…
Measuring Masking Fault-Tolerance
Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi +1
In this paper we introduce a notion of fault-tolerance distance between labeled transition systems. Intuitively, this notion of distance measures the degree of fault-tolerance exhi…
Input/Output Stochastic Automata with Urgency: Confluence and weak determinism
Pedro R. D'Argenio, Raúl E. Monti
In a previous work, we introduced an input/output variant of stochastic automata (IOSA) that, once the model is closed (i.e., all synchronizations are resolved), the resulting auto…