Vladimir Levin

Publication Activity (10 Years)

Years Active: 1993-2020
Publications (10 Years): 1

Top Topics

Parallel Processing

Graphical Interface

Interactive Data Mining

Top Venues

Publications

Shuvendu K. Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal
Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost. FMCAD (2020)
Vladimir Levin, Dmitry Kharitonov, Daria Odyakova
Organizing of Parallel Processing User-Friendly Dataflow-Oriented Environment for User Tasks Execution on Cluster. PaCT (2013)
Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin
Model Checking Büchi Pushdown Systems. FASE (2011)
Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey
Formalizing hardware/software interface specifications. ASE (2011)
Thomas Ball, Vladimir Levin, Sriram K. Rajamani
A decade of software model checking with SLAM. Commun. ACM 54 (7) (2011)
Thomas Ball, Ella Bounimova, Vladimir Levin, Rahul Kumar, Jakob Lichtenberg
The Static Driver Verifier Research Platform. CAV (2010)
Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey
An Automata-Theoretic Approach to Hardware/Software Co-verification. FASE (2010)
Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin
Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification. CAV (2010)
Thomas Ball, Ella Bounimova, Rahul Kumar, Vladimir Levin
SLAM2: Static driver verification with under 4% false alarms. FMCAD (2010)
Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner
Thorough static analysis of device drivers. EuroSys (2006)
Vladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani
Sound Transaction-Based Reduction Without Cycle Detection. SPIN (2005)
Natasha Sharygina, James C. Browne, Fei Xie, Robert P. Kurshan, Vladimir Levin
Lessons Learned from Model Checking a NASA Robot Controller. Formal Methods Syst. Des. 25 (2-3) (2004)
Thomas Ball, Vladimir Levin, Fei Xie
Automatic Creation of Environment Models via Training. TACAS (2004)
Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft. IFM (2004)
Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne
Translating Software Designs for Model Checking. FASE (2004)
Vladimir Levin
Static driver verifier, a formal verification tool for Windows device drivers. MEMOCODE (2004)
Fei Xie, Vladimir Levin, James C. Browne
ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs. FASE (2002)
Robert P. Kurshan, Vladimir Levin, Hüsnü Yenigün
Compressing Transitions for Model Checking. CAV (2002)
Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün
Combining Software and Hardware Verification Techniques. Formal Methods Syst. Des. 21 (3) (2002)
Fei Xie, Vladimir Levin, James C. Browne
Model Checking for an Executable Subset of UML. ASE (2001)
Vladimir Levin, Hüsnü Yenigün
SDLcheck: A Model Checking Tool. CAV (2001)
Hüsnü Yenigün, Vladimir Levin, Doron A. Peled, Peter A. Beerel
Hazard-Freedom Checking in Speed-Independent Systems. CHARME (1999)
Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün
Static Partial Order Reduction. TACAS (1998)
Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün
Verifying hardware in its software context. ICCAD (1997)
Vladimir Levin, Doron A. Peled
Verification of Message Sequence Charts via Template Matching. TAPSOFT (1997)
Vladimir Levin
Algebraically Provable Specification of Optimized Compilations. Formal Methods in Programming and Their Applications (1993)