Madhu Gopinathan

	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

Coauthor Index

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]

Colors in the list of coauthors