Gadiel Auerbach

Person

Ramat Hahayal, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Using traces of original model to verify a modified model
- Patent number 9,495,504
- Issue date Nov 15, 2016
- International Business Machines Corporations
- Gadiel Auerbach
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Formal verification of arbiters
- Patent number 9,280,496
- Issue date Mar 8, 2016
- International Business Machines Corporation
- Gadiel Auerbach
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Modeling a matrix for formal verification
- Patent number 8,489,367
- Issue date Jul 16, 2013
- International Business Machines Corporation
- Gadiel Auerbach
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Formal verification of random priority-based arbiters using propert...
- Patent number 8,370,553
- Issue date Feb 5, 2013
- International Business Machines Corporation
- Gadiel Auerbach
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System for quickly specifying formal verification environments
- Patent number 8,127,261
- Issue date Feb 28, 2012
- International Business Machines Corporation
- Gadiel Auerbach
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Dynamic natural language understanding
- Patent number 7,840,400
- Issue date Nov 23, 2010
- Intelligate, Ltd.
- Ofer Lavi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Dynamic natural language understanding
- Patent number 7,216,073
- Issue date May 8, 2007
- Intelligate, Ltd.
- Ofer Lavi
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
USING TRACES OF ORIGINAL MODEL TO VERIFY A MODIFIED MODEL
- Publication number 20150317421
- Publication date Nov 5, 2015
- International Business Machines Corporation
- Gadiel Auerbach
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FORMAL VERIFICATION OF ARBITERS
- Publication number 20140115217
- Publication date Apr 24, 2014
- International Business Machines Corporation
- Gadiel Auerbach
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MODELING A MATRIX FOR FORMAL VERIFICATION
- Publication number 20130179131
- Publication date Jul 11, 2013
- International Business Machines Corporation
- Gadiel Auerbach
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Formal Verification of Random Priority-Based Arbiters Using Propert...
- Publication number 20120096204
- Publication date Apr 19, 2012
- International Business Machines Corporation
- Gadiel Auerbach
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MODELING A MATRIX FOR FORMAL VERIFICATION
- Publication number 20110077915
- Publication date Mar 31, 2011
- International Business Machines Corporation
- Gadiel Auerbach
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System for Quickly Specifying Formal Verification Environments
- Publication number 20100185992
- Publication date Jul 22, 2010
- Gadiel Auerbach
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DYNAMIC NATURAL LANGUAGE UNDERSTANDING
- Publication number 20080154581
- Publication date Jun 26, 2008
- Intelligate, Ltd.
- Ofer Lavi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Dynamic Natural Language Understanding
- Publication number 20070112556
- Publication date May 17, 2007
- Ofer Lavi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Dynamic Natural Language Understanding
- Publication number 20070112555
- Publication date May 17, 2007
- Ofer Lavi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Dynamic natural language understanding
- Publication number 20020196679
- Publication date Dec 26, 2002
- Ofer Lavi
- G06 - COMPUTING CALCULATING COUNTING

Gadiel Auerbach

Person

Patents Grantslast 30 patents

Using traces of original model to verify a modified model

Formal verification of arbiters

Modeling a matrix for formal verification

Formal verification of random priority-based arbiters using propert...

System for quickly specifying formal verification environments

Dynamic natural language understanding

Dynamic natural language understanding

Patents Applicationslast 30 patents

USING TRACES OF ORIGINAL MODEL TO VERIFY A MODIFIED MODEL

FORMAL VERIFICATION OF ARBITERS

MODELING A MATRIX FOR FORMAL VERIFICATION

Formal Verification of Random Priority-Based Arbiters Using Propert...

MODELING A MATRIX FOR FORMAL VERIFICATION

System for Quickly Specifying Formal Verification Environments

DYNAMIC NATURAL LANGUAGE UNDERSTANDING

Dynamic Natural Language Understanding

Dynamic Natural Language Understanding

Dynamic natural language understanding