College of Engineering

Borzoo Bonakdarpour

Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model

Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs

Masking Faults While Providing Bounded-Time Phased Recovery

SYCRAFT: A Tool for Automated Synthesis of Fault-Tolerant Distributed Programs

Disassembling Real-Time Fault-Tolerant Programs

Revising Distributed UNITY Programs is NP-Complete

Multi-core Synthesis of Fault-Tolerant Distributed Programs

Compositional Verification of Fault-Tolerant Real-Time Programs

On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery

Systematic Correct Construction of Self-stabilizing Systems: A Case Study

Subscribe to Borzoo Bonakdarpour

Spartans Will.
© Michigan State University