Radu Gruian

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

Gogul Balakrishnan, Radu Gruian, Thomas W. Reps, Tim Teitelbaum
CodeSurfer/x86-A Platform for Analyzing x86 Executables. CC (2005)
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)