Vladimir Levin

2006
17	EE	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: 73-85
2005
16	EE	Vladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani: Sound Transaction-Based Reduction Without Cycle Detection. SPIN 2005: 106-122
2004
15	EE	Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne: Translating Software Designs for Model Checking. FASE 2004: 324-338
14	EE	Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani: SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft. IFM 2004: 1-20
13	EE	Vladimir Levin: Static driver verifier, a formal verification tool for Windows device drivers. MEMOCODE 2004: 151
12	EE	Thomas Ball, Vladimir Levin, Fei Xie: Automatic Creation of Environment Models via Training. TACAS 2004: 93-107
11	EE	Natasha Sharygina, James C. Browne, Fei Xie, Robert P. Kurshan, Vladimir Levin: Lessons Learned from Model Checking a NASA Robot Controller. Formal Methods in System Design 25(2-3): 241-270 (2004)
2002
10	EE	Robert P. Kurshan, Vladimir Levin, Hüsnü Yenigün: Compressing Transitions for Model Checking. CAV 2002: 569-581
9	EE	Fei Xie, Vladimir Levin, James C. Browne: ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs. FASE 2002: 331-335
8		Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Combining Software and Hardware Verification Techniques. Formal Methods in System Design 21(3): 251-280 (2002)
2001
7	EE	Fei Xie, Vladimir Levin, James C. Browne: Model Checking for an Executable Subset of UML. ASE 2001: 333-336
6	EE	Vladimir Levin, Hüsnü Yenigün: SDLcheck: A Model Checking Tool. CAV 2001: 377
1999
5	EE	Hüsnü Yenigün, Vladimir Levin, Doron Peled, Peter A. Beerel: Hazard-Freedom Checking in Speed-Independent Systems. CHARME 1999: 317-320
1998
4	EE	Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Static Partial Order Reduction. TACAS 1998: 345-357
1997
3	EE	Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Verifying hardware in its software context. ICCAD 1997: 742-749
2		Vladimir Levin, Doron Peled: Verification of Message Sequence Charts via Template Matching. TAPSOFT 1997: 652-666
1993
1		Vladimir Levin: Algebraically Provable Specification of Optimized Compilations. Formal Methods in Programming and Their Applications 1993: 349-362

Coauthor Index

1	Thomas Ball	[12] [14] [17]
2	Peter A. Beerel	[5]
3	Ella Bounimova	[17]
4	James C. Browne	[7] [9] [11] [15]
5	Byron Cook	[14] [17]
6	Robert P. Kurshan	[3] [4] [8] [10] [11] [15]
7	Jakob Lichtenberg	[17]
8	Con McGarvey	[17]
9	Marius Minea	[3] [4] [8]
10	Bohus Ondrusek	[17]
11	Robert Palmer	[16]
12	Doron Peled	[2] [3] [4] [5] [8]
13	Shaz Qadeer	[16]
14	Sriram K. Rajamani	[14] [16] [17]
15	Natasha Sharygina	[11]
16	Abdullah Ustuner	[17]
17	Fei Xie	[7] [9] [11] [12] [15]
18	Hüsnü Yenigün	[3] [4] [5] [6] [8] [10]