| |
| 2005 | ||
|---|---|---|
| 2 | EE | 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 |
| 1 | EE | Gogul Balakrishnan, Radu Gruian, Thomas W. Reps, Tim Teitelbaum: CodeSurfer/x86-A Platform for Analyzing x86 Executables. CC 2005: 250-254 |
| 1 | Gogul Balakrishnan | [1] [2] |
| 2 | Chi-Hua Chen | [2] |
| 3 | Nicholas Kidd | [2] |
| 4 | Akash Lal | [2] |
| 5 | Junghee Lim | [2] |
| 6 | David Melski | [2] |
| 7 | Thomas W. Reps | [1] [2] |
| 8 | Tim Teitelbaum | [1] [2] |
| 9 | Suan Hsi Yong | [2] |