Travelled to:2 × USA
Collaborated with:D.R.Engler J.Yang M.Musuvathi T.Kremenek G.Back A.Y.Ng
Talks about:uncertainti (1) serious (1) within (1) system (1) specif (1) belief (1) model (1) infer (1) error (1) check (1)
Person: Paul Twohey
DBLP: Twohey:Paul
Contributed to:
20062004Wrote 2 papers:
- OSDI-2006-KremenekTBNE #nondeterminism #specification
- From Uncertainty to Belief: Inferring the Specification Within (TK, PT, GB, AYN, DRE), pp. 161–176.
- OSDI-2004-YangTEM #fault #file system #model checking #using
- Using Model Checking to Find Serious File System Errors (JY, PT, DRE, MM), pp. 273–288.