Handling fault detection latencies in automata-based scheduling for embedded control software. - M. Santhosh Prabhu; Aritra Hazra; Pallab Dasgupta; Partha Pratim Chakrabarti (CACSD, 2013)

Debugging assertion failures in software controllers using a reference model. - Kajori Banerjee; M. Santhosh Prabhu; Pallab Dasgupta (ISEC, 2013)

Model Checking Controllers with Predicate Inputs. - M. Santhosh Prabhu; Pallab Dasgupta (VLSI Design, 2013)

Reliability Guarantees in Automata-Based Scheduling for Embedded Control Software. - M. Santhosh Prabhu; Aritra Hazra; Pallab Dasgupta (IEEE Embed. Syst. Lett., 2013)