| Processing orders for high bandwidth connections V Sundaresan, KS Garimella, U Bellur, A Candadai, MJ Walsh, ... US Patent 6,463,079, 2002 | 53 | 2002 |
| Securing local loops for providing high bandwidth connections RG Saaverda, M Gopinathan, MJ Walsh, Y Or US Patent 6,459,702, 2002 | 48 | 2002 |
| Enforcing object protocols by combining static and runtime analysis M Gopinathan, SK Rajamani ACM Sigplan Notices 43 (10), 245-260, 2008 | 25 | 2008 |
| Conflict-tolerant features D D’Souza, M Gopinathan Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008 | 24 | 2008 |
| Location and transaction-based recommendations Y Or, AK Sankaran, M Gopinathan, V Sundaresan US Patent App. 13/766,689, 2014 | 17 | 2014 |
| Location and transaction-based multi-brand loyalty service Y Or, AK Sankaran, M Gopinathan, V Sundaresan US Patent App. 13/903,887, 2014 | 13 | 2014 |
| Runtime monitoring of object invariants with guarantee M Gopinathan, SK Rajamani International Workshop on Runtime Verification, 158-172, 2008 | 10 | 2008 |
| Design rule system for verifying and enforcing design rules in software SK Rajamani, M Gopinathan US Patent App. 11/687,072, 2008 | 8 | 2008 |
| Conflict-tolerant real-time features D D'Souza, M Gopinathan, S Ramesh, P Sampath 2008 Fifth International Conference on Quantitative Evaluation of Systems …, 2008 | 6 | 2008 |
| Location-based mobile search Y Or, AK Sankaran, M Gopinathan, V Sundaresan US Patent 9,767,121, 2017 | 5 | 2017 |
| Conflict-tolerant specifications for hybrid systems D D'Souza, M Gopinathan, S Ramesh, P Sampath Journal of the Indian Institute of Science 93 (3), 403-418, 2013 | 5 | 2013 |
| Computing complete test graphs for hierarchical systems D D'Souza, M Gopinathan Fourth IEEE International Conference on Software Engineering and Formal …, 2006 | 5 | 2006 |
| Mobile classifieds search Y Or, AK Sankaran, M Gopinathan, V Sundaresan US Patent 9,317,871, 2016 | 4 | 2016 |
| Supervisory control for real-time systems based on conflict-tolerant controllers D D'Souza, M Gopinathan, S Ramesh, P Sampath 2009 IEEE International Conference on Automation Science and Engineering …, 2009 | 4 | 2009 |
| Conflict-Tolerant Features M Gopinathan | 3 | 2010 |
| Location and transaction-based recommendations Y Or, AK Sankaran, M Gopinathan, V Sundaresan US Patent 10,664,896, 2020 | 2 | 2020 |
| Systems and methods for extracting attributes from text content M Gopinathan, S Guha, I Basu, N Menon, TP Sampige US Patent 9,934,218, 2018 | | 2018 |
| A Method for Inferring the Structure of Bayesian Networks in Continuous Systems Using Copulas HM Koduvely, M Gopinathan International Conference on Electrical Engineering and Computer Science …, 2012 | | 2012 |
| Runtime Monitoring of Object Invariants with Guarantee, Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers M Gopinathan, SK Rajamani Springer-Verlag, Berlin, Heidelberg, 2008 | | 2008 |
| Combining Tests and Proofs M Gopinathan, A Nori, S Rajamani Verified Software: Theories, Tools, Experiments: Second International …, 2008 | | 2008 |
Deepak D'SouzaDepartment of CSA, Indian Institute of ScienceVerified email at iisc.ac.in
