2018-conference.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 2018-conference.cite -ob 2018-conference.bib -c 'year = 2018 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{spitters18jfla,
topics = {team},
crossref = {jfla18},
title = {Preuves constructives de programmes probabilistes},
author = {Faissole, Florian and Spitters, Bas},
hal = {https://hal.inria.fr/hal-01654459},
hal_id = {hal-01654459},
hal_version = {v1}
}
@inproceedings{faissole18jfla,
topics = {team},
crossref = {jfla18},
title = {D{\'e}finir le fini : deux formalisations d'espaces de dimension finie},
author = {Faissole, Florian},
hal = {https://hal.inria.fr/hal-01654457},
pdf = {https://hal.inria.fr/hal-01654457/file/jfla.pdf},
hal_id = {hal-01654457},
hal_version = {v1}
}
@inproceedings{rieuhelft18jfla,
topics = {team},
crossref = {jfla18},
title = {{Un m{\'e}canisme d'extraction vers C pour Why3}},
author = {Rieu-Helft, Rapha{\"e}l},
hal = {https://hal.inria.fr/hal-01653153},
pdf = {https://hal.inria.fr/hal-01653153/file/main.pdf},
hal_id = {hal-01653153},
hal_version = {v1}
}
@inproceedings{fpds18jfla,
topics = {team},
crossref = {jfla18},
title = {V{\'e}rification de programmes fortement imp{\'e}ratifs avec {W}hy3},
author = {Jean-Christophe Filli{\^a}tre and M{\'a}rio Pereira and
Sim{\~a}o Melo de Sousa},
hal = {https://hal.inria.fr/hal-01649989},
pdf = {https://hal.inria.fr/hal-01649989/file/main.pdf},
hal_id = {hal-01649989},
hal_version = {v2}
}
@inproceedings{boldo18arith,
topics = {team},
title = {A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers},
author = {Boldo, Sylvie and Faissole, Florian and Tourneur, Vincent},
hal = {https://hal.inria.fr/hal-01772272},
booktitle = {25th IEEE Symposium on Computer Arithmetic},
address = {Amherst, MA, United States},
year = 2018,
month = jun
}
@inproceedings{melquiond18ijcar,
topics = {team},
title = {A {Why3} Framework for Reflection Proofs and its Application to {GMP}'s Algorithms},
author = {Melquiond, Guillaume and Rieu-Helft, Rapha{\"e}l},
hal = {https://hal.inria.fr/hal-01699754},
booktitle = {9th International Joint Conference on Automated Reasoning},
address = {Oxford, United Kingdom},
editor = {Didier Galmiche and Stephan Schulz and Roberto Sebastiani},
series = {Lecture Notes in Computer Science},
year = 2018,
month = jul
}
@inproceedings{roux18tacas,
topics = {team},
title = {A Non-linear Arithmetic Procedure for Control-Command Software Verification},
author = {Roux, Pierre and Iguernlala, Mohamed and Conchon, Sylvain},
hal = {https://hal.archives-ouvertes.fr/hal-01737737},
booktitle = {24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
address = {Thessalonique, Greece},
year = 2018,
month = apr
}
@inproceedings{dailler2018,
topics = {team},
hal = {https://hal.inria.fr/hal-01936302},
author = {Dailler, Sylvain and March{\'e}, Claude and Moy, Yannick},
title = {Lightweight Interactive Proving inside an Automatic Program
Verifier},
booktitle = {Proceedings of the Fourth Workshop on Formal Integrated
Development Environment, F-IDE, Oxford, UK,
July 14, 2018},
year = {2018},
doi = {10.4204/EPTCS.284.1}
}
@inproceedings{filliatre18itp,
author = {Jean-Christophe Filli\^atre},
title = {Deductive Program Verification},
crossref = {itp2018},
note = {Invited talk},
topics = {team, lri},
type_publi = {icolcomlec},
x-equipes = {demons PROVAL},
x-type = {invitation},
x-invited-conference = {yes},
x-international-audience = {yes}
}
@inproceedings{filliatre18fide,
author = {Jean-Christophe Filli\^atre},
title = {Auto-active verification using {Why3}'s {IDE}},
booktitle = {4th Workshop on Formal Integrated Development Environment},
year = 2018,
month = jul,
address = {Oxford, UK},
note = {Invited talk},
topics = {team, lri},
type_publi = {icolcomlec},
x-equipes = {demons PROVAL},
x-type = {invitation},
x-invited-conference = {yes},
x-international-audience = {yes}
}
@inproceedings{conchon18smt,
topics = {team},
title = {{Alt-Ergo} 2.2},
author = {Conchon, Sylvain and Coquereau, Albin and Iguernlala, Mohamed and Mebsout, Alain},
hal = {https://hal.inria.fr/hal-01960203},
booktitle = {SMT Workshop: International Workshop on Satisfiability Modulo Theories},
address = {Oxford, United Kingdom},
year = 2018,
month = jul,
pdf = {https://hal.inria.fr/hal-01960203/file/Alt-Ergo-2.2--SMT-Workshop-2018.pdf},
hal_id = {hal-01960203},
hal_version = {v1}
}
@inproceedings{conchon18ijcar,
topics = {team},
hal = {https://hal.inria.fr/hal-02420590},
author = {Sylvain Conchon and David Declerck and Fatiha Za{\"{\i}}di},
title = {Cubicle-W : Parameterized Model Checking on Weak Memory},
booktitle = {International Joint Conference on Automated Reasoning},
pages = {152--160},
editor = {Didier Galmiche and Stephan Schulz and Roberto Sebastiani},
series = {Lecture Notes in Computer Science},
volume = 10900,
publisher = {Springer},
year = 2018
}
@inproceedings{conchon18netsy,
topics = {team},
hal = {https://hal.inria.fr/hal-02001652},
author = {Sylvain Conchon and
Giorgio Delzanno and
Angelo Ferrando},
title = {Declarative Parameterized Verification of Topology-Sensitive Distributed
Protocols},
pages = {209--224},
year = 2018,
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
booktitle = {Networked Systems, 6th International Conference, Revised Selected Papers},
series = {Lecture Notes in Computer Science}
}
@proceedings{jfla18,
topics = {team},
title = {Vingt-neuvi\`emes Journ\'ees Francophones des Langages Applicatifs},
booktitle = {Vingt-neuvi\`emes Journ{\'e}es Francophones des Langages Applicatifs},
address = {Banyuls-sur-mer, France},
year = 2018,
month = jan,
editor = {Boldo, Sylvie and Magaud, Nicolas},
hal = {https://hal.inria.fr/hal-01707376}
}
@proceedings{itp2018,
editor = {Jeremy Avigad and
Assia Mahboubi},
title = {Interactive Theorem Proving - 9th International Conference, {ITP}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings},
booktitle = {Interactive Theorem Proving - 9th International Conference, {ITP}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10895},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94821-8},
doi = {10.1007/978-3-319-94821-8},
isbn = {978-3-319-94820-1}
}