Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions. - Raphaël Monat; Antoine Miné (VMCAI, 2017)

A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4. - Heiko Becker; Nikita Zyuzin; Raphaël Monat; Eva Darulova; Magnus O. Myreen; Anthony C. J. Fox (FMCAD, 2018)

Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer. - Matthieu Journault; Antoine Miné; Raphaël Monat; Abdelraouf Ouadjaout (VSTTE, 2019)

Static Type Analysis by Abstract Interpretation of Python Programs. - Raphaël Monat; Abdelraouf Ouadjaout; Antoine Miné (ECOOP, 2020)

Value and allocation sensitivity in static Python analyses. - Raphaël Monat; Abdelraouf Ouadjaout; Antoine Miné (SOAP@PLDI, 2020)

Static Type Analysis by Abstract Interpretation of Python Programs (Artifact). - Raphaël Monat; Abdelraouf Ouadjaout; Antoine Miné (Dagstuhl Artifacts Ser., 2020)

A modern compiler for the French tax code. - Denis Merigoux; Raphaël Monat; Jonathan Protzenko (CC, 2021)

A Multilanguage Static Analysis of Python Programs with Native C Extensions. - Raphaël Monat; Abdelraouf Ouadjaout; Antoine Miné (SAS, 2021)

Static type and value analysis by abstract interpretation of Python programs with native C libraries. (Analyse statique, de type et de valeur, par interprétation abstraite, de programmes Python utilisant des librairies C). - Raphaël Monat (2021)

Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution). - Raphaël Monat; Abdelraouf Ouadjaout; Antoine Miné (TACAS (2), 2023)

Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law. - Raphaël Monat; Aymeric Fromherz; Denis Merigoux (ESOP (2), 2024)

Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution). - Raphaël Monat; Marco Milanese; Francesco Parolini; Jérôme Boillot; Abdelraouf Ouadjaout; Antoine Miné (TACAS (3), 2024)

Front Matter, Table of Contents, Preface, Conference Organization. - Karine Even-Mendoza; Raphaël Monat (Dagstuhl Artifacts Ser., 2024)

Easing maintenance of academic static analyzers. - Raphaël Monat; Abdelraouf Ouadjaout; Antoine Miné (Int. J. Softw. Tools Technol. Transf., 2024)

Compositional Static Value Analysis for Higher-Order Numerical Programs. - Milla Valnet; Raphaël Monat; Antoine Miné (ECOOP, 2025)

CUTECat: Concolic Execution for Computational Law. - Pierre Goutagny; Aymeric Fromherz; Raphaël Monat (ESOP (2), 2025)

Mopsa-C with Trace Partitioning and Autosuggestions (Competition Contribution). - Raphaël Monat; Abdelraouf Ouadjaout; Antoine Miné (TACAS (3), 2025)

Front Matter, Table of Contents, Preface, Conference Organization. - Karine Even-Mendoza; Raphaël Monat; Yannick Zakowski (Dagstuhl Artifacts Ser., 2025)

Compositional Static Value Analysis for Higher-Order Numerical Programs (Artifact). - Milla Valnet; Raphaël Monat; Antoine Miné (Dagstuhl Artifacts Ser., 2025)

State of the art in program analysis. - Raphaël Monat; Cindy Rubio-González (Int. J. Softw. Tools Technol. Transf., 2025)