|
Search the dblp DataBase
Paul Twohey:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi
Using Model Checking to Find Serious File System Errors (Awarded Best Paper!). [Citation Graph (0, 0)][DBLP] OSDI, 2004, pp:273-288 [Conf]
- Ted Kremenek, Paul Twohey, Godmar Back, Andrew Y. Ng, Dawson R. Engler
From Uncertainty to Belief: Inferring the Specification Within. [Citation Graph (0, 0)][DBLP] OSDI, 2006, pp:161-176 [Conf]
- Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar, Dawson R. Engler
Automatically Generating Malicious Disks using Symbolic Execution. [Citation Graph (0, 0)][DBLP] S&P, 2006, pp:243-257 [Conf]
- Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi
Using model checking to find serious file system errors. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Syst., 2006, v:24, n:4, pp:393-423 [Journal]
Search in 0.001secs, Finished in 0.001secs
|