Computing Complete Test Graphs for Hierarchical Systems. - Deepak D'Souza; Madhu Gopinathan (SEFM, 2006)

Conflict-Tolerant Features. - Deepak D'Souza; Madhu Gopinathan (CAV, 2008)

Enforcing object protocols by combining static and runtime analysis. - Madhu Gopinathan; Sriram K. Rajamani (OOPSLA, 2008)

Conflict-Tolerant Real-Time Features. - Deepak D'Souza; Madhu Gopinathan; S. Ramesh 002; Prahladavaradan Sampath (QEST, 2008)

Runtime Monitoring of Object Invariants with Guarantee. - Madhu Gopinathan; Sriram K. Rajamani (RV, 2008)

Combining Tests and Proofs. - Madhu Gopinathan; Aditya V. Nori; Sriram K. Rajamani (VSTTE, 2008)

Supervisory control for real-time systems based on conflict-tolerant controllers. - Deepak D'Souza; Madhu Gopinathan; S. Ramesh 002; Prahladavaradan Sampath (CASE, 2009)

Introduction to Hybrid Automata. - Madhu Gopinathan; Pavithra Prabhakar (Modern Applications of Automata Theory, 2012)