François Bobot

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 19

Top Venues

CoRR

SMT

LPAR Complementary Volume

VMCAI

University of Paris-Sud, Orsay, France (PHD)

Education History

University of Paris-Sud, Orsay, France

PHD

Publications

Hichem Rami Ait El Hara, François Bobot, Guillaume Bury
An SMT theory for N-Indexed Sequences. 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)
Julien Girard-Satabin, Michele Alberti, François Bobot, Zakaria Chihani, Augustin Lemesle
CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness. AISafety@IJCAI (2022)
Zeinab Nehaï, François Bobot, Sara Tucci Piergiovanni, Carole Delporte-Gallet, Hugues Fauconnier
A TLA+ Formal Proof of a Cross-Chain Swap. ICDCN (2022)
Julien Girard-Satabin, Michele Alberti, François Bobot, Zakaria Chihani, Augustin Lemesle
CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness. CoRR (2022)
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
The dogged pursuit of bug-free C programs: the Frama-C software analysis platform. Commun. ACM 64 (8) (2021)
Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Gregory Anderson, François Bobot
Formal analysis of the compact position reporting algorithm. Formal Aspects Comput. 33 (1) (2021)
Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle, Benoît Valiron
An Automated Deductive Verification Framework for Circuit-building Quantum Programs. ESOP (2021)
Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle, Benoît Valiron
Toward certified quantum programming. CoRR (2020)
Zeinab Nehaï, François Bobot
Deductive Proof of Industrial Smart Contracts Using Why3. FM Workshops (1) (2019)
Quentin Bouillaguet, François Bobot, Mihaela Sighireanu, Boris Yakobowski
Exploiting Pointer Analysis in Memory Models for Deductive Verification. VMCAI (2019)
Zeinab Nehai, François Bobot
Deductive Proof of Ethereum Smart Contracts Using Why3. CoRR (2019)
Laura Titolo, Mariano M. Moscato, César A. Muñoz, Aaron Dutle, François Bobot
A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm. FM (2018)
Quentin Bouillaguet, François Bobot, Mihaela Sighireanu, Boris Yakobowski
Exploiting Pointer Analysis in Memory Models for Deductive Verification. CoRR (2018)
François Bobot, Zakaria Chihani, Bruno Marre
Real Behavior of Floating Point. SMT (2017)
Zakaria Chihani, Bruno Marre, François Bobot, Sébastien Bardin
Sharpening Constraint Programming Approaches for Bit-Vector Theory. CPAIOR (2017)
Zakaria Chihani, François Bobot, Sébastien Bardin
CDCL-inspired Word-level Learning for Bit-vector Constraint Solving. CoRR (2017)
François Bobot, Jean-Christophe Filliâtre, Claude Marché, Andrei Paskevich
Let's verify this with Why3. Int. J. Softw. Tools Technol. Transf. 17 (6) (2015)
François Bobot, Jean-Christophe Filliâtre, Claude Marché, Guillaume Melquiond, Andrei Paskevich
Preserving User Proofs across Specification Changes. VSTTE (2013)
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
Certified Complexity (CerCo). FOPARA (2013)
François Bobot, Jean-Christophe Filliâtre
Separation Predicates: A Taste of Separation Logic in First-Order Logic. ICFEM (2012)
François Bobot, Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala, Assia Mahboubi, Alain Mebsout, Guillaume Melquiond
A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic. IJCAR (2012)
François Bobot, Andrey Paskevich
Expressing Polymorphic Types in a Many-Sorted Language. FroCoS (2011)

François Bobot.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

François Bobot