Gerwin Klein - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

seL4 Enforces IntegrityThomas Sewell, Simon Winwood, Peter Gammie, Toby Murray, June Andronick, Gerwin Klein. itp 2011: 325-340 [doi]

2010

2009

2008

Title, Preface, Table of ContentsBernhard Beckert, Gerwin Klein. cade 2008: [doi]

Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008Bernhard Beckert, Gerwin Klein, editors, Volume 372 of CEUR Workshop Proceedings, CEUR-WS.org, 2008.

Secure Microkernels, State Monads and Scalable RefinementDavid Cock, Gerwin Klein, Thomas Sewell. tphol 2008: 167-182 [doi]

Verified Protection Model of the seL4 MicrokernelDhammika Elkaduwe, Gerwin Klein, Kevin Elphinstone. vstte 2008: 99-114 [doi]

PrefaceRalf Huuck, Gerwin Klein, Bastian Schlich. ENTCS, 217:1-3, 2008. [doi]

Mapped Separation LogicRafal Kolanski, Gerwin Klein. vstte 2008: 15-29 [doi]

2007

2006

2005

Verified Java Bytecode Verification (Verified Java Bytecode Verification)Gerwin Klein. it, 47(2):107-110, 2005. [doi]

OS Verification - Now!Harvey Tuch, Gerwin Klein, Gernot Heiser. hotos 2005: [doi]

A Unified Memory Model for PointersHarvey Tuch, Gerwin Klein. lpar 2005: 474-488 [doi]

2004

Verified bytecode verification and type-certifying compilationGerwin Klein, Martin Strecker. jlp, 58(1-2):27-60, 2004. [doi]

Prototyping Proof Carrying CodeMartin Wildmoser, Tobias Nipkow, Gerwin Klein, Sebastian Nanz. ifipTCS 2004: 333-348

2003

Verified bytecode verifiersGerwin Klein, Tobias Nipkow. TCS, 3(298):583-626, 2003. [doi]

Verified Bytecode SubroutinesGerwin Klein, Martin Wildmoser. tphol 2003: 55-70 [doi]

Verified Bytecode SubroutinesGerwin Klein, Martin Wildmoser. JAR, 30(3-4):363-398, 2003. [doi]

2001

Verified lightweight bytecode verificationGerwin Klein, Tobias Nipkow. concurrency, 13(13):1133-1151, 2001.

1999

FormGen: A Generator for Adaptive Forms Based on EasyGUIAlfons Brandl, Gerwin Klein. hci 1999: 1172-1176