# François Bobot

According to our database

Collaborative distances:

^{1}, François Bobot authored at least 16 papers between 2011 and 2021.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2021

Formal Aspects Comput., 2021

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

Proceedings of the Programming Languages and Systems, 2021

2020

CoRR, 2020

2019

CoRR, 2019

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

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

CoRR, 2017

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

2015

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

2013

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

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

2012

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

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