David Cock

	2010
6		Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood: seL4: formal verification of an operating-system kernel. Commun. ACM 53(6): 107-115 (2010)
	2009
5		Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood: seL4: formal verification of an OS kernel. SOSP 2009: 207-220
4		Simon Winwood, Gerwin Klein, Thomas Sewell, June Andronick, David Cock, Michael Norrish: Mind the Gap. TPHOLs 2009: 500-515
	2008
3		David Cock, Gerwin Klein, Thomas Sewell: Secure Microkernels, State Monads and Scalable Refinement. TPHOLs 2008: 167-182
2		David Cock: Bitfields and Tagged Unions in C: Verification through Automatic Generation. VERIFY 2008
	2006
1		Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, Manuel M. T. Chakravarty: Running the manual: an approach to high-assurance microkernel development. Haskell 2006: 60-71

Coauthor Index

1	June Andronick	[4] [5] [6]
2	Manuel M. T. Chakravarty	[1]
3	Philip Derrin	[1] [5] [6]
4	Dhammika Elkaduwe	[5] [6]
5	Kevin Elphinstone	[1] [5] [6]
6	Kai Engelhardt	[5] [6]
7	Gernot Heiser	[5] [6]
8	Gerwin Klein	[1] [3] [4] [5] [6]
9	Rafal Kolanski	[5] [6]
10	Michael Norrish	[4] [5] [6]
11	Thomas Sewell	[3] [4] [5] [6]
12	Harvey Tuch	[5] [6]
13	Simon Winwood	[4] [5] [6]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page