Using Model Checking to Find Serious File System Errors (Awarded Best Paper!). - Junfeng Yang; Paul Twohey; Dawson R. Engler; Madanlal Musuvathi (OSDI, 2004)

From Uncertainty to Belief: Inferring the Specification Within. - Ted Kremenek; Paul Twohey; Godmar Back; Andrew Y. Ng; Dawson R. Engler (OSDI, 2006)

Automatically Generating Malicious Disks using Symbolic Execution. - Junfeng Yang; Can Sar; Paul Twohey; Cristian Cadar; Dawson R. Engler (S&P, 2006)

Using model checking to find serious file system errors. - Junfeng Yang; Paul Twohey; Dawson R. Engler; Madanlal Musuvathi (ACM Trans. Comput. Syst., 2006)