Indradeep Ghosh
50Patents
8h-index
29Co-inventors
78Inventor score
Filing activity: Jun 23, 1999 → Dec 2, 2022
Most-cited inventions
| Patent | Title | Area | Cited by | Status |
|---|---|---|---|---|
| US6463560B1 | Method for implementing a bist scheme into integrated circuits for testing RTL controller-data paths in the integrated circuits | Physics | 61 | Expired |
| US8359576B2 | Using symbolic execution to check global temporal requirements in an application | Physics | 32 | Active |
| US8595701B2 | Symbolic execution and test generation for GPU programs | Physics | 24 | Active |
| US8479171B2 | Generating test sets using intelligent variable selection and test set compaction | Physics | 24 | Active |
| US8396686B2 | Measure energy consumption and determine energy-consumption patterns for electricity-consuming devices | Emerging Cross-Sectional Technologies | 12 | Active |
| US8645924B2 | Lossless path reduction for efficient symbolic execution and automatic test generation | Physics | 10 | Active |
| US8504997B2 | Environment data refinement based on static analysis and symbolic execution | Physics | 8 | Active |
| US8572574B2 | Solving hybrid constraints to validate specification requirements of a software module | Physics | 8 | Active |
| US7458046B2 | Estimating the difficulty level of a formal verification problem | Physics | 8 | Active |
| US7685471B2 | System and method for detecting software defects | Physics | 7 | Active |
| US8943487B2 | Optimizing libraries for validating C++ programs using symbolic execution | Physics | 5 | Active |
| US7168014B2 | Propagating an error through a network | Physics | 5 | Expired |
| US8453117B2 | Providing software validation as a service | Physics | 5 | Active |
| US8271953B2 | System and method for providing middleware for capture of global requirements and validation for web applications | Electricity | 4 | Active |
| US8856751B2 | Abstract symbolic execution for scaling symbolic execution generation and automatic test generation | Physics | 3 | Active |
| US8869113B2 | Software architecture for validating C++ programs using symbolic execution | Physics | 3 | Active |
| US9531599B2 | Virtual optical network provisioning based on mapping choices and patterns | Electricity | 3 | Active |
| US8972949B2 | Rule-based method for proving unsatisfiable conditions in a mixed numeric and string solver | Physics | 3 | Active |
| US6877141B2 | Evaluating a validation vector for validating a network design | Physics | 2 | Expired |
| US7210128B2 | Event-driven observability enhanced coverage analysis | Emerging Cross-Sectional Technologies | 2 | Expired |
| US8539500B2 | Efficient partial execution for the parallelization of software analysis in a distributed computing environment | Physics | 2 | Active |
| US8763001B2 | Technique for efficient parallelization of software analysis in a distributed computing environment through intelligent dynamic load balancing | Physics | 2 | Active |
| US11165646B1 | Network node clustering | Electricity | 2 | Active |
| US9038032B2 | Symbolic execution and automatic test case generation for JavaScript programs | Physics | 2 | Active |
| US9619362B2 | Event sequence construction of event-driven software by combinational computations | Physics | 1 | Active |
Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.