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
442002
Enforcing object protocols by combining static and runtime analysis
M Gopinathan, SK Rajamani
ACM Sigplan Notices 43 (10), 245-260, 2008
262008
Conflict-tolerant features
D D˘Souza, M Gopinathan
International Conference on Computer Aided Verification, 227-239, 2008
242008
Location and transaction-based recommendations
Y Or, AK Sankaran, M Gopinathan, V Sundaresan
US Patent App. 13/766,689, 2014
132014
Location and transaction-based multi-brand loyalty service
Y Or, AK Sankaran, M Gopinathan, V Sundaresan
US Patent App. 13/903,887, 2014
92014
Design rule system for verifying and enforcing design rules in software
SK Rajamani, M Gopinathan
US Patent App. 11/687,072, 2008
82008
Runtime monitoring of object invariants with guarantee
M Gopinathan, SK Rajamani
International Workshop on Runtime Verification, 158-172, 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
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
Mobile classifieds search
Y Or, AK Sankaran, M Gopinathan, V Sundaresan
US Patent 9,317,871, 2016
12016
Introduction to Hybrid Automata
M Gopinathan, P Prabhakar
Modern Applications Of Automata Theory, 415-436, 2012
12012
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
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
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