Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from SIGIR 2026 / reviewers in the wild / expert

Thomas Tuerk

dblp:96/5287 · DBLP profile ↗
← Back
5ranked-venue papers
1as first author
0since 2021 · last 2016
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 4 · 1 first-authorSoftware engineering, systems software and programming languages · 3

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
3 papers
Program verification · 78% Software testing · 12% Operating systems · 10%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Storage systems · 100%

Topics — the 4 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Program verification › system verification › systems code verification
hypervisor verification		 0.212016
Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor · FM 2016
Program verification › formal proof
mechanized proof		 0.212016
Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor · FM 2016
Storage systems
file systems		 0.212015
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems · SOSP 2015
Software testing
model-based testing		 0.112016
Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor · FM 2016

Methods — techniques the papers use, named apart from their topics

oracle-based testing · 0.4formal specification · 0.4model-based testing · 0.2mechanized proof · 0.2
YearPublicationVenuePosition
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 0001, Jorge Luis Sacchini, Hendrik Tews, Thomas Tuerk
 FM10
2015 Pattern Matches in HOL: - A New Representation and Improved Code Generation
Thomas Tuerk, Magnus O. Myreen, Ramana Kumar
 ITP1
2015 SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems
abstract
Systems depend critically on the behaviour of file systems, but that behaviour differs in many details, both between implementations and between each implementation and the POSIX (and other) prose specifications. Building robust and portable software requires understanding these details and differences, but there is currently no good way to systematically describe, investigate, or test file system behaviour across this complex multi-platform interface.
Tom Ridge, David Sheets, Thomas Tuerk, Andrea Giugliano, Anil Madhavapeddy, Peter Sewell
 SOSP3
2012 Applying Data Refinement for Monadic Programs to Hopcroft's Algorithm
Peter Lammich, Thomas Tuerk
 ITP2
2011 The 1st Verified Software Competition: Experience Report
Vladimir Klebanov, Peter Müller 0001, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Roderick Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs 0002, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß 0001
 FM20