Inventor · disambiguated record
Vladimir A. Levin
Also filed as: LEVIN VLADIMIR A
10 granted patents·3 pending applications·37 citations·filing 2005–2019
84Inventor score
Technology areasG06F
Files withMICROSOFT TECHNOLOGY LICENSING LLC5MICROSOFT CORP4BALL THOMAS J1BOUNIMOVA ELEONORA O1SHAPIRO ADAM1
Top patents by PatentIndex Score
13 records- 0182US8402444B2Program analysis through predicate abstraction and refinementBALL THOMAS J·Filed 2009·Granted Mar 19, 2013·17 cites·21 claims
- 0281US7650595B2Sound transaction-based reduction without cycle detectionMICROSOFT CORP·Filed 2005·Granted Jan 19, 2010·12 cites·17 claims
- 0365US9519495B2Timed API rules for runtime verificationMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2013·Granted Dec 13, 2016·2 cites·20 claims
- 0460US8074205B2Binary verification serviceSHASTRY SHANKARA M C·Filed 2007·Granted Dec 6, 2011·4 cites·20 claims
- 0548US8595707B2Processing predicates including pointer informationBOUNIMOVA ELEONORA O·Filed 2009·Granted Nov 26, 2013·1 cites·20 claims
- 0647US10936469B2Software component verification using random selection on pooled devicesMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2019·Granted Mar 2, 2021·0 cites·20 claims
- 0746US8826238B2Per group verificationSHAPIRO ADAM·Filed 2009·Granted Sep 2, 2014·1 cites·20 claims
- 0843US2010275186A1Segmentation for static analysisMICROSOFT CORP·Filed 2009·Application pending·0 cites
- 0942US2014372985A1API Rules Verification PlatformMICROSOFT CORP·Filed 2013·Application pending·0 cites
- 1041US10783058B2Extensible device driver verificationMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2019·Granted Sep 22, 2020·0 cites·20 claims
- 1141US2009319997A1Precondition rules for static verification of codeMICROSOFT CORP·Filed 2008·Application pending·0 cites
- 1239US10467082B2Device driver verificationMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2016·Granted Nov 5, 2019·0 cites·20 claims
- 1337US10452459B2Device driver telemetryMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2016·Granted Oct 22, 2019·0 cites·20 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →