Thomas Sewell

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2011
c5		Sascha Böhme, Anthony C. J. Fox, Thomas Sewell, Tjark Weber: Reconstruction of Z3's Bit-Vector Proofs in HOL4 and Isabelle/HOL. CPP 2011: 183-198
c4		Thomas Sewell, Simon Winwood, Peter Gammie, Toby C. Murray, June Andronick, Gerwin Klein: seL4 Enforces Integrity. ITP 2011: 325-340
	2010
j1		Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood: seL4: formal verification of an operating-system kernel. Commun. ACM 53(6): 107-115 (2010)
	2009
c3		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
c2		Simon Winwood, Gerwin Klein, Thomas Sewell, June Andronick, David Cock, Michael Norrish: Mind the Gap. TPHOLs 2009: 500-515
	2008
c1		David Cock, Gerwin Klein, Thomas Sewell: Secure Microkernels, State Monads and Scalable Refinement. TPHOLs 2008: 167-182

Coauthor Index

Last update Sat May 18 12:12:10 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page