Dhammika Elkaduwe

	2009
2		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
	2008
1		Dhammika Elkaduwe, Gerwin Klein, Kevin Elphinstone: Verified Protection Model of the seL4 Microkernel. VSTTE 2008: 99-114

Coauthor Index

1	June Andronick	[2]
2	David Cock	[2]
3	Philip Derrin	[2]
4	Kevin Elphinstone	[1] [2]
5	Kai Engelhardt	[2]
6	Gernot Heiser	[2]
7	Gerwin Klein	[1] [2]
8	Rafal Kolanski	[2]
9	Michael Norrish	[2]
10	Thomas Sewell	[2]
11	Harvey Tuch	[2]
12	Simon Winwood	[2]