Personal information

Activities

Employment (1)

CEA LIST: Palaiseau, FR

2012-12-10 to present
Employment
Source: Self-asserted source
François Bobot

Works (11)

A formally verified floating-point implementation of the compact position reporting algorithm

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018 | Book
EID:

2-s2.0-85050361363

Contributors: Titolo, L.; Moscato, M.M.; Muñoz, C.A.; Dutle, A.; Bobot, F.
Source: Self-asserted source
François Bobot via Scopus - Elsevier

Des approches CP à la conquête de la theórie des bit-vecteurs

Treiziemes Journees Francophones de Programmation par Contraintes, JFPC 2017
2017 | Conference paper
EID:

2-s2.0-85026389616

Contributors: Chihani, Z.; Marre, B.; Bobot, F.; Bardin, S.
Source: Self-asserted source
François Bobot via Scopus - Elsevier

Real behavior of floating point numbers

CEUR Workshop Proceedings
2017 | Conference paper
EID:

2-s2.0-85030095404

Contributors: Marre, B.; Bobot, F.; Chihani, Z.
Source: Self-asserted source
François Bobot via Scopus - Elsevier

Sharpening constraint programming approaches for bit-vector theory

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017 | Book
EID:

2-s2.0-85020795688

Contributors: Chihani, Z.; Marre, B.; Bobot, F.; Bardin, S.
Source: Self-asserted source
François Bobot via Scopus - Elsevier

Let’s verify this with Why3

International Journal on Software Tools for Technology Transfer
2015 | Journal article
EID:

2-s2.0-84943454863

Contributors: Bobot, F.; Filliâtre, J.-C.; Marché, C.; Paskevich, A.
Source: Self-asserted source
François Bobot via Scopus - Elsevier

Certified Complexity (CerCo)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014 | Book
EID:

2-s2.0-84909639253

Contributors: Amadio, R.M.; Ayache, N.; Bobot, F.; Boender, J.P.; Campbell, B.; Garnier, I.; Madet, A.; McKinna, J.; Mulligan, D.P.; Piccolo, M. et al.
Source: Self-asserted source
François Bobot via Scopus - Elsevier

Preserving user proofs across specification changes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014 | Book
EID:

2-s2.0-84927642115

Contributors: Bobot, F.; Filliâtre, J.-C.; Marché, C.; Melquiond, G.; Paskevich, A.
Source: Self-asserted source
François Bobot via Scopus - Elsevier

A simplex-based extension of Fourier-Motzkin for solving linear integer arithmetic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012 | Book
EID:

2-s2.0-84863618194

Contributors: Bobot, F.; Conchon, S.; Contejean, E.; Iguernelala, M.; Mahboubi, A.; Mebsout, A.; Melquiond, G.
Source: Self-asserted source
François Bobot via Scopus - Elsevier

Separation predicates: A taste of separation logic in first-order logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012 | Book
EID:

2-s2.0-84871656101

Contributors: Bobot, F.; Filliâtre, J.-C.
Source: Self-asserted source
François Bobot via Scopus - Elsevier

Expressing polymorphic types in a many-sorted language

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011 | Book
EID:

2-s2.0-80054020370

Contributors: Bobot, F.; Paskevich, A.
Source: Self-asserted source
François Bobot via Scopus - Elsevier

Implementing polymorphism in SMT solvers

ACM International Conference Proceeding Series
2008 | Conference paper
EID:

2-s2.0-67650705521

Contributors: Bobot, F.; Conchon, S.; Contejean, E.; Lescuyer, S.
Source: Self-asserted source
François Bobot via Scopus - Elsevier