| 2008 |
|---|
| 7 | EE | Akash Lal,
Tayssir Touili,
Nicholas Kidd,
Thomas W. Reps:
Interprocedural Analysis of Concurrent Programs Under a Context Bound.
TACAS 2008: 282-298 |
| 2007 |
|---|
| 6 | EE | Thomas W. Reps,
Akash Lal,
Nicholas Kidd:
Program Analysis Using Weighted Pushdown Systems.
FSTTCS 2007: 23-51 |
| 5 | EE | Akash Lal,
Nicholas Kidd,
Thomas W. Reps,
Tayssir Touili:
Abstract Error Projection.
SAS 2007: 200-217 |
| 2006 |
|---|
| 4 | EE | Sagar Chaki,
Edmund M. Clarke,
Nicholas Kidd,
Thomas W. Reps,
Tayssir Touili:
Verifying Concurrent Message-Passing C Programs with Recursive Calls.
TACAS 2006: 334-349 |
| 2005 |
|---|
| 3 | EE | Shai Rubin,
Mihai Christodorescu,
Vinod Ganapathy,
Jonathon T. Giffin,
Louis Kruger,
Hao Wang,
Nicholas Kidd:
An auctioning reputation system based on anomaly.
ACM Conference on Computer and Communications Security 2005: 270-279 |
| 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 | Mihai Christodorescu,
Nicholas Kidd,
Wen-Han Goh:
String analysis for x86 binaries.
PASTE 2005: 88-95 |
