BibTeX records: Loïc Correnson

download as .bib file

@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},
  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},
  year      = {2018},
  crossref  = {DBLP:conf/icse/2018},
  url       = {https://doi.org/10.1145/3180155.3180191},
  doi       = {10.1145/3180155.3180191},
  timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/MarcozziBKPPC18},
  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},
  title     = {Verification Coverage for Combining Test and Proof},
  booktitle = {Tests and Proofs - 12th International Conference, {TAP} 2018, Held
               as Part of {STAF} 2018, Toulouse, France, June 27-29, 2018, Proceedings},
  pages     = {120--138},
  year      = {2018},
  crossref  = {DBLP:conf/tap/2018},
  url       = {https://doi.org/10.1007/978-3-319-92994-1\_7},
  doi       = {10.1007/978-3-319-92994-1\_7},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tap/LeCSW18},
  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},
  archivePrefix = {arXiv},
  eprint    = {1708.08765},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1708-08765},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/Correnson14,
  author    = {Lo{\"{\i}}c Correnson},
  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},
  pages     = {215--229},
  year      = {2014},
  crossref  = {DBLP:conf/nfm/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/bib/conf/nfm/Correnson14},
  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},
  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},
  pages     = {441--446},
  year      = {2013},
  crossref  = {DBLP:conf/nfm/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/bib/conf/nfm/GoodloeMKC13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/CorrensonS12,
  author    = {Lo{\"{\i}}c Correnson and
               Julien Signoles},
  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},
  pages     = {108--130},
  year      = {2012},
  crossref  = {DBLP:conf/fmics/2012},
  url       = {https://doi.org/10.1007/978-3-642-32469-7\_8},
  doi       = {10.1007/978-3-642-32469-7\_8},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/CorrensonS12},
  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},
  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},
  pages     = {85--98},
  year      = {2011},
  crossref  = {DBLP:conf/safecomp/2011},
  url       = {https://doi.org/10.1007/978-3-642-24270-0\_7},
  doi       = {10.1007/978-3-642-24270-0\_7},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/safecomp/BonichonCCGHHLM11},
  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},
  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},
  year      = {2009},
  crossref  = {DBLP:conf/icfp/2009},
  url       = {https://doi.org/10.1145/1596550.1596591},
  doi       = {10.1145/1596550.1596591},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/CuoqSBBCCMPP09},
  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/bib/journals/informaticaSI/Correnson00},
  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},
  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},
  pages     = {360--377},
  year      = {1999},
  crossref  = {DBLP:conf/ppdp/1999},
  url       = {https://doi.org/10.1007/10704567\_22},
  doi       = {10.1007/10704567\_22},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/CorrensonDPR99},
  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},
  title     = {Equational Semantics},
  booktitle = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
               September 22-24, 1999, Proceedings},
  pages     = {264--283},
  year      = {1999},
  crossref  = {DBLP:conf/sas/1999},
  url       = {https://doi.org/10.1007/3-540-48294-6\_17},
  doi       = {10.1007/3-540-48294-6\_17},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/CorrensonDPR99},
  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},
  title     = {Attribute Grammars and Functional Programming Deforestation},
  booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
               September 8-10, 1997, Proceedings},
  pages     = {365},
  year      = {1997},
  crossref  = {DBLP:conf/sas/1997},
  url       = {https://doi.org/10.1007/BFb0032755},
  doi       = {10.1007/BFb0032755},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/CorrensonDPR97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2018,
  editor    = {Michel Chaudron and
               Ivica Crnkovic and
               Marsha Chechik and
               Mark Harman},
  title     = {Proceedings of the 40th International Conference on Software Engineering,
               {ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3180155},
  doi       = {10.1145/3180155},
  isbn      = {978-1-4503-5638-1},
  timestamp = {Wed, 21 Nov 2018 12:43:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2018,
  editor    = {Catherine Dubois and
               Burkhart Wolff},
  title     = {Tests and Proofs - 12th International Conference, {TAP} 2018, Held
               as Part of {STAF} 2018, Toulouse, France, June 27-29, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10889},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-92994-1},
  doi       = {10.1007/978-3-319-92994-1},
  isbn      = {978-3-319-92993-4},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tap/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nfm/2014,
  editor    = {Julia M. Badger and
               Kristin Yvonne Rozier},
  title     = {{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},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-06200-6},
  doi       = {10.1007/978-3-319-06200-6},
  isbn      = {978-3-319-06199-3},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nfm/2013,
  editor    = {Guillaume Brat and
               Neha Rungta and
               Arnaud Venet},
  title     = {{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},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38088-4},
  doi       = {10.1007/978-3-642-38088-4},
  isbn      = {978-3-642-38087-7},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2012,
  editor    = {Mari{\"{e}}lle Stoelinga and
               Ralf Pinger},
  title     = {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},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-32469-7},
  doi       = {10.1007/978-3-642-32469-7},
  isbn      = {978-3-642-32468-0},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2011,
  editor    = {Francesco Flammini and
               Sandro Bologna and
               Valeria Vittorini},
  title     = {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},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-24270-0},
  doi       = {10.1007/978-3-642-24270-0},
  isbn      = {978-3-642-24269-4},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/safecomp/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2009,
  editor    = {Graham Hutton and
               Andrew P. Tolmach},
  title     = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on
               Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August
               31 - September 2, 2009},
  publisher = {{ACM}},
  year      = {2009},
  isbn      = {978-1-60558-332-7},
  timestamp = {Tue, 22 Sep 2009 22:06:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/1999,
  editor    = {Gopalan Nadathur},
  title     = {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},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/10704567},
  doi       = {10.1007/10704567},
  isbn      = {3-540-66540-4},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/1999,
  editor    = {Agostino Cortesi and
               Gilberto Fil{\'{e}}},
  title     = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
               September 22-24, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1694},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-48294-6},
  doi       = {10.1007/3-540-48294-6},
  isbn      = {3-540-66459-9},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/1997,
  editor    = {Pascal Van Hentenryck},
  title     = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
               September 8-10, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1302},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/BFb0032729},
  doi       = {10.1007/BFb0032729},
  isbn      = {3-540-63468-1},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics