Arnaud Venet

According to our database, Arnaud Venet authored at least 17 papers between 1996 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Deterministic parallel fixpoint computation.

Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur

Proc. ACM Program. Lang., 2020

Memory-Efficient Fixpoint Computation.

Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur

Proceedings of the Static Analysis - 27th International Symposium, 2020

2015

Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation.

Mendes Oulamara, Arnaud J. Venet

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Preface.

Axel Simon, Arnaud Venet

Proceedings of the Fifth International Workshop on Numerical and Symbolic Abstract Domains, 2014

IKOS: A Framework for Static Analysis Based on Abstract Interpretation.

Guillaume Brat, Jorge A. Navas, Nija Shi, Arnaud Venet

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

2012

The Gauge Domain: Scalable Analysis of Linear Inequality Invariants.

Arnaud Venet

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2010

Static analysis for software assurance: soundness, scalability and adaptiveness.

Arnaud Venet, Michael R. Lowry

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Software Model Checking of ARINC-653 Flight Code with MCP.

Sarah Thompson, Guillaume P. Brat, Arnaud Venet

Proceedings of the Second NASA Formal Methods Symposium, 2010

2005

Towards the Integration of Symbolic and Numerical Static Analysis.

Arnaud Venet

Proceedings of the Verified Software: Theories, 2005

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

A Scalable Nonuniform Pointer Analysis for Embedded Programs.

Arnaud Venet

Proceedings of the Static Analysis, 11th International Symposium, 2004

Precise and efficient static array bound checking for large embedded C programs.

Arnaud Venet, Guillaume P. Brat

Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004

2002

Nonuniform Alias Analysis of Recursive Data Structures and Arrays.

Arnaud Venet

Proceedings of the Static Analysis, 9th International Symposium, 2002

1999

Automatic Analysis of Pointer Aliasing for Untyped Programs.

Arnaud Venet

Sci. Comput. Program., 1999

1998

Automatic Determination of Communication Topologies in Mobile Systems.

Arnaud Venet

Proceedings of the Static Analysis, 5th International Symposium, 1998

1996

Abstract Cofibered Domains: Application to the Alias Analysis of Untyped Programs.

Arnaud Venet

Proceedings of the Static Analysis, Third International Symposium, 1996

Abstract Interpretation of the pi-Calculus.

Arnaud Venet

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996