College of Engineering

Conference Paper

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

From High-Level Component-Based Models to Distributed Implementations

Automated Conflict-free Distributed Implementation of Component-based Models

Software Debugging and Testing using the Abstract Diagnosis Theory

Snap-stabilizing Committee Coordination

Subscribe to Conference Paper

Spartans Will.
© Michigan State University