Rafal Kolanski

	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		Rafal Kolanski, Gerwin Klein: Types, Maps and Separation Logic. TPHOLs 2009: 276-292
	2008
3		Rafal Kolanski, Gerwin Klein: Mapped Separation Logic. VSTTE 2008: 15-29
2		Rafal Kolanski: A Logic for Virtual Memory. Electr. Notes Theor. Comput. Sci. 217: 61-77 (2008)
	2006
1		Rafal Kolanski, Gerwin Klein: Formalising the L4 microkernel API. CATS 2006: 53-68

Coauthor Index

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

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page