David Melski (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

8		Gogul Balakrishnan, Thomas W. Reps, Nicholas Kidd, Akash Lal, Junghee Lim, David Melski, Radu Gruian, Suan Hsi Yong, Chi-Hua Chen, Tim Teitelbaum: Model Checking x86 Executables with CodeSurfer/x86 and WPDS++. CAV 2005: 158-163
7		Gogul Balakrishnan, Thomas W. Reps, David Melski, Tim Teitelbaum: WYSINWYX: What You See Is Not What You eXecute. VSTTE 2005: 202-213

Selection of 2 from 8 records - David Melski has 14 coauthors