Concepedia

Vladimir Levin

VL

Statistics

Publications

10

Citations

892

H-Index

10

Active since

1997

Affiliations

Microsoft (United States)(Current)

Carnegie Mellon University

The University of Texas at Austin

Microsoft (Finland)

Vladimir Levin is an author at Microsoft (United States) specializing in computer science, computing, and formal methods.

Publications per year

1997–2011

10

Publications

10

Thorough static analysis of device drivers

Thomas Ball, Ella Bounimova, Byron Cook et al. · 2006 · 378 citations

Computing, Computer Science, Computer Systems +13

A decade of software model checking with SLAM

Thomas Ball, Vladimir Levin, Sriram K. Rajamani · Communications of the ACM · 2011 · 219 citations

Computing, Computer Engineering, Computer Science +11

Thorough static analysis of device drivers

Thomas Ball, Ella Bounimova, Byron Cook et al. · ACM SIGOPS Operating Systems Review · 2006 · 96 citations

Computing, Computer Science, Computer Systems +13

SLAM2: static driver verification with under 4% false alarms

Thomas Ball, Ella Bounimova, Rahul Kumar et al. · Formal Methods in Computer-Aided Design · 2010 · 74 citations

Computing, Computer Engineering, Computer Science +13

Model checking for an executable subset of UML

Fei Xie, Vladimir Levin, James C. Browne · 2005 · 40 citations

Computing, Computer Science, Formal Methods +16

1–5 of 10