Skip to main content
College of Engineering
Trustworthy and Reliable Technologies Lab (TART)
Contact
EGR
MSU
Maps
Jobs
Home
Members
Projects
Publications
Research
Teaching
Tools
Sandeep Kulkrani
Home
Complexity Results in Revising UNITY Programs
Symbolic Synthesis of Masking Fault-tolerant Distributed Programs
Automated Program Repair for Distributed Systems
Synthesizing Bounded-time 2-phase Recovery
The Complexity of Automated Addition of Fault-tolerance Without Explicit Legitimate States
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
Pagination
Page 1
Next page
››
Subscribe to Sandeep Kulkrani
Stay Connected
