Auerbach; Gadiel
Patent Applications and Registrations
Patent applications and USPTO patent grants for Auerbach; Gadiel.The latest application filed is for "using traces of original model to verify a modified model".
- Auerbach; Gadiel - Ramat Hahayal IL
- Auerbach; Gadiel - Jerusalem IL
- Auerbach; Gadiel - Haifa IL
| Patent | Date |
|---|---|
| Using traces of original model to verify a modified model Grant 9,495,504 - Auerbach , et al. November 15, 2 | 2016-11-15 |
| Formal verification of arbiters Grant 9,280,496 - Auerbach , et al. March 8, 2 | 2016-03-08 |
| Using Traces Of Original Model To Verify A Modified Model App 20150317421 - Auerbach; Gadiel ; et al. | 2015-11-05 |
| Formal Verification Of Arbiters App 20140115217 - Auerbach; Gadiel ; et al. | 2014-04-24 |
| Modeling a matrix for formal verification Grant 8,489,367 - Auerbach , et al. July 16, 2 | 2013-07-16 |
| Modeling A Matrix For Formal Verification App 20130179131 - Auerbach; Gadiel ; et al. | 2013-07-11 |
| Formal verification of random priority-based arbiters using property strengthening and underapproximations Grant 8,370,553 - Auerbach , et al. February 5, 2 | 2013-02-05 |
| Formal Verification of Random Priority-Based Arbiters Using Property Strengthening and Underapproximations App 20120096204 - Auerbach; Gadiel ; et al. | 2012-04-19 |
| System for quickly specifying formal verification environments Grant 8,127,261 - Auerbach , et al. February 28, 2 | 2012-02-28 |
| Modeling A Matrix For Formal Verification App 20110077915 - Auerbach; Gadiel ; et al. | 2011-03-31 |
| Dynamic natural language understanding Grant 7,840,400 - Lavi , et al. November 23, 2 | 2010-11-23 |
| System for Quickly Specifying Formal Verification Environments App 20100185992 - Auerbach; Gadiel ; et al. | 2010-07-22 |
| Dynamic Natural Language Understanding App 20080154581 - Lavi; Ofer ; et al. | 2008-06-26 |
| Dynamic Natural Language Understanding App 20070112555 - Lavi; Ofer ; et al. | 2007-05-17 |
| Dynamic Natural Language Understanding App 20070112556 - Lavi; Ofer ; et al. | 2007-05-17 |
| Dynamic natural language understanding Grant 7,216,073 - Lavi , et al. May 8, 2 | 2007-05-08 |
| Dynamic natural language understanding App 20020196679 - Lavi, Ofer ; et al. | 2002-12-26 |
uspto.report is an independent third-party trademark research tool that is not affiliated, endorsed, or sponsored by the United States Patent and Trademark Office (USPTO) or any other governmental organization. The information provided by uspto.report is based on publicly available data at the time of writing and is intended for informational purposes only.
While we strive to provide accurate and up-to-date information, we do not guarantee the accuracy, completeness, reliability, or suitability of the information displayed on this site. The use of this site is at your own risk. Any reliance you place on such information is therefore strictly at your own risk.
All official trademark data, including owner information, should be verified by visiting the official USPTO website at www.uspto.gov. This site is not intended to replace professional legal advice and should not be used as a substitute for consulting with a legal professional who is knowledgeable about trademark law.
| 