- Térence Clastres, Frederic Dabrowski, Automata-Guided Local Proof Obligations for Temporal Safety in Synchronous Programs
- Jérémy Damour, Loïc Correnson, Frédéric Loulergue, Allan Blanchard, Borderlines of Soundness: Verifying C Aliasing Properties
- Eloi Perdereau, Daniel Sokolowski, Jolan Philippe, Hélène Coullon et Guido Salvaneschi, Formal Verification of Stability in Provisioning Changes with BPlan