loadpatents
Patent applications and USPTO patent grants for Levin; Vladimir A..The latest application filed is for "extensible device driver verification".
Patent | Date |
---|---|
Software component verification using random selection on pooled devices Grant 10,936,469 - Kwon , et al. March 2, 2 | 2021-03-02 |
Extensible device driver verification Grant 10,783,058 - Kwon , et al. Sept | 2020-09-22 |
Extensible Device Driver Verification App 20200264967 - KWON; Hyuk Joon ;   et al. | 2020-08-20 |
Extensible device driver verification Grant 10,747,646 - Kwon , et al. A | 2020-08-18 |
Software Component Verification Using Random Selection On Pooled Devices App 20200250072 - Kind Code | 2020-08-06 |
Device driver verification Grant 10,467,082 - Mielke , et al. No | 2019-11-05 |
Device driver telemetry Grant 10,452,459 - Mielke , et al. Oc | 2019-10-22 |
Device Driver Verification App 20180165141 - Mielke; Markus W. ;   et al. | 2018-06-14 |
Device Driver Telemetry App 20180165145 - Mielke; Markus W. ;   et al. | 2018-06-14 |
Timed API rules for runtime verification Grant 9,519,495 - Levin , et al. December 13, 2 | 2016-12-13 |
API Rules Verification Platform App 20140372985 - Levin; Vladimir A. ;   et al. | 2014-12-18 |
Timed API Rules for Runtime Verification App 20140372986 - Levin; Vladimir A. ;   et al. | 2014-12-18 |
Per group verification Grant 8,826,238 - Shapiro , et al. September 2, 2 | 2014-09-02 |
Processing predicates including pointer information Grant 8,595,707 - Bounimova , et al. November 26, 2 | 2013-11-26 |
Program analysis through predicate abstraction and refinement Grant 8,402,444 - Ball , et al. March 19, 2 | 2013-03-19 |
Binary verification service Grant 8,074,205 - Shastry , et al. December 6, 2 | 2011-12-06 |
Processing Predicates Including Pointer Information App 20110161937 - Bounimova; Eleonora O. ;   et al. | 2011-06-30 |
Program Analysis Through Predicate Abstraction And Refinement App 20110088016 - Ball; Thomas J. ;   et al. | 2011-04-14 |
Segmentation For Static Analysis App 20100275186 - McGarvey; Conal ;   et al. | 2010-10-28 |
Per Group Verification App 20100186003 - Shapiro; Adam ;   et al. | 2010-07-22 |
Sound transaction-based reduction without cycle detection Grant 7,650,595 - Qadeer , et al. January 19, 2 | 2010-01-19 |
Precondition Rules For Static Verification Of Code App 20090319997 - Lichtenberg; Jakob Frederik ;   et al. | 2009-12-24 |
Binary Verification Service App 20080258865 - Shastry; Shankara M. C. ;   et al. | 2008-10-23 |
Sound transaction-based reduction without cycle detection App 20060248515 - Qadeer; Shaz ;   et al. | 2006-11-02 |
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.