Madhu Gopinathan
Madhu Gopinathan
MakeMyTrip
Verified email at go-mmt.com - Homepage
Title
Cited by
Cited by
Year
Processing orders for high bandwidth connections
V Sundaresan, KS Garimella, U Bellur, A Candadai, MJ Walsh, ...
US Patent 6,463,079, 2002
532002
Securing local loops for providing high bandwidth connections
RG Saaverda, M Gopinathan, MJ Walsh, Y Or
US Patent 6,459,702, 2002
422002
Enforcing object protocols by combining static and runtime analysis
M Gopinathan, SK Rajamani
ACM Sigplan Notices 43 (10), 245-260, 2008
222008
Conflict-tolerant features
D D’Souza, M Gopinathan
International Conference on Computer Aided Verification, 227-239, 2008
212008
Design rule system for verifying and enforcing design rules in software
SK Rajamani, M Gopinathan
US Patent App. 11/687,072, 2008
82008
Location and transaction-based recommendations
Y Or, AK Sankaran, M Gopinathan, V Sundaresan
US Patent App. 13/766,689, 2014
72014
Runtime monitoring of object invariants with guarantee
M Gopinathan, SK Rajamani
International Workshop on Runtime Verification, 158-172, 2008
72008
Location and transaction-based multi-brand loyalty service
Y Or, AK Sankaran, M Gopinathan, V Sundaresan
US Patent App. 13/903,887, 2014
62014
Conflict-tolerant real-time features
D D'Souza, M Gopinathan, S Ramesh, P Sampath
2008 Fifth International Conference on Quantitative Evaluation of Systems …, 2008
52008
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
42013
Computing complete test graphs for hierarchical systems
D D'Souza, M Gopinathan
Fourth IEEE International Conference on Software Engineering and Formal …, 2006
42006
Conflict-Tolerant Features
M Gopinathan
32010
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
32009
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
32008
Introduction to Hybrid Automata
M Gopinathan, P Prabhakar
Modern Applications Of Automata Theory, 415-436, 2012
12012
Location and transaction-based recommendations
Y Or, AK Sankaran, M Gopinathan, V Sundaresan
US Patent 10,664,896, 2020
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
Location-based mobile search
Y Or, AK Sankaran, M Gopinathan, V Sundaresan
US Patent 9,767,121, 2017
2017
Mobile classifieds search
Y Or, AK Sankaran, M Gopinathan, V Sundaresan
US Patent 9,317,871, 2016
2016
Combining Tests and Proofs
M Gopinathan, A Nori, S Rajamani
Working Conference on Verified Software: Theories, Tools, and Experiments, 4-5, 2008
2008
The system can't perform the operation now. Try again later.
Articles 1–20