Loïc Correnson

17 papers A* 1A 1B 3C 3Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2024 — conf
Automate where Automation Fails: Proof Strategies for Frama-C/WP.
TACAS (1)
Loïc Correnson, Allan Blanchard, Adel Djoudi, Nikolai Kosmatov
2024 C conf
No Smoke Without Fire: Detecting Specification Inconsistencies with Frama-C/WP.
TAP
Allan Blanchard, Loïc Correnson, Adel Djoudi, Nikolai Kosmatov
2022 — conf
Ivette: A Modern GUI for Frama-C.
SEFM Workshops
Loïc Correnson
2021 J jnl
The dogged pursuit of bug-free C programs: the Frama-C software analysis platform.
Commun. ACM
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
2020 J jnl
Formal Approach for the Verification of Onboard Autonomous Functions in Observation Satellites.
CoRR
Vincent Mussot, Silvano Dal-Zilio, Loïc Correnson, Serge Rainjonneau, Yves Bardout, Grégoire Scano
2018 A* conf
Time to clean your test objectives.
ICSE
Michaël Marcozzi, Sébastien Bardin, Nikolai Kosmatov, Mike Papadakis, Virgile Prevosto, Loïc Correnson
2018 — conf
Verification Coverage for Combining Test and Proof.
TAP@STAF
Viet Hoang Le, Loïc Correnson, Julien Signoles, Virginie Wiels
2017 J jnl
Freeing Testers from Polluting Test Objectives.
CoRR
Michaël Marcozzi, Sébastien Bardin, Nikolai Kosmatov, Mike Papadakis, Virgile Prevosto, Loïc Correnson
2014 — conf
Qed. Computing What Remains to Be Proved.
NASA Formal Methods
Loïc Correnson
2013 — conf
Verification of Numerical Programs: From Real Numbers to Floating Point Numbers.
NASA Formal Methods
Alwyn Goodloe, César A. Muñoz, Florent Kirchner, Loïc Correnson
2012 C conf
Combining Analyses for C Program Verification.
FMICS
Loïc Correnson, Julien Signoles
2011 B conf
Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software.
SAFECOMP
Richard Bonichon, Géraud Canet, Loïc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sébastien Labbé, Samuel Mimram
2009 A conf
Experience report: OCaml for an industrial-strength static analysis framework.
ICFP
Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Géraud Canet, Loïc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti
2000 J jnl
Equational Semantics.
Informatica (Slovenia)
Loïc Correnson
1999 C conf
Declarative Program Transformation: A Deforestation Case-Study.
PPDP
Loïc Correnson, Étienne Duris, Didier Parigot, Gilles Roussel
1999 B conf
Equational Semantics.
SAS
Loïc Correnson, Étienne Duris, Didier Parigot, Gilles Roussel
1997 B conf
Attribute Grammars and Functional Programming Deforestation.
SAS
Loïc Correnson, Étienne Duris, Didier Parigot, Gilles Roussel