| |
| 2008 | ||
|---|---|---|
| 6 | EE | Deepak D'Souza, Madhu Gopinathan: Conflict-Tolerant Features. CAV 2008: 227-239 |
| 5 | EE | Madhu Gopinathan, Sriram K. Rajamani: Enforcing object protocols by combining static and runtime analysis. OOPSLA 2008: 245-260 |
| 4 | EE | Deepak D'Souza, Madhu Gopinathan, S. Ramesh, Prahladavaradan Sampath: Conflict-Tolerant Real-Time Features. QEST 2008: 274-283 |
| 3 | EE | Madhu Gopinathan, Sriram K. Rajamani: Runtime Monitoring of Object Invariants with Guarantee. RV 2008: 158-172 |
| 2 | EE | Madhu Gopinathan, Aditya V. Nori, Sriram K. Rajamani: Combining Tests and Proofs. VSTTE 2008: 4-5 |
| 2006 | ||
| 1 | EE | Deepak D'Souza, Madhu Gopinathan: Computing Complete Test Graphs for Hierarchical Systems. SEFM 2006: 70-79 |
| 1 | Deepak D'Souza | [1] [4] [6] |
| 2 | Aditya V. Nori | [2] |
| 3 | Sriram K. Rajamani | [2] [3] [5] |
| 4 | S. Ramesh (Sethu Ramesh) | [4] |
| 5 | Prahladavaradan Sampath | [4] |