 | 2009 |
|---|
| 7 |       | Deepak D'Souza,
Madhu Gopinathan,
S. Ramesh,
Prahladavaradan Sampath:
Supervisory control for real-time systems based on conflict-tolerant controllers.
CASE 2009: 555-560 |
| 2008 |
|---|
| 6 | | Deepak D'Souza,
Madhu Gopinathan:
Conflict-Tolerant Features.
CAV 2008: 227-239 |
| 5 | | Madhu Gopinathan,
Sriram K. Rajamani:
Enforcing object protocols by combining static and runtime analysis.
OOPSLA 2008: 245-260 |
| 4 | | Deepak D'Souza,
Madhu Gopinathan,
S. Ramesh,
Prahladavaradan Sampath:
Conflict-Tolerant Real-Time Features.
QEST 2008: 274-283 |
| 3 | | Madhu Gopinathan,
Sriram K. Rajamani:
Runtime Monitoring of Object Invariants with Guarantee.
RV 2008: 158-172 |
| 2 | | Madhu Gopinathan,
Aditya V. Nori,
Sriram K. Rajamani:
Combining Tests and Proofs.
VSTTE 2008: 4-5 |
| 2006 |
|---|
| 1 | | Deepak D'Souza,
Madhu Gopinathan:
Computing Complete Test Graphs for Hierarchical Systems.
SEFM 2006: 70-79 |
Data released under the ODC-BY 1.0 license — See also our legal information page