Guillaume Bury

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 10

Top Topics

Propositional Logic

Automated Reasoning

Top Venues

LPAR Complementary Volume

LPAR (short papers)

Publications

Hichem Rami Ait El Hara, François Bobot, Guillaume Bury
An SMT theory for N-Indexed Sequences. SMT@CAV (2024)
Guillaume Bury
Minimal Logic Detection and Exporting SMTLIB Problems with Dolmen. SMT@CAV (2024)
Hichem Rami Ait El Hara, François Bobot, Guillaume Bury
On SMT Theory Design: The Case of Sequences. LPAR Complementary Volume (2024)
Guillaume Bury, François Bobot
Verifying Models with Dolmen. SMT (2023)
Guillaume Bury
Dolmen: A Validator for SMT-LIB and Much More. SMT (2021)
Guillaume Burel, Guillaume Bury, Raphaël Cauderlier, David Delahaye, Pierre Halmagrand, Olivier Hermant
First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice. J. Autom. Reason. 64 (6) (2020)
Guillaume Bury, Simon Cruanes, David Delahaye, Pierre-Louis Euvrard
An Automation-Friendly Set Theory for the B Method. ABZ (2018)
Guillaume Bury, Raphaël Cauderlier, Pierre Halmagrand
Implementing Polymorphism in Zenon. IWIL@LPAR (2015)
Guillaume Bury, David Delahaye, Damien Doligez, Pierre Halmagrand, Olivier Hermant
Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo. LPAR (short papers) (2015)
Guillaume Bury, David Delahaye
Integrating Simplex with Tableaux. TABLEAUX (2015)