François Bobot

According to our database, François Bobot authored at least 21 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Verifying Models with Dolmen.

Guillaume Bury, François Bobot

Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), 2023

2022

CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness.

Julien Girard-Satabin, Michele Alberti, François Bobot, Zakaria Chihani, Augustin Lemesle

Proceedings of the Workshop on Artificial Intelligence Safety 2022 (AISafety 2022) co-located with the Thirty-First International Joint Conference on Artificial Intelligence and the Twenty-Fifth European Conference on Artificial Intelligence (IJCAI-ECAI-2022), 2022

A TLA+ Formal Proof of a Cross-Chain Swap.

Zeinab Nehaï, François Bobot, Sara Tucci Piergiovanni, Carole Delporte-Gallet, Hugues Fauconnier

Proceedings of the ICDCN '22: 23rd International Conference on Distributed Computing and Networking, Delhi, AA, India, January 4, 2022

2021

Formal analysis of the compact position reporting algorithm.

Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Gregory Anderson, François Bobot

Formal Aspects Comput., 2021

The dogged pursuit of bug-free C programs: the Frama-C software analysis platform.

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

Commun. ACM, 2021

An Automated Deductive Verification Framework for Circuit-building Quantum Programs.

Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle, Benoît Valiron

Proceedings of the Programming Languages and Systems, 2021

2020

Toward certified quantum programming.

Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle, Benoît Valiron

CoRR, 2020

2019

Deductive Proof of Ethereum Smart Contracts Using Why3.

Zeinab Nehai, François Bobot

CoRR, 2019

Exploiting Pointer Analysis in Memory Models for Deductive Verification.

Quentin Bouillaguet, François Bobot, Mihaela Sighireanu, Boris Yakobowski

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Deductive Proof of Industrial Smart Contracts Using Why3.

Zeinab Nehaï, François Bobot

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018

A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm.

Laura Titolo, Mariano M. Moscato, César A. Muñoz, Aaron Dutle, François Bobot

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

CDCL-inspired Word-level Learning for Bit-vector Constraint Solving.

Zakaria Chihani, François Bobot, Sébastien Bardin

CoRR, 2017

Real Behavior of Floating Point.

François Bobot, Zakaria Chihani, Bruno Marre

Proceedings of the 15th International Workshop on Satisfiability Modulo Theories affiliated with the International Conference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 22, 2017

Sharpening Constraint Programming Approaches for Bit-Vector Theory.

Zakaria Chihani, Bruno Marre, François Bobot, Sébastien Bardin

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

2015

Let's verify this with Why3.

François Bobot, Jean-Christophe Filliâtre, Claude Marché, Andrei Paskevich

Int. J. Softw. Tools Technol. Transf., 2015

2013

Preserving User Proofs across Specification Changes.

François Bobot, Jean-Christophe Filliâtre, Claude Marché, Guillaume Melquiond, Andrei Paskevich

Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

Certified Complexity (CerCo).

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

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013

2012

Separation Predicates: A Taste of Separation Logic in First-Order Logic.

François Bobot, Jean-Christophe Filliâtre

Proceedings of the Formal Methods and Software Engineering, 2012

A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic.

François Bobot, Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala, Assia Mahboubi, Alain Mebsout, Guillaume Melquiond

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011

Logique de séparation et vérification déductive. (Separation logic and deductive verification).

François Bobot

PhD thesis, 2011

Expressing Polymorphic Types in a Many-Sorted Language.

François Bobot, Andrey Paskevich

Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011