The SCEAS System
Navigation Menu

Search the dblp DataBase


Arnaud Venet: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002