Thomas Tuerk
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2011–2016
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | FM | 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, Csar Kunz, Keiko Nakata, Jorge Luis Sacchini, Hendrik Tews, Thomas Tuerk |
| 2015 | ITP | Pattern Matches in HOL: - A New Representation and Improved Code Generation. | Thomas Tuerk, Magnus O. Myreen, Ramana Kumar |
| 2015 | SOSP | 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 |
| 2012 | ITP | Applying Data Refinement for Monadic Programs to Hopcroft's Algorithm. | Peter Lammich, Thomas Tuerk |
| 2011 | FM | The 1st Verified Software Competition: Experience Report. | Vladimir Klebanov, Peter Mller, Natarajan Shankar, Gary T. Leavens, Valentin Wstholz, 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 |