Franois Bobot
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
11
Active years
2012–2026
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TACAS | Exploring the SMT-LIB Benchmark Library. | Hans-Jrg Schurr, Franois Bobot, Mathias Preiner, Aina Niemetz, Clark W. Barrett, Pascal Fontaine, Cesare Tinelli |
| 2025 | IFM | The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification. | Michele Alberti, Franois Bobot, Julien Girard-Satabin, Alban Grastien, Aymeric Varasse, Zakaria Chihani |
| 2024 | LPAR | On SMT Theory Design: The Case of Sequences. | Hichem Rami Ait El Hara, Franois Bobot, Guillaume Bury |
| 2022 | ICDCN | A TLA+ Formal Proof of a Cross-Chain Swap. | Zeinab Neha, Franois Bobot, Sara Tucci Piergiovanni, Carole Delporte-Gallet, Hugues Fauconnier |
| 2022 | IJCAI | CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness. | Julien Girard-Satabin, Michele Alberti, Franois Bobot, Zakaria Chihani, Augustin Lemesle |
| 2021 | ESOP | An Automated Deductive Verification Framework for Circuit-building Quantum Programs. | Christophe Chareton, Sbastien Bardin, Franois Bobot, Valentin Perrelle, Benot Valiron |
| 2019 | FM | Deductive Proof of Industrial Smart Contracts Using Why3. | Zeinab Neha, Franois Bobot |
| 2019 | VMCAI | Exploiting Pointer Analysis in Memory Models for Deductive Verification. | Quentin Bouillaguet, Franois Bobot, Mihaela Sighireanu, Boris Yakobowski |
| 2018 | FM | A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm. | Laura Titolo, Mariano M. Moscato, Csar A. Muoz, Aaron Dutle, Franois Bobot |
| 2017 | CPAIOR | Sharpening Constraint Programming Approaches for Bit-Vector Theory. | Zakaria Chihani, Bruno Marre, Franois Bobot, Sbastien Bardin |
| 2012 | CADE | A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic. | Franois Bobot, Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala, Assia Mahboubi, Alain Mebsout, Guillaume Melquiond |
| 2012 | ICFEM | Separation Predicates: A Taste of Separation Logic in First-Order Logic. | Franois Bobot, Jean-Christophe Fillitre |