Madhu Gopinathan

According to our database, Madhu Gopinathan authored at least 8 papers between 2006 and 2012.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2012

Introduction to Hybrid Automata.

Madhu Gopinathan, Pavithra Prabhakar

Proceedings of the Modern Applications of Automata Theory., 2012

2009

Supervisory control for real-time systems based on conflict-tolerant controllers.

Deepak D'Souza, Madhu Gopinathan, S. Ramesh, Prahladavaradan Sampath

Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

2008

Combining Tests and Proofs.

Madhu Gopinathan, Aditya V. Nori, Sriram K. Rajamani

Proceedings of the Verified Software: Theories, 2008

Runtime Monitoring of Object Invariants with Guarantee.

Madhu Gopinathan, Sriram K. Rajamani

Proceedings of the Runtime Verification, 8th International Workshop, 2008

Conflict-Tolerant Real-Time Features.

Deepak D'Souza, Madhu Gopinathan, S. Ramesh, Prahladavaradan Sampath

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Enforcing object protocols by combining static and runtime analysis.

Madhu Gopinathan, Sriram K. Rajamani

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Conflict-Tolerant Features.

Deepak D'Souza, Madhu Gopinathan

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2006

Computing Complete Test Graphs for Hierarchical Systems.

Deepak D'Souza, Madhu Gopinathan

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006