Loïc Correnson

According to our database, Loïc Correnson authored at least 16 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Automate where Automation Fails: Proof Strategies for Frama-C/WP.

Loïc Correnson, Allan Blanchard, Adel Djoudi, Nikolai Kosmatov

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2022

Ivette: A Modern GUI for Frama-C.

Loïc Correnson

Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022

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

2020

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

2018

Verification Coverage for Combining Test and Proof.

Viet Hoang Le, Loïc Correnson, Julien Signoles, Virginie Wiels

Proceedings of the Tests and Proofs - 12th International Conference, 2018

Time to clean your test objectives.

Michaël Marcozzi, Sébastien Bardin, Nikolai Kosmatov, Mike Papadakis, Virgile Prevosto, Loïc Correnson

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

Freeing Testers from Polluting Test Objectives.

Michaël Marcozzi, Sébastien Bardin, Nikolai Kosmatov, Mike Papadakis, Virgile Prevosto, Loïc Correnson

CoRR, 2017

2014

Qed. Computing What Remains to Be Proved.

Loïc Correnson

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

2013

Verification of Numerical Programs: From Real Numbers to Floating Point Numbers.

Alwyn Goodloe, César A. Muñoz, Florent Kirchner, Loïc Correnson

Proceedings of the NASA Formal Methods, 2013

2012

Combining Analyses for C Program Verification.

Loïc Correnson, Julien Signoles

Proceedings of the Formal Methods for Industrial Critical Systems, 2012

2011

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é, Samuel Mimram

Proceedings of the Computer Safety, Reliability, and Security, 2011

2009

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

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2000

Equational Semantics.

Loïc Correnson

Informatica (Slovenia), 2000

1999

Equational Semantics.

Loïc Correnson, Étienne Duris, Didier Parigot, Gilles Roussel

Proceedings of the Static Analysis, 6th International Symposium, 1999

Declarative Program Transformation: A Deforestation Case-Study.

Loïc Correnson, Étienne Duris, Didier Parigot, Gilles Roussel

Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

1997

Attribute Grammars and Functional Programming Deforestation.

Loïc Correnson, Étienne Duris, Didier Parigot, Gilles Roussel

Proceedings of the Static Analysis, 4th International Symposium, 1997