( en | de | ru )

 

Disambiguation of "Venet, Arnaud"

Author of the publication

copydeleteadd this publication to your clipboard
IKOS: A Framework for Static Analysis Based on Abstract Interpretation.

, , , and . SEFM, volume 8702 of Lecture Notes in Computer Science, page 271-277. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Pierre Venet

Joachim Venettisch

Hermann-Josef Venetz

Konstantin Venetikidis

Martin Venetz

 

Other publications of authors with the same name

Abstract Cofibered Domains: Application to the Alias Analysis of Untyped Programs.. SAS, volume 1145 of Lecture Notes in Computer Science, page 366-382. Springer, (1996)Nonuniform Alias Analysis of Recursive Data Structures and Arrays.. SAS, volume 2477 of Lecture Notes in Computer Science, page 36-51. Springer, (2002)Static analysis for software assurance: soundness, scalability and adaptiveness., and . FoSER, page 393-396. ACM, (2010)Automatic Analysis of Pointer Aliasing for Untyped Programs.. Sci. Comput. Program., 35 (2): 223-248 (1999)Automatic Determination of Communication Topologies in Mobile Systems.. SAS, volume 1503 of Lecture Notes in Computer Science, page 152-167. Springer, (1998)A Scalable Nonuniform Pointer Analysis for Embedded Programs.. SAS, volume 3148 of Lecture Notes in Computer Science, page 149-164. Springer, (2004)The Gauge Domain: Scalable Analysis of Linear Inequality Invariants.. CAV, volume 7358 of Lecture Notes in Computer Science, page 139-154. Springer, (2012)IKOS: A Framework for Static Analysis Based on Abstract Interpretation., , , and . SEFM, volume 8702 of Lecture Notes in Computer Science, page 271-277. Springer, (2014)Precise and efficient static array bound checking for large embedded C programs., and . PLDI, page 231-242. ACM, (2004)Software Model Checking of ARINC-653 Flight Code with MCP., , and . NASA Formal Methods, volume NASA/CP-2010-216215 of NASA Conference Proceedings, page 171-181. (2010)