Ella Bounimova

	2010
3		Thomas Ball, Ella Bounimova, Vladimir Levin, Rahul Kumar, Jakob Lichtenberg: The Static Driver Verifier Research Platform. CAV 2010: 119-122
2		Thomas Ball, Ella Bounimova, Rahul Kumar, Vladimir Levin: SLAM2: Static driver verification with under 4% false alarms. FMCAD 2010: 35-42
	2006
1		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

Coauthor Index

1	Thomas Ball	[1] [2] [3]
2	Byron Cook	[1]
3	Rahul Kumar	[2] [3]
4	Vladimir Levin	[1] [2] [3]
5	Jakob Lichtenberg	[1] [3]
6	Con McGarvey	[1]
7	Bohus Ondrusek	[1]
8	Sriram K. Rajamani	[1]
9	Abdullah Ustuner	[1]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page