Gil Shurek

Person

Haifa, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Model-based biased random system test through rest API
- Patent number 11,748,238
- Issue date Sep 5, 2023
- International Business Machines Corporation
- Vitali Sokhin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Risk-focused testing
- Patent number 11,119,895
- Issue date Sep 14, 2021
- International Business Machines Corporation
- Raviv Gal
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Solving constraint satisfaction problems using a field programmable...
- Patent number 9,337,845
- Issue date May 10, 2016
- International Business Machines Corporation
- Ilia Averbouch
- H03 - BASIC ELECTRONIC CIRCUITRY
Information Patent Grant
Method and apparatus for testing
- Patent number 9,286,426
- Issue date Mar 15, 2016
- International Business Machines Corporation
- Gabor Bobok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Hardware verification using acceleration platform
- Patent number 8,832,502
- Issue date Sep 9, 2014
- International Business Machines Corporation
- Manoj Dusanapudi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Two pass test case generation using self-modifying instruction repl...
- Patent number 8,516,229
- Issue date Aug 20, 2013
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Device, system and method of modeling homogeneous information
- Patent number 8,458,652
- Issue date Jun 4, 2013
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generating random addresses for verification of distributed compute...
- Patent number 8,359,456
- Issue date Jan 22, 2013
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Model-based hardware exerciser, device, system and method thereof
- Patent number 7,945,888
- Issue date May 17, 2011
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for distributed joint pseudo random decision making
- Patent number 7,571,201
- Issue date Aug 4, 2009
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Hyper-arc consistency in a contraint satisfaction network
- Patent number 7,085,748
- Issue date Aug 1, 2006
- International Business Machines Corporation
- Roy Emek
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
INFERRING CLOUD NETWORK CONNECTIVITY AS A MINIMAL LIST OF FIREWALL...
- Publication number 20230179573
- Publication date Jun 8, 2023
- International Business Machines Corporation
- ADI SOSNOVICH
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
MODEL-BASED BIASED RANDOM SYSTEM TEST THROUGH REST API
- Publication number 20220382665
- Publication date Dec 1, 2022
- International Business Machines Corporation
- Vitali Sokhin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
RISK-FOCUSED TESTING
- Publication number 20210056009
- Publication date Feb 25, 2021
- International Business Machines Corporation
- RAVIV GAL
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOLVING CONSTRAINT SATISFACTION PROBLEMS USING A FIELD PROGRAMMABLE...
- Publication number 20150365092
- Publication date Dec 17, 2015
- International Business Machines Corporation
- Ilia Averbouch
- H03 - BASIC ELECTRONIC CIRCUITRY
Information Patent Application
METHOD AND APPARATUS FOR TESTING
- Publication number 20150310154
- Publication date Oct 29, 2015
- International Business Machines Corporation
- Gabor Bobok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VEHICULAR SIMULATION TEST GENERATION
- Publication number 20150046138
- Publication date Feb 12, 2015
- International Business Machines Corporation
- Allon ADIR
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Hardware verification using ACCELERATION platform
- Publication number 20140032966
- Publication date Jan 30, 2014
- International Business Machines Corporation
- Manoj Dusanapudi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENERATING RANDOM ADDRESSES FOR VERIFICATION OF DISTRIBUTED COMPUTE...
- Publication number 20110208945
- Publication date Aug 25, 2011
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TWO PASS TEST CASE GENERATION USING SELF-MODIFYING INSTRUCTION REPL...
- Publication number 20110197049
- Publication date Aug 11, 2011
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Model-Based Hardware Exerciser, Device, System and Method Thereof
- Publication number 20090222694
- Publication date Sep 3, 2009
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Device, System and Method of Modeling Homogeneous Information
- Publication number 20080208827
- Publication date Aug 28, 2008
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Simulation System with Guided Backtracking
- Publication number 20080126063
- Publication date May 29, 2008
- Ilan Beer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Hyper-arc consistency in a contraint satisfaction network
- Publication number 20020169587
- Publication date Nov 14, 2002
- International Business Machines Corporation
- Roy Emek
- G06 - COMPUTING CALCULATING COUNTING

Person

Patents Grantslast 30 patents

Model-based biased random system test through rest API

Risk-focused testing

Solving constraint satisfaction problems using a field programmable...

Method and apparatus for testing

Hardware verification using acceleration platform

Two pass test case generation using self-modifying instruction repl...

Device, system and method of modeling homogeneous information

Generating random addresses for verification of distributed compute...

Model-based hardware exerciser, device, system and method thereof

Method for distributed joint pseudo random decision making

Hyper-arc consistency in a contraint satisfaction network

Patents Applicationslast 30 patents

INFERRING CLOUD NETWORK CONNECTIVITY AS A MINIMAL LIST OF FIREWALL...

MODEL-BASED BIASED RANDOM SYSTEM TEST THROUGH REST API

RISK-FOCUSED TESTING

SOLVING CONSTRAINT SATISFACTION PROBLEMS USING A FIELD PROGRAMMABLE...

METHOD AND APPARATUS FOR TESTING

VEHICULAR SIMULATION TEST GENERATION

Hardware verification using ACCELERATION platform

GENERATING RANDOM ADDRESSES FOR VERIFICATION OF DISTRIBUTED COMPUTE...

TWO PASS TEST CASE GENERATION USING SELF-MODIFYING INSTRUCTION REPL...

Model-Based Hardware Exerciser, Device, System and Method Thereof

Device, System and Method of Modeling Homogeneous Information

Simulation System with Guided Backtracking

Hyper-arc consistency in a contraint satisfaction network