research
∙
09/13/2023
Quantifying Masking Fault-Tolerance via Fair Stochastic Games
We introduce a formal notion of masking fault-tolerance between probabil...
share
research
∙
12/18/2021
Playing Against Fair Adversaries in Stochastic Games with Total Rewards
We investigate zero-sum turn-based two-player stochastic games in which ...
research
∙
08/16/2021
Routing in Delay-Tolerant Networks under Uncertain Contact Plans
Delay-Tolerant Networks (DTN) enable store-carry-and-forward data transm...
research
∙
10/23/2019
Rare Event Simulation for non-Markovian repairable Fault Trees
Dynamic Fault Trees (DFT) are widely adopted in industry to assess the d...
research
∙
10/23/2019
A compositional semantics for Repairable Fault Trees with general distributions
Fault Tree Analysis (FTA) is a prominent technique in industrial and sci...
research
∙
11/13/2018
Measuring Masking Fault-Tolerance
In this paper we introduce a notion of fault-tolerance distance between ...
research
∙
08/08/2018
Input/Output Stochastic Automata with Urgency: Confluence and weak determinism
In a previous work, we introduced an input/output variant of stochastic ...
research
∙
03/27/2018
Facets of Software Doping
This paper provides an informal discussion of the formal aspects of soft...
research
∙
10/16/2017