Loïc Correnson

Statistics

Publications

Citations

150

H-Index

Active since

2009

Affiliations

Commissariat à l'Énergie Atomique et aux Énergies Alternatives(Current)

Loïc Correnson is an author at Commissariat à l'Énergie Atomique et aux Énergies Alternatives specializing in computing, computer science, and software engineering.

ORCID

Publications per year

2009–2021

Publications

The dogged pursuit of bug-free C programs

Patrick Baudin, François Bobot, David Bühler et al. · Communications of the ACM · 2021 · 65 citations · Full text

Computing, Computer Engineering, Computer Science +13

Experience report

Pascal Cuoq, Julien Signoles, Patrick Baudin et al. · 2009 · 42 citations

Computing, Computer Science, Compilers +11

Time to clean your test objectives

Michaël Marcozzi, Sébastien Bardin, Nikolaï Kosmatov et al. · 2018 · 32 citations · Full text

Computing, Computer Science, Formal Methods +14

Experience report

Pascal Cuoq, Julien Signoles, Patrick Baudin et al. · ACM SIGPLAN Notices · 2009 · 11 citations

Computing, Computer Science, Compilers +11

1–4 of 4