Thomas Tuerk

Publication Activity (10 Years)

Years Active: 2005-2016
Publications (10 Years): 1

Top Topics

Code Generation

Formal Analysis

Top Venues

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz, Keiko Nakata, Jorge Luis Sacchini, Hendrik Tews, Thomas Tuerk
Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor. FM (2016)
Tom Ridge, David Sheets, Thomas Tuerk, Andrea Giugliano, Anil Madhavapeddy, Peter Sewell
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems. SOSP (2015)
Thomas Tuerk, Magnus O. Myreen, Ramana Kumar
Pattern Matches in HOL: - A New Representation and Improved Code Generation. ITP (2015)
Peter Lammich, Thomas Tuerk
Applying Data Refinement for Monadic Programs to Hopcroft's Algorithm. ITP (2012)
Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß
The 1st Verified Software Competition: Experience Report. FM (2011)
Thomas Tuerk
A Formalisation of Smallfoot in HOL. TPHOLs (2009)
Thomas Tuerk, Klaus Schneider, Mike Gordon
Model Checking PSL Using HOL and SMV. Haifa Verification Conference (2006)
Klaus Schneider, Jens Brandt, Tobias Schüle, Thomas Tuerk
Maximal Causality Analysis. ACSD (2005)
Thomas Tuerk, Klaus Schneider
From PSL to LTL: A Formal Validation in HOL. TPHOLs (2005)