| 2003 |
|---|
| 5 | EE | Seth Hallem,
David Y. W. Park,
Dawson R. Engler:
Uprooting Software Defects at the Source.
ACM Queue 1(8): 64-71 (2003) |
| 2002 |
|---|
| 4 | EE | Madanlal Musuvathi,
David Y. W. Park,
Andy Chou,
Dawson R. Engler,
David L. Dill:
CMC: A Pragmatic Approach to Model Checking Real Code.
OSDI 2002 |
| 2000 |
|---|
| 3 | EE | David Y. W. Park,
Ulrich Stern,
Jens U. Skakkebæk,
David L. Dill:
Java Model Checking.
ASE 2000: 253-256 |
| 1998 |
|---|
| 2 | EE | David Y. W. Park,
Jens U. Skakkebæk,
Mats Per Erik Heimdahl,
Barbara J. Czerny,
David L. Dill:
Checking properties of safety critical specifications using efficient decision procedures.
FMSP 1998: 34-43 |
| 1 | EE | David Y. W. Park,
Jens U. Skakkebæk,
David L. Dill:
Static Analysis to Identify Invariants in RSML Specifications.
FTRTFT 1998: 133-142 |
