Thomas Tuerk

According to our database, Thomas Tuerk authored at least 10 papers between 2005 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2016

Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor.

Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz, Keiko Nakata, Jorge Luis Sacchini, Hendrik Tews, Thomas Tuerk

Proceedings of the FM 2016: Formal Methods, 2016

2015

SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems.

Tom Ridge, David Sheets, Thomas Tuerk, Andrea Giugliano, Anil Madhavapeddy, Peter Sewell

Proceedings of the 25th Symposium on Operating Systems Principles, 2015

Pattern Matches in HOL: - A New Representation and Improved Code Generation.

Thomas Tuerk, Magnus O. Myreen, Ramana Kumar

Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

2012

Applying Data Refinement for Monadic Programs to Hopcroft's Algorithm.

Peter Lammich, Thomas Tuerk

Proceedings of the Interactive Theorem Proving - Third International Conference, 2012

2011

A separation logic framework for HOL.

Thomas Tuerk

PhD thesis, 2011

The 1st Verified Software Competition: Experience Report.

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ß

Proceedings of the FM 2011: Formal Methods, 2011

2009

A Formalisation of Smallfoot in HOL.

Thomas Tuerk

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

2006

Model Checking PSL Using HOL and SMV.

Thomas Tuerk, Klaus Schneider, Mike Gordon

Proceedings of the Hardware and Software, 2006

2005

From PSL to LTL: A Formal Validation in HOL.

Thomas Tuerk, Klaus Schneider

Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005

Maximal Causality Analysis.

Klaus Schneider, Jens Brandt, Tobias Schüle, Thomas Tuerk

Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005