PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Miné, Antoine"

Author of the publication

copydeleteadd this publication to your clipboard
A static analyzer for large safety-critical software.

, , , , , , , and . PLDI, page 196-207. ACM, (2003)

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.

No persons found for author name Miné, Antoine
add a person with the name Miné, Antoine
 

Other publications of authors with the same name

The Octagon Abstract Domain.. WCRE, page 310-. IEEE Computer Society, (2001)Abstract Domains for Bit-Level Machine Integer and Floating-point Operations.. ATx/WInG@IJCAR, volume 17 of EPiC Series in Computing, page 55-70. EasyChair, (2012)A New Numerical Abstract Domain Based on Difference-Bound Matrices. CoRR, (2007)Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors. CoRR, (2007)An Abstract Domain for Trees with Numeric Relations., , and . ESOP, volume 11423 of Lecture Notes in Computer Science, page 724-751. Springer, (2019)A static analyzer for large safety-critical software., , , , , , , and . PLDI, page 196-207. ACM, (2003)A Few Graph-Based Relational Numerical Abstract Domains.. SAS, volume 2477 of Lecture Notes in Computer Science, page 117-132. Springer, (2002)From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models., and . SAS, volume 9837 of Lecture Notes in Computer Science, page 469-488. Springer, (2016)Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs., and . SAS, volume 9837 of Lecture Notes in Computer Science, page 257-277. Springer, (2016)An Abstract Domain to Discover Interval Linear Equalities., , , and . VMCAI, volume 5944 of Lecture Notes in Computer Science, page 112-128. Springer, (2010)