Madhu Gopinathan

Publication Activity (10 Years)

Years Active: 2006-2009
Publications (10 Years): 0

Publications

Deepak D'Souza, Madhu Gopinathan, S. Ramesh, Prahladavaradan Sampath
Supervisory control for real-time systems based on conflict-tolerant controllers. CASE (2009)
Madhu Gopinathan, Sriram K. Rajamani
Runtime Monitoring of Object Invariants with Guarantee. RV (2008)
Deepak D'Souza, Madhu Gopinathan
Conflict-Tolerant Features. CAV (2008)
Madhu Gopinathan, Aditya V. Nori, Sriram K. Rajamani
Combining Tests and Proofs. VSTTE (2008)
Deepak D'Souza, Madhu Gopinathan, S. Ramesh, Prahladavaradan Sampath
Conflict-Tolerant Real-Time Features. QEST (2008)
Madhu Gopinathan, Sriram K. Rajamani
Enforcing object protocols by combining static and runtime analysis. OOPSLA (2008)
Deepak D'Souza, Madhu Gopinathan
Computing Complete Test Graphs for Hierarchical Systems. SEFM (2006)