Sandeep S. Kulkarni
EMSOFT 2011: 11th International Conference on Embedded Software
Automated Addition of Fault Recovery to Cyber-Physical Component-Based Models
EMSOFT 2009: 9th ACM & IEEE International Conference on Embedded Software
Compositional Verification of Fault-Tolerant Real-Time Programs
EMSOFT 2008: 8th ACM & IEEE International Conference on Embedded Software
Disassembling Real-Time Fault-Tolerant Programs