| 2005 |
|---|
| 9 | EE | Arnaud Venet:
Towards the Integration of Symbolic and Numerical Static Analysis.
VSTTE 2005: 227-236 |
| 2004 |
|---|
| 8 | EE | Arnaud Venet,
Guillaume P. Brat:
Precise and efficient static array bound checking for large embedded C programs.
PLDI 2004: 231-242 |
| 7 | EE | Arnaud Venet:
A Scalable Nonuniform Pointer Analysis for Embedded Programs.
SAS 2004: 149-164 |
| 6 | EE | Guillaume P. Brat,
Doron Drusinsky,
Dimitra Giannakopoulou,
Allen Goldberg,
Klaus Havelund,
Michael R. Lowry,
Corina S. Pasareanu,
Arnaud Venet,
Willem Visser,
Richard Washington:
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software.
Formal Methods in System Design 25(2-3): 167-198 (2004) |
| 2002 |
|---|
| 5 | EE | Arnaud Venet:
Nonuniform Alias Analysis of Recursive Data Structures and Arrays.
SAS 2002: 36-51 |
| 1999 |
|---|
| 4 | | Arnaud Venet:
Automatic Analysis of Pointer Aliasing for Untyped Programs.
Sci. Comput. Program. 35(2): 223-248 (1999) |
| 1998 |
|---|
| 3 | EE | Arnaud Venet:
Automatic Determination of Communication Topologies in Mobile Systems.
SAS 1998: 152-167 |
| 1996 |
|---|
| 2 | | Arnaud Venet:
Abstract Interpretation of the pi-Calculus.
LOMAPS 1996: 51-75 |
| 1 | | Arnaud Venet:
Abstract Cofibered Domains: Application to the Alias Analysis of Untyped Programs.
SAS 1996: 366-382 |
