Antoine Miné

CoRR, 2024

Sound Abstract Nonexploitability Analysis.

[BibT_eX]

[DOI]

Francesco Parolini

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Generation of Violation Witnesses by Under-Approximating Abstract Interpretation.

[BibT_eX]

[DOI]

Marco Milanese

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Automatic Detection of Vulnerable Variables for CTL Properties of Programs.

[BibT_eX]

[DOI]

Naïm Moussaoui Remil

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.

[BibT_eX]

[DOI]

Francesco Parolini

Sci. Comput. Program., July, 2023

BullsEye : Scalable and Accurate Approximation Framework for Cache Miss Calculation.

[BibT_eX]

[DOI]

Ramakrishna Upadrasta

ACM Trans. Archit. Code Optim., March, 2023

Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2023

Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Input Validation for Neural Networks via Local Robustness Verification.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

2022

Abstract interpretation of Michelson smart-contracts.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

CoRR, 2021

A Multilanguage Static Analysis of Python Programs with Native C Extensions.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 28th International Symposium, 2021

Static Analysis of Endian Portability by Abstract Interpretation.

[BibT_eX]

[DOI]

David Delmas

Proceedings of the Static Analysis - 28th International Symposium, 2021

2020

Static Type Analysis by Abstract Interpretation of Python Programs (Artifact).

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2020

Input Validation for Neural Networks via Runtime Local Robustness Verification.

[BibT_eX]

[DOI]

CoRR, 2020

Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants.

[BibT_eX]

[DOI]

Proceedings of the Software Verification - 12th International Conference, 2020

A Library Modeling Language for the Static Analysis of C Programs.

[BibT_eX]

[DOI]

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

Value and allocation sensitivity in static Python analyses.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

Quantitative static analysis of communication protocols using abstract Markov chains.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2019

Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer.

[BibT_eX]

[DOI]

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

Analysis of Software Patches Using Numerical Abstract Interpretation.

[BibT_eX]

[DOI]

David Delmas

Proceedings of the Static Analysis - 26th International Symposium, 2019

Combination of Boxes and Polyhedra Abstractions for Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

An Abstract Domain for Trees with Numeric Relations.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2019

2018

Inferring functional properties of matrix manipulating programs by abstract interpretation.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2018

Modular Static Analysis of String Manipulations in C Programs.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 25th International Symposium, 2018

Static Value Analysis of Python Programs by Abstract Interpretation.

[BibT_eX]

[DOI]

Aymeric Fromherz

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Finding Solutions by Finding Inconsistencies.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2018

Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models.

[BibT_eX]

[DOI]

Thibault Suzanne

Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017

Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation.

[BibT_eX]

[DOI]

Found. Trends Program. Lang., 2017

Inference of ranking functions for proving temporal properties by abstract interpretation.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2017

Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

2016

Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2016

Static analysis by abstract interpretation of functional properties of device drivers in TinyOS.

[BibT_eX]

[DOI]

J. Syst. Softw., 2016

Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities.

[BibT_eX]

[DOI]

Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract Domains, 2016

From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models.

[BibT_eX]

[DOI]

Thibault Suzanne

Proceedings of the Static Analysis - 23rd International Symposium, 2016

Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 23rd International Symposium, 2016

An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs.

[BibT_eX]

[DOI]

Jason Breck

Thomas W. Reps

Proceedings of the Programming Languages and Systems, 2016

2015

Static Analysis and Verification of Aerospace Software by Abstract Interpretation.

[BibT_eX]

[DOI]

Found. Trends Program. Lang., 2015

Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

David Delmas

Proceedings of the 2015 International Conference on Embedded Software, 2015

2014

Backward under-approximations in numeric abstract domains to automatically infer sufficient program conditions.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

Relational Thread-Modular Static Value Analysis by Abstract Interpretation.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

A Decision Tree Abstract Domain for Proving Conditional Termination.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 21st International Symposium, 2014

An Abstract Domain to Infer Octagonal Constraints with Absolute Value.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 21st International Symposium, 2014

An Abstract Domain to Infer Ordinal-Valued Ranking Functions.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2014

2013

A Constraint Solver Based on Abstract Domains.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2013

Static analysis by abstract interpretation of concurrent programs. (Analyse statique par interprétation abstraite de programmes concurrents).

[BibT_eX]

[DOI]

, 2013

2012

Inferring Sufficient Conditions with Backward Polyhedral Under-Approximations.

[BibT_eX]

[DOI]

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

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2012

Abstract Domains for Bit-Level Machine Integer and Floating-point Operations.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2011

Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2011

Linear Absolute Value Relation Analysis.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2011

2010

Preface.

[BibT_eX]

[DOI]

Enric Rodríguez-Carbonell

Proceedings of the Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, 2010

An Abstract Domain to Discover Interval Linear Equalities.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2010

2009

Astree: Nachweis der Abwesenheit von Laufzeit.

[BibT_eX]

[DOI]

Softwaretechnik-Trends, 2009

Why does Astrée scale up?

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2009

Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 16th International Symposium, 2009

Apron: A Library of Numerical Abstract Domains for Static Analysis.

[BibT_eX]

[DOI]

Bertrand Jeannet

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

A Sound Floating-Point Polyhedra Abstract Domain.

[BibT_eX]

[DOI]

Liqian Chen

Patrick Cousot

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007

Varieties of Static Analyzers: A Comparison with ASTREE.

[BibT_eX]

[DOI]

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

2006

The octagon abstract domain.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2006

Symbolic Methods to Enhance the Precision of Numerical Abstract Domains.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2006

Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, 2006

Combination of Abstractions in the ASTRÉE Static Analyzer.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computer Science, 2006

2005

The ASTREÉ Analyzer.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2005

2004

Weakly Relational Numerical Abstract Domains. (Domaines numériques abstraits faiblement relationnels).

[BibT_eX]

[DOI]

PhD thesis, 2004

Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2004

2003

A static analyzer for large safety-critical software.

[BibT_eX]

[DOI]

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

2002

A Few Graph-Based Relational Numerical Abstract Domains.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Essence of Computation, Complexity, Analysis, 2002

2001

A New Numerical Abstract Domain Based on Difference-Bound Matrices.

[BibT_eX]

[DOI]