56 citations · 87 across the 18 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
cs.LO2018★ 1 cited
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…
cs.LO2018★ 1 cited
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…
cs.LO2018
Facets of Software Doping
Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner +1
This paper provides an informal discussion of the formal aspects of software doping.