Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Catherine Dubois
@proceedings{DBLP:conf/mkm/2023,
editor = {Catherine Dubois and
Manfred Kerber},
title = {Intelligent Computer Mathematics - 16th International Conference,
{CICM} 2023, Cambridge, UK, September 5-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14101},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42753-4},
doi = {10.1007/978-3-031-42753-4},
isbn = {978-3-031-42752-7},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tfm/2023,
editor = {Catherine Dubois and
Pierluigi {San Pietro}},
title = {Formal Methods Teaching: 5th International Workshop, FMTea 2023, L{\"{u}}beck,
Germany, March 6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13962},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-27534-0},
doi = {10.1007/978-3-031-27534-0},
isbn = {978-3-031-27533-3},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tfm/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-03974,
author = {Maximiliano Cristi{\'{a}} and
Catherine Dubois},
title = {Comparing EventB, log and Why3 Models of Sparse Sets},
journal = {CoRR},
volume = {abs/2307.03974},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.03974},
doi = {10.48550/ARXIV.2307.03974},
eprinttype = {arXiv},
eprint = {2307.03974},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-03974.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-07185,
author = {Ali Assaf and
Guillaume Burel and
Rapha{\"{e}}l Cauderlier and
David Delahaye and
Gilles Dowek and
Catherine Dubois and
Fr{\'{e}}d{\'{e}}ric Gilbert and
Pierre Halmagrand and
Olivier Hermant and
Ronan Saillard},
title = {Dedukti: a Logical Framework based on the {\(\lambda\)}{\(\Pi\)}-Calculus
Modulo Theory},
journal = {CoRR},
volume = {abs/2311.07185},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.07185},
doi = {10.48550/ARXIV.2311.07185},
eprinttype = {arXiv},
eprint = {2311.07185},
timestamp = {Wed, 15 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-07185.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/DuboisMG22,
author = {Catherine Dubois and
Nicolas Magaud and
Alain Giorgetti},
editor = {Delia Kesner and
Pierre{-}Marie P{\'{e}}drot},
title = {Pragmatic Isomorphism Proofs Between Coq Representations: Application
to Lambda-Term Families},
booktitle = {28th International Conference on Types for Proofs and Programs, {TYPES}
2022, June 20-25, 2022, LS2N, University of Nantes, France},
series = {LIPIcs},
volume = {269},
pages = {11:1--11:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2022.11},
doi = {10.4230/LIPICS.TYPES.2022.11},
timestamp = {Mon, 31 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/DuboisMG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/LedeinBD22,
author = {Am{\'{e}}lie Ledein and
Valentin Blot and
Catherine Dubois},
editor = {Delia Kesner and
Pierre{-}Marie P{\'{e}}drot},
title = {A Semantics of {\(\mathbb{K}\)} into Dedukti},
booktitle = {28th International Conference on Types for Proofs and Programs, {TYPES}
2022, June 20-25, 2022, LS2N, University of Nantes, France},
series = {LIPIcs},
volume = {269},
pages = {12:1--12:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2022.12},
doi = {10.4230/LIPICS.TYPES.2022.12},
timestamp = {Mon, 31 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/LedeinBD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2207-03994,
author = {Mathieu Montin and
Am{\'{e}}lie Ledein and
Catherine Dubois},
editor = {Jeremy Gibbons and
Max S. New},
title = {LibNDT: Towards a Formal Library on Spreadable Properties over Linked
Nested Datatypes},
booktitle = {Proceedings Ninth Workshop on Mathematically Structured Functional
Programming, MSFP@ETAPS 2022, Munich, Germany, 2nd April 2022},
series = {{EPTCS}},
volume = {360},
pages = {27--44},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.360.2},
doi = {10.4204/EPTCS.360.2},
timestamp = {Wed, 03 Aug 2022 14:22:40 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-03994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/staf/2022w,
editor = {Catherine Dubois and
Julien Cohen},
title = {{STAF} 2022 Workshop Proceedings: 10th International Workshop on Bidirectional
Transformations {(BX} 2022), 2nd International Workshop on Foundations
and Practice of Visual Modeling {(FPVM} 2022) and 2nd International
Workshop on {MDE} for Smart IoT Systems (MeSS 2022) (co-located with
Software Technologies: Applications and Foundations federation of
conferences {(STAF} 2022)), Nantes, France, July 5-8, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3250},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3250},
urn = {urn:nbn:de:0074-3250-0},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/staf/2022w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-12747,
author = {Ghiles Ziat and
Vincent Botbol and
Matthieu Dien and
Arnaud Gotlieb and
Martin P{\'{e}}pin and
Catherine Dubois},
title = {Automatic Synthesis of Random Generators for Numerically Constrained
Algebraic Recursive Types},
journal = {CoRR},
volume = {abs/2208.12747},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.12747},
doi = {10.48550/ARXIV.2208.12747},
eprinttype = {arXiv},
eprint = {2208.12747},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-12747.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-10453,
author = {Catherine Dubois and
Nicolas Magaud and
Alain Giorgetti},
title = {Pragmatic isomorphism proofs between Coq representations: application
to lambda-term families},
journal = {CoRR},
volume = {abs/2212.10453},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.10453},
doi = {10.48550/ARXIV.2212.10453},
eprinttype = {arXiv},
eprint = {2212.10453},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-10453.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DuboisZ21,
author = {Catherine Dubois and
Steffen Zschaler},
title = {17\({}^{\mbox{th}}\) Educators Symposium at {MODELS} 2021},
booktitle = {{ACM/IEEE} International Conference on Model Driven Engineering Languages
and Systems Companion, {MODELS} 2021 Companion, Fukuoka, Japan, October
10-15, 2021},
pages = {695},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/MODELS-C53483.2021.00112},
doi = {10.1109/MODELS-C53483.2021.00112},
timestamp = {Wed, 23 Feb 2022 12:16:54 +0100},
biburl = {https://dblp.org/rec/conf/models/DuboisZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/Dubois20,
author = {Catherine Dubois},
editor = {Michael Hanus and
Claudio Sacerdoti Coen},
title = {Formally Verified Transformation of Non-binary Constraints into Binary
Constraints},
booktitle = {Functional and Constraint Logic Programming - 28th International Workshop,
{WFLP} 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12560},
pages = {117--128},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-75333-7\_7},
doi = {10.1007/978-3-030-75333-7\_7},
timestamp = {Sun, 16 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wflp/Dubois20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-00583,
author = {Catherine Dubois},
title = {Formally Verified Transformation of Non-binary Constraints into Binary
Constraints},
journal = {CoRR},
volume = {abs/2009.00583},
year = {2020},
url = {https://arxiv.org/abs/2009.00583},
eprinttype = {arXiv},
eprint = {2009.00583},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-00583.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfm/DuboisPB99,
author = {Catherine Dubois and
Virgile Prevosto and
Guillaume Burel},
editor = {Brijesh Dongol and
Luigia Petre and
Graeme Smith},
title = {Teaching Formal Methods to Future Engineers},
booktitle = {Formal Methods Teaching - Third International Workshop and Tutorial,
FMTea 2019, Held as Part of the Third World Congress on Formal Methods,
{FM} 2019, Porto, Portugal, October 7, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11758},
pages = {69--80},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32441-4\_5},
doi = {10.1007/978-3-030-32441-4\_5},
timestamp = {Thu, 07 Apr 2022 08:44:28 +0200},
biburl = {https://dblp.org/rec/conf/tfm/DuboisPB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DuboisG18,
author = {Catherine Dubois and
Alain Giorgetti},
title = {Tests and proofs for custom data generators},
journal = {Formal Aspects Comput.},
volume = {30},
number = {6},
pages = {659--684},
year = {2018},
url = {https://doi.org/10.1007/s00165-018-0459-1},
doi = {10.1007/S00165-018-0459-1},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DuboisG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/DuboisGPC18,
author = {Catherine Dubois and
Olga Grinchtein and
Justin Pearson and
Mats Carlsson},
editor = {Einar Broch Johnsen and
Ina Schaefer},
title = {Exploring Properties of a Telecommunication Protocol with Message
Delay Using Interactive Theorem Prover},
booktitle = {Software Engineering and Formal Methods - 16th International Conference,
{SEFM} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 27-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10886},
pages = {239--253},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92970-5\_15},
doi = {10.1007/978-3-319-92970-5\_15},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sefm/DuboisGPC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/DuboisW18,
author = {Catherine Dubois and
Sulyvan Weppe},
editor = {Maximiliano Cristi{\'{a}} and
David Delahaye and
Catherine Dubois},
title = {Towards Coq Formalisation of \{log\} Set Constraints Resolution},
booktitle = {Proceedings of the 3rd International Workshop on Sets and Tools co-located
with the 6th International {ABZ} Conference, SETS@ABZ 2018, Southamptom,
UK, June 5, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2199},
pages = {32--37},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2199/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:58 +0100},
biburl = {https://dblp.org/rec/conf/zum/DuboisW18.bib},
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@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, 23 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/zum/2018sets,
editor = {Maximiliano Cristi{\'{a}} and
David Delahaye and
Catherine Dubois},
title = {Proceedings of the 3rd International Workshop on Sets and Tools co-located
with the 6th International {ABZ} Conference, SETS@ABZ 2018, Southamptom,
UK, June 5, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2199},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2199},
urn = {urn:nbn:de:0074-2199-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/zum/2018sets.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/CauderlierD17,
author = {Rapha{\"{e}}l Cauderlier and
Catherine Dubois},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
C{\'{e}}sar A. Mu{\~{n}}oz},
title = {FoCaLiZe and Dedukti to the Rescue for Proof Interoperability},
booktitle = {Interactive Theorem Proving - 8th International Conference, {ITP}
2017, Bras{\'{\i}}lia, Brazil, September 26-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10499},
pages = {131--147},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66107-0\_9},
doi = {10.1007/978-3-319-66107-0\_9},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/CauderlierD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/DuboisMM17,
editor = {Catherine Dubois and
Paolo Masci and
Dominique M{\'{e}}ry},
title = {Proceedings of the Third Workshop on Formal Integrated Development
Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016},
series = {{EPTCS}},
volume = {240},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.240},
doi = {10.4204/EPTCS.240},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DuboisMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1712-00898,
editor = {Catherine Dubois and
Bruno Woltzenlogel Paleo},
title = {Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving,
PxTP 2017, Bras{\'{\i}}lia, Brazil, 23-24 September 2017},
series = {{EPTCS}},
volume = {262},
year = {2017},
url = {http://arxiv.org/abs/1712.00898},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-00898.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/CauderlierD16,
author = {Rapha{\"{e}}l Cauderlier and
Catherine Dubois},
editor = {Augusto Sampaio and
Farn Wang},
title = {{ML} Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to
Dedukti},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International
Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9965},
pages = {459--468},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46750-4\_26},
doi = {10.1007/978-3-319-46750-4\_26},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/CauderlierD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/DuboisGG16,
author = {Catherine Dubois and
Alain Giorgetti and
Richard Genestier},
editor = {Bernhard K. Aichernig and
Carlo A. Furia},
title = {Tests and Proofs for Enumerative Combinatorics},
booktitle = {Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna,
Austria, July 5-7, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9762},
pages = {57--75},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41135-4\_4},
doi = {10.1007/978-3-319-41135-4\_4},
timestamp = {Tue, 23 Jun 2020 17:47:29 +0200},
biburl = {https://dblp.org/rec/conf/tap/DuboisGG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/staf/2016ds,
editor = {Catherine Dubois and
Francesco Parisi{-}Presicce and
Dimitris S. Kolovos and
Nicholas Matragkas},
title = {Joint Proceedings of the Doctoral Symposium and Projects Showcase
Held as Part of {STAF} 2016 co-located with Software Technologies:
Applications and Foundations {(STAF} 2016), Vienna, Austria, July
4-7, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1675},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1675},
urn = {urn:nbn:de:0074-1675-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/staf/2016ds.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/DowekDPR16,
author = {Gilles Dowek and
Catherine Dubois and
Brigitte Pientka and
Florian Rabe},
title = {Universality of Proofs (Dagstuhl Seminar 16421)},
journal = {Dagstuhl Reports},
volume = {6},
number = {10},
pages = {75--98},
year = {2016},
url = {https://doi.org/10.4230/DagRep.6.10.75},
doi = {10.4230/DAGREP.6.10.75},
timestamp = {Fri, 20 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/DowekDPR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ria/SadounDGG15,
author = {Driss Sadoun and
Catherine Dubois and
Yacine Ghamri{-}Doudane and
Brigitte Grau},
title = {Repr{\'{e}}sentation et v{\'{e}}rification d'un environnement
intelligent {\`{a}} partir de sp{\'{e}}cifications utilisateur
en langage naturel},
journal = {Rev. d'Intelligence Artif.},
volume = {29},
number = {1},
pages = {47--81},
year = {2015},
url = {https://doi.org/10.3166/ria.29.47-81},
doi = {10.3166/RIA.29.47-81},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ria/SadounDGG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/JacquelBDD15,
author = {M{\'{e}}lanie Jacquel and
Karim Berkani and
David Delahaye and
Catherine Dubois},
title = {Verifying {B} proof rules using deep embedding and automated theorem
proving},
journal = {Softw. Syst. Model.},
volume = {14},
number = {1},
pages = {101--119},
year = {2015},
url = {https://doi.org/10.1007/s10270-013-0322-z},
doi = {10.1007/S10270-013-0322-Z},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/JacquelBDD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/DuboisL15,
author = {Catherine Dubois and
R{\'{e}}gine Laleau},
title = {Introduction},
journal = {Tech. Sci. Informatiques},
volume = {34},
number = {5},
pages = {493--494},
year = {2015},
url = {http://tsi.revuesonline.com/article.jsp?articleId=35718},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/DuboisL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/DuboisP15,
author = {Catherine Dubois and
Fran{\c{c}}ois Pessaux},
editor = {Manuel Serrano and
Jurriaan Hage},
title = {Termination Proofs for Recursive Functions in FoCaLiZe},
booktitle = {Trends in Functional Programming - 16th International Symposium, {TFP}
2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9547},
pages = {136--156},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-39110-6\_8},
doi = {10.1007/978-3-319-39110-6\_8},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfp/DuboisP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/PhamDL15,
author = {Thi{-}Kim{-}Zung Pham and
Catherine Dubois and
Nicole L{\'{e}}vy},
editor = {Joanne M. Atlee and
Stefania Gnesi},
title = {Towards correct-by-construction product variants of a software product
line: GFML, a formal language for feature modules},
booktitle = {Proceedings 6th Workshop on Formal Methods and Analysis in {SPL} Engineering,
FMSPLE@ETAPS 2015, London, UK, 11 April 2015},
series = {{EPTCS}},
volume = {182},
pages = {44--55},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.182.4},
doi = {10.4204/EPTCS.182.4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PhamDL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/DuboisMM15,
editor = {Catherine Dubois and
Paolo Masci and
Dominique M{\'{e}}ry},
title = {Proceedings Second International Workshop on Formal Integrated Development
Environment, {F-IDE} 2015, Oslo, Norway, June 22, 2015},
series = {{EPTCS}},
volume = {187},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.187},
doi = {10.4204/EPTCS.187},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DuboisMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JacquelBDD15,
author = {M{\'{e}}lanie Jacquel and
Karim Berkani and
David Delahaye and
Catherine Dubois},
title = {Tableaux Modulo Theories Using Superdeduction},
journal = {CoRR},
volume = {abs/1501.01301},
year = {2015},
url = {http://arxiv.org/abs/1501.01301},
eprinttype = {arXiv},
eprint = {1501.01301},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JacquelBDD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/DelahayeDMM14,
author = {David Delahaye and
Catherine Dubois and
Claude March{\'{e}} and
David Mentr{\'{e}}},
editor = {Yamine A{\"{\i}}t Ameur and
Klaus{-}Dieter Schewe},
title = {The BWare Project: Building a Proof Platform for the Automated Verification
of {B} Proof Obligations},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 4th International
Conference, {ABZ} 2014, Toulouse, France, June 2-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8477},
pages = {290--293},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43652-3\_26},
doi = {10.1007/978-3-662-43652-3\_26},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/DelahayeDMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/SadounDGG14,
author = {Driss Sadoun and
Catherine Dubois and
Yacine Ghamri{-}Doudane and
Brigitte Grau},
editor = {Antonis Bikakis and
Paul Fodor and
Dumitru Roman},
title = {Formal Rule Representation and Verification from Natural Language
Requirements Using an Ontology},
booktitle = {Rules on the Web. From Theory to Applications - 8th International
Symposium, RuleML 2014, Co-located with the 21st European Conference
on Artificial Intelligence, {ECAI} 2014, Prague, Czech Republic, August
18-20, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8620},
pages = {226--235},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09870-8\_17},
doi = {10.1007/978-3-319-09870-8\_17},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/SadounDGG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/DuboisR14,
author = {Catherine Dubois and
Renaud Rioboo},
editor = {Dimitra Giannakopoulou and
Gwen Sala{\"{u}}n},
title = {Verified Functional Iterators Using the FoCaLiZe Environment},
booktitle = {Software Engineering and Formal Methods - 12th International Conference,
{SEFM} 2014, Grenoble, France, September 1-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8702},
pages = {317--331},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10431-7\_26},
doi = {10.1007/978-3-319-10431-7\_26},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sefm/DuboisR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/CauderlierD14,
author = {Rapha{\"{e}}l Cauderlier and
Catherine Dubois},
editor = {Hugo Herbelin and
Pierre Letouzey and
Matthieu Sozeau},
title = {Objects and Subtyping in the Lambda-Pi-Calculus Modulo},
booktitle = {20th International Conference on Types for Proofs and Programs, {TYPES}
2014, May 12-15, 2014, Paris, France},
series = {LIPIcs},
volume = {39},
pages = {47--71},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2014.47},
doi = {10.4230/LIPICS.TYPES.2014.47},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/types/CauderlierD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/DuboisGM14,
editor = {Catherine Dubois and
Dimitra Giannakopoulou and
Dominique M{\'{e}}ry},
title = {Proceedings 1st Workshop on Formal Integrated Development Environment,
{F-IDE} 2014, Grenoble, France, April 6, 2014},
series = {{EPTCS}},
volume = {149},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.149},
doi = {10.4204/EPTCS.149},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DuboisGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/SadounDGG13,
author = {Driss Sadoun and
Catherine Dubois and
Yacine Ghamri{-}Doudane and
Brigitte Grau},
title = {From Natural Language Requirements to Formal Specification Using an
Ontology},
booktitle = {25th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2013, Herndon, VA, USA, November 4-6, 2013},
pages = {755--760},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICTAI.2013.116},
doi = {10.1109/ICTAI.2013.116},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/SadounDGG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DuboisFGNOSV13,
author = {Catherine Dubois and
Michalis Famelis and
Martin Gogolla and
Leonel N{\'{o}}brega and
Ileana Ober and
Martina Seidl and
Markus V{\"{o}}lter},
editor = {Fr{\'{e}}d{\'{e}}ric Boulanger and
Michalis Famelis and
Daniel Ratiu},
title = {Research Questions for Validation and Verification in the Context
of Model-Based Engineering},
booktitle = {Proceedings of the 10th International Workshop on Model Driven Engineering,
Verification and Validation MoDeVVa 2013, co-located with 16th International
Conference on Model Driven Engineering Languages and Systems (MoDELS
2013), Miami, Florida, USA, October 1st, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1069},
pages = {67--76},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1069/10-paper.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/DuboisFGNOSV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/JacquelBDD12,
author = {M{\'{e}}lanie Jacquel and
Karim Berkani and
David Delahaye and
Catherine Dubois},
editor = {Bernhard Gramlich and
Dale Miller and
Uli Sattler},
title = {Tableaux Modulo Theories Using Superdeduction - An Application to
the Verification of {B} Proof Rules with the Zenon Automated Theorem
Prover},
booktitle = {Automated Reasoning - 6th International Joint Conference, {IJCAR}
2012, Manchester, UK, June 26-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7364},
pages = {332--338},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31365-3\_26},
doi = {10.1007/978-3-642-31365-3\_26},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/JacquelBDD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/TollitteDD12,
author = {Pierre{-}Nicolas Tollitte and
David Delahaye and
Catherine Dubois},
editor = {Chris Hawblitzel and
Dale Miller},
title = {Producing Certified Functional Code from Inductive Specifications},
booktitle = {Certified Programs and Proofs - Second International Conference, {CPP}
2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7679},
pages = {76--91},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35308-6\_9},
doi = {10.1007/978-3-642-35308-6\_9},
timestamp = {Wed, 07 Dec 2022 23:14:04 +0100},
biburl = {https://dblp.org/rec/conf/cpp/TollitteDD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/CarlierDG12,
author = {Matthieu Carlier and
Catherine Dubois and
Arnaud Gotlieb},
editor = {Dimitra Giannakopoulou and
Dominique M{\'{e}}ry},
title = {A Certified Constraint Solver over Finite Domains},
booktitle = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France,
August 27-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7436},
pages = {116--131},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32759-9\_12},
doi = {10.1007/978-3-642-32759-9\_12},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/CarlierDG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/AyraultBDP12,
author = {Philippe Ayrault and
Vincent Benayoun and
Catherine Dubois and
Fran{\c{c}}ois Pessaux},
editor = {George Eleftherakis and
Mike Hinchey and
Mike Holcombe},
title = {{ML} Dependency Analysis for Assessors},
booktitle = {Software Engineering and Formal Methods - 10th International Conference,
{SEFM} 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7504},
pages = {278--292},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33826-7\_19},
doi = {10.1007/978-3-642-33826-7\_19},
timestamp = {Sat, 05 Sep 2020 18:01:22 +0200},
biburl = {https://dblp.org/rec/conf/sefm/AyraultBDP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/CarlierDG12,
author = {Matthieu Carlier and
Catherine Dubois and
Arnaud Gotlieb},
editor = {Achim D. Brucker and
Jacques Julliand},
title = {A First Step in the Design of a Formally Verified Constraint-Based
Testing Tool: FocalTest},
booktitle = {Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague,
Czech Republic, May 31 - June 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7305},
pages = {35--50},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30473-6\_5},
doi = {10.1007/978-3-642-30473-6\_5},
timestamp = {Tue, 23 Jun 2020 17:37:39 +0200},
biburl = {https://dblp.org/rec/conf/tap/CarlierDG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/JacquelBDD11,
author = {M{\'{e}}lanie Jacquel and
Karim Berkani and
David Delahaye and
Catherine Dubois},
editor = {Gilles Barthe and
Alberto Pardo and
Gerardo Schneider},
title = {Verifying {B} Proof Rules Using Deep Embedding and Automated Theorem
Proving},
booktitle = {Software Engineering and Formal Methods - 9th International Conference,
{SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7041},
pages = {253--268},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24690-6\_18},
doi = {10.1007/978-3-642-24690-6\_18},
timestamp = {Sat, 19 Oct 2019 20:16:56 +0200},
biburl = {https://dblp.org/rec/conf/sefm/JacquelBDD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/CarlierDG10,
author = {Matthieu Carlier and
Catherine Dubois and
Arnaud Gotlieb},
editor = {Jos{\'{e}} A. Moinhos Cordeiro and
Maria Virvou and
Boris Shishkov},
title = {Constraint Reasoning in FocalTest},
booktitle = {{ICSOFT} 2010 - Proceedings of the Fifth International Conference
on Software and Data Technologies, Volume 2, Athens, Greece, July
22-24, 2010},
pages = {82--91},
publisher = {SciTePress},
year = {2010},
timestamp = {Thu, 28 Apr 2011 13:13:12 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/CarlierDG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/CarlierDG10a,
author = {Matthieu Carlier and
Catherine Dubois and
Arnaud Gotlieb},
editor = {Jos{\'{e}} Cordeiro and
Maria Virvou and
Boris Shishkov},
title = {FocalTest: {A} Constraint Programming Approach for Property-Based
Testing},
booktitle = {Software and Data Technologies - 5th International Conference, {ICSOFT}
2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {170},
pages = {140--155},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-29578-2\_9},
doi = {10.1007/978-3-642-29578-2\_9},
timestamp = {Wed, 14 Nov 2018 10:58:11 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/CarlierDG10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2009,
editor = {Catherine Dubois},
title = {Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich,
Switzerland, July 2-3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5668},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02949-3},
doi = {10.1007/978-3-642-02949-3},
isbn = {978-3-642-02948-6},
timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0902-3858,
author = {{\'{E}}ric Jaeger and
Catherine Dubois},
title = {Why Would You Trust B?},
journal = {CoRR},
volume = {abs/0902.3858},
year = {2009},
url = {http://arxiv.org/abs/0902.3858},
eprinttype = {arXiv},
eprint = {0902.3858},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0902-3858.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/CarlierD08,
author = {Matthieu Carlier and
Catherine Dubois},
editor = {Bernhard Beckert and
Reiner H{\"{a}}hnle},
title = {Functional Testing in the Focal Environment},
booktitle = {Tests and Proofs - 2nd International Conference, {TAP} 2008, Prato,
Italy, April 9-11, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4966},
pages = {84--98},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79124-9\_7},
doi = {10.1007/978-3-540-79124-9\_7},
timestamp = {Tue, 23 Jun 2020 17:02:04 +0200},
biburl = {https://dblp.org/rec/conf/tap/CarlierD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/MotaD07,
author = {Jean{-}Marc Mota and
Catherine Dubois},
title = {Raffinement de mod{\`{e}}les topologiques en {B} {\'{e}}v{\'{e}}nementiel.
Des droites aux 2-G-cartes},
journal = {Tech. Sci. Informatiques},
volume = {26},
number = {7},
pages = {883--908},
year = {2007},
url = {https://doi.org/10.3166/tsi.26.883-908},
doi = {10.3166/TSI.26.883-908},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/MotaD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/JaegerD07,
author = {{\'{E}}ric Jaeger and
Catherine Dubois},
editor = {Nachum Dershowitz and
Andrei Voronkov},
title = {Why Would You Trust \emph{B} ?},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 14th
International Conference, {LPAR} 2007, Yerevan, Armenia, October 15-19,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4790},
pages = {288--302},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75560-9\_22},
doi = {10.1007/978-3-540-75560-9\_22},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/JaegerD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/LaleauLBBLDDV07,
author = {R{\'{e}}gine Laleau and
Yves Ledru and
Didier Bert and
Fabrice Bouquet and
Michel Lemoine and
Catherine Dubois and
V{\'{e}}ronique Donzeau{-}Gouge and
Sylvie Vignes},
editor = {Colette Rolland and
Oscar Pastor and
Jean{-}Louis Cavarero},
title = {Using Computer Science Modeling Techniques for Airport Security Certification},
booktitle = {Proceedings of the First International Conference on Research Challenges
in Information Science, {RCIS} 2007, Ouarzazate, Morocco, April 23-26,
2007},
pages = {61--72},
year = {2007},
timestamp = {Mon, 18 Jan 2021 08:56:35 +0100},
biburl = {https://dblp.org/rec/conf/rcis/LaleauLBBLDDV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/DelahayeDE07,
author = {David Delahaye and
Catherine Dubois and
Jean{-}Fr{\'{e}}d{\'{e}}ric {\'{E}}tienne},
editor = {Klaus Schneider and
Jens Brandt},
title = {Extracting Purely Functional Contents from Logical Inductive Types},
booktitle = {Theorem Proving in Higher Order Logics, 20th International Conference,
TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4732},
pages = {70--85},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74591-4\_7},
doi = {10.1007/978-3-540-74591-4\_7},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/DelahayeDE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sopr/LaleauVLLBDDP06,
author = {R{\'{e}}gine Laleau and
Sylvie Vignes and
Yves Ledru and
Michel Lemoine and
Didier Bert and
V{\'{e}}ronique Donzeau{-}Gouge and
Catherine Dubois and
Fabien Peureux},
title = {Adopting a situational requirements engineering approach for the analysis
of civil aviation security standards},
journal = {Softw. Process. Improv. Pract.},
volume = {11},
number = {5},
pages = {487--503},
year = {2006},
url = {https://doi.org/10.1002/spip.291},
doi = {10.1002/SPIP.291},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sopr/LaleauVLLBDDP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/LedruLLVBDDP06,
author = {Yves Ledru and
R{\'{e}}gine Laleau and
Michel Lemoine and
Sylvie Vignes and
Didier Bert and
V{\'{e}}ronique Donzeau{-}Gouge and
Catherine Dubois and
Fabien Peureux},
editor = {Nacer Boudjlida and
Dong Cheng and
Nicolas Guelfi},
title = {An attempt to combine {UML} and formal methods to model airport security},
booktitle = {The 18th Conference on Advanced Information Systems Engineering (CAiSE
'06), Forum Proceedings, Theme: Trusted Information Systems, Luxembourg,
June 5-9, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {231},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-231/Paper11.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:33 +0100},
biburl = {https://dblp.org/rec/conf/caise/LedruLLVBDDP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serp/DuboisM06,
author = {Catherine Dubois and
Jean{-}Marc Mota},
editor = {Hamid R. Arabnia and
Hassan Reza},
title = {A Formally Verified Geometric Modelling Core},
booktitle = {Proceedings of the International Conference on Software Engineering
Research and Practice {\&} Conference on Programming Languages
and Compilers, {SERP} 2006, Las Vegas, Nevada, USA, June 26-29, 2006,
Volume 2},
pages = {643--649},
publisher = {{CSREA} Press},
year = {2006},
timestamp = {Wed, 29 Nov 2006 15:18:21 +0100},
biburl = {https://dblp.org/rec/conf/serp/DuboisM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/Dubois05,
author = {Catherine Dubois},
title = {Typage, sret{\'{e}} et s{\'{e}}curit{\'{e}}},
journal = {Tech. Sci. Informatiques},
volume = {24},
number = {9},
pages = {1187--1190},
year = {2005},
url = {https://doi.org/10.3166/tsi.24.1187-1190},
doi = {10.3166/TSI.24.1187-1190},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/Dubois05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/BerkaniDFF04,
author = {Karim Berkani and
Catherine Dubois and
Alain Faivre and
J{\'{e}}r{\^{o}}me Falampin},
title = {Validation des r{\`{e}}gles de base de l'Atelier {B}},
journal = {Tech. Sci. Informatiques},
volume = {23},
number = {7},
pages = {855--878},
year = {2004},
url = {https://doi.org/10.3166/tsi.23.855-878},
doi = {10.3166/TSI.23.855-878},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/BerkaniDFF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/DuboisHD04,
author = {Catherine Dubois and
Th{\'{e}}r{\`{e}}se Hardin and
V{\'{e}}ronique Donzeau{-}Gouge},
editor = {Hans{-}Wolfgang Loidl},
title = {Building certified components within {FOCAL}},
booktitle = {Revised Selected Papers from the Fifth Symposium on Trends in Functional
Programming, {TFP} 2004, M{\"{u}}nchen, Germany, 25-26 November
2004},
series = {Trends in Functional Programming},
volume = {5},
pages = {33--48},
publisher = {Intellect},
year = {2004},
timestamp = {Thu, 25 Oct 2007 12:04:14 +0200},
biburl = {https://dblp.org/rec/conf/sfp/DuboisHD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/DuboisGJ03,
author = {Catherine Dubois and
J. Grandguillot and
Mathieu Jaume},
editor = {Jean{-}Christophe Filli{\^{a}}tre},
title = {R{\'{e}}utilisation de preuves formelles : une {\'{e}}tude
pour le syst{\`{e}}me FoC},
booktitle = {Journ{\'{e}}es francophones des langages applicatifs (JFLA'03),
Chamrousse, France, Janvier 2003},
series = {Collection Didactique},
pages = {63--75},
publisher = {{INRIA}},
year = {2003},
timestamp = {Tue, 24 Mar 2009 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jfla/DuboisGJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/LedouxMADGB02,
author = {Franck Ledoux and
Jean{-}Marc Mota and
Agn{\`{e}}s Arnould and
Catherine Dubois and
Pascale Le Gall and
Yves Bertrand},
title = {Sp{\'{e}}cifications formelles du chanfreinage},
journal = {Tech. Sci. Informatiques},
volume = {21},
number = {8},
pages = {1073--1098},
year = {2002},
url = {http://tsi.revuesonline.com/article.jsp?articleId=3824},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/LedouxMADGB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/AiguierBD02,
author = {Marc Aiguier and
Diane Bahrami and
Catherine Dubois},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {On a Generalised Logicality Theorem},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {51--63},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_8},
doi = {10.1007/3-540-45470-5\_8},
timestamp = {Sun, 02 Jun 2019 21:23:47 +0200},
biburl = {https://dblp.org/rec/conf/aisc/AiguierBD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Dubois00,
author = {Catherine Dubois},
editor = {Mark D. Aagaard and
John Harrison},
title = {Proving {ML} Type Soundness Within Coq},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {126--144},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_9},
doi = {10.1007/3-540-44659-1\_9},
timestamp = {Tue, 15 Aug 2023 09:02:05 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Dubois00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/DuboisM99,
author = {Catherine Dubois and
Val{\'{e}}rie M{\'{e}}nissier{-}Morain},
title = {Certification of a Type Inference Tool for {ML:} Damas-Milner within
Coq},
journal = {J. Autom. Reason.},
volume = {23},
number = {3-4},
pages = {319--346},
year = {1999},
url = {https://doi.org/10.1023/A:1006285817788},
doi = {10.1023/A:1006285817788},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/DuboisM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DuboisRW95,
author = {Catherine Dubois and
Fran{\c{c}}ois Rouaix and
Pierre Weis},
editor = {Ron K. Cytron and
Peter Lee},
title = {Generic Polymorphism},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {118--129},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199473},
doi = {10.1145/199448.199473},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/DuboisRW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/Donzeau-GougeDFJ87,
author = {V{\'{e}}ronique Donzeau{-}Gouge and
Catherine Dubois and
Philippe Facon and
F. Jean},
editor = {Howard K. Nichols and
Dan Simpson},
title = {Development of a Programming Environment for Setl},
booktitle = {{ESEC} '87, 1st European Software Engineering Conference, Strasbourg,
France, September 9-11, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {289},
pages = {21--32},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/BFb0022095},
doi = {10.1007/BFB0022095},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/esec/Donzeau-GougeDFJ87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 02:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
