David Y. W. Park

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

5EESeth Hallem, David Y. W. Park, Dawson R. Engler: Uprooting Software Defects at the Source. ACM Queue 1(8): 64-71 (2003)
4EEMadanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, David L. Dill: CMC: A Pragmatic Approach to Model Checking Real Code. OSDI 2002
3EEDavid Y. W. Park, Ulrich Stern, Jens U. Skakkebæk, David L. Dill: Java Model Checking. ASE 2000: 253-256
2EEDavid 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
1EEDavid Y. W. Park, Jens U. Skakkebæk, David L. Dill: Static Analysis to Identify Invariants in RSML Specifications. FTRTFT 1998: 133-142

Coauthor Index

1Andy Chou [4]
2Barbara J. Czerny [2]
3David L. Dill [1] [2] [3] [4]
4Dawson R. Engler [4] [5]
5Seth Hallem [5]
6Mats Per Erik Heimdahl [2]
7Madanlal Musuvathi [4]
8Jens U. Skakkebæk [1] [2] [3]
9Ulrich Stern [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)