Person
Rachele Fuzzati
This person is no longer with EPFL
Related publications (9)
A formal approach to fault tolerant distributed consensus
The term distributed Consensus denotes the problem of getting a certain number of processes, that could be far away from each other and that exchange messages through some communication means, to all agree on the same value. This problem has been proved im ...
EPFL2008Distributed Consensus, Revisited
Rachele Fuzzati, Massimo Merro
We provide a novel model to formalize a well-known algorithm, by Chandra and Toueg, that solves Consensus among asynchronous distributed processes in the presence of a particular class of failure detectors (Diamond S or, equivalently, Omega), under the hyp ...
2007Distributed Consensus, Revisited
Rachele Fuzzati, Massimo Merro
We provide a novel model to formalize a well-known algorithm, by Chandra and Toueg, that solves Consensus among asynchronous distributed processes in the presence of a particular class of failure detectors (Diamond S or, equivalently, Omega), under the hyp ...
2006Advances in the Design and Implementation of Group Communication Middleware
André Schiper, Sergio Mena, Olivier Rütti, Rachele Fuzzati, Daniel Bünzli
Group communication is a programming abstraction that allows a distributed group of processes to provide a reliable service in spite of the possibility of failures within the group. The goal of the project was to improve the state of the art of group commu ...
Springer Berlin Heidelberg2006Organ Transplantation Management
Organ transplantation is a widespread and effective technique to treat important diseases and can often make the difference between life and death of some patients. Given a donor, finding the best recipient for one of his organs means finding, in the short ...
2005Unreliable Failure Detectors via Operational Semantics
The concept of unreliable failure detectors for reliable distributed systems was introduced by Chandra and Toueg as a fine-grained means to add weak forms of synchrony into asynchronous systems. Various kinds of such failure detectors have been identified ...
2003Unreliable Failure Detectors via Operational Semantics
The concept of Unreliable failure detectors for reliable distributed systems was introduced by Chandra and Toueg as a fine-grained means to add weak forms of synchrony into asynchronous systems. Various kinds of such failure detectors have been identified ...
2003