Miné, Antoine - Département d'Informatique, École Normale Supérieure

• FieldSensitive Value Analysis of Embedded C Programs with Union Types and Pointer Arithmetics
• The Octagon Abstract Domain # Antoine Mine (mine@di.ens.fr) +
• Bibliography Antoine Mine
• Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs
• Static Analysis by Abstract Interpretation of Embedded Critical Software Julien Bertrane
• Static Analysis and Verification of Aerospace Software by Abstract Interpretation
• Linear Absolute Value Relation Analysis Liqian Chen1
• The Octagon Abstract Domain Antoine Mine (mine@di.ens.fr)
• Symbolic Methods to Enhance the Precision of Numerical Abstract Domains
• Verification, Model-Checking and Abstract Interpretation 2006
• A New Numerical Abstract Domain Based on Difference-Bound Matrices
• A Static Analyzer for Large SafetyCritical Software (Extended Abstract)
• A Static Analyzer for Large Safety-Critical Software
• Field-Sensitive Value Analysis of Embedded C Programs with Union Types and Pointer Arithmetics
• Static analysis of run-time errors in embedded critical parallel C programs
• Graph-Based IST-1999-20527
• Workshop on Numerical & Symbolic Abstract Domains
• A Static Analyzer for Large Safety-Critical Software (Extended Abstract)
• DioeerenceBound Presentation
• Memoire de stage de DEA realise sous la direction de Patrick Cousot Laboratoire d'Informatique de l'ENS
• Rapport de stage de fin de 1`ere annee de Magist`ere
• Laboratoire d'Informatique
• Application Interpretation
• A Sound FloatingPoint Polyhedra Abstract Domain # Liqian Chen 1,2 , Antoine Min e 3 , and Patrick Cousot 1
• M'emoire de stage de DEA r'ealis'e sous la direction de Patrick Cousot
• Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors ?
• Languages, Compilers, and Tools for Embedded Systems 2006 Field-Sensitive Value Analysis of Embedded
• A New Numerical Abstract Domain Based on DifferenceBound Matrices
• The Octagon Abstract Domain Antoine Mine
• Interval Polyhedra Domain Applications
• Floating-Point Polyhedra Domain Early Experimental Results
• Transformation Presentation
• A Few Graph-Based Relational Numerical Abstract Domains ?
• Rapport de stage de fin de 1 ere annee de Magistere e#ectue au laboratoire iMAGIS sous la direction de Fabrice Neyret
• presentee a ECOLE POLYTECHNIQUE
• Symbolic Methods to Enhance the Precision of Numerical Abstract Domains #
• A Few Graph-Based Relational Numerical Abstract Domains
• An Abstract Domain to Discover Interval Linear Equalities
• A Few Graph-Based Relational Numerical Abstract Domains
• Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors
• Bibliography Antoine Mine
• The Octagon Abstract Domain Antoine Mine
• Apron: A Library of Numerical Abstract Domains for Static Analysis
• Memoire de stage de DEA realise sous la direction de Patrick Cousot
• presentee `a l'ECOLE POLYTECHNIQUE
• Relational Abstract Domains for the Detection of Floating-Point
• PhD. Defense Weakly Relational Numerical
• Numerical Abstract Domains MPRI 26: Abstract Interpretation,
• Numerical Abstract Domains MPRI 26: Abstract Interpretation,