2021-conference.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 2021-conference.cite -ob 2021-conference.bib -c 'year = 2021 and topics : "team" and $type="inproceedings"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}
@inproceedings{becker21fide,
topics = {team},
title = {Explaining Counterexamples with Giant-Step Assertion Checking},
author = {Becker, Benedikt and Belo Louren\c{c}o, Cl{\'a}udio and March{\'e}, Claude},
hal = {https://hal.inria.fr/hal-03217393},
booktitle = {6th Workshop on Formal Integrated Development Environments (F-IDE 2021)},
editor = {Creissac Campos, Jos{\'e} and Paskevich, Andrei},
series = {Electronic Proceedings in Theoretical Computer Science},
doi = {10.4204/EPTCS.338.10},
year = 2021,
month = may
}
@inproceedings{filliatrepascutto21,
author = {Jean-Christophe Filli\^atre and Cl\'ement Pascutto},
title = {{Ortac}: Runtime Assertion Checking for {OCaml}},
year = 2021,
topics = {team},
booktitle = {Proceedings of the 21st International Conference on Runtime Verification (RV'21)},
month = may,
hal = {https://hal.inria.fr/hal-03252901},
abstract = {Runtime assertion checking (RAC) is a convenient set of
techniques that lets developers abstract away the
process of verifying the correctness of their
programs by writing formal specifications and
automating their verification at runtime. In this
work, we present ortac, a runtime assertion checking
tool for OCaml libraries and programs. OCaml is a
functional programming lan- guage in which idioms
rely on an expressive type system, modules, and
interface abstractions. ortac consumes interfaces
annotated with type invariants and function
contracts and produces code wrappers with the same
signature that check these specifications at
runtime. It provides a flexible framework for
traditional assertion checking, monitoring mis-
behaviors without interruptions, and automated fuzz
testing for OCaml programs. This paper presents an
overview of ortac features and highlights its main
design choices.}
}
@inproceedings{belo21fmics,
topics = {team},
title = {Automated Verification of Temporal Properties of {Ladder} Programs},
author = {Belo Louren{\c c}o, Cl{\'a}udio and Cousineau, Denis and Faissole, Florian and March{\'e}, Claude and Mentr{\'e}, David and Inoue, Hiroaki},
hal = {https://hal.inria.fr/hal-03281580},
booktitle = {Formal Methods for Industrial Critical Systems},
doi = {10.1007/978-3-030-85248-1_2},
series = {Lecture Notes in Computer Science},
volume = 12863,
pages = {21--38},
year = 2021
}
@inproceedings{osborne21ocaml,
topics = {team},
title = {Leveraging Formal Specifications to Generate Fuzzing Suites},
author = {Osborne, Nicolas and Pascutto, Cl{\'e}ment},
hal = {https://hal.inria.fr/hal-03328646},
booktitle = {OCaml Users and Developers Workshop, co-located with the 26th ACM SIGPLAN International Conference on Functional Programming},
year = 2021
}
@inproceedings{garchery21pxtp,
topics = {team},
hal = {https://hal.archives-ouvertes.fr/hal-03349223},
title = {A Framework for Proof-carrying Logical Transformations},
author = {Garchery, Quentin},
booktitle = {Proof eXchange for Theorem Proving},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = 336,
pages = {5--23},
year = 2021,
month = jul,
doi = {10.4204/EPTCS.336.2}
}
@inproceedings{filliatre21rv,
topics = {team},
title = {{Ortac}: Runtime Assertion Checking for {OCaml}},
author = {Filli{\^a}tre, Jean-Christophe and Pascutto, Cl{\'e}ment},
hal = {https://hal.inria.fr/hal-03252901},
booktitle = {21st International Conference on Runtime Verification},
year = 2021
}
@inproceedings{weens21nsv,
topics = {team},
title = {Modeling round-off errors in hydrodynamic simulations},
author = {Weens, William and Vazquez-Gonzalez, Thibaud and Ben Salem-Knapp, Louise},
hal = {https://hal.inria.fr/hal-03351754},
booktitle = {14th International Workshop on Numerical Software Verification},
year = 2021
}
@inproceedings{balabonski21fscd,
topics = {team},
title = {A strong call-by-need calculus},
author = {Balabonski, Thibaut and Lanco, Antoine and Melquiond, Guillaume},
hal = {https://hal.inria.fr/hal-03149692},
booktitle = {6th International Conference on Formal Structures for Computation and Deduction},
editor = {Naoki Kobayashi},
volume = 195,
pages = {9:1--9:22},
year = 2021,
doi = {10.4230/LIPIcs.FSCD.2021.9}
}
@inproceedings{boldo21arith,
topics = {team},
title = {Some Formal Tools for Computer Arithmetic: {Flocq} and {Gappa}},
author = {Boldo, Sylvie and Melquiond, Guillaume},
hal = {https://hal.inria.fr/hal-03233227},
booktitle = {28th IEEE International Symposium on Computer Arithmetic},
editor = {Mioara Joldes and Fabrizio Lamberti},
year = 2021
}
@inproceedings{bensalemknapp21afadl,
topics = {team},
title = {La double pr{\'e}cision suffit-elle {\`a} l'exascale ?},
author = {Ben Salem-Knapp, Louise and Vazquez-Gonzalez, Thibaud and Weens, William},
hal = {https://hal.inria.fr/hal-03351615},
booktitle = {20{\`e}mes journ{\'e}es Approches Formelles dans l'Assistance au D{\'e}veloppement de Logiciels},
year = 2021
}
@inproceedings{melquiond21fide,
topics = {team},
title = {Plotting in a Formally Verified Way},
author = {Melquiond, Guillaume},
hal = {https://hal.inria.fr/hal-03168208},
booktitle = {6th Workshop on Formal Integrated Development Environment},
volume = 338,
pages = {39--45},
year = 2021,
doi = {10.4204/EPTCS.338.6}
}
@inproceedings{conchon21iccl,
topics = {team},
author = {Sylvain Conchon and Giorgio Delzanno and Arnaud Sangnier},
editor = {Stefania Monica and Federico Bergenti},
title = {Verification of Contact Tracing Protocols via SMT-based Model Checking
and Counting Abstraction},
booktitle = {Proceedings of the 36th Italian Conference on Computational Logic,
Parma, Italy, September 7-9, 2021},
series = {{CEUR} Workshop Proceedings},
volume = 3002,
pages = {77--91},
publisher = {CEUR-WS.org},
year = 2021,
url = {https://ceur-ws.org/Vol-3002/paper24.pdf}
}
@inproceedings{conchon21fmbc,
topics = {team},
author = {Sylvain Conchon and Alexandrina Korneva and {\c{C}}agdas Bozman and
Mohamed Iguernlala and Alain Mebsout},
editor = {Bruno Bernardo and Diego Marmsoler},
title = {Formally Documenting Tenderbake (Short Paper)},
booktitle = {3rd International Workshop on Formal Methods for Blockchains, FMBC@CAV
2021, July 18-19, 2021, Los Angeles, California, {USA} (Virtual Conference)},
series = {OASIcs},
volume = 95,
pages = {4:1--4:9},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = 2021,
doi = {10.4230/OASICS.FMBC.2021.4}
}