BibTeX records: Loïc Correnson

download as .bib file

@inproceedings{DBLP:conf/tacas/CorrensonBDK24,
  author       = {Lo{\"{\i}}c Correnson and
                  Allan Blanchard and
                  Adel Djoudi and
                  Nikolai Kosmatov},
  editor       = {Bernd Finkbeiner and
                  Laura Kov{\'{a}}cs},
  title        = {Automate where Automation Fails: Proof Strategies for Frama-C/WP},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 30th International Conference, {TACAS} 2024, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14570},
  pages        = {331--339},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-57246-3\_18},
  doi          = {10.1007/978-3-031-57246-3\_18},
  timestamp    = {Sun, 14 Apr 2024 18:32:16 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/CorrensonBDK24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/Correnson22,
  author       = {Lo{\"{\i}}c Correnson},
  editor       = {Paolo Masci and
                  Cinzia Bernardeschi and
                  Pierluigi Graziani and
                  Mario Koddenbrock and
                  Maurizio Palmieri},
  title        = {Ivette: {A} Modern {GUI} for Frama-C},
  booktitle    = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
                  - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
                  2022, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13765},
  pages        = {116--131},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-26236-4\_10},
  doi          = {10.1007/978-3-031-26236-4\_10},
  timestamp    = {Thu, 16 Feb 2023 11:51:09 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/Correnson22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cacm/BaudinBBCKKMPPS21,
  author       = {Patrick Baudin and
                  Fran{\c{c}}ois Bobot and
                  David B{\"{u}}hler and
                  Lo{\"{\i}}c Correnson and
                  Florent Kirchner and
                  Nikolai Kosmatov and
                  Andr{\'{e}} Maroneze and
                  Valentin Perrelle and
                  Virgile Prevosto and
                  Julien Signoles and
                  Nicky Williams},
  title        = {The dogged pursuit of bug-free {C} programs: the Frama-C software
                  analysis platform},
  journal      = {Commun. {ACM}},
  volume       = {64},
  number       = {8},
  pages        = {56--68},
  year         = {2021},
  url          = {https://doi.org/10.1145/3470569},
  doi          = {10.1145/3470569},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cacm/BaudinBBCKKMPPS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2001-11875,
  author       = {Vincent Mussot and
                  Silvano Dal{-}Zilio and
                  Lo{\"{\i}}c Correnson and
                  Serge Rainjonneau and
                  Yves Bardout and
                  Gr{\'{e}}goire Scano},
  title        = {Formal Approach for the Verification of Onboard Autonomous Functions
                  in Observation Satellites},
  journal      = {CoRR},
  volume       = {abs/2001.11875},
  year         = {2020},
  url          = {https://arxiv.org/abs/2001.11875},
  eprinttype    = {arXiv},
  eprint       = {2001.11875},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2001-11875.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/MarcozziBKPPC18,
  author       = {Micha{\"{e}}l Marcozzi and
                  S{\'{e}}bastien Bardin and
                  Nikolai Kosmatov and
                  Mike Papadakis and
                  Virgile Prevosto and
                  Lo{\"{\i}}c Correnson},
  editor       = {Michel Chaudron and
                  Ivica Crnkovic and
                  Marsha Chechik and
                  Mark Harman},
  title        = {Time to clean your test objectives},
  booktitle    = {Proceedings of the 40th International Conference on Software Engineering,
                  {ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
  pages        = {456--467},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3180155.3180191},
  doi          = {10.1145/3180155.3180191},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/MarcozziBKPPC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/LeCSW18,
  author       = {Viet Hoang Le and
                  Lo{\"{\i}}c Correnson and
                  Julien Signoles and
                  Virginie Wiels},
  editor       = {Catherine Dubois and
                  Burkhart Wolff},
  title        = {Verification Coverage for Combining Test and Proof},
  booktitle    = {Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse,
                  France, June 27-29, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10889},
  pages        = {120--138},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-92994-1\_7},
  doi          = {10.1007/978-3-319-92994-1\_7},
  timestamp    = {Tue, 23 Jun 2020 17:47:29 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/LeCSW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1708-08765,
  author       = {Micha{\"{e}}l Marcozzi and
                  S{\'{e}}bastien Bardin and
                  Nikolai Kosmatov and
                  Mike Papadakis and
                  Virgile Prevosto and
                  Lo{\"{\i}}c Correnson},
  title        = {Freeing Testers from Polluting Test Objectives},
  journal      = {CoRR},
  volume       = {abs/1708.08765},
  year         = {2017},
  url          = {http://arxiv.org/abs/1708.08765},
  eprinttype    = {arXiv},
  eprint       = {1708.08765},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1708-08765.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/Correnson14,
  author       = {Lo{\"{\i}}c Correnson},
  editor       = {Julia M. Badger and
                  Kristin Yvonne Rozier},
  title        = {Qed. Computing What Remains to Be Proved},
  booktitle    = {{NASA} Formal Methods - 6th International Symposium, {NFM} 2014, Houston,
                  TX, USA, April 29 - May 1, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8430},
  pages        = {215--229},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06200-6\_17},
  doi          = {10.1007/978-3-319-06200-6\_17},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/Correnson14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/GoodloeMKC13,
  author       = {Alwyn Goodloe and
                  C{\'{e}}sar A. Mu{\~{n}}oz and
                  Florent Kirchner and
                  Lo{\"{\i}}c Correnson},
  editor       = {Guillaume Brat and
                  Neha Rungta and
                  Arnaud Venet},
  title        = {Verification of Numerical Programs: From Real Numbers to Floating
                  Point Numbers},
  booktitle    = {{NASA} Formal Methods, 5th International Symposium, {NFM} 2013, Moffett
                  Field, CA, USA, May 14-16, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7871},
  pages        = {441--446},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38088-4\_31},
  doi          = {10.1007/978-3-642-38088-4\_31},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/GoodloeMKC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/CorrensonS12,
  author       = {Lo{\"{\i}}c Correnson and
                  Julien Signoles},
  editor       = {Mari{\"{e}}lle Stoelinga and
                  Ralf Pinger},
  title        = {Combining Analyses for {C} Program Verification},
  booktitle    = {Formal Methods for Industrial Critical Systems - 17th International
                  Workshop, {FMICS} 2012, Paris, France, August 27-28, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7437},
  pages        = {108--130},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32469-7\_8},
  doi          = {10.1007/978-3-642-32469-7\_8},
  timestamp    = {Fri, 09 Apr 2021 18:51:27 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/CorrensonS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/BonichonCCGHHLM11,
  author       = {Richard Bonichon and
                  G{\'{e}}raud Canet and
                  Lo{\"{\i}}c Correnson and
                  Eric Goubault and
                  Emmanuel Haucourt and
                  Michel Hirschowitz and
                  S{\'{e}}bastien Labb{\'{e}} and
                  Samuel Mimram},
  editor       = {Francesco Flammini and
                  Sandro Bologna and
                  Valeria Vittorini},
  title        = {Rigorous Evidence of Freedom from Concurrency Faults in Industrial
                  Control Software},
  booktitle    = {Computer Safety, Reliability, and Security - 30th International Conference,
                  {SAFECOMP} 2011, Naples, Italy, September 19-22, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6894},
  pages        = {85--98},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24270-0\_7},
  doi          = {10.1007/978-3-642-24270-0\_7},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/BonichonCCGHHLM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/CuoqSBBCCMPP09,
  author       = {Pascal Cuoq and
                  Julien Signoles and
                  Patrick Baudin and
                  Richard Bonichon and
                  G{\'{e}}raud Canet and
                  Lo{\"{\i}}c Correnson and
                  Benjamin Monate and
                  Virgile Prevosto and
                  Armand Puccetti},
  editor       = {Graham Hutton and
                  Andrew P. Tolmach},
  title        = {Experience report: OCaml for an industrial-strength static analysis
                  framework},
  booktitle    = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on
                  Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August
                  31 - September 2, 2009},
  pages        = {281--286},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1596550.1596591},
  doi          = {10.1145/1596550.1596591},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/CuoqSBBCCMPP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/informaticaSI/Correnson00,
  author       = {Lo{\"{\i}}c Correnson},
  title        = {Equational Semantics},
  journal      = {Informatica (Slovenia)},
  volume       = {24},
  number       = {3},
  year         = {2000},
  timestamp    = {Mon, 15 Feb 2016 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/informaticaSI/Correnson00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/CorrensonDPR99,
  author       = {Lo{\"{\i}}c Correnson and
                  {\'{E}}tienne Duris and
                  Didier Parigot and
                  Gilles Roussel},
  editor       = {Gopalan Nadathur},
  title        = {Declarative Program Transformation: {A} Deforestation Case-Study},
  booktitle    = {Principles and Practice of Declarative Programming, International
                  Conference PPDP'99, Paris, France, September 29 - October 1, 1999,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1702},
  pages        = {360--377},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/10704567\_22},
  doi          = {10.1007/10704567\_22},
  timestamp    = {Mon, 06 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/CorrensonDPR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/CorrensonDPR99,
  author       = {Lo{\"{\i}}c Correnson and
                  {\'{E}}tienne Duris and
                  Didier Parigot and
                  Gilles Roussel},
  editor       = {Agostino Cortesi and
                  Gilberto Fil{\'{e}}},
  title        = {Equational Semantics},
  booktitle    = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
                  September 22-24, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1694},
  pages        = {264--283},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48294-6\_17},
  doi          = {10.1007/3-540-48294-6\_17},
  timestamp    = {Mon, 06 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/CorrensonDPR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/CorrensonDPR97,
  author       = {Lo{\"{\i}}c Correnson and
                  {\'{E}}tienne Duris and
                  Didier Parigot and
                  Gilles Roussel},
  editor       = {Pascal Van Hentenryck},
  title        = {Attribute Grammars and Functional Programming Deforestation},
  booktitle    = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
                  September 8-10, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1302},
  pages        = {365},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0032755},
  doi          = {10.1007/BFB0032755},
  timestamp    = {Mon, 06 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/CorrensonDPR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.