Ganai; Malay

Patent Applications and Registrations

Patent applications and USPTO patent grants for Ganai; Malay.The latest application filed is for "system and method for netlist clock domain crossing verification".

Company Profile

0.15.18

Ganai; Malay - San Jose CA
Ganai; Malay - Plainsboro NJ
Ganai; Malay - Princeton NJ
Ganai, Malay - US

*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
System and method for netlist clock domain crossing verification Grant 9,721,057 - Ganai , et al. August 1, 2	2017-08-01
System And Method For Netlist Clock Domain Crossing Verification App 20160259879 - Ganai; Malay ; et al.	2016-09-08
Setsudo: Pertubation-based Testing Framework for Scalable Distributed Systems App 20150081243 - Ganai; Malay ; et al.	2015-03-19
Scenario driven concurrency bugs: model and check Grant 8,707,272 - Ganai April 22, 2	2014-04-22
Dynamic Taint Analysis of Multi-Threaded Programs App 20140108867 - Ganai; Malay ; et al.	2014-04-17
Efficient Checking of Pairwise Reachability in Multi-Threaded Programs App 20130205303 - Ganai; Malay	2013-08-08
Parallelizing bounded model checking using tunnels over a distributed framework Grant 8,504,330 - Ganai August 6, 2	2013-08-06
Scenario Driven Concurrency Bugs : Model And Check App 20120174074 - GANAI; Malay	2012-07-05
Mat-reduced Symbolic Analysis App 20120151271 - GANAI; Malay	2012-06-14
Software verification using range analysis Grant 8,131,532 - Cadambi , et al. March 6, 2	2012-03-06
Interval Analysis Of Concurrent Trace Programs Using Transaction Sequence Graphs App 20110246970 - GANAI; Malay ; et al.	2011-10-06
Modeling and verification of concurrent systems using SMT-based BMC Grant 8,005,661 - Ganai , et al. August 23, 2	2011-08-23
Software verification Grant 7,930,659 - Ivancic , et al. April 19, 2	2011-04-19
Accelerating high-level bounded model checking Grant 7,853,906 - Ganai , et al. December 14, 2	2010-12-14
Symbolic Predictive Analysis For Concurrent Programs App 20100281469 - Wang; Chao ; et al.	2010-11-04
Completeness Determination In Smt-based Bmc For Software Programs App 20100251222 - Ganai; Malay	2010-09-30
Computer implemented method of high-level synthesis for the efficient verification of computer software Grant 7,743,352 - Ganai , et al. June 22, 2	2010-06-22
Iterative abstraction using SAT-based BMC with proof analysis Grant 7,742,907 - Gupta , et al. June 22, 2	2010-06-22
Efficient approaches for bounded model checking Grant 7,711,525 - Ganai , et al. May 4, 2	2010-05-04
Parallelizing Bounded Model Checking Using Tunnels Over A Distributed Framework App 20100011057 - GANAI; MALAY	2010-01-14
Modeling And Verification Of Concurrent Systems Using Smt-based Bmc App 20080281563 - GANAI; Malay ; et al.	2008-11-13
Efficient modeling of embedded memories in bounded memory checking Grant 7,386,818 - Ganai , et al. June 10, 2	2008-06-10
System and method for modeling, abstraction, and analysis of software Grant 7,346,486 - Ivancic , et al. March 18, 2	2008-03-18
Accelerating High-level Bounded Model Checking App 20070226665 - GANAI; Malay ; et al.	2007-09-27
High-level Synthesis For Efficient Verification App 20070226666 - GANAI; Malay ; et al.	2007-09-27
Efficient distributed SAT and SAT-based distributed bounded model checking Grant 7,203,917 - Ganai , et al. April 10, 2	2007-04-10
Software Verification App 20060282807 - IVANCIC; Franjo ; et al.	2006-12-14
System and method for modeling, abstraction, and analysis of software App 20050166167 - Ivancic, Franjo ; et al.	2005-07-28
Iterative abstraction using SAT-based BMC with proof analysis App 20040230407 - Gupta, Aarti ; et al.	2004-11-18
Efficient distributed SAT and SAT-based distributed bounded model checking App 20040210860 - Ganai, Malay ; et al.	2004-10-21
Efficient approaches for bounded model checking App 20030225552 - Ganai, Malay ; et al.	2003-12-04

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.