Gerwin Klein Coauthor index DBLP Vis pubzone.org

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

DBLP keys2009
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerwin Klein, Philip Derrin, Kevin Elphinstone: Experience report: seL4: formally verifying a high-performance microkernel. ICFP 2009: 91-96
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerwin 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
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafal Kolanski, Gerwin Klein: Types, Maps and Separation Logic. TPHOLs 2009: 276-292
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon Winwood, Gerwin Klein, Thomas Sewell, June Andronick, David Cock, Michael Norrish: Mind the Gap. TPHOLs 2009: 500-515
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Huuck, Gerwin Klein, Bastian Schlich: Preface. Electr. Notes Theor. Comput. Sci. 254: 1-3 (2009)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerwin Klein, Ralf Huuck, Bastian Schlich: Operating System Verification. J. Autom. Reasoning 42(2-4): 123-124 (2009)
2008
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard 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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Cock, Gerwin Klein, Thomas Sewell: Secure Microkernels, State Monads and Scalable Refinement. TPHOLs 2008: 167-182
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Beckert, Gerwin Klein: Title, Preface, Table of Contents. VERIFY 2008
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafal Kolanski, Gerwin Klein: Mapped Separation Logic. VSTTE 2008: 15-29
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDhammika Elkaduwe, Gerwin Klein, Kevin Elphinstone: Verified Protection Model of the seL4 Microkernel. VSTTE 2008: 99-114
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Huuck, Gerwin Klein, Bastian Schlich: Preface. Electr. Notes Theor. Comput. Sci. 217: 1-3 (2008)
2007
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarvey Tuch, Gerwin Klein, Michael Norrish: Types, bytes, and separation logic. POPL 2007: 97-108
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJia Meng, Lawrence C. Paulson, Gerwin Klein: A Termination Checker for Isabelle Hoare Logic. VERIFY 2007
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGernot 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
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafal Kolanski, Gerwin Klein: Formalising the L4 microkernel API. CATS 2006: 53-68
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilip 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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon Winwood, Gerwin Klein, Manuel M. T. Chakravarty: On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors. LOPSTR 2006: 111-126
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerwin 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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarvey Tuch, Gerwin Klein: A Unified Memory Model for Pointers. LPAR 2005: 474-488
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerwin Klein: Verified Java Bytecode Verification (Verified Java Bytecode Verification). it - Information Technology 47(2): 107-110 (2005)
2004
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Wildmoser, Tobias Nipkow, Gerwin Klein, Sebastian Nanz: Prototyping Proof Carrying Code. IFIP TCS 2004: 333-348
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerwin Klein, Martin Strecker: Verified bytecode verification and type-certifying compilation. J. Log. Algebr. Program. 58(1-2): 27-60 (2004)
2003
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerwin Klein, Martin Wildmoser: Verified Bytecode Subroutines. TPHOLs 2003: 55-70
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerwin Klein, Martin Wildmoser: Verified Bytecode Subroutines. J. Autom. Reasoning 30(3-4): 363-398 (2003)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerwin Klein, Tobias Nipkow: Verified bytecode verifiers. Theor. Comput. Sci. 3(298): 583-626 (2003)
2001
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerwin Klein, Tobias Nipkow: Verified lightweight bytecode verification. Concurrency and Computation: Practice and Experience 13(13): 1133-1151 (2001)
1999
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlfons Brandl, Gerwin Klein: FormGen: A Generator for Adaptive Forms Based on EasyGUI. HCI (1) 1999: 1172-1176

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)