LexDanaLexDanabeta
Inventor

Vladimir A. Levin

Inventor
Redmond, WA, US

Overview

13→
Patents
2001–2021
Patent span
Physics
Primary field (CPC G)

Patents· 13 as inventor

Public. Assignee & technology derived from the patent record. Each patent links to its LexDana page.

G06Fprimary
G06FElectric digital data processing92%
Y02DClimate change mitigation technologies in information and communication technologies [ict], i.e. information and communication technologies aiming at the reduction of their own energy use8%
PatentTitleYear
10,936,469Software component verification using random selection on pooled devices202110,783,058Extensible device driver verification202010,747,646Extensible device driver verification202010,467,082Device driver verification201910,452,459Device driver telemetry20199,519,495'Timed API rules for runtime verification'20168,826,238'Per group verification'20148,595,707'Processing predicates including pointer information'20138,402,444'Program analysis through predicate abstraction and refinement'20138,074,205'Binary verification service'20117,650,595'Sound transaction-based reduction without cycle detection'20106,295,515'Static partial order reduction'20016,209,120'Verifying hardware in its software context and vice-versa'2001

Career & activity timeline

Assembled from patent assignee/location history and declaration credentials.

2001Based in New Providence, NJ, US· patent location history
2010–2014Patents assigned to MICROSOFT CORP (5)· patent assignee history
2010–2021Based in Redmond, WA, US· patent location history
2011–2014Patents assigned to LEVIN VLADIMIR A (4)· patent assignee history
2013Patents assigned to BALL THOMAS J (2)· patent assignee history
2013Patents assigned to BOUNIMOVA ELEONORA O (2)· patent assignee history
2016–2021Patents assigned to MICROSOFT TECHNOLOGY LICENSING LLC (5)· patent assignee history

Inventor activity

Assignee and location history derived from the patent record.

Assignees
AssigneePatentsSpan
MICROSOFT CORP52010–2014
MICROSOFT TECHNOLOGY LICENSING LLC52016–2021
LEVIN VLADIMIR Aself42011–2014
BALL THOMAS J22013
BOUNIMOVA ELEONORA O22013
Locations
LocationPatentsSpan
Redmond, Washington, US112010–2021
New Providence, New Jersey, US22001