Gerwin Klein

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

Coauthor Index

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

Colors in the list of coauthors