Ganai; Malay K.

Patent Applications and Registrations

Patent applications and USPTO patent grants for Ganai; Malay K..The latest application filed is for "dynamic livelock analysis of multi-threaded programs".

Company Profile

0.15.13

Ganai; Malay K. - Plainsboro NJ

*profile and listings may contain filings by different individuals or companies with the same name. Review application materials to confirm ownership/assignment.

Patent Activity

Patent	Date
Dynamic Livelock Analysis Of Multi-threaded Programs App 20130332910 - Ganai; Malay K.	2013-12-12
System and method for model checking by interleaving stateless and state-based methods Grant 8,589,126 - Ganai , et al. November 19, 2	2013-11-19
Efficient decision method for real non-linear arithmetic constraints Grant 8,539,013 - Ganai , et al. September 17, 2	2013-09-17
Systems and methods for model checking the precision of programs employing floating-point operations Grant 8,539,451 - Ivancic , et al. September 17, 2	2013-09-17
Integrating interval constraint propagation with nonlinear real arithmetic Grant 8,538,900 - Ganai , et al. September 17, 2	2013-09-17
DPLL-based SAT solver using with application-aware branching Grant 8,532,971 - Ganai September 10, 2	2013-09-10
Methods and systems for reducing verification conditions for concurrent programs using mutually atomic transactions Grant 8,448,145 - Ganai , et al. May 21, 2	2013-05-21
Efficient decision procedure for bounded integer non-linear operations using SMT(LIA) Grant 8,131,661 - Ganai March 6, 2	2012-03-06
Dpll-based Sat Solver Using With Application-aware Branching App 20110184705 - GANAI; MALAY K.	2011-07-28
Integrating Interval Constraint Propagation With Nonlinear Real Arithmetic App 20110173148 - GANAI; MALAY K. ; et al.	2011-07-14
System and method for tunneling and slicing based BMC decomposition Grant 7,949,511 - Ganai May 24, 2	2011-05-24
System And Method For Model Checking By Interleaving Stateless And State-based Methods App 20100305919 - GANAI; MALAY K. ; et al.	2010-12-02
Systems And Methods For Model Checking The Precision Of Programs Employing Floating-point Operations App 20100293530 - IVANCIC; FRANJO ; et al.	2010-11-18
Efficient Decision Method For Real Non-linear Arithmetic Constraints App 20100281086 - GANAI; MALAY K. ; et al.	2010-11-04
Methods And Systems For Reducing Verification Conditions For Concurrent Programs Using Mutually Atomic Transactions App 20100088680 - GANAI; MALAY K. ; et al.	2010-04-08
Proof-guided Error Diagnosis (ped) By Triangulation Of Program Error Causes App 20090292941 - Ganai; Malay K. ; et al.	2009-11-26
Efficient Decision Procedure For Bounded Integer Non-linear Operations Using Smt(lia) App 20090222393 - Ganai; Malay K.	2009-09-03
Partial Order Reduction For Scalable Testing In System Level Design App 20090132991 - Ganai; Malay K. ; et al.	2009-05-21
System And Method For Tunneling And Slicing Based Bmc Decomposition App 20090125294 - Ganai; Malay K.	2009-05-14
Efficient SAT-based unbounded symbolic model checking Grant 7,305,637 - Ganai , et al. December 4, 2	2007-12-04
Efficient modeling of embedded memories in bounded memory checking App 20060190864 - Ganai; Malay K. ; et al.	2006-08-24
Efficient SAT-based unbounded symbolic model checking App 20050240885 - Ganai, Malay K. ; et al.	2005-10-27

uspto.report is an independent third-party trademark research tool that is not affiliated, endorsed, or sponsored by the United States Patent and Trademark Office (USPTO) or any other governmental organization. The information provided by uspto.report is based on publicly available data at the time of writing and is intended for informational purposes only.

While we strive to provide accurate and up-to-date information, we do not guarantee the accuracy, completeness, reliability, or suitability of the information displayed on this site. The use of this site is at your own risk. Any reliance you place on such information is therefore strictly at your own risk.

All official trademark data, including owner information, should be verified by visiting the official USPTO website at www.uspto.gov. This site is not intended to replace professional legal advice and should not be used as a substitute for consulting with a legal professional who is knowledgeable about trademark law.