| 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 |
