Concepedia

David Déharbe

DD

Statistics

Publications

11

Citations

269

H-Index

11

Active since

2003

Affiliations

Universidade Federal do Rio Grande do Norte(Current)

Institut national de recherche en sciences et technologies du numérique

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Uppsala University

David Déharbe is an author at Universidade Federal do Rio Grande do Norte specializing in computer science, computing, and formal methods.

Publications per year

2003–2019

11

Publications

11

Light-weight theorem proving for debugging and verifying units of code

David Déharbe, Silvio Ranise · 2003 · 52 citations

Computing, Computer Science, Formal Methods +9

The SMT Competition 2015–2018

Tjark Weber, Sylvain Conchon, David Déharbe et al. · Journal on Satisfiability Boolean Modeling and Computation · 2019 · 32 citations · Full text

Computing, Computer Science, Mathematics +9

Integration of SMT-solvers in B and Event-B development environments

David Déharbe · Science of Computer Programming · 2011 · 29 citations

Computing, Computer Science, Formal Methods +3

Integrating SMT solvers in Rodin

David Déharbe, Pascal Fontaine, Yoann Guyot et al. · Science of Computer Programming · 2014 · 29 citations

Natural Sciences, Computer Science, Mathematics +10

The 2014 SMT Competition

David R. Cok, David Déharbe, Tjark Weber · Journal on Satisfiability Boolean Modeling and Computation · 2016 · 26 citations · Full text

Computing, Computer Science, Algorithms +6

1–5 of 11