François Bobot

33 papers A 2B 4C 1Misc 1Journal 13Unranked 10
YearRankTypeTitle / Venue / Authors
2026 — conf
Exploring the SMT-LIB Benchmark Library.
TACAS (1)
Hans-Jörg Schurr, François Bobot, Mathias Preiner, Aina Niemetz, Clark W. Barrett, Pascal Fontaine, Cesare Tinelli
2025 J jnl
Reasoning over n-indexed sequences in SMT.
Acta Informatica
Hichem Rami Ait El Hara, François Bobot, Guillaume Bury
2025 J jnl
Relational Abstractions Based on Labeled Union-Find.
Proc. ACM Program. Lang.
Dorian Lesbre, Matthieu Lemerre, Hichem Rami Ait El Hara, François Bobot
2025 B conf
The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification.
iFM
Michele Alberti, François Bobot, Julien Girard-Satabin, Alban Grastien, Aymeric Varasse, Zakaria Chihani
2025 J jnl
The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification.
CoRR
Michele Alberti, François Bobot, Julien Girard-Satabin, Alban Grastien, Aymeric Varasse, Zakaria Chihani
2024 J jnl
An SMT Theory for n-Indexed Sequences.
CoRR
Hichem Rami Ait El Hara, François Bobot, Guillaume Bury
2024 — conf
An SMT theory for N-Indexed Sequences.
SMT@CAV
Hichem Rami Ait El Hara, François Bobot, Guillaume Bury
2024 — conf
On SMT Theory Design: The Case of Sequences.
LPAR Complementary Volume
Hichem Rami Ait El Hara, François Bobot, Guillaume Bury
2024 J jnl
On SMT Theory Design: The Case of Sequences.
CoRR
Hichem Rami Ait El Hara, François Bobot, Guillaume Bury
2023 — conf
Verifying Models with Dolmen.
SMT
Guillaume Bury, François Bobot
2022 Misc conf
A TLA+ Formal Proof of a Cross-Chain Swap.
ICDCN
Zeinab Nehaï, François Bobot, Sara Tucci Piergiovanni, Carole Delporte-Gallet, Hugues Fauconnier
2022 — conf
CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness.
AISafety@IJCAI
Julien Girard-Satabin, Michele Alberti, François Bobot, Zakaria Chihani, Augustin Lemesle
2022 J jnl
CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness.
CoRR
Julien Girard-Satabin, Michele Alberti, François Bobot, Zakaria Chihani, Augustin Lemesle
2021 A conf
An Automated Deductive Verification Framework for Circuit-building Quantum Programs.
ESOP
Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle, Benoît Valiron
2021 J jnl
Formal analysis of the compact position reporting algorithm.
Formal Aspects Comput.
Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Gregory Anderson, François Bobot
2021 — ed.
Proceedings of the 18th International Workshop on Satisfiability Modulo Theories co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Online (initially located in Paris, France), July 5-6, 2020.
SMT
François Bobot, Tjark Weber
2021 J jnl
The dogged pursuit of bug-free C programs: the Frama-C software analysis platform.
Commun. ACM
Patrick Baudin, François Bobot, David Bühler, Loïc Correnson, Florent Kirchner, Nikolai Kosmatov, André Maroneze, Valentin Perrelle, Virgile Prevosto, Julien Signoles, Nicky Williams
2020 J jnl
Toward certified quantum programming.
CoRR
Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle, Benoît Valiron
2019 J jnl
Deductive Proof of Ethereum Smart Contracts Using Why3.
CoRR
Zeinab Nehai, François Bobot
2019 — conf
Deductive Proof of Industrial Smart Contracts Using Why3.
FM Workshops (1)
Zeinab Nehaï, François Bobot
2019 B conf
Exploiting Pointer Analysis in Memory Models for Deductive Verification.
VMCAI
Quentin Bouillaguet, François Bobot, Mihaela Sighireanu, Boris Yakobowski
2018 B conf
A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm.
FM
Laura Titolo, Mariano M. Moscato, César A. Muñoz, Aaron Dutle, François Bobot
2018 J jnl
Exploiting Pointer Analysis in Memory Models for Deductive Verification.
CoRR
Quentin Bouillaguet, François Bobot, Mihaela Sighireanu, Boris Yakobowski
2017 J jnl
CDCL-inspired Word-level Learning for Bit-vector Constraint Solving.
CoRR
Zakaria Chihani, François Bobot, Sébastien Bardin
2017 — conf
Real Behavior of Floating Point.
SMT
François Bobot, Zakaria Chihani, Bruno Marre
2017 B conf
Sharpening Constraint Programming Approaches for Bit-Vector Theory.
CPAIOR
Zakaria Chihani, Bruno Marre, François Bobot, Sébastien Bardin
2015 J jnl
Let's verify this with Why3.
Int. J. Softw. Tools Technol. Transf.
François Bobot, Jean-Christophe Filliâtre, Claude Marché, Andrei Paskevich
2013 — conf
Certified Complexity (CerCo).
FOPARA
Roberto M. Amadio, Nicholas Ayache, François Bobot, Jaap Boender, Brian Campbell, Ilias Garnier, Antoine Madet, James McKinna, Dominic P. Mulligan, Mauro Piccolo, Randy Pollack, Yann Régis-Gianas, Claudio Sacerdoti Coen, Ian Stark, Paolo Tranquilli
2013 — conf
Preserving User Proofs across Specification Changes.
VSTTE
François Bobot, Jean-Christophe Filliâtre, Claude Marché, Guillaume Melquiond, Andrei Paskevich
2012 A conf
A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic.
IJCAR
François Bobot, Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala, Assia Mahboubi, Alain Mebsout, Guillaume Melquiond
2012 C conf
Separation Predicates: A Taste of Separation Logic in First-Order Logic.
ICFEM
François Bobot, Jean-Christophe Filliâtre
2011 — conf
Expressing Polymorphic Types in a Many-Sorted Language.
FroCoS
François Bobot, Andrey Paskevich
2011 — —
Logique de séparation et vérification déductive. (Separation logic and deductive verification).
François Bobot