| 2008 |
|---|
| 6 | EE | Cristian Cadar,
Vijay Ganesh,
Peter M. Pawlowski,
David L. Dill,
Dawson R. Engler:
EXE: Automatically Generating Inputs of Death.
ACM Trans. Inf. Syst. Secur. 12(2): (2008) |
| 2007 |
|---|
| 5 | EE | Vijay Ganesh,
David L. Dill:
A Decision Procedure for Bit-Vectors and Arrays.
CAV 2007: 519-531 |
| 2006 |
|---|
| 4 | EE | Cristian Cadar,
Vijay Ganesh,
Peter M. Pawlowski,
David L. Dill,
Dawson R. Engler:
EXE: automatically generating inputs of death.
ACM Conference on Computer and Communications Security 2006: 322-335 |
| 2003 |
|---|
| 3 | EE | Sergey Berezin,
Vijay Ganesh,
David L. Dill:
An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic.
TACAS 2003: 521-536 |
| 2002 |
|---|
| 2 | EE | Vijay Ganesh,
Sergey Berezin,
David L. Dill:
Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods.
FMCAD 2002: 171-186 |
| 1999 |
|---|
| 1 | EE | Ashok Halambi,
Peter Grun,
Vijay Ganesh,
Asheesh Khare,
Nikil D. Dutt,
Alexandru Nicolau:
EXPRESSION: A Language for Architecture Exploration through Compiler/Simulator Retargetability.
DATE 1999: 485-490 |
