Zaraket; Fadi A

Patent Applications and Registrations

Patent applications and USPTO patent grants for Zaraket; Fadi A.The latest application filed is for "co-optimization of embedded systems utilizing symbolic execution".

Company Profile

0.5.5

Zaraket; Fadi A - Austin TX
Zaraket; Fadi A. - Austin TX

*profile and listings may contain filings by different individuals or companies with the same name. Review application materials to confirm ownership/assignment.

Patent Activity

Patent	Date
Co-optimization of embedded systems utilizing symbolic execution Grant 8,234,604 - El-Zein , et al. July 31, 2	2012-07-31
Techniques for modeling variables in subprograms of hardware description language programs Grant 8,140,313 - Drasny , et al. March 20, 2	2012-03-20
Sequential encoding for relational analysis (SERA) of a software model Grant 8,141,048 - Baumgartner , et al. March 20, 2	2012-03-20
Predicate-based compositional minimization in a verification environment Grant 8,086,429 - Baumgartner , et al. December 27, 2	2011-12-27
Co-optimization Of Embedded Systems Utilizing Symbolic Execution App 20100058256 - EL-ZEIN; ALI S. ; et al.	2010-03-04
Techniques For Modeling Variables In Subprograms Of Hardware Description Language Programs App 20090193390 - DRASNY; GABOR ; et al.	2009-07-30
Predicate-based Compositional Minimization In A Verification Environment App 20080270086 - Baumgartner; Jason R. ; et al.	2008-10-30
Method for predicate-based compositional minimization in a verification environment Grant 7,437,690 - Baumgartner , et al. October 14, 2	2008-10-14
Method, System and Program Product Supporting Sequential Encoding for Relational Analysis (SERA) of a Software Model App 20080209389 - Baumgartner; Jason R. ; et al.	2008-08-28
Method and system for predicate-based compositional minimization in a verification environment App 20070106963 - Baumgartner; Jason R. ; et al.	2007-05-10

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.