Inventor · disambiguated record
Malay Ganai
Also filed as: GANAI MALAY · GANAI MALAY K · GANAI MALAY KUMAR
24 granted patents·11 pending applications·518 citations·filing 2000–2023
95Inventor score
Top patents by PatentIndex Score
35 records- 0198US7346486B2System and method for modeling, abstraction, and analysis of softwareNEC LAB AMERICA INC·Filed 2005·Granted Mar 18, 2008·283 cites·2 claims
- 0290US8539451B2Systems and methods for model checking the precision of programs employing floating-point operationsIVANCIC FRANJO·Filed 2010·Granted Sep 17, 2013·26 cites·19 claims
- 0390US6473884B1Method and system for equivalence-checking combinatorial circuits using interative binary-decision-diagram sweeping and structural satisfiability analysisIBM·Filed 2000·Granted Oct 29, 2002·77 cites·21 claims
- 0483US8131661B2Efficient decision procedure for bounded integer non-linear operations using SMT(LIA)GANAI MALAY K·Filed 2008·Granted Mar 6, 2012·13 cites·26 claims
- 0581US7853906B2Accelerating high-level bounded model checkingNEC LAB AMERICA INC·Filed 2007·Granted Dec 14, 2010·11 cites·5 claims
- 0678US8131532B2Software verification using range analysisCADAMBI SRIHARI·Filed 2006·Granted Mar 6, 2012·12 cites·8 claims
- 0777US8707272B2Scenario driven concurrency bugs: model and checkGANAI MALAY·Filed 2012·Granted Apr 22, 2014·6 cites·6 claims
- 0876US7742907B2Iterative abstraction using SAT-based BMC with proof analysisNEC LAB AMERICA INC·Filed 2004·Granted Jun 22, 2010·22 cites·7 claims
- 0976US7386818B2Efficient modeling of embedded memories in bounded memory checkingNEC LAB AMERICA INC·Filed 2005·Granted Jun 10, 2008·10 cites·22 claims
- 1075US8005661B2Modeling and verification of concurrent systems using SMT-based BMCNEC LAB AMERICA INC·Filed 2008·Granted Aug 23, 2011·7 cites·13 claims
- 1174US7949511B2System and method for tunneling and slicing based BMC decompositionNEC LAB AMERICA INC·Filed 2008·Granted May 24, 2011·6 cites·14 claims
- 1272US7711525B2Efficient approaches for bounded model checkingNEC CORP·Filed 2002·Granted May 4, 2010·18 cites·21 claims
- 1370US7930659B2Software verificationNEC LAB AMERICA INC·Filed 2006·Granted Apr 19, 2011·5 cites·4 claims
- 1469US7743352B2Computer implemented method of high-level synthesis for the efficient verification of computer softwareNEC LAB AMERICA INC·Filed 2007·Granted Jun 22, 2010·4 cites·7 claims
- 1569US7305637B2Efficient SAT-based unbounded symbolic model checkingNEC LAB AMERICA INC·Filed 2005·Granted Dec 4, 2007·4 cites·28 claims
- 1666US8448145B2Methods and systems for reducing verification conditions for concurrent programs using mutually atomic transactionsGANAI MALAY K·Filed 2009·Granted May 21, 2013·4 cites·17 claims
- 1762US8532971B2DPLL-based SAT solver using with application-aware branchingGANAI MALAY K·Filed 2010·Granted Sep 10, 2013·1 cites·18 claims
- 1861US9721057B2System and method for netlist clock domain crossing verificationSYNOPSYS INC·Filed 2015·Granted Aug 1, 2017·1 cites·18 claims
- 1961US7203917B2Efficient distributed SAT and SAT-based distributed bounded model checkingNEC LAB AMERICA INC·Filed 2004·Granted Apr 10, 2007·7 cites·27 claims
- 2060US8589126B2System and method for model checking by interleaving stateless and state-based methodsGANAI MALAY K·Filed 2010·Granted Nov 19, 2013·1 cites·22 claims
- 2156US2025035697A1Bias cause reduction for localizing constraintsSYNOPSYS INC·Filed 2023·Application pending·0 cites
- 2254US11755799B1Diversifying stimulus generation in constrained random simulation by learning distribution historySYNOPSYS INC·Filed 2020·Granted Sep 12, 2023·0 cites·21 claims
- 2347US2010251222A1Completeness determination in smt-based bmc for software programsNEC LAB AMERICA·Filed 2009·Application pending·0 cites
- 2447US2009292941A1Proof-guided error diagnosis (ped) by triangulation of program error causesNEC LAB AMERICA INC·Filed 2008·Application pending·0 cites
- 2546US8504330B2Parallelizing bounded model checking using tunnels over a distributed frameworkGANAI MALAY·Filed 2008·Granted Aug 6, 2013·0 cites·19 claims
- 2646US2009132991A1Partial order reduction for scalable testing in system level designNEC LAB AMERICA INC·Filed 2008·Application pending·0 cites
- 2745US8539013B2Efficient decision method for real non-linear arithmetic constraintsGANAI MALAY K·Filed 2010·Granted Sep 17, 2013·0 cites·18 claims
- 2845US2013332910A1Dynamic livelock analysis of multi-threaded programsNEC LAB AMERICA INC·Filed 2013·Application pending·0 cites
- 2943US2013205303A1Efficient Checking of Pairwise Reachability in Multi-Threaded ProgramsNEC LAB AMERICA INC·Filed 2012·Application pending·0 cites
- 3043US2015081243A1Setsudo: Pertubation-based Testing Framework for Scalable Distributed SystemsNEC LAB AMERICA INC·Filed 2014·Application pending·0 cites
- 3142US2014108867A1Dynamic Taint Analysis of Multi-Threaded ProgramsNEC LAB AMERICA INC·Filed 2013·Application pending·0 cites
- 3240US2011246970A1Interval analysis of concurrent trace programs using transaction sequence graphsNEC LAB AMERICA INC·Filed 2011·Application pending·0 cites
- 3339US2010281469A1Symbolic predictive analysis for concurrent programsNEC LAB AMERICA INC·Filed 2010·Application pending·0 cites
- 3438US2012151271A1Mat-reduced symbolic analysisGANAI MALAY·Filed 2011·Application pending·0 cites
- 3536US8538900B2Integrating interval constraint propagation with nonlinear real arithmeticGANAI MALAY K·Filed 2010·Granted Sep 17, 2013·0 cites·19 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →