 | 2009 |
|---|
| 6 |       | 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 |
| 5 | | Simon Winwood,
Gerwin Klein,
Thomas Sewell,
June Andronick,
David Cock,
Michael Norrish:
Mind the Gap.
TPHOLs 2009: 500-515 |
| 2008 |
|---|
| 4 | | June Andronick,
Quang Huy Nguyen:
Certifying an embedded remote method invocation protocol.
SAC 2008: 352-359 |
| 2006 |
|---|
| 3 | | June Andronick:
Formally Proved Anti-tearing Properties of Embedded C Code.
ISoLA 2006: 129-136 |
| 2005 |
|---|
| 2 | | June Andronick,
Boutheina Chetali,
Christine Paulin-Mohring:
Formal Verification of Security Properties of Smart Card Embedded Source Code.
FM 2005: 302-317 |
| 2003 |
|---|
| 1 | | June Andronick,
Boutheina Chetali,
Olivier Ly:
Using Coq to Verify Java Card Applet Isolation Properties.
TPHOLs 2003: 335-351 |
