David Y. W. Park

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2003
j1		Seth Hallem, David Y. W. Park, Dawson R. Engler: Uprooting Software Defects at the Source. ACM Queue 1(8): 64-71 (2003)
	2002
c4		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
c3		David Y. W. Park, Ulrich Stern, Jens U. Skakkebæk, David L. Dill: Java Model Checking. ASE 2000: 253-256
	1998
c2		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
c1		David Y. W. Park, Jens U. Skakkebæk, David L. Dill: Static Analysis to Identify Invariants in RSML Specifications. FTRTFT 1998: 133-142

Coauthor Index

Last update Thu May 23 19:08:47 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page