Inventor · disambiguated record
Aarti Gupta
Also filed as: GUPTA AARTI · GUPTA AARTI KUMAR
51 granted patents·18 pending applications·1,113 citations·filing 1997–2019
98Inventor score
Top patents by PatentIndex Score
69 records- 0198US7346486B2System and method for modeling, abstraction, and analysis of softwareNEC LAB AMERICA INC·Filed 2005·Granted Mar 18, 2008·283 cites·2 claims
- 0295US6975976B1Property specific testbench generation framework for circuit design validation by guided simulationNEC CORP·Filed 2000·Granted Dec 13, 2005·98 cites·43 claims
- 0390US8539451B2Systems and methods for model checking the precision of programs employing floating-point operationsIVANCIC FRANJO·Filed 2010·Granted Sep 17, 2013·26 cites·19 claims
- 0489US7784035B2Method for the static analysis of concurrent multi-threaded softwareNEC LAB AMERICA INC·Filed 2005·Granted Aug 24, 2010·21 cites·10 claims
- 0589US6496961B2Dynamic detection and removal of inactive clauses in SAT with application in image computationNEC USA INC·Filed 2001·Granted Dec 17, 2002·40 cites·13 claims
- 0687US6745160B1Verification of scheduling in the presence of loops using uninterpreted symbolic simulationNEC CORP·Filed 1999·Granted Jun 1, 2004·115 cites·33 claims
- 0786US8707278B2Embedding class hierarchy into object models for multiple class inheritanceBALAKRISHNAN GOGUL·Filed 2011·Granted Apr 22, 2014·17 cites·19 claims
- 0886US8527976B2System and method for generating error traces for concurrency bugsKAHLON VINEET·Filed 2008·Granted Sep 3, 2013·23 cites·13 claims
- 0985US8402440B2Program verification through symbolic enumeration of control path programsSANKARANARAYANAN SRIRAM·Filed 2009·Granted Mar 19, 2013·17 cites·26 claims
- 1085US8286137B2Accelerating model checking via synchronyKAHLON VINEET·Filed 2008·Granted Oct 9, 2012·15 cites·4 claims
- 1185US8006239B2Program analysis using symbolic rangesNEC LAB AMERICA INC·Filed 2008·Granted Aug 23, 2011·17 cites·13 claims
- 1285US6651234B2Partition-based decision heuristics for SAT and image computation using SAT and BDDsNEC CORP·Filed 2001·Granted Nov 18, 2003·42 cites·27 claims
- 1384US9723065B2Cross-cloud object mapping for hybrid cloudsVMWARE INC·Filed 2014·Granted Aug 1, 2017·5 cites·17 claims
- 1483US10382532B2Cross-cloud object mapping for hybrid cloudsVMWARE INC·Filed 2017·Granted Aug 13, 2019·3 cites·12 claims
- 1583US7926039B2Reachability analysis for program verificationNEC LAB AMERICA INC·Filed 2007·Granted Apr 12, 2011·12 cites·6 claims
- 1683US6728665B1SAT-based image computation with application in reachability analysisNEC CORP·Filed 2000·Granted Apr 27, 2004·34 cites·28 claims
- 1781US8185875B2Fast and accurate static data-race detection for concurrent programsKAHLON VINEET·Filed 2007·Granted May 22, 2012·11 cites·25 claims
- 1881US7853906B2Accelerating high-level bounded model checkingNEC LAB AMERICA INC·Filed 2007·Granted Dec 14, 2010·11 cites·5 claims
- 1978US8381226B2System and method for monotonic partial order reductionNEC LAB AMERICA INC·Filed 2009·Granted Feb 19, 2013·8 cites·6 claims
- 2078US8131532B2Software verification using range analysisCADAMBI SRIHARI·Filed 2006·Granted Mar 6, 2012·12 cites·8 claims
- 2177US8359578B2Symbolic reduction of dynamic executions of concurrent programsNEC LAB AMERICA INC·Filed 2009·Granted Jan 22, 2013·10 cites·10 claims
- 2277US6026222ASystem for combinational equivalence checkingNEC USA INC·Filed 1997·Granted Feb 15, 2000·82 cites·9 claims
- 2376US8719793B2Scope bounding with automated specification inference for scalable software model checkingMAEDA NAOTO·Filed 2011·Granted May 6, 2014·5 cites·8 claims
- 2476US7742907B2Iterative abstraction using SAT-based BMC with proof analysisNEC LAB AMERICA INC·Filed 2004·Granted Jun 22, 2010·22 cites·7 claims
- 2576US7386818B2Efficient modeling of embedded memories in bounded memory checkingNEC LAB AMERICA INC·Filed 2005·Granted Jun 10, 2008·10 cites·22 claims
- 2675US8266600B2Model checking of multi threaded softwareKAHLON VINEET·Filed 2006·Granted Sep 11, 2012·7 cites·17 claims
- 2775US8005661B2Modeling and verification of concurrent systems using SMT-based BMCNEC LAB AMERICA INC·Filed 2008·Granted Aug 23, 2011·7 cites·13 claims
- 2873US8136098B2Using pushdown systems for the static analysis of multi-threaded programsKAHLON VINEET·Filed 2007·Granted Mar 13, 2012·6 cites·6 claims
- 2972US8719802B2Interprocedural exception methodMAEDA NAOTO·Filed 2011·Granted May 6, 2014·5 cites·22 claims
- 3072US7711525B2Efficient approaches for bounded model checkingNEC CORP·Filed 2002·Granted May 4, 2010·18 cites·21 claims
- 3171US8365152B2Path-sensitive analysis through infeasible-path detection and syntactic language refinementNEC LAB AMERICA INC·Filed 2008·Granted Jan 29, 2013·5 cites·12 claims
- 3270US7930659B2Software verificationNEC LAB AMERICA INC·Filed 2006·Granted Apr 19, 2011·5 cites·4 claims
- 3369US7743352B2Computer 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
- 3469US7305637B2Efficient SAT-based unbounded symbolic model checkingNEC LAB AMERICA INC·Filed 2005·Granted Dec 4, 2007·4 cites·28 claims
- 3568US8191045B2Mining library specifications using inductive learningSANKARANARAYANAN SRIRAM·Filed 2008·Granted May 29, 2012·4 cites·14 claims
- 3666US8200474B2Dynamic model checking with property driven pruning to detect race conditionsWANG CHAO·Filed 2009·Granted Jun 12, 2012·3 cites·24 claims
- 3763US8601459B2Control structure refinement of loops using static analysisNEC LAB AMERICA INC·Filed 2013·Granted Dec 3, 2013·1 cites·12 claims
- 3862US11095709B2Cross-cloud object mapping for hybrid cloudsVMWARE INC·Filed 2019·Granted Aug 17, 2021·0 cites·20 claims
- 3961US8176496B2Partial order reduction using guarded independence relationsWANG CHAO·Filed 2008·Granted May 8, 2012·3 cites·16 claims
- 4061US7203917B2Efficient distributed SAT and SAT-based distributed bounded model checkingNEC LAB AMERICA INC·Filed 2004·Granted Apr 10, 2007·7 cites·27 claims
- 4161US6874135B2Method for design validation using retimingNEC CORP·Filed 1999·Granted Mar 29, 2005·36 cites·12 claims
- 4261US6035109AMethod for using complete-1-distinguishability for FSM equivalence checkingNEC USA INC·Filed 1997·Granted Mar 7, 2000·39 cites·10 claims
- 4359US7693690B2Disjunctive image computation for sequential systemsNEC LAB AMERICA INC·Filed 2006·Granted Apr 6, 2010·1 cites·6 claims
- 4457US6662323B1Fast error diagnosis for combinational verificationNEC CORP·Filed 1999·Granted Dec 9, 2003·16 cites·7 claims
- 4550US8799194B2Probabilistic model checking of systems with ranged probabilitiesNEC LAB AMERICA INC·Filed 2012·Granted Aug 5, 2014·1 cites·10 claims
- 4650US8374840B2System and method for feedback-guided test generation for cyber-physical systems using monte-carloNEC LAB AMERICA INC·Filed 2009·Granted Feb 12, 2013·2 cites·5 claims
- 4748US2009222249A1Modular verification of web services using efficient symbolic encoding and summarizationNEC LAB AMERICA INC·Filed 2009·Application pending·0 cites
- 4846US8522226B2Control structure refinement of loops using static analysisSANKARANARAYANAN SRIRAM·Filed 2010·Granted Aug 27, 2013·0 cites·10 claims
- 4946US2009007038A1Hybrid counterexample guided abstraction refinementNEC LAB AMERICA INC·Filed 2007·Application pending·0 cites
- 5045US11102067B2Method and system providing automated support for cross-cloud hybridity servicesVMWARE INC·Filed 2018·Granted Aug 24, 2021·0 cites·19 claims
Showing the top 50 of 69 patent records by PatentIndex Score.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →