Existing models for the analysis of concurrent processes tend to focus on fail-stop failures,
where processes are either working or permanently stopped, and their state …

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 exhibited …

Distributed systems can be subject to various kinds of partial failures, therefore building fault-
tolerance or failure mitigation mechanisms for distributed systems remains an important …

We present MaskD, an automated tool designed to measure the level of fault-tolerance
provided by software components. The tool focuses on measuring masking fault-tolerance …

We study the problem of synthesizing fault-tolerant components from specifications, ie, the
problem of automatically constructing a fault-tolerant component implementation from a …