Abstract Interpretation of the pi-Calculus. - Arnaud Venet (LOMAPS, 1996)

Abstract Cofibered Domains: Application to the Alias Analysis of Untyped Programs. - Arnaud Venet (SAS, 1996)

Automatic Determination of Communication Topologies in Mobile Systems. - Arnaud Venet (SAS, 1998)

Automatic Analysis of Pointer Aliasing for Untyped Programs. - Arnaud Venet (Sci. Comput. Program., 1999)

Nonuniform Alias Analysis of Recursive Data Structures and Arrays. - Arnaud Venet (SAS, 2002)

Precise and efficient static array bound checking for large embedded C programs. - Arnaud Venet; Guillaume P. Brat (PLDI, 2004)

A Scalable Nonuniform Pointer Analysis for Embedded Programs. - Arnaud Venet (SAS, 2004)

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. - Guillaume P. Brat; Doron Drusinsky; Dimitra Giannakopoulou; Allen Goldberg; Klaus Havelund; Michael R. Lowry; Corina S. Pasareanu; Arnaud Venet; Willem Visser; Richard Washington (Formal Methods Syst. Des., 2004)

Towards the Integration of Symbolic and Numerical Static Analysis. - Arnaud Venet (VSTTE, 2005)

Software Model Checking of ARINC-653 Flight Code with MCP. - Sarah Thompson; Guillaume P. Brat; Arnaud Venet (NASA Formal Methods, 2010)

Static analysis for software assurance: soundness, scalability and adaptiveness. - Arnaud Venet; Michael R. Lowry (FoSER, 2010)

The Gauge Domain: Scalable Analysis of Linear Inequality Invariants. - Arnaud Venet (CAV, 2012)

IKOS: A Framework for Static Analysis Based on Abstract Interpretation. - Guillaume Brat; Jorge A. Navas; Nija Shi; Arnaud Venet (SEFM, 2014)

Preface. - Axel Simon; Arnaud Venet (NSAD, 2014)

Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation. - Mendes Oulamara; Arnaud J. Venet (CAV (1), 2015)

Memory-Efficient Fixpoint Computation. - Sung Kook Kim; Arnaud J. Venet; Aditya V. Thakur (SAS, 2020)

Deterministic parallel fixpoint computation. - Sung Kook Kim; Arnaud J. Venet; Aditya V. Thakur (Proc. ACM Program. Lang., 2020)

F3: A Compiler for Feature Engineering. - Weixi Ma; Siyu Wang; Arnaud Venet; Junhua Gu; Subbu Subramanian; Rocky Liu; Yafei Yang; Daniel P. Friedman (FUNARCH, 2024)

Gradual Metaprogramming. - Tianyu Chen; Darshal Shetty; Jeremy G. Siek; Chao-Hong Chen; Weixi Ma; Arnaud Venet; Rocky Liu (CoRR, 2025)