According to our database1, François Bobot authored at least 16 papers between 2011 and 2021.
Legend:Book In proceedings Article PhD thesis Other
Formal Aspects Comput., 2021
Proceedings of the Programming Languages and Systems, 2021
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm.
Proceedings of the Formal Methods - 22nd International Symposium, 2018
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017
Proceedings of the Verified Software: Theories, Tools, Experiments, 2013
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013
Proceedings of the Formal Methods and Software Engineering, 2012
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012
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