Titlebook: Stabilization, Safety, and Security of Distributed Systems; 8th International Sy Ajoy K. Datta,Maria Gradinariu Conference proceedings 2006

cajole

Optimal Message-Driven Implementation of Omega with Mute Processese an efficient message-driven implementation of Ω. Our algorithm is efficient in the sense that not all processes have to send messages forever, which is an improvement to previous message-driven failure detector implementations.

Vo2-Max

Incremental Synthesis of Fault-Tolerant Real-Time Programsnonmasking fault-tolerant program. Furthermore, we introduce sound and complete algorithms for adding soft/hard-failsafe fault-tolerance. For reasons of space, our results on addition of soft/hard-masking fault-tolerance are presented in a technical report.

Colonnade

Recovery Oriented Programmingming language with the purpose of allowing addition of predicates and recovery actions. We suggest a design for a tool that extends the Java programming language. In addition to that, we provide a correctness proof scheme for proving that the code combined with the predicates and the recovery action