Up a level |
Gopinathan, Madhu and Rajamani, Sriram K (2008) Runtime Monitoring of Object Invariants with Guarantee. [Book Chapter]
D’Souza, Deepak and Gopinathan, Madhu (2008) Conflict-Tolerant Features. In: 20th International Conference on Computer Aided Verification, JUL 07, 2008, Princeton, pp. 227-239.
D'Souza, Deepak and Gopinathan, Madhu and Ramesh, S and Sampath, Prahladavaradan (2009) Supervisory Control for Real-Time Systems Based on Conflict-Tolerant Controllers. In: IEEE International Conference on Automation Science and Engineering, AUG 22-25, 2009, Bangalore, pp. 555-560.
D'Souza, Deepak and Gopinathan, Madhu and Ramesh, S and Sampath, Prahladavaradan (2008) Conflict-Tolerant Real-Time Features. In: 5th International Conference on the Quantitative Evalutation of Systems, SEP 14-17, 2008, France.
D'Souza, Deepak and Gopinathan, Madhu (2006) Computing complete test graphs for hierarchical systems. In: 4th IEEE International Conference on Software Engineering and Formal Methods, Pune, India, Sep 11-15, 2006, pp. 70-79.
D'Souza, Deepak and Sampath, Prahladavaradan and Ramesh, S and Gopinathan, Madhu (2010) Conflict-Tolerant Specifications for Hybrid Systems. IISc-CSA-TR-2010-6.
D'Souza, Deepak and Gopinathan, Madhu and Ramesh, S and Sampath, Prahladavaradan (2013) Conflict-tolerant specifications for hybrid systems. In: Journal of the Indian Institute of Science, 93 (3). pp. 403-417.
Gopinathan, Madhu and Rajamani, Sriram K (2008) Enforcing Object Protocols by Combining Static and Runtime Analysis. In: ACM Singplan Notice, 43 (10). pp. 245-260.