Loïc Correnson

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 7

Top Topics

Earth Observing

False Acceptance

Graphical User Interfaces

Top Venues

Publications

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