| 2026 | VMCAI | Verification of Generic VHDL Designs and Their Translation to Rocq. | Ocan Sankur, Benot Boyer, Florian Faissole |
| 2024 | FMCAD | Formally Verified Rounding Errors of the Logarithm-Sum-Exponential Function. | Paul Bonnot, Benot Boyer, Florian Faissole, Claude March, Raphal Rieu-Helft |
| 2021 | ICTAC | A Mechanically Verified Theory of Contracts. | Stphane Kastenbaum, Benot Boyer, Jean-Pierre Talpin |
| 2019 | FM | Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic. | Simon Lunel, Stefan Mitsch, Benot Boyer, Jean-Pierre Talpin |
| 2017 | ICSE | A Trusted Approach to Design a Network Monitor. | Koichi Shimizu, Teruyoshi Yamaguchi, Tsunato Nakai, Takeshi Ueda, Nobuhiro Kobayashi, Benot Boyer |
| 2014 | ISoLA | A Formalism for Stochastic Adaptive Systems. | Benot Boyer, Axel Legay, Louis-Marie Traonouez |
| 2012 | ICFEM | Equational Abstraction Refinement for Certified Tree Regular Model Checking. | Yohan Boichut, Benot Boyer, Thomas Genet, Axel Legay |
| 2008 | CADE | Certifying a Tree Automata Completion Checker. | Benot Boyer, Thomas Genet, Thomas P. Jensen |