×

zbMATH — the first resource for mathematics

Venet, Arnaud J.

Compute Distance To:
Author ID: venet.arnaud-j Recent zbMATH articles by "Venet, Arnaud J."
Published as: Venet, A.; Venet, Arnaud; Venet, Arnaud J.
Documents Indexed: 6 Publications since 1999, including 1 Book

Publications by Year

Citations contained in zbMATH Open

5 Publications have been cited 11 times in 10 Documents Cited by Year
Experimental evaluation of verification and validation tools on Martian Rover software. Zbl 1078.68665
Brat, Guillaume; Drusinsky, Doron; Giannakopoulou, Dimitra; Goldberg, Allen; Havelund, Klaus; Lowry, Mike; Pasareanu, Corina; Venet, Arnaud; Visser, Willem; Washington, Rich
4
2004
Nonuniform alias analysis of recursive data structures and arrays. Zbl 1015.68513
Venet, Arnaud
3
2002
Automatic analysis of pointer aliasing for untyped programs. Zbl 0948.68018
Venet, A.
2
1999
Abstract interpretation with higher-dimensional ellipsoids and conic extrapolation. Zbl 1381.68178
Oulamara, Mendes; Venet, Arnaud J.
1
2015
A scalable nonuniform pointer analysis for embedded programs. Zbl 1104.68425
Venet, Arnaud
1
2004
Abstract interpretation with higher-dimensional ellipsoids and conic extrapolation. Zbl 1381.68178
Oulamara, Mendes; Venet, Arnaud J.
1
2015
Experimental evaluation of verification and validation tools on Martian Rover software. Zbl 1078.68665
Brat, Guillaume; Drusinsky, Doron; Giannakopoulou, Dimitra; Goldberg, Allen; Havelund, Klaus; Lowry, Mike; Pasareanu, Corina; Venet, Arnaud; Visser, Willem; Washington, Rich
4
2004
A scalable nonuniform pointer analysis for embedded programs. Zbl 1104.68425
Venet, Arnaud
1
2004
Nonuniform alias analysis of recursive data structures and arrays. Zbl 1015.68513
Venet, Arnaud
3
2002
Automatic analysis of pointer aliasing for untyped programs. Zbl 0948.68018
Venet, A.
2
1999

Citations by Year