2024
Easing Maintenance of Academic Static Analyzers.
CoRR, 2024
Sound Abstract Nonexploitability Analysis.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024
Generation of Violation Witnesses by Under-Approximating Abstract Interpretation.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024
Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
Under-Approximating Memory Abstractions.
Proceedings of the Static Analysis - 31st International Symposium, 2024
Automatic Detection of Vulnerable Variables for CTL Properties of Programs.
Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024
2023
Sound static analysis of regular expressions for vulnerabilities to denial of service attacks.
Sci. Comput. Program., July, 2023
BullsEye : Scalable and Accurate Approximation Framework for Cache Miss Calculation.
ACM Trans. Archit. Code Optim., March, 2023
Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281).
Dagstuhl Reports, 2023
Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Input Validation for Neural Networks via Local Robustness Verification.
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023
2022
Abstract interpretation of Michelson smart-contracts.
Proceedings of the SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2022
2021
A Review of Formal Methods applied to Machine Learning.
CoRR, 2021
A Multilanguage Static Analysis of Python Programs with Native C Extensions.
Proceedings of the Static Analysis - 28th International Symposium, 2021
Static Analysis of Endian Portability by Abstract Interpretation.
Proceedings of the Static Analysis - 28th International Symposium, 2021
2020
Static Type Analysis by Abstract Interpretation of Python Programs (Artifact).
Dagstuhl Artifacts Ser., 2020
Input Validation for Neural Networks via Runtime Local Robustness Verification.
CoRR, 2020
Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants.
Proceedings of the Software Verification - 12th International Conference, 2020
A Library Modeling Language for the Static Analysis of C Programs.
Proceedings of the Static Analysis - 27th International Symposium, 2020
Value and allocation sensitivity in static Python analyses.
Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2020
Static Type Analysis by Abstract Interpretation of Python Programs.
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020
2019
Quantitative static analysis of communication protocols using abstract Markov chains.
Formal Methods Syst. Des., 2019
Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019
Analysis of Software Patches Using Numerical Abstract Interpretation.
Proceedings of the Static Analysis - 26th International Symposium, 2019
Combination of Boxes and Polyhedra Abstractions for Constraint Solving.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
An Abstract Domain for Trees with Numeric Relations.
Proceedings of the Programming Languages and Systems, 2019
2018
Inferring functional properties of matrix manipulating programs by abstract interpretation.
Formal Methods Syst. Des., 2018
Modular Static Analysis of String Manipulations in C Programs.
Proceedings of the Static Analysis - 25th International Symposium, 2018
Static Value Analysis of Python Programs by Abstract Interpretation.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018
Finding Solutions by Finding Inconsistencies.
Proceedings of the Principles and Practice of Constraint Programming, 2018
Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models.
Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018
2017
Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation.
Found. Trends Program. Lang., 2017
Inference of ranking functions for proving temporal properties by abstract interpretation.
Comput. Lang. Syst. Struct., 2017
Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017
2016
Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization.
ACM Trans. Embed. Comput. Syst., 2016
Static analysis by abstract interpretation of functional properties of device drivers in TinyOS.
J. Syst. Softw., 2016
Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities.
Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract Domains, 2016
From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models.
Proceedings of the Static Analysis - 23rd International Symposium, 2016
Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs.
Proceedings of the Static Analysis - 23rd International Symposium, 2016
An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs.
Proceedings of the Programming Languages and Systems, 2016
2015
Static Analysis and Verification of Aerospace Software by Abstract Interpretation.
Found. Trends Program. Lang., 2015
Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015
Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software.
Proceedings of the 2015 International Conference on Embedded Software, 2015
2014
Backward under-approximations in numeric abstract domains to automatically infer sufficient program conditions.
Sci. Comput. Program., 2014
Relational Thread-Modular Static Value Analysis by Abstract Interpretation.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014
A Decision Tree Abstract Domain for Proving Conditional Termination.
Proceedings of the Static Analysis - 21st International Symposium, 2014
An Abstract Domain to Infer Octagonal Constraints with Absolute Value.
Proceedings of the Static Analysis - 21st International Symposium, 2014
An Abstract Domain to Infer Ordinal-Valued Ranking Functions.
Proceedings of the Programming Languages and Systems, 2014
2013
A Constraint Solver Based on Abstract Domains.
Proceedings of the Verification, 2013
Static analysis by abstract interpretation of concurrent programs. (Analyse statique par interprétation abstraite de programmes concurrents).
, 2013
2012
Inferring Sufficient Conditions with Backward Polyhedral Under-Approximations.
Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, 2012
Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs
Log. Methods Comput. Sci., 2012
Abstract Domains for Bit-Level Machine Integer and Floating-point Operations.
Proceedings of the ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, 2012
2011
Static analysis by abstract interpretation of embedded critical software.
ACM SIGSOFT Softw. Eng. Notes, 2011
Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs.
Proceedings of the Programming Languages and Systems, 2011
Linear Absolute Value Relation Analysis.
Proceedings of the Programming Languages and Systems, 2011
2010
Proceedings of the Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, 2010
An Abstract Domain to Discover Interval Linear Equalities.
Proceedings of the Verification, 2010
2009
Astree: Nachweis der Abwesenheit von Laufzeit.
,
,
,
,
,
,
,
,
,
,
,
Softwaretechnik-Trends, 2009
Why does Astrée scale up?
Formal Methods Syst. Des., 2009
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships.
Proceedings of the Static Analysis, 16th International Symposium, 2009
Apron: A Library of Numerical Abstract Domains for Static Analysis.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
2008
A Sound Floating-Point Polyhedra Abstract Domain.
Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008
2007
Varieties of Static Analyzers: A Comparison with ASTREE.
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007
2006
The octagon abstract domain.
High. Order Symb. Comput., 2006
Symbolic Methods to Enhance the Precision of Numerical Abstract Domains.
Proceedings of the Verification, 2006
Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics.
Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, 2006
Combination of Abstractions in the ASTRÉE Static Analyzer.
Proceedings of the Advances in Computer Science, 2006
2005
Proceedings of the Programming Languages and Systems, 2005
2004
Weakly Relational Numerical Abstract Domains. (Domaines numériques abstraits faiblement relationnels).
PhD thesis, 2004
Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors.
Proceedings of the Programming Languages and Systems, 2004
2003
A static analyzer for large safety-critical software.
Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003
2002
A Few Graph-Based Relational Numerical Abstract Domains.
Proceedings of the Static Analysis, 9th International Symposium, 2002
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software.
Proceedings of the Essence of Computation, Complexity, Analysis, 2002
2001
A New Numerical Abstract Domain Based on Difference-Bound Matrices.
Proceedings of the Programs as Data Objects, Second Symposium, 2001