Searching for authors named Arnaud Venet – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Automatic Determination of Communication Topologies in Mobile Systems
- …Automatic Determination of Communication Topologies in Mobile Systems Arnaud Venet LIX, ' Ecole…
- Cited by 12 (1 self) – Add To MetaCart
-
A Scalable Nonuniform Pointer Analysis for Embedded Programs
- …A Scalable Nonuniform Pointer Analysis for Embedded Programs ⋆ Arnaud Venet NASA Ames Research…
- Cited by 11 (2 self) – Add To MetaCart
-
Nonuniform Alias Analysis of Recursive Data Structures and Arrays
- …Nonuniform Alias Analysis of Recursive Data Structures and Arrays ? Arnaud Venet LIX, Ecole…
- Cited by 14 (3 self) – Add To MetaCart
-
Precise and Efficient Static Array Bound Checking for Large Embedded C Programs
- …Precise and Efficient Static Array Bound Checking for Large Embedded C Programs Arnaud Venet…
- Cited by 22 (2 self) – Add To MetaCart
-
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software
- … Brat, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Mike Lowry, Corina Pasareanu, Arnaud…
- Cited by 9 (1 self) – Add To MetaCart
Showing 1 through 5.
