Follow
Madhu Gopinathan
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
482002
Enforcing object protocols by combining static and runtime analysis
M Gopinathan, SK Rajamani
ACM Sigplan Notices 43 (10), 245-260, 2008
252008
Conflict-tolerant features
D D’Souza, M Gopinathan
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
242008
Location and transaction-based recommendations
Y Or, AK Sankaran, M Gopinathan, V Sundaresan
US Patent App. 13/766,689, 2014
142014
Location and transaction-based multi-brand loyalty service
Y Or, AK Sankaran, M Gopinathan, V Sundaresan
US Patent App. 13/903,887, 2014
122014
Runtime monitoring of object invariants with guarantee
M Gopinathan, SK Rajamani
International Workshop on Runtime Verification, 158-172, 2008
102008
Design rule system for verifying and enforcing design rules in software
SK Rajamani, M Gopinathan
US Patent App. 11/687,072, 2008
82008
Conflict-tolerant real-time features
D D'Souza, M Gopinathan, S Ramesh, P Sampath
2008 Fifth International Conference on Quantitative Evaluation of Systems …, 2008
62008
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
52013
Computing complete test graphs for hierarchical systems
D D'Souza, M Gopinathan
Fourth IEEE International Conference on Software Engineering and Formal …, 2006
52006
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
42009
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
32018
Conflict-Tolerant Features
M Gopinathan
32010
Location and transaction-based recommendations
Y Or, AK Sankaran, M Gopinathan, V Sundaresan
US Patent 10,664,896, 2020
22020
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
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
The system can't perform the operation now. Try again later.
Articles 1–20