Travelled to:1 × Ireland
1 × USA
Collaborated with:T.Ridge D.Sheets A.Giugliano A.Madhavapeddy P.Sewell V.Klebanov P.Müller N.Shankar G.T.Leavens V.Wüstholz E.Alkassar R.Arthan D.Bronish R.Chapman E.Cohen M.A.Hillebrand B.Jacobs K.R.M.Leino R.Monahan F.Piessens N.Polikarpova J.Smans S.Tobies M.Ulbrich B.Weiß
Talks about:competit (1) softwar (1) verifi (1) system (1) specif (1) report (1) formal (1) experi (1) world (1) sibyl (1)
Person: Thomas Tuerk
DBLP: Tuerk:Thomas
Contributed to:
2015
2011Wrote 2 papers:
- SOSP-2015-RidgeSTGMS #file system #named #specification #testing
- SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems (TR, DS, TT, AG, AM, PS), pp. 38–53.
- FM-2011-KlebanovMSLWAABCCHJLMPPRSTTUW #case study #contest #experience
- The 1st Verified Software Competition: Experience Report (VK, PM, NS, GTL, VW, EA, RA, DB, RC, EC, MAH, BJ, KRML, RM, FP, NP, TR, JS, ST, TT, MU, BW), pp. 154–168.