Philip Derrin

	2010
5		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
4		Gerwin Klein, Philip Derrin, Kevin Elphinstone: Experience report: seL4: formally verifying a high-performance microkernel. ICFP 2009: 91-96
3		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
	2007
2		Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, Gernot Heiser: Towards a Practical, Verified Kernel. HotOS 2007
	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	[3] [5]
2	Manuel M. T. Chakravarty	[1]
3	David Cock	[1] [3] [5]
4	Dhammika Elkaduwe	[3] [5]
5	Kevin Elphinstone	[1] [2] [3] [4] [5]
6	Kai Engelhardt	[3] [5]
7	Gernot Heiser	[2] [3] [5]
8	Gerwin Klein	[1] [2] [3] [4] [5]
9	Rafal Kolanski	[3] [5]
10	Michael Norrish	[3] [5]
11	Timothy Roscoe	[2]
12	Thomas Sewell	[3] [5]
13	Harvey Tuch	[3] [5]
14	Simon Winwood	[3] [5]

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