dblp.uni-trier.dewww.uni-trier.de

Gerwin Klein Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
27EEGerwin Klein, Philip Derrin, Kevin Elphinstone: Experience report: seL4: formally verifying a high-performance microkernel. ICFP 2009: 91-96
26EEGerwin 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
25EERafal Kolanski, Gerwin Klein: Types, Maps and Separation Logic. TPHOLs 2009: 276-292
24EESimon Winwood, Gerwin Klein, Thomas Sewell, June Andronick, David Cock, Michael Norrish: Mind the Gap. TPHOLs 2009: 500-515
23EEGerwin Klein, Ralf Huuck, Bastian Schlich: Operating System Verification. J. Autom. Reasoning 42(2-4): 123-124 (2009)
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
21EEDavid Cock, Gerwin Klein, Thomas Sewell: Secure Microkernels, State Monads and Scalable Refinement. TPHOLs 2008: 167-182
20EEBernhard Beckert, Gerwin Klein: Title, Preface, Table of Contents. VERIFY 2008
19EERafal Kolanski, Gerwin Klein: Mapped Separation Logic. VSTTE 2008: 15-29
18EEDhammika Elkaduwe, Gerwin Klein, Kevin Elphinstone: Verified Protection Model of the seL4 Microkernel. VSTTE 2008: 99-114
17EERalf Huuck, Gerwin Klein, Bastian Schlich: Preface. Electr. Notes Theor. Comput. Sci. 217: 1-3 (2008)
2007
16EEHarvey Tuch, Gerwin Klein, Michael Norrish: Types, bytes, and separation logic. POPL 2007: 97-108
15EEJia Meng, Lawrence C. Paulson, Gerwin Klein: A Termination Checker for Isabelle Hoare Logic. VERIFY 2007
14EEGernot 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
13EERafal Kolanski, Gerwin Klein: Formalising the L4 microkernel API. CATS 2006: 53-68
12EEPhilip 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
11EESimon Winwood, Gerwin Klein, Manuel M. T. Chakravarty: On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors. LOPSTR 2006: 111-126
10EEGerwin 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
9EEHarvey Tuch, Gerwin Klein: A Unified Memory Model for Pointers. LPAR 2005: 474-488
8EEGerwin 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
6EEGerwin Klein, Martin Strecker: Verified bytecode verification and type-certifying compilation. J. Log. Algebr. Program. 58(1-2): 27-60 (2004)
2003
5EEGerwin Klein, Martin Wildmoser: Verified Bytecode Subroutines. TPHOLs 2003: 55-70
4EEGerwin Klein, Martin Wildmoser: Verified Bytecode Subroutines. J. Autom. Reasoning 30(3-4): 363-398 (2003)
3EEGerwin 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

Coauthor Index

1June Andronick [24] [26]
2Bernhard Beckert [20] [22]
3Alfons Brandl [1]
4Manuel M. T. Chakravarty [11] [12]
5David Cock [12] [21] [24] [26]
6Philip Derrin [12] [26] [27]
7Dhammika Elkaduwe [18] [26]
8Kevin Elphinstone [12] [14] [18] [26] [27]
9Kai Engelhardt [26]
10Gernot Heiser [14] [26]
11Ralf Huuck [17] [23]
12Rafal Kolanski [13] [19] [25] [26]
13Ihor Kuz [14]
14Jia Meng [15]
15Sebastian Nanz [7]
16Tobias Nipkow [2] [3] [7] [10]
17Michael Norrish [16] [24] [26]
18Lawrence C. Paulson [15]
19Stefan M. Petters [14]
20Bastian Schlich [17] [23]
21Thomas Sewell [21] [24] [26]
22Martin Strecker [6]
23Harvey Tuch [9] [16] [26]
24Martin Wildmoser [4] [5] [7]
25Simon Winwood [11] [24] [26]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)