Vladimir Levin

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