College of Engineering

Conference Paper

Syntax-Guided Automated Program Repair for Hyperproperties

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

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

Subscribe to Conference Paper

Spartans Will.
© Michigan State University