dblp.uni-trier.dewww.uni-trier.de

Arnaud Venet

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
9EEArnaud Venet: Towards the Integration of Symbolic and Numerical Static Analysis. VSTTE 2005: 227-236
2004
8EEArnaud Venet, Guillaume P. Brat: Precise and efficient static array bound checking for large embedded C programs. PLDI 2004: 231-242
7EEArnaud Venet: A Scalable Nonuniform Pointer Analysis for Embedded Programs. SAS 2004: 149-164
6EEGuillaume 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
5EEArnaud 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
3EEArnaud 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

Coauthor Index

1Guillaume P. Brat [6] [8]
2Doron Drusinsky [6]
3Dimitra Giannakopoulou [6]
4Allen Goldberg [6]
5Klaus Havelund [6]
6Michael R. Lowry [6]
7Corina S. Pasareanu [6]
8Willem Visser [6]
9Richard Washington [6]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)