Inventor · disambiguated record
Indradeep Ghosh
Also filed as: GHOSH INDRADEEP
50 granted patents·16 pending applications·365 citations·filing 1999–2023
98Inventor score
Top patents by PatentIndex Score
66 records- 0194US8595701B2Symbolic execution and test generation for GPU programsLI GUODONG·Filed 2011·Granted Nov 26, 2013·30 cites·28 claims
- 0294US8479171B2Generating test sets using intelligent variable selection and test set compactionGHOSH INDRADEEP·Filed 2010·Granted Jul 2, 2013·30 cites·29 claims
- 0394US8359576B2Using symbolic execution to check global temporal requirements in an applicationFUJITSU LTD·Filed 2008·Granted Jan 22, 2013·41 cites·19 claims
- 0493US8396686B2Measure energy consumption and determine energy-consumption patterns for electricity-consuming devicesSONG ZHEXUAN·Filed 2011·Granted Mar 12, 2013·23 cites·13 claims
- 0590US11165646B1Network node clusteringFUJITSU LTD·Filed 2020·Granted Nov 2, 2021·4 cites·20 claims
- 0690US8645924B2Lossless path reduction for efficient symbolic execution and automatic test generationLI GUODONG·Filed 2011·Granted Feb 4, 2014·14 cites·22 claims
- 0790US6463560B1Method for implementing a bist scheme into integrated circuits for testing RTL controller-data paths in the integrated circuitsAGERE SYST GUARDIAN CORP·Filed 1999·Granted Oct 8, 2002·86 cites·8 claims
- 0884US8869113B2Software architecture for validating C++ programs using symbolic executionLI GUODONG·Filed 2011·Granted Oct 21, 2014·8 cites·23 claims
- 0983US11617122B2Network node clusteringFUJITSU LTD·Filed 2020·Granted Mar 28, 2023·2 cites·20 claims
- 1083US9531599B2Virtual optical network provisioning based on mapping choices and patternsFUJITSU LTD·Filed 2014·Granted Dec 27, 2016·5 cites·21 claims
- 1183US8856751B2Abstract symbolic execution for scaling symbolic execution generation and automatic test generationFUJISTU LTD·Filed 2012·Granted Oct 7, 2014·7 cites·20 claims
- 1280US8943487B2Optimizing libraries for validating C++ programs using symbolic executionLI GUODONG·Filed 2011·Granted Jan 27, 2015·6 cites·14 claims
- 1380US8453117B2Providing software validation as a serviceRAJAN SREERANGA P·Filed 2010·Granted May 28, 2013·7 cites·10 claims
- 1480US7685471B2System and method for detecting software defectsFUJITSU LTD·Filed 2007·Granted Mar 23, 2010·10 cites·16 claims
- 1580US7458046B2Estimating the difficulty level of a formal verification problemFUJITSU LTD·Filed 2005·Granted Nov 25, 2008·10 cites·20 claims
- 1679US8572574B2Solving hybrid constraints to validate specification requirements of a software moduleGHOSH INDRADEEP·Filed 2010·Granted Oct 29, 2013·11 cites·25 claims
- 1779US8271953B2System and method for providing middleware for capture of global requirements and validation for web applicationsPRASAD MUKUL R·Filed 2008·Granted Sep 18, 2012·8 cites·28 claims
- 1877US8504997B2Environment data refinement based on static analysis and symbolic executionTKACHUK OKSANA·Filed 2009·Granted Aug 6, 2013·10 cites·28 claims
- 1976US9038032B2Symbolic execution and automatic test case generation for JavaScript programsLI GUODONG·Filed 2012·Granted May 19, 2015·4 cites·12 claims
- 2075US8972949B2Rule-based method for proving unsatisfiable conditions in a mixed numeric and string solverGHOSH INDRADEEP·Filed 2012·Granted Mar 3, 2015·4 cites·21 claims
- 2175US8763001B2Technique for efficient parallelization of software analysis in a distributed computing environment through intelligent dynamic load balancingGHOSH INDRADEEP·Filed 2010·Granted Jun 24, 2014·4 cites·30 claims
- 2274US9152543B1Symbolic execution with automatic abstractionsFUJITSU LTD·Filed 2014·Granted Oct 6, 2015·3 cites·18 claims
- 2372US8539500B2Efficient partial execution for the parallelization of software analysis in a distributed computing environmentGHOSH INDRADEEP·Filed 2010·Granted Sep 17, 2013·3 cites·42 claims
- 2471US9755893B2Provisioning virtual optical networksFUJITSU LTD·Filed 2015·Granted Sep 5, 2017·2 cites·20 claims
- 2568US7168014B2Propagating an error through a networkFUJITSU LTD·Filed 2003·Granted Jan 23, 2007·13 cites·17 claims
- 2667US8914775B2Dynamic and intelligent partial computation management for efficient parallelization of software analysis in a distributed computing environmentGHOSH INDRADEEP·Filed 2010·Granted Dec 16, 2014·2 cites·16 claims
- 2764US9619362B2Event sequence construction of event-driven software by combinational computationsFUJITSU LTD·Filed 2014·Granted Apr 11, 2017·1 cites·20 claims
- 2862US12174025B2Route generation for vehicle routing problem and variants thereofFUJITSU LTD·Filed 2022·Granted Dec 24, 2024·0 cites·20 claims
- 2962US10938224B2Hardware/software reconfigurable, intelligent and versatile electrical energy provisioning system for on-grid and off-grid applicationsHELION CONCEPTS INC·Filed 2017·Granted Mar 2, 2021·1 cites·19 claims
- 3062US9501331B2Satisfiability checkingLI GUODONG·Filed 2012·Granted Nov 22, 2016·1 cites·21 claims
- 3158US9477928B2System and method for comparing software frameworksRAJAN SREERANGA P·Filed 2010·Granted Oct 25, 2016·2 cites·21 claims
- 3256US9021449B2Software regression testing using symbolic executionWIGGERS MAARTEN H·Filed 2012·Granted Apr 28, 2015·1 cites·22 claims
- 3356US7210128B2Event-driven observability enhanced coverage analysisFUJITSU LTD·Filed 2002·Granted Apr 24, 2007·4 cites·22 claims
- 3455US2023376569A1Analysis of clustered dataFUJITSU LTD·Filed 2022·Application pending·0 cites
- 3554US12287211B2Vehicle routing problem (VRP) solution using annealer-based solversFUJITSU LTD·Filed 2022·Granted Apr 29, 2025·0 cites·20 claims
- 3654US2024135216A1Solving optimization problems on shallow circuits using a quantum computerFUJITSU LTD·Filed 2022·Application pending·0 cites
- 3753US2022318602A1Provision of semantic feedback on deep neural network (dnn) prediction for decision makingFUJITSU LTD·Filed 2021·Application pending·0 cites
- 3852US10761961B2Identification of software program fault locationsFUJITSU LTD·Filed 2018·Granted Sep 1, 2020·0 cites·20 claims
- 3952US2024330698A1Local-search based solution of combinatorial optimization problem using annealer-based solversFUJITSU LTD·Filed 2023·Application pending·0 cites
- 4052US2003149610A1Method of strategic planningFiled 2002·Application pending·0 cites
- 4152US2024265338A1Random-walk based vehicle routing problem (vrp) partitioning for annealer-based solutionFUJITSU LTD·Filed 2023·Application pending·0 cites
- 4252US2023018946A1Multilevel method for production scheduling using optimization solver machinesFUJITSU LTD·Filed 2021·Application pending·0 cites
- 4351US9483380B2Parameterized states in symbolic execution for software testingFUJITSU LTD·Filed 2014·Granted Nov 1, 2016·0 cites·16 claims
- 4450US8996922B2Mixed numeric and string constraint analysisFUJITSU LTD·Filed 2012·Granted Mar 31, 2015·0 cites·20 claims
- 4550US2022122006A1Production planning using optimization solver machinesFUJITSU LTD·Filed 2020·Application pending·0 cites
- 4649US11537637B2Data clusteringFUJITSU LTD·Filed 2020·Granted Dec 27, 2022·0 cites·20 claims
- 4749US9892027B2Event-driven software testingFUJITSU LTD·Filed 2014·Granted Feb 13, 2018·0 cites·16 claims
- 4848US6877141B2Evaluating a validation vector for validating a network designFUJITSU LTD·Filed 2003·Granted Apr 5, 2005·4 cites·20 claims
- 4947US6823486B2Automatic test pattern generation for functional register transfer level circuits using assignment decision diagramsFUJITSU LTD·Filed 2001·Granted Nov 23, 2004·3 cites·31 claims
- 5046US10268572B2Interactive software program repairFUJITSU LTD·Filed 2017·Granted Apr 23, 2019·0 cites·17 claims
Showing the top 50 of 66 patent records by PatentIndex Score.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →