Arnaud Venet (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

8 Arnaud Venet, Guillaume P. Brat: Precise and efficient static array bound checking for large embedded C programs. PLDI 2004: 231-242

6 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)

Selection of 2 from 9 records - Arnaud Venet has 9 coauthors

8		Arnaud Venet, Guillaume P. Brat: Precise and efficient static array bound checking for large embedded C programs. PLDI 2004: 231-242
6		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)