P

Inventor

LEVIN VLADIMIR A

US10 patents
⚠️ This page may combine multiple inventors who share the name “LEVIN VLADIMIR A”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

MICROSOFT TECHNOLOGY LICENSING LLC

5 patents
US9519495B2Dec 13, 2016

Timed API rules for runtime verification

MICROSOFT TECHNOLOGY LICENSING LLC2 citations57
US10936469B2Mar 2, 2021

Software component verification using random selection on pooled devices

MICROSOFT TECHNOLOGY LICENSING LLC0 citations54
US10467082B2Nov 5, 2019

Device driver verification

MICROSOFT TECHNOLOGY LICENSING LLC0 citations34
US10452459B2Oct 22, 2019

Device driver telemetry

MICROSOFT TECHNOLOGY LICENSING LLC0 citations34
US10783058B2Sep 22, 2020

Extensible device driver verification

MICROSOFT TECHNOLOGY LICENSING LLC0 citations33

MICROSOFT CORP

1 patent
US7650595B2Jan 19, 2010

Sound transaction-based reduction without cycle detection

MICROSOFT CORP12 citations83

BALL THOMAS J

1 patent
US8402444B2Mar 19, 2013

Program analysis through predicate abstraction and refinement

BALL THOMAS J17 citations79

SHASTRY SHANKARA M C

1 patent
US8074205B2Dec 6, 2011

Binary verification service

SHASTRY SHANKARA M C4 citations52

BOUNIMOVA ELEONORA O

1 patent
US8595707B2Nov 26, 2013

Processing predicates including pointer information

BOUNIMOVA ELEONORA O1 citations40

SHAPIRO ADAM

1 patent
US8826238B2Sep 2, 2014

Per group verification

SHAPIRO ADAM1 citations37