An Analysis of Permutations in Arrays. - Valentin Perrelle; Nicolas Halbwachs (VMCAI, 2010)

Analyse statique de programmes manipulant des tableaux. - Valentin Perrelle (2013)

Advances in Usability of Formal Methods for Code Verification with Frama-C. - André Maroneze; Valentin Perrelle; Florent Kirchner (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2019)

Toward certified quantum programming. - Christophe Chareton; Sébastien Bardin; François Bobot; Valentin Perrelle; Benoît Valiron (CoRR, 2020)

An Automated Deductive Verification Framework for Circuit-building Quantum Programs. - Christophe Chareton; Sébastien Bardin; François Bobot; Valentin Perrelle; Benoît Valiron (ESOP, 2021)

Concrete Categorical Model of a Quantum Circuit Description Language with Measurement. - Dongho Lee; Valentin Perrelle; Benoît Valiron; Zhaowei Xu (FSTTCS, 2021)

The dogged pursuit of bug-free C programs: the Frama-C software analysis platform. - Patrick Baudin; François Bobot; David Bühler; Loïc Correnson; Florent Kirchner; Nikolai Kosmatov; André Maroneze; Valentin Perrelle; Virgile Prevosto; Julien Signoles; Nicky Williams (Commun. ACM, 2021)

Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis. - Mamy Razafintsialonina; David Bühler; Antoine Miné; Valentin Perrelle; Julien Signoles (ECOOP, 2025)

Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis (Artifact). - Mamy Razafintsialonina; David Bühler; Valentin Perrelle (Dagstuhl Artifacts Ser., 2025)