Concepedia

Paul Twohey

PT

4

Publications

580

Citations

4

H-Index

2004

Active since

Affiliations

Stanford University(Current)

Paul Twohey is an author at Stanford University specializing in formal methods, computer science, and engineering.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceSoftware TestingSoftware AnalysisFormal VerificationSystem SoftwareProgram AnalysisSystems Engineering

Publications per year

2004–2006

4

Publications

4

Using model checking to find serious file system errors

Junfeng Yang, Paul Twohey, Dawson Engler et al. · ACM Transactions on Computer Systems · 2006 · 304 citations

Software Maintenance, File System, Reliability Engineering +15

From uncertainty to belief: inferring the specification within

Ted Kremenek, Paul Twohey, Godmar Back et al. · Operating Systems Design and Implementation · 2006 · 152 citations

Software Maintenance, Software Errors, Program Checking +27

Automatically generating malicious disks using symbolic execution

Junfeng Yang, Can Sar, Paul Twohey et al. · 2006 · 106 citations

Malicious Disks, Engineering, Verification +22

Using Model Checking to Find Serious File System Errors (Awarded Best Paper

Junfeng Yang, Paul Twohey, Dawson Engler et al. · Operating Systems Design and Implementation · 2004 · 18 citations

Reliability, File System, Reliability Engineering +14

Rows per page

1–4 of 4