Vladimir Levin

	2011
24		Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey: Formalizing hardware/software interface specifications. ASE 2011: 143-152
23		Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin: Model Checking Büchi Pushdown Systems. FASE 2011: 141-155
22		Thomas Ball, Vladimir Levin, Sriram K. Rajamani: A decade of software model checking with SLAM. Commun. ACM 54(7): 68-76 (2011)
	2010
21		Thomas Ball, Ella Bounimova, Vladimir Levin, Rahul Kumar, Jakob Lichtenberg: The Static Driver Verifier Research Platform. CAV 2010: 119-122
20		Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin: Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification. CAV 2010: 339-353
19		Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey: An Automata-Theoretic Approach to Hardware/Software Co-verification. FASE 2010: 248-262
18		Thomas Ball, Ella Bounimova, Rahul Kumar, Vladimir Levin: SLAM2: Static driver verification with under 4% false alarms. FMCAD 2010: 35-42
	2006
17		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		Vladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani: Sound Transaction-Based Reduction Without Cycle Detection. SPIN 2005: 106-122
	2004
15		Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne: Translating Software Designs for Model Checking. FASE 2004: 324-338
14		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		Vladimir Levin: Static driver verifier, a formal verification tool for Windows device drivers. MEMOCODE 2004: 151
12		Thomas Ball, Vladimir Levin, Fei Xie: Automatic Creation of Environment Models via Training. TACAS 2004: 93-107
11		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		Robert P. Kurshan, Vladimir Levin, Hüsnü Yenigün: Compressing Transitions for Model Checking. CAV 2002: 569-581
9		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		Fei Xie, Vladimir Levin, James C. Browne: Model Checking for an Executable Subset of UML. ASE 2001: 333-336
6		Vladimir Levin, Hüsnü Yenigün: SDLcheck: A Model Checking Tool. CAV 2001: 377
	1999
5		Hüsnü Yenigün, Vladimir Levin, Doron Peled, Peter A. Beerel: Hazard-Freedom Checking in Speed-Independent Systems. CHARME 1999: 317-320
	1998
4		Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Static Partial Order Reduction. TACAS 1998: 345-357
	1997
3		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] [18] [19] [20] [21] [22] [23] [24]
2	Peter A. Beerel	[5]
3	Ella Bounimova	[17] [18] [21]
4	James C. Browne	[7] [9] [11] [15]
5	Byron Cook	[14] [17]
6	Rahul Kumar	[18] [21]
7	Robert P. Kurshan	[3] [4] [8] [10] [11] [15]
8	Juncao Li	[19] [20] [23] [24]
9	Jakob Lichtenberg	[17] [21]
10	Con McGarvey	[17] [19] [24]
11	Marius Minea	[3] [4] [8]
12	Bohus Ondrusek	[17]
13	Robert Palmer	[16]
14	Doron Peled	[2] [3] [4] [5] [8]
15	Shaz Qadeer	[16]
16	Sriram K. Rajamani	[14] [16] [17] [22]
17	Natasha Sharygina	[11]
18	Abdullah Ustuner	[17]
19	Fei Xie	[7] [9] [11] [12] [15] [19] [20] [23] [24]
20	Hüsnü Yenigün	[3] [4] [5] [6] [8] [10]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page