 | 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 |
