Vladimir A. Levin

Person

Redmond, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Software component verification using random selection on pooled de...
- Patent number 10,936,469
- Issue date Mar 2, 2021
- Microsoft Technology Licensing, LLC
- Hyuk Joon Kwon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Extensible device driver verification
- Patent number 10,783,058
- Issue date Sep 22, 2020
- Microsoft Technology Licensing, LLC
- Hyuk Joon Kwon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Extensible device driver verification
- Patent number 10,747,646
- Issue date Aug 18, 2020
- Microsoft Technology Licensing, LLC
- Hyuk Joon Kwon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Device driver verification
- Patent number 10,467,082
- Issue date Nov 5, 2019
- Microsoft Technology Licensing, LLC
- Markus W. Mielke
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Device driver telemetry
- Patent number 10,452,459
- Issue date Oct 22, 2019
- Microsoft Technology Licensing, LLC
- Markus W. Mielke
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Timed API rules for runtime verification
- Patent number 9,519,495
- Issue date Dec 13, 2016
- Microsoft Technology Licensing, LLC
- Vladimir A. Levin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Per group verification
- Patent number 8,826,238
- Issue date Sep 2, 2014
- Microsoft Corporation
- Adam Shapiro
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Processing predicates including pointer information
- Patent number 8,595,707
- Issue date Nov 26, 2013
- Microsoft Corporation
- Eleonora O. Bounimova
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Program analysis through predicate abstraction and refinement
- Patent number 8,402,444
- Issue date Mar 19, 2013
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Binary verification service
- Patent number 8,074,205
- Issue date Dec 6, 2011
- Microsoft Corporation
- Shankara M. C. Shastry
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Sound transaction-based reduction without cycle detection
- Patent number 7,650,595
- Issue date Jan 19, 2010
- Microsoft Corporation
- Shaz Qadeer
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
EXTENSIBLE DEVICE DRIVER VERIFICATION
- Publication number 20200264967
- Publication date Aug 20, 2020
- Microsoft Technology Licensing, LLC
- Hyuk Joon KWON
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOFTWARE COMPONENT VERIFICATION USING RANDOM SELECTION ON POOLED DE...
- Publication number 20200250072
- Publication date Aug 6, 2020
- Microsoft Technology Licensing, LLC
- Hyuk Joon KWON
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DEVICE DRIVER VERIFICATION
- Publication number 20180165141
- Publication date Jun 14, 2018
- Microsoft Technology Licensing, LLC
- Markus W. Mielke
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DEVICE DRIVER TELEMETRY
- Publication number 20180165145
- Publication date Jun 14, 2018
- Microsoft Technology Licensing, LLC
- Markus W. Mielke
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
API Rules Verification Platform
- Publication number 20140372985
- Publication date Dec 18, 2014
- Vladimir A. Levin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Timed API Rules for Runtime Verification
- Publication number 20140372986
- Publication date Dec 18, 2014
- Vladimir A. Levin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROCESSING PREDICATES INCLUDING POINTER INFORMATION
- Publication number 20110161937
- Publication date Jun 30, 2011
- Microsoft Corporation
- Eleonora O. Bounimova
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROGRAM ANALYSIS THROUGH PREDICATE ABSTRACTION AND REFINEMENT
- Publication number 20110088016
- Publication date Apr 14, 2011
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SEGMENTATION FOR STATIC ANALYSIS
- Publication number 20100275186
- Publication date Oct 28, 2010
- Microsoft Corporation
- Conal McGarvey
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Per Group Verification
- Publication number 20100186003
- Publication date Jul 22, 2010
- Microsoft Corporation
- Adam Shapiro
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PRECONDITION RULES FOR STATIC VERIFICATION OF CODE
- Publication number 20090319997
- Publication date Dec 24, 2009
- Microsoft Corporation
- Jakob Frederik Lichtenberg
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
BINARY VERIFICATION SERVICE
- Publication number 20080258865
- Publication date Oct 23, 2008
- Microsoft Corporation
- Shankara M. C. Shastry
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Sound transaction-based reduction without cycle detection
- Publication number 20060248515
- Publication date Nov 2, 2006
- Microsoft Corporation
- Shaz Qadeer
- G06 - COMPUTING CALCULATING COUNTING

Vladimir A. Levin

Person

Patents Grantslast 30 patents

Software component verification using random selection on pooled de...

Extensible device driver verification

Extensible device driver verification

Device driver verification

Device driver telemetry

Timed API rules for runtime verification

Per group verification

Processing predicates including pointer information

Program analysis through predicate abstraction and refinement

Binary verification service

Sound transaction-based reduction without cycle detection

Patents Applicationslast 30 patents

EXTENSIBLE DEVICE DRIVER VERIFICATION

SOFTWARE COMPONENT VERIFICATION USING RANDOM SELECTION ON POOLED DE...

DEVICE DRIVER VERIFICATION

DEVICE DRIVER TELEMETRY

API Rules Verification Platform

Timed API Rules for Runtime Verification

PROCESSING PREDICATES INCLUDING POINTER INFORMATION

PROGRAM ANALYSIS THROUGH PREDICATE ABSTRACTION AND REFINEMENT

SEGMENTATION FOR STATIC ANALYSIS

Per Group Verification

PRECONDITION RULES FOR STATIC VERIFICATION OF CODE

BINARY VERIFICATION SERVICE

Sound transaction-based reduction without cycle detection