Indradeep Ghosh

Person

San Jose, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Route generation for vehicle routing problem and variants thereof
- Patent number 12,174,025
- Issue date Dec 24, 2024
- Fujitsu Limited
- Hayato Ushijima-Mwesigwa
- G01 - MEASURING TESTING
Information Patent Grant
Network node clustering
- Patent number 11,617,122
- Issue date Mar 28, 2023
- Fujitsu Limited
- Hayato Ushijima-Mwesigwa
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Data clustering
- Patent number 11,537,637
- Issue date Dec 27, 2022
- Fujitsu Limited
- Osman Asif Malik
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Network node clustering
- Patent number 11,165,646
- Issue date Nov 2, 2021
- Fujitsu Limited
- Hayato Ushijima-Mwesigwa
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Hardware/software reconfigurable, intelligent and versatile electri...
- Patent number 10,938,224
- Issue date Mar 2, 2021
- HELION CONCEPTS, INC.
- Sudarshan Krishnamoorthy
- Y02 - TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMA...
Information Patent Grant
Identification of software program fault locations
- Patent number 10,761,961
- Issue date Sep 1, 2020
- Fujitsu Limited
- Ripon K. Saha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Interactive software program repair
- Patent number 10,268,572
- Issue date Apr 23, 2019
- Fujitsu Limited
- Mukul R. Prasad
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Event-driven software testing
- Patent number 9,892,027
- Issue date Feb 13, 2018
- Fujitsu Limited
- Guodong Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Test size reduction using don't care analysis
- Patent number 9,767,412
- Issue date Sep 19, 2017
- Fujitsu Limited
- Hiroaki Yoshida
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Provisioning virtual optical networks
- Patent number 9,755,893
- Issue date Sep 5, 2017
- Fujitsu Limited
- Qianqian Wang
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Provisioning virtual optical networks
- Patent number 9,735,873
- Issue date Aug 15, 2017
- Fujitsu Limited
- Indradeep Ghosh
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Event sequence construction of event-driven software by combination...
- Patent number 9,619,362
- Issue date Apr 11, 2017
- Fujitsu Limited
- Guodong Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Scalable provisioning of virtual optical network demands
- Patent number 9,614,731
- Issue date Apr 4, 2017
- Fujitsu Limited
- Mukul R. Prasad
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Virtual optical network provisioning based on mapping choices and p...
- Patent number 9,531,599
- Issue date Dec 27, 2016
- Fujitsu Limited
- Mukul R. Prasad
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Satisfiability checking
- Patent number 9,501,331
- Issue date Nov 22, 2016
- Fujitsu Limited
- Guodong Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Parameterized states in symbolic execution for software testing
- Patent number 9,483,380
- Issue date Nov 1, 2016
- Fujitsu Limited
- Guodong Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for comparing software frameworks
- Patent number 9,477,928
- Issue date Oct 25, 2016
- Fujitsu Limited
- Sreeranga P. Rajan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Symbolic execution with automatic abstractions
- Patent number 9,152,543
- Issue date Oct 6, 2015
- Fujitsu Limited
- Guodong Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Iterative generation of symbolic test drivers for object-oriented l...
- Patent number 9,058,427
- Issue date Jun 16, 2015
- Fujitsu Limited
- Maarten Wiggers
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Symbolic execution and automatic test case generation for JavaScrip...
- Patent number 9,038,032
- Issue date May 19, 2015
- Fujitsu Limited
- Guodong Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Software regression testing using symbolic execution
- Patent number 9,021,449
- Issue date Apr 28, 2015
- Fujitsu Limited
- Maarten H. Wiggers
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Mixed numeric and string constraint analysis
- Patent number 8,996,922
- Issue date Mar 31, 2015
- Fujitsu Limited
- Guodong Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Rule-based method for proving unsatisfiable conditions in a mixed n...
- Patent number 8,972,949
- Issue date Mar 3, 2015
- Fujitsu Limited
- Indradeep Ghosh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Optimizing libraries for validating C++ programs using symbolic exe...
- Patent number 8,943,487
- Issue date Jan 27, 2015
- Fujitsu Limited
- Guodong Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Dynamic and intelligent partial computation management for efficien...
- Patent number 8,914,775
- Issue date Dec 16, 2014
- Fujitsu Limited
- Indradeep Ghosh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Software architecture for validating C++ programs using symbolic ex...
- Patent number 8,869,113
- Issue date Oct 21, 2014
- Fujitsu Limited
- Guodong Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Abstract symbolic execution for scaling symbolic execution generati...
- Patent number 8,856,751
- Issue date Oct 7, 2014
- Fujitsu Limited
- Guodong Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Scheduling policy for efficient parallelization of software analysi...
- Patent number 8,789,054
- Issue date Jul 22, 2014
- Fujitsu Limited
- Indradeep Ghosh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Node computation initialization technique for efficient paralleliza...
- Patent number 8,769,500
- Issue date Jul 1, 2014
- Fujitsu Limited
- Indradeep Ghosh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Technique for efficient parallelization of software analysis in a d...
- Patent number 8,763,001
- Issue date Jun 24, 2014
- Fujitsu Limited
- Indradeep Ghosh
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
LOCAL-SEARCH BASED SOLUTION OF COMBINATORIAL OPTIMIZATION PROBLEM U...
- Publication number 20240330698
- Publication date Oct 3, 2024
- Fujitsu Limited
- Hayato USHIJIMA-MWESIGWA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
RANDOM-WALK BASED VEHICLE ROUTING PROBLEM (VRP) PARTITIONING FOR AN...
- Publication number 20240265338
- Publication date Aug 8, 2024
- FUJITSU LIMITED
- Hayato USHIJIMA-MWESIGWA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ROUTE GENERATION FOR VEHICLE ROUTING PROBLEM AND VARIANTS THEREOF
- Publication number 20240183670
- Publication date Jun 6, 2024
- Fujitsu Limited
- Hayato USHIJIMA-MWESIGWA
- G01 - MEASURING TESTING
Information Patent Application
SOLVING OPTIMIZATION PROBLEMS ON SHALLOW CIRCUITS USING A QUANTUM C...
- Publication number 20240135216
- Publication date Apr 25, 2024
- FUJITSU LIMITED
- Xiaoyuan LIU
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VEHICLE ROUTING PROBLEM (VRP) SOLUTION USING ANNEALER-BASED SOLVERS
- Publication number 20240085194
- Publication date Mar 14, 2024
- FUJITSU LIMITED
- Hayato USHIJIMA-MWESIGWA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ANALYSIS OF CLUSTERED DATA
- Publication number 20230376569
- Publication date Nov 23, 2023
- Fujitsu Limited
- Hayato USHIJIMA-MWESIGWA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MULTILEVEL METHOD FOR PRODUCTION SCHEDULING USING OPTIMIZATION SOLV...
- Publication number 20230018946
- Publication date Jan 19, 2023
- FUJITSU LIMITED
- Hayato USHIJIMA-MWESIGWA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROVISION OF SEMANTIC FEEDBACK ON DEEP NEURAL NETWORK (DNN) PREDICT...
- Publication number 20220318602
- Publication date Oct 6, 2022
- FUJITSU LIMITED
- Ripon K. SAHA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
NETWORK NODE CLUSTERING
- Publication number 20220159549
- Publication date May 19, 2022
- Fujitsu Limited
- Hayato USHIJIMA-MWESIGWA
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
Production planning using optimization solver machines
- Publication number 20220122006
- Publication date Apr 21, 2022
- Fujitsu Limited
- Indradeep GHOSH
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DATA CLUSTERING
- Publication number 20220083567
- Publication date Mar 17, 2022
- Fujitsu Limited
- Osman Asif MALIK
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TRAINING TIME REDUCTION IN AUTOMATIC DATA AUGMENTATION
- Publication number 20200349425
- Publication date Nov 5, 2020
- Fujitsu Limited
- Ripon K. SAHA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IDENTIFICATION OF SOFTWARE PROGRAM FAULT LOCATIONS
- Publication number 20200201741
- Publication date Jun 25, 2020
- Fujitsu Limited
- Ripon K. SAHA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INTERACTIVE SOFTWARE PROGRAM REPAIR
- Publication number 20190042398
- Publication date Feb 7, 2019
- Fujitsu Limited
- Mukul R. PRASAD
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
HARDWARE/SOFTWARE RECONFIGURABLE, INTELLIGENT AND VERSATILE ELECTRI...
- Publication number 20180054070
- Publication date Feb 22, 2018
- HELION CONCEPTS,INC.
- Sudarshan Krishnamoorthy
- G01 - MEASURING TESTING
Information Patent Application
SCALABLE PROVISIONING OF VIRTUAL OPTICAL NETWORK DEMANDS
- Publication number 20170005869
- Publication date Jan 5, 2017
- Fujitsu Limited
- Mukul R. PRASAD
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
PROVISIONING VIRTUAL OPTICAL NETWORKS
- Publication number 20160234061
- Publication date Aug 11, 2016
- Fujitsu Limited
- Qianqian WANG
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
PROVISIONING VIRTUAL OPTICAL NETWORKS
- Publication number 20160234062
- Publication date Aug 11, 2016
- Fujitsu Limited
- Indradeep Ghosh
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
EVENT SEQUENCE CONSTRUCTION OF EVENT-DRIVEN SOFTWARE BY COMBINATION...
- Publication number 20160140016
- Publication date May 19, 2016
- Fujitsu Limited
- Guodong Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VIRTUAL OPTICAL NETWORK PROVISIONING BASED ON MAPPING CHOICES AND P...
- Publication number 20160087846
- Publication date Mar 24, 2016
- Fujitsu Limited
- Mukul R. Prasad
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
TEST SIZE REDUCTION USING DON'T CARE ANALYSIS
- Publication number 20160071012
- Publication date Mar 10, 2016
- Fujitsu Limited
- Hiroaki YOSHIDA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EVENT-DRIVEN SOFTWARE TESTING
- Publication number 20160011959
- Publication date Jan 14, 2016
- Fujitsu Limited
- Guodong Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PARAMETERIZED STATES IN SYMBOLIC EXECUTION FOR SOFTWARE TESTING
- Publication number 20150293831
- Publication date Oct 15, 2015
- Fujitsu Limited
- Guodong Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYMBOLIC EXECUTION OF DYNAMIC PROGRAMMING LANGUAGES
- Publication number 20140143762
- Publication date May 22, 2014
- Fujitsu Limited
- Guodong Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MIXED NUMERIC AND STRING CONSTRAINT ANALYSIS
- Publication number 20140143604
- Publication date May 22, 2014
- Fujitsu Limited
- Guodong Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ABSTRACT SYMBOLIC EXECUTION FOR SCALING SYMBOLIC EXECUTION GENERATI...
- Publication number 20140082594
- Publication date Mar 20, 2014
- FUJITSU LIMITED
- Guodong Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOFTWARE REGRESSION TESTING USING SYMBOLIC EXECUTION
- Publication number 20140053134
- Publication date Feb 20, 2014
- Fujitsu Limited
- Maarten H. WIGGERS
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SATISFIABILITY CHECKING
- Publication number 20140047217
- Publication date Feb 13, 2014
- Fujitsu Limited
- Guodong LI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Iterative Generation of Symbolic Test Drivers for Object-Oriented L...
- Publication number 20140019939
- Publication date Jan 16, 2014
- FUJITSU LIMITED
- Maarten Wiggers
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
RULE-BASED METHOD FOR PROVING UNSATISFIABLE CONDITIONS IN A MIXED N...
- Publication number 20130326485
- Publication date Dec 5, 2013
- FUJITSU LIMITED
- Indradeep Ghosh
- G06 - COMPUTING CALCULATING COUNTING

Indradeep Ghosh

Person

Patents Grantslast 30 patents

Route generation for vehicle routing problem and variants thereof

Network node clustering

Data clustering

Network node clustering

Hardware/software reconfigurable, intelligent and versatile electri...

Identification of software program fault locations

Interactive software program repair

Event-driven software testing

Test size reduction using don't care analysis

Provisioning virtual optical networks

Provisioning virtual optical networks

Event sequence construction of event-driven software by combination...

Scalable provisioning of virtual optical network demands

Virtual optical network provisioning based on mapping choices and p...

Satisfiability checking

Parameterized states in symbolic execution for software testing

System and method for comparing software frameworks

Symbolic execution with automatic abstractions

Iterative generation of symbolic test drivers for object-oriented l...

Symbolic execution and automatic test case generation for JavaScrip...

Software regression testing using symbolic execution

Mixed numeric and string constraint analysis

Rule-based method for proving unsatisfiable conditions in a mixed n...

Optimizing libraries for validating C++ programs using symbolic exe...

Dynamic and intelligent partial computation management for efficien...

Software architecture for validating C++ programs using symbolic ex...

Abstract symbolic execution for scaling symbolic execution generati...

Scheduling policy for efficient parallelization of software analysi...

Node computation initialization technique for efficient paralleliza...

Technique for efficient parallelization of software analysis in a d...

Patents Applicationslast 30 patents

LOCAL-SEARCH BASED SOLUTION OF COMBINATORIAL OPTIMIZATION PROBLEM U...

RANDOM-WALK BASED VEHICLE ROUTING PROBLEM (VRP) PARTITIONING FOR AN...

ROUTE GENERATION FOR VEHICLE ROUTING PROBLEM AND VARIANTS THEREOF

SOLVING OPTIMIZATION PROBLEMS ON SHALLOW CIRCUITS USING A QUANTUM C...

VEHICLE ROUTING PROBLEM (VRP) SOLUTION USING ANNEALER-BASED SOLVERS

ANALYSIS OF CLUSTERED DATA

MULTILEVEL METHOD FOR PRODUCTION SCHEDULING USING OPTIMIZATION SOLV...

PROVISION OF SEMANTIC FEEDBACK ON DEEP NEURAL NETWORK (DNN) PREDICT...

NETWORK NODE CLUSTERING

Production planning using optimization solver machines

DATA CLUSTERING

TRAINING TIME REDUCTION IN AUTOMATIC DATA AUGMENTATION

IDENTIFICATION OF SOFTWARE PROGRAM FAULT LOCATIONS

INTERACTIVE SOFTWARE PROGRAM REPAIR

HARDWARE/SOFTWARE RECONFIGURABLE, INTELLIGENT AND VERSATILE ELECTRI...

SCALABLE PROVISIONING OF VIRTUAL OPTICAL NETWORK DEMANDS

PROVISIONING VIRTUAL OPTICAL NETWORKS

PROVISIONING VIRTUAL OPTICAL NETWORKS

EVENT SEQUENCE CONSTRUCTION OF EVENT-DRIVEN SOFTWARE BY COMBINATION...

VIRTUAL OPTICAL NETWORK PROVISIONING BASED ON MAPPING CHOICES AND P...

TEST SIZE REDUCTION USING DON'T CARE ANALYSIS

EVENT-DRIVEN SOFTWARE TESTING

PARAMETERIZED STATES IN SYMBOLIC EXECUTION FOR SOFTWARE TESTING

SYMBOLIC EXECUTION OF DYNAMIC PROGRAMMING LANGUAGES

MIXED NUMERIC AND STRING CONSTRAINT ANALYSIS

ABSTRACT SYMBOLIC EXECUTION FOR SCALING SYMBOLIC EXECUTION GENERATI...

SOFTWARE REGRESSION TESTING USING SYMBOLIC EXECUTION

SATISFIABILITY CHECKING

Iterative Generation of Symbolic Test Drivers for Object-Oriented L...

RULE-BASED METHOD FOR PROVING UNSATISFIABLE CONDITIONS IN A MIXED N...