 | 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 | | Simon Winwood,
Gerwin Klein,
Thomas Sewell,
June Andronick,
David Cock,
Michael Norrish:
Mind the Gap.
TPHOLs 2009: 500-515 |
| 2008 |
|---|
| 3 | | David Cock,
Gerwin Klein,
Thomas Sewell:
Secure Microkernels, State Monads and Scalable Refinement.
TPHOLs 2008: 167-182 |
| 2 | | David Cock:
Bitfields and Tagged Unions in C: Verification through Automatic Generation.
VERIFY 2008 |
| 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 |
