M. Santhosh Prabhu

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Control Software

Reference Model

Fault Detection

Top Venues

IEEE Embed. Syst. Lett.

Publications

M. Santhosh Prabhu, Aritra Hazra, Pallab Dasgupta, Partha Pratim Chakrabarti
Handling fault detection latencies in automata-based scheduling for embedded control software. CACSD (2013)
M. Santhosh Prabhu, Aritra Hazra, Pallab Dasgupta
Reliability Guarantees in Automata-Based Scheduling for Embedded Control Software. IEEE Embed. Syst. Lett. 5 (2) (2013)
Kajori Banerjee, M. Santhosh Prabhu, Pallab Dasgupta
Debugging assertion failures in software controllers using a reference model. ISEC (2013)
M. Santhosh Prabhu, Pallab Dasgupta
Model Checking Controllers with Predicate Inputs. VLSI Design (2013)