Gringauze; Anna

Patent Applications and Registrations

Patent applications and USPTO patent grants for Gringauze; Anna.The latest application filed is for "intermediate representation construction for static analysis".

Company Profile

0.10.6

Gringauze; Anna - Redmond WA
Gringauze; Anna - Haifa IL

*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
Intermediate representation construction for static analysis Grant 9,563,535 - Gringauze , et al. February 7, 2	2017-02-07
Intermediate Representation Construction For Static Analysis App 20150212924 - Gringauze; Anna ; et al.	2015-07-30
Intermediate representation construction for static analysis Grant 8,930,913 - Gringauze , et al. January 6, 2	2015-01-06
Detecting data race and atomicity violation via typestate-guided static analysis Grant 8,510,722 - Yang , et al. August 13, 2	2013-08-13
Static analysis using interactive and integration tools Grant 8,443,342 - Rohde , et al. May 14, 2	2013-05-14
Intermediate Representation Construction For Static Analysis App 20120079468 - Gringauze; Anna ; et al.	2012-03-29
Static Analysis Using Interactive And Integration Tools App 20110296388 - ROHDE; HENNING KORSHOLM ; et al.	2011-12-01
Detecting Data Race And Atomicity Violation Via Typestate-guided Static Analysis App 20110022893 - Yang; Yue ; et al.	2011-01-27
Efficient production of disjoint multiple traces Grant 7,146,301 - Ben-David , et al. December 5, 2	2006-12-05
Model checking with layered localization reduction Grant 6,957,404 - Geist , et al. October 18, 2	2005-10-18
Model checking with layered localization reduction App 20040123254 - Geist, Danny ; et al.	2004-06-24
Target design model behavior explorer Grant 6,691,078 - Beer , et al. February 10, 2	2004-02-10
Efficient production of disjoint multiple traces App 20020193974 - Ben-David, Shoham ; et al.	2002-12-19

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.