ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Browse by Author

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 8.

Book Chapter

Gopinathan, Madhu and Rajamani, Sriram K (2008) Runtime Monitoring of Object Invariants with Guarantee. [Book Chapter]

Conference Proceedings

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.

Conference Paper

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.

Departmental Technical Report

D'Souza, Deepak and Sampath, Prahladavaradan and Ramesh, S and Gopinathan, Madhu (2010) Conflict-Tolerant Specifications for Hybrid Systems. IISc-CSA-TR-2010-6.

Journal Article

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.

This list was generated on Fri Oct 24 03:53:57 2014 IST.