| Automated deduction in the B set theory using typed proof search and deduction modulo G Bury, D Delahaye, D Doligez, P Halmagrand, O Hermant LPAR 20: 20th International Conference on Logic for Programming, Artificial …, 2015 | 25 | 2015 |
| First-order automated reasoning with theories: when deduction modulo theory meets practice G Burel, G Bury, R Cauderlier, D Delahaye, P Halmagrand, O Hermant Journal of Automated Reasoning 64 (6), 1001-1050, 2020 | 14 | 2020 |
| Verifying Models with Dolmen. G Bury, F Bobot SMT, 62-70, 2023 | 9 | 2023 |
| Dolmen: A Validator for SMT-LIB and Much More. G Bury SMT, 32-39, 2021 | 8 | 2021 |
| Integrating simplex with tableaux G Bury, D Delahaye International Conference on Automated Reasoning with Analytic Tableaux and …, 2015 | 8 | 2015 |
| SMT solving modulo tableau and rewriting theories G Bury, S Cruanes, D Delahaye SMT 2018-16th International Workshop on Satisfiability Modulo Theories, 2018 | 7 | 2018 |
| Centralizing equality reasoning in MCSAT F Bobot, S Graham-Lengrand, B Marre, G Bury 16th International Workshop on Satisfiability Modulo Theories (SMT 2018), 2018 | 7 | 2018 |
| An Automation-Friendly Set Theory for the B Method G Bury, S Cruanes, D Delahaye, PL Euvrard Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018 | 6 | 2018 |
| Implementing polymorphism in Zenon G Bury, R Cauderlier, P Halmagrand 11th International Workshop on the Implementation of Logics (IWIL), 2015 | 6 | 2015 |
| mSAT: an ocaml sat solver G Bury OCaml Users and Developers Workshop, 2017 | 3 | 2017 |
| On SMT Theory Design: The Case of Sequences HRA El Hara, F Bobot, G Bury LPAR 2024 Complementary Volume, 14--3, 2024 | 2 | 2024 |
| Chamelon: un minimiseur pour et en ocaml M Valnet, N Courant, G Bury, P Chambart, V Laviron 35es Journées Francophones des Langages Applicatifs (JFLA 2024), 2024 | 2 | 2024 |
| Alt-Ergo-Fuzz: A fuzzer for the Alt-Ergo SMT solver HRA El Hara, G Bury, S de Oliveira 33èmes Journées Francophones des Langages Applicatifs, 235-244, 2022 | 1 | 2022 |
| An SMT Theory for n-Indexed Sequences HRAE Hara, F Bobot, G Bury arXiv preprint arXiv:2411.07665, 2024 | | 2024 |
| On SMT Theory Design: The Case of Sequences HRAE Hara, F Bobot, G Bury arXiv preprint arXiv:2411.01961, 2024 | | 2024 |
| An SMT Theory for n-Indexed Sequences H Rami Ait El Hara, F Bobot, G Bury arXiv e-prints, arXiv: 2411.07665, 2024 | | 2024 |
| On SMT Theory Design: The Case of Sequences HR Ait El Hara, F Bobot, G Bury arXiv e-prints, arXiv: 2411.01961, 2024 | | 2024 |
| Chamelon: A Delta-Debugger for OCaml M Valnet, N Courant, G Bury, P Chambart, V Laviron International Symposium on Formal Methods, 76-83, 2024 | | 2024 |
| An SMT Theory for n-Indexed Sequences HRA El Hara, F Bobot, G Bury 22nd International Workshop on Satisfiability Modulo Theories, 2024 | | 2024 |
| Minimal logic detection and exporting SMT-LIB problems with Dolmen G Bury | | 2024 |
David DelahayeCorreu electrònic verificat a cnam.fr
