Search the dblp DataBase

Publications of Author

1. Arnaud Venet
   Abstract Interpretation of the pi-Calculus. [Citation Graph (0, 0)][DBLP]
   LOMAPS, 1996, pp:51-75 [Conf]
   
2. Arnaud Venet, Guillaume P. Brat
   Precise and efficient static array bound checking for large embedded C programs. [Citation Graph (0, 0)][DBLP]
   PLDI, 2004, pp:231-242 [Conf]
   
3. Arnaud Venet
   Nonuniform Alias Analysis of Recursive Data Structures and Arrays. [Citation Graph (0, 0)][DBLP]
   SAS, 2002, pp:36-51 [Conf]
   
4. Arnaud Venet
   A Scalable Nonuniform Pointer Analysis for Embedded Programs. [Citation Graph (0, 0)][DBLP]
   SAS, 2004, pp:149-164 [Conf]
   
5. Arnaud Venet
   Abstract Cofibered Domains: Application to the Alias Analysis of Untyped Programs. [Citation Graph (0, 0)][DBLP]
   SAS, 1996, pp:366-382 [Conf]
   
6. Arnaud Venet
   Automatic Determination of Communication Topologies in Mobile Systems. [Citation Graph (0, 0)][DBLP]
   SAS, 1998, pp:152-167 [Conf]
   
7. 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. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2004, v:25, n:2-3, pp:167-198 [Journal]
   
8. Arnaud Venet
   Automatic Analysis of Pointer Aliasing for Untyped Programs. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1999, v:35, n:2, pp:223-248 [Journal]
   
9. 
   Towards the Integration of Symbolic and Numerical Static Analysis. [Citation Graph (, )][DBLP]