Vladimir Levin

According to our database, Vladimir Levin authored at least 26 papers between 1993 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2020

Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost.

Shuvendu K. Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2013

Organizing of Parallel Processing User-Friendly Dataflow-Oriented Environment for User Tasks Execution on Cluster.

Vladimir Levin, Dmitry Kharitonov, Daria Odyakova

Proceedings of the Parallel Computing Technologies - 12th International Conference, 2013

2011

A decade of software model checking with SLAM.

Thomas Ball, Vladimir Levin, Sriram K. Rajamani

Commun. ACM, 2011

Formalizing hardware/software interface specifications.

Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Model Checking Büchi Pushdown Systems.

Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin

Proceedings of the Fundamental Approaches to Software Engineering, 2011

2010

SLAM2: Static driver verification with under 4% false alarms.

Thomas Ball, Ella Bounimova, Rahul Kumar, Vladimir Levin

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

An Automata-Theoretic Approach to Hardware/Software Co-verification.

Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey

Proceedings of the Fundamental Approaches to Software Engineering, 2010

Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification.

Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

The Static Driver Verifier Research Platform.

Thomas Ball, Ella Bounimova, Vladimir Levin, Rahul Kumar, Jakob Lichtenberg

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2006

Thorough static analysis of device drivers.

Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner

Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, 2006

2005

Sound Transaction-Based Reduction Without Cycle Detection.

Vladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani

Proceedings of the Model Checking Software, 2005

2004

Lessons Learned from Model Checking a NASA Robot Controller.

Natasha Sharygina, James C. Browne, Fei Xie, Robert P. Kurshan, Vladimir Levin

Formal Methods Syst. Des., 2004

Automatic Creation of Environment Models via Training.

Thomas Ball, Vladimir Levin, Fei Xie

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Static driver verifier, a formal verification tool for Windows device drivers.

Vladimir Levin

Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004

SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft.

Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

Translating Software Designs for Model Checking.

Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne

Proceedings of the Fundamental Approaches to Software Engineering, 2004

2002

Combining Software and Hardware Verification Techniques.

Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün

Formal Methods Syst. Des., 2002

ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs.

Fei Xie, Vladimir Levin, James C. Browne

Proceedings of the Fundamental Approaches to Software Engineering, 2002

Compressing Transitions for Model Checking.

Robert P. Kurshan, Vladimir Levin, Hüsnü Yenigün

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

Model Checking for an Executable Subset of UML.

Fei Xie, Vladimir Levin, James C. Browne

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

SDLcheck: A Model Checking Tool.

Vladimir Levin, Hüsnü Yenigün

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

1999

Hazard-Freedom Checking in Speed-Independent Systems.

Hüsnü Yenigün, Vladimir Levin, Doron A. Peled, Peter A. Beerel

Proceedings of the Correct Hardware Design and Verification Methods, 1999

1998

Static Partial Order Reduction.

Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

1997

Verification of Message Sequence Charts via Template Matching.

Vladimir Levin, Doron A. Peled

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Verifying hardware in its software context.

Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün

Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997

1993

Algebraically Provable Specification of Optimized Compilations.

Vladimir Levin

Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993