Arnaud Venet

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 1

Top Topics

Feature Engineering

Abstract Interpretation

Distance Transform

Top Venues

Electron. Notes Theor. Comput. Sci.

Publications

Weixi Ma, Siyu Wang, Arnaud Venet, Junhua Gu, Subbu Subramanian, Rocky Liu, Yafei Yang, Daniel P. Friedman
F3: A Compiler for Feature Engineering. FUNARCH (2024)
Mendes Oulamara, Arnaud Venet
Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation. CoRR (2015)
Axel Simon, Arnaud Venet
Preface. Electron. Notes Theor. Comput. Sci. 307 (2014)
Guillaume Brat, Jorge A. Navas, Nija Shi, Arnaud Venet
IKOS: A Framework for Static Analysis Based on Abstract Interpretation. SEFM (2014)
Arnaud Venet
The Gauge Domain: Scalable Analysis of Linear Inequality Invariants. CAV (2012)
Sarah Thompson, Guillaume P. Brat, Arnaud Venet
Software Model Checking of ARINC-653 Flight Code with MCP. NASA Formal Methods (2010)
Arnaud Venet, Michael R. Lowry
Static analysis for software assurance: soundness, scalability and adaptiveness. FoSER (2010)
Arnaud Venet
Towards the Integration of Symbolic and Numerical Static Analysis. VSTTE (2005)
Arnaud Venet, Guillaume P. Brat
Precise and efficient static array bound checking for large embedded C programs. PLDI (2004)
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 Syst. Des. 25 (2-3) (2004)
Arnaud Venet
A Scalable Nonuniform Pointer Analysis for Embedded Programs. SAS (2004)
Arnaud Venet
Nonuniform Alias Analysis of Recursive Data Structures and Arrays. SAS (2002)
Arnaud Venet
Automatic Analysis of Pointer Aliasing for Untyped Programs. Sci. Comput. Program. 35 (2) (1999)
Arnaud Venet
Automatic Determination of Communication Topologies in Mobile Systems. SAS (1998)
Arnaud Venet
Abstract Cofibered Domains: Application to the Alias Analysis of Untyped Programs. SAS (1996)
Arnaud Venet
Abstract Interpretation of the pi-Calculus. LOMAPS (1996)