| 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 |
| Integrating simplex with tableaux G Bury, D Delahaye International Conference on Automated Reasoning with Analytic Tableaux and …, 2015 | 9 | 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 |
| Implementing polymorphism in Zenon G Bury, R Cauderlier, P Halmagrand 11th International Workshop on the Implementation of Logics (IWIL), 2015 | 7 | 2015 |
| 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 |
| Dolmen: A Validator for SMT-LIB and Much More. G Bury SMT, 32-39, 2021 | 5 | 2021 |
| Verifying Models with Dolmen. G Bury, F Bobot SMT, 62-70, 2023 | 4 | 2023 |
| mSAT: an ocaml sat solver G Bury OCaml Users and Developers Workshop, 2017 | 3 | 2017 |
| 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 |
| On SMT Theory Design: The Case of Sequences HRA El Hara, F Bobot, G Bury Kalpa Publications in Computing 18, 14-29, 2024 | 1 | 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 |
| Minimal logic detection and exporting SMT-LIB problems with Dolmen G Bury | | 2024 |
| An SMT Theory for n-Indexed Sequences HRA El Hara, F Bobot, G Bury | | 2024 |
| 33èmes journées francophones des langages applicatifs C Keller, T Bourke, S Blazy, F Bour, G Bury, S Dumbrava, D Gallois-Wong, ... | | 2022 |
| 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 | | 2022 |
| Integrating rewriting, tableau and superposition into SMT G Bury Université Sorbonne Paris Cité, 2019 | | 2019 |
| Grant Proposal: Liquidity, development and verification frameworks MSSEI FAN, A MEBSOUT, F LE FESSANT, M IGUERNLALA, ... | | 2018 |
| Guillaume Bury. mSAT: An OCaml SAT Solver. OCaml Users and Developers Workshop, Sep 2017, Oxford, United Kingdom.⟨ hal-01670765⟩... G Bury < bound method Organization. get_name_with_acronym of< Organization: Inria …, 2017 | | 2017 |
David DelahayeVerified email at cnam.fr
