| 2026 | FASE | Formally Correct Search for Interpretable DNFs. | Imane Bousdira, Martin C. Cooper, Aurlie Hurault |
| 2025 | ICECCS | Certified Enumeration of AI Explanations: A Focus on Monotonic Classifiers. | Clment Contet, Rosalie Defourn, Aurlie Hurault |
| 2023 | TAP | Certified Logic-Based Explainable AI - The Case of Monotonic Classifiers. | Aurlie Hurault, Joo Marques-Silva |
| 2020 | FORTE | Derivation of Heard-of Predicates from Elementary Behavioral Patterns. | Adam Shimi, Aurlie Hurault, Philippe Quinnec |
| 2019 | FM | A Map of Asynchronous Communication Models. | Florent Chevrou, Aurlie Hurault, Shin Nakajima, Philippe Quinnec |
| 2019 | SSS | Tasks in Modular Proofs of Concurrent Algorithms. | Armando Castaeda, Aurlie Hurault, Philippe Quinnec, Matthieu Roy |
| 2019 | TAP | Proving a Non-blocking Algorithm for Process Renaming with TLA ^+ +. | Aurlie Hurault, Philippe Quinnec |
| 2018 | OPODIS | Characterizing Asynchronous Message-Passing Models Through Rounds. | Adam Shimi, Aurlie Hurault, Philippe Quinnec |
| 2017 | DCAI | Inference of Channel Priorities for Asynchronous Communication. | Nathanal Sensfelder, Aurlie Hurault, Philippe Quinnec |
| 2017 | OPODIS | Asynchronous Message Orderings Beyond Causality. | Adam Shimi, Aurlie Hurault, Philippe Quinnec |