1 citations · 1 across the 4 of their papers we have counts for
4 papers
Teaching Design by Contract using Snap!
Marieke Huisman, Raúl E. Monti
With the progress in deductive program verification research, new tools and techniques have become available to support design-by-contract reasoning about non-trivial programs writ…
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…
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…