Dhammika Elkaduwe

	2010
3		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
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] [3]
2	David Cock	[2] [3]
3	Philip Derrin	[2] [3]
4	Kevin Elphinstone	[1] [2] [3]
5	Kai Engelhardt	[2] [3]
6	Gernot Heiser	[2] [3]
7	Gerwin Klein	[1] [2] [3]
8	Rafal Kolanski	[2] [3]
9	Michael Norrish	[2] [3]
10	Thomas Sewell	[2] [3]
11	Harvey Tuch	[2] [3]
12	Simon Winwood	[2] [3]

Last update Fri Feb 10 22:28:48 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page