Attribute Grammars and Functional Programming Deforestation. - Loïc Correnson; Étienne Duris; Didier Parigot; Gilles Roussel 001 (SAS, 1997)

Declarative Program Transformation: A Deforestation Case-Study. - Loïc Correnson; Étienne Duris; Didier Parigot; Gilles Roussel 001 (PPDP, 1999)

Equational Semantics. - Loïc Correnson; Étienne Duris; Didier Parigot; Gilles Roussel 001 (SAS, 1999)

Equational Semantics. - Loïc Correnson (Informatica (Slovenia), 2000)

Experience report: OCaml for an industrial-strength static analysis framework. - Pascal Cuoq; Julien Signoles; Patrick Baudin; Richard Bonichon; Géraud Canet; Loïc Correnson; Benjamin Monate; Virgile Prevosto; Armand Puccetti (ICFP, 2009)

Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. - Richard Bonichon; Géraud Canet; Loïc Correnson; Eric Goubault; Emmanuel Haucourt; Michel Hirschowitz; Sébastien Labbé 002; Samuel Mimram (SAFECOMP, 2011)

Combining Analyses for C Program Verification. - Loïc Correnson; Julien Signoles (FMICS, 2012)

Verification of Numerical Programs: From Real Numbers to Floating Point Numbers. - Alwyn Goodloe; César A. Muñoz; Florent Kirchner; Loïc Correnson (NASA Formal Methods, 2013)

Qed. Computing What Remains to Be Proved. - Loïc Correnson (NASA Formal Methods, 2014)

Freeing Testers from Polluting Test Objectives. - Michaël Marcozzi; Sébastien Bardin; Nikolai Kosmatov; Mike Papadakis; Virgile Prevosto; Loïc Correnson (CoRR, 2017)

Time to clean your test objectives. - Michaël Marcozzi; Sébastien Bardin; Nikolai Kosmatov; Mike Papadakis; Virgile Prevosto; Loïc Correnson (ICSE, 2018)

Verification Coverage for Combining Test and Proof. - Viet Hoang Le; Loïc Correnson; Julien Signoles; Virginie Wiels (TAP@STAF, 2018)

Formal Approach for the Verification of Onboard Autonomous Functions in Observation Satellites. - Vincent Mussot; Silvano Dal-Zilio; Loïc Correnson; Serge Rainjonneau; Yves Bardout; Grégoire Scano (CoRR, 2020)

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)

Ivette: A Modern GUI for Frama-C. - Loïc Correnson (SEFM Workshops, 2022)

Automate where Automation Fails: Proof Strategies for Frama-C/WP. - Loïc Correnson; Allan Blanchard; Adel Djoudi; Nikolai Kosmatov (TACAS (1), 2024)

No Smoke Without Fire: Detecting Specification Inconsistencies with Frama-C/WP. - Allan Blanchard; Loïc Correnson; Adel Djoudi; Nikolai Kosmatov (TAP, 2024)