College of Engineering

Borzoo Bonakdarpour

Runtime Monitoring of Cyber-physical Systems under Timing and Memory Constraints

Synthesizing Bounded-time 2-phase Recovery

Abstract Model Repair

The Complexity of Automated Addition of Fault-tolerance Without Explicit Legitimate States

Snap-stabilizing Committee Coordinat

Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs

Revising UNITY Programs: Possibilities and Limitations

Towards Reusing Formal Proofs in Verification of Fault-Tolerance

Automated Incremental Synthesis of Timed Automata

ncremental Synthesis of Fault-Tolerant Real-Time Programs

Subscribe to Borzoo Bonakdarpour

Spartans Will.
© Michigan State University