François Bobot
Orcid: 0000-0002-6756-0788
According to our database1,
François Bobot
authored at least 23 papers
between 2011 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
2
1
1
1
1
2
1
2
1
2
1
2
2
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories co-located with the 36th International Conference on Computer Aided Verification (CAV 2024), 2024
Proceedings of the LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024, 2024
2023
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
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
Proceedings of the ICDCN '22: 23rd International Conference on Distributed Computing and Networking, Delhi, AA, India, January 4, 2022
2021
Formal Aspects Comput., 2021
Commun. ACM, 2021
Proceedings of the Programming Languages and Systems, 2021
2020
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
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
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017
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
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