François Bobot

According to our database1, François Bobot authored at least 16 papers between 2011 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Formal analysis of the compact position reporting algorithm.
Formal Aspects Comput., 2021

An Automated Deductive Verification Framework for Circuit-building Quantum Programs.
Proceedings of the Programming Languages and Systems, 2021

2020
Toward certified quantum programming.
CoRR, 2020

2019
Deductive Proof of Ethereum Smart Contracts Using Why3.
CoRR, 2019

Exploiting Pointer Analysis in Memory Models for Deductive Verification.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Deductive Proof of Industrial Smart Contracts Using Why3.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018
A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm.
Proceedings of the Formal Methods - 22nd International Symposium, 2018

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

Sharpening Constraint Programming Approaches for Bit-Vector Theory.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

2015
Let's verify this with Why3.
Int. J. Softw. Tools Technol. Transf., 2015

2013
Preserving User Proofs across Specification Changes.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2013


2012
Separation Predicates: A Taste of Separation Logic in First-Order Logic.
Proceedings of the Formal Methods and Software Engineering, 2012

A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic.
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).
PhD thesis, 2011

Expressing Polymorphic Types in a Many-Sorted Language.
Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011


  Loading...