I am currently looking at the problem of automatic verification and synthesis of networks. I have,
in the past, worked on verification of various kinds of hardware and embedded software controllers,
AMS circuits etc.
Self Stabilization in Distributed Knot Detection. Santhosh Prabhu M. In the International Journal of Foundations of Computer Science, 24, 913 (2013).
Handling Fault Detection Latencies in Automata-based Scheduling for Embedded Control Software. Santhosh Prabhu M, Aritra Hazra, Pallab Dasgupta and Partha Pratim Chakrabarti. Invited paper at IEEE Multiconference on Systems and Control (IEEE-MSC), August 2013.(PDF)
Reliability Guarantees in Automata Based Scheduling for Embedded Control Software. Santhosh Prabhu M, Aritra Hazra and Pallab Dasgupta. In IEEE Embedded Systems Letters,vol.5, no.2, pp.17,20, June 2013.(PDF)
Debugging Assertion Failures in Software Controllers using a Reference Model. Kajori Banerjee, Santhosh Prabhu M and Pallab Dasgupta. In Proceedings of India Software Engineering Conference (ISEC), February 2013.
Model Checking Controllers with Predicate Inputs. Santhosh Prabhu M and Pallab Dasgupta. In Proceedings of IEEE International Conference on VLSI Design (VLSID), January 2013.(PDF)