Inventor · disambiguated record
Gadiel Auerbach
Also filed as: AUERBACH GADIEL
7 granted patents·2 pending applications·794 citations·filing 2002–2014
87Inventor score
Technology areasG06F
Top patents by PatentIndex Score
9 records- 0195US7840400B2Dynamic natural language understandingINTELLIGATE LTD·Filed 2006·Granted Nov 23, 2010·374 cites·20 claims
- 0295US7216073B2Dynamic natural language understandingINTELLIGATE LTD·Filed 2002·Granted May 8, 2007·391 cites·13 claims
- 0382US8127261B2System for quickly specifying formal verification environmentsAUERBACH GADIEL·Filed 2009·Granted Feb 28, 2012·19 cites·22 claims
- 0479US9495504B2Using traces of original model to verify a modified modelIBM·Filed 2014·Granted Nov 15, 2016·6 cites·20 claims
- 0572US9280496B2Formal verification of arbitersIBM·Filed 2012·Granted Mar 8, 2016·3 cites·18 claims
- 0656US8489367B2Modeling a matrix for formal verificationAUERBACH GADIEL·Filed 2009·Granted Jul 16, 2013·1 cites·14 claims
- 0750US2013179131A1Modeling a matrix for formal verificationIBM·Filed 2013·Application pending·0 cites
- 0850US2008154581A1Dynamic natural language understandingINTELLIGATE LTD·Filed 2008·Application pending·0 cites
- 0941US8370553B2Formal verification of random priority-based arbiters using property strengthening and underapproximationsIBM·Filed 2010·Granted Feb 5, 2013·0 cites·20 claims
Join the waitlist — get patent alerts
Get an alert when Gadiel Auerbach files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →