Aarti Gupta
51Patents
13h-index
40Co-inventors
84Inventor score
Filing activity: Apr 22, 1997 → Aug 12, 2019
Most-cited inventions
| Patent | Title | Area | Cited by | Status |
|---|---|---|---|---|
| US7346486B2 | System and method for modeling, abstraction, and analysis of software | Physics | 261 | Expired |
| US6745160B1 | Verification of scheduling in the presence of loops using uninterpreted symbolic simulation | Physics | 65 | Expired |
| US6975976B1 | Property specific testbench generation framework for circuit design validation by guided simulation | Physics | 56 | Expired |
| US6026222A | System for combinational equivalence checking | Physics | 45 | Expired |
| US6496961B2 | Dynamic detection and removal of inactive clauses in SAT with application in image computation | Physics | 32 | Expired |
| US6651234B2 | Partition-based decision heuristics for SAT and image computation using SAT and BDDs | Physics | 32 | Expired |
| US6035109A | Method for using complete-1-distinguishability for FSM equivalence checking | Physics | 25 | Expired |
| US6874135B2 | Method for design validation using retiming | Physics | 22 | Expired |
| US8539451B2 | Systems and methods for model checking the precision of programs employing floating-point operations | Physics | 21 | Active |
| US7742907B2 | Iterative abstraction using SAT-based BMC with proof analysis | Physics | 15 | Expired |
| US6728665B1 | SAT-based image computation with application in reachability analysis | Physics | 15 | Expired |
| US8707278B2 | Embedding class hierarchy into object models for multiple class inheritance | Physics | 14 | Active |
| US7784035B2 | Method for the static analysis of concurrent multi-threaded software | Physics | 13 | Active |
| US8286137B2 | Accelerating model checking via synchrony | Physics | 13 | Active |
| US8527976B2 | System and method for generating error traces for concurrency bugs | Physics | 12 | Active |
| US8006239B2 | Program analysis using symbolic ranges | Physics | 11 | Active |
| US7711525B2 | Efficient approaches for bounded model checking | Physics | 10 | Expired |
| US7386818B2 | Efficient modeling of embedded memories in bounded memory checking | Physics | 9 | Expired |
| US8402440B2 | Program verification through symbolic enumeration of control path programs | Physics | 8 | Active |
| US8131532B2 | Software verification using range analysis | Physics | 8 | Active |
| US6662323B1 | Fast error diagnosis for combinational verification | Physics | 7 | Expired |
| US7853906B2 | Accelerating high-level bounded model checking | Physics | 7 | Active |
| US8359578B2 | Symbolic reduction of dynamic executions of concurrent programs | Physics | 6 | Active |
| US7926039B2 | Reachability analysis for program verification | Physics | 6 | Active |
| US8185875B2 | Fast and accurate static data-race detection for concurrent programs | Physics | 5 | Active |
Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.