M. Santhosh Prabhu

According to our database, M. Santhosh Prabhu authored at least 4 papers in 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Reliability Guarantees in Automata-Based Scheduling for Embedded Control Software.

M. Santhosh Prabhu, Aritra Hazra, Pallab Dasgupta

IEEE Embed. Syst. Lett., 2013

Model Checking Controllers with Predicate Inputs.

M. Santhosh Prabhu, Pallab Dasgupta

Proceedings of the 26th International Conference on VLSI Design and 12th International Conference on Embedded Systems, 2013

Debugging assertion failures in software controllers using a reference model.

Kajori Banerjee, M. Santhosh Prabhu, Pallab Dasgupta

Proceedings of the 6th India Software Engineering Conference, 2013

Handling fault detection latencies in automata-based scheduling for embedded control software.

M. Santhosh Prabhu, Aritra Hazra, Pallab Dasgupta, Partha Pratim Chakrabarti

Proceedings of the 2013 IEEE International Symposium on Computer-Aided Control System Design, 2013