| 2020 | ICFEM | Verification of Programs with Pointers in SPARK. | Georges-Axel Jaloyan, Claire Dross, Maroua Maalej, Yannick Moy, Andrei Paskevich |
| 2017 | SEFM | Focused Certification of an Industrial Compilation and Static Verification Toolchain. | Zhi Zhang, Robby, John Hatcliff, Yannick Moy, Pierre Courtieu |
| 2016 | ISoLA | Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014. | Nikolai Kosmatov, Claude March, Yannick Moy, Julien Signoles |
| 2016 | SEFM | Counterexamples from Proof Failures in SPARK. | David Hauzar, Claude March, Yannick Moy |
| 2014 | TAP | Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification. | Johannes Kanig, Roderick Chapman, Cyrille Comar, Jrme Guitton, Yannick Moy, Emyr Rees |
| 2012 | FM | Maximal and Compositional Pattern-Based Loop Invariants. | Maria-Virginia Aponte, Pierre Courtieu, Yannick Moy, Marc Sango |
| 2011 | TAP | Correct Code Containing Containers. | Claire Dross, Jean-Christophe Fillitre, Yannick Moy |
| 2008 | VMCAI | Sufficient Preconditions for Modular Assertion Checking. | Yannick Moy |