François Bobot

Statistics

Publications

Citations

372

H-Index

Active since

2008

Affiliations

Laboratoire d'Intégration des Systèmes et des Technologies(Current)

Commissariat à l'Énergie Atomique et aux Énergies Alternatives

Université Paris Cité

Laboratoire de Recherche en Informatique

Université Paris-Sud

François Bobot is an author at Laboratoire d'Intégration des Systèmes et des Technologies specializing in computer science, computing, and formal methods.

ORCID

Publications per year

2008–2022

Publications

A.: Why3: Shepherd your herd of provers

François Bobot, Jean-Christophe Filliâtre, Claude Marché et al. · 2011 · 186 citations · Full text

Computing, Computer Science, Formal Methods +16

The dogged pursuit of bug-free C programs

Patrick Baudin, François Bobot, David Bühler et al. · Communications of the ACM · 2021 · 65 citations · Full text

Computing, Computer Engineering, Computer Science +13

Let’s verify this with Why3

François Bobot, Jean-Christophe Filliâtre, Claude Marché et al. · International Journal on Software Tools for Technology Transfer · 2014 · 50 citations · Full text

Computing, Computer Science, Formal Methods +1

Implementing polymorphism in SMT solvers

François Bobot, Sylvain Conchon, Évelyne Contejean et al. · 2008 · 38 citations

Computing, Computer Science, Formal Methods +16

Deductive Proof of Ethereum Smart Contracts Using Why3

Zeinab Nehaï, François Bobot · arXiv (Cornell University) · 2019 · 12 citations · Full text

Computing, Computer Engineering, Computer Science +17

1–5 of 7