| 2008 |
|---|
| 22 | | Bernhard Beckert,
Gerwin Klein:
Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008
CEUR-WS.org 2008 |
| 21 | EE | David Cock,
Gerwin Klein,
Thomas Sewell:
Secure Microkernels, State Monads and Scalable Refinement.
TPHOLs 2008: 167-182 |
| 20 | EE | Bernhard Beckert,
Gerwin Klein:
Title, Preface, Table of Contents.
VERIFY 2008 |
| 19 | EE | Rafal Kolanski,
Gerwin Klein:
Mapped Separation Logic.
VSTTE 2008: 15-29 |
| 18 | EE | Dhammika Elkaduwe,
Gerwin Klein,
Kevin Elphinstone:
Verified Protection Model of the seL4 Microkernel.
VSTTE 2008: 99-114 |
| 17 | EE | Ralf Huuck,
Gerwin Klein,
Bastian Schlich:
Preface.
Electr. Notes Theor. Comput. Sci. 217: 1-3 (2008) |
| 2007 |
|---|
| 16 | EE | Harvey Tuch,
Gerwin Klein,
Michael Norrish:
Types, bytes, and separation logic.
POPL 2007: 97-108 |
| 15 | EE | Jia Meng,
Lawrence C. Paulson,
Gerwin Klein:
A Termination Checker for Isabelle Hoare Logic.
VERIFY 2007 |
| 14 | EE | Gernot Heiser,
Kevin Elphinstone,
Ihor Kuz,
Gerwin Klein,
Stefan M. Petters:
Towards trustworthy computing systems: taking microkernels to the next level.
Operating Systems Review 41(4): 3-11 (2007) |
| 2006 |
|---|
| 13 | EE | Rafal Kolanski,
Gerwin Klein:
Formalising the L4 microkernel API.
CATS 2006: 53-68 |
| 12 | EE | 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 |
| 11 | EE | Simon Winwood,
Gerwin Klein,
Manuel M. T. Chakravarty:
On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors.
LOPSTR 2006: 111-126 |
| 10 | EE | Gerwin Klein,
Tobias Nipkow:
A machine-checked model for a Java-like language, virtual machine, and compiler.
ACM Trans. Program. Lang. Syst. 28(4): 619-695 (2006) |
| 2005 |
|---|
| 9 | EE | Harvey Tuch,
Gerwin Klein:
A Unified Memory Model for Pointers.
LPAR 2005: 474-488 |
| 8 | EE | Gerwin Klein:
Verified Java Bytecode Verification (Verified Java Bytecode Verification).
it - Information Technology 47(2): 107-110 (2005) |
| 2004 |
|---|
| 7 | | Martin Wildmoser,
Tobias Nipkow,
Gerwin Klein,
Sebastian Nanz:
Prototyping Proof Carrying Code.
IFIP TCS 2004: 333-348 |
| 6 | EE | Gerwin Klein,
Martin Strecker:
Verified bytecode verification and type-certifying compilation.
J. Log. Algebr. Program. 58(1-2): 27-60 (2004) |
| 2003 |
|---|
| 5 | EE | Gerwin Klein,
Martin Wildmoser:
Verified Bytecode Subroutines.
TPHOLs 2003: 55-70 |
| 4 | EE | Gerwin Klein,
Martin Wildmoser:
Verified Bytecode Subroutines.
J. Autom. Reasoning 30(3-4): 363-398 (2003) |
| 3 | EE | Gerwin Klein,
Tobias Nipkow:
Verified bytecode verifiers.
Theor. Comput. Sci. 3(298): 583-626 (2003) |
| 2001 |
|---|
| 2 | | Gerwin Klein,
Tobias Nipkow:
Verified lightweight bytecode verification.
Concurrency and Computation: Practice and Experience 13(13): 1133-1151 (2001) |
| 1999 |
|---|
| 1 | | Alfons Brandl,
Gerwin Klein:
FormGen: A Generator for Adaptive Forms Based on EasyGUI.
HCI (1) 1999: 1172-1176 |
