Author

David Déharbe

Observed names: , DEHARBE, D. Deharbe, D. Déharbe, David B. P. Déharbe, David Boris Paul Déharbe, David Deharbe, Deharbe, David, Deharbe, David (1969-...), Deharbe, H., Déharbe, David

Observed institutions: Institut national de recherche en sciences et technologies du numérique, Université Joseph Fourier, Universidade Federal do Rio Grande do Norte, Techniques of Informatics and Microelectronics for Integrated Systems Architecture, Laboratoire Lorrain de Recherche en Informatique et ses Applications, Astrophysique Relativiste, Théories, Expériences, Métrologie, Instrumentation, Signaux, Translational Innovation in Medicine and Complexity

ORCID: 0000-0001-7589-3323

Observed ORCID: 0000-0001-7589-3323

OpenAlex ID: A5046244008

veriT: An Open, Trustable and Efficient SMT-Solver

2009 · Thomas Bouton, Diego Caminha B. de Oliveira, et al. · Lecture notes in computer science · 169

Applying a Formal Method in Industry: A 25-Year Trajectory

2017 · Thierry Lecomte, David Deharbe, et al. · Lecture notes in computer science · 50

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

2003 · D. Deharbe, S. Ranise · IEEE International Conference on Software Engineering and Formal Methods (SEFM) · 50

SMT Solvers for Rodin

2012 · David Déharbe, Pascal Fontaine, et al. · Lecture notes in computer science · 47

Safety Analysis of a CBTC System: A Rigorous Approach with Event-B

2017 · Mathieu Comptier, David Deharbe, et al. · Lecture notes in computer science · 35

The SMT Competition 2015–2018

2019 · Tjark Weber, Sylvain Conchon, et al. · Journal on Satisfiability Boolean Modeling and Computation · 34

PDF

Exploiting Symmetry in SMT Problems

2011 · David Déharbe, Pascal Fontaine, et al. · Lecture notes in computer science · 32

Integrating SMT solvers in Rodin

2014 · David Déharbe, Pascal Fontaine, et al. · Science of Computer Programming · 30

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

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

PDF

Formalizing FreeRTOS: First Steps

2009 · David Déharbe, Stephenson Galvão, et al. · Lecture notes in computer science · 27

The 2014 SMT Competition

2016 · David R. Cok, David Déharbe, et al. · Journal on Satisfiability Boolean Modeling and Computation · 26

PDF

Theoretical Aspects of Computing – ICTAC 2010

2010 · Cavalcanti, Ana, Woodcock, Jim, et al. · Lecture notes in computer science · 25

Computing prime implicants

2013 · David Deharbe, Pascal Fontaine, et al. · Formal Methods in Computer-Aided Design · 22

Aspect-oriented design in systemC

2006 · David Déharbe, Sergio Medeiros · Symposium on Integrated Circuits and Systems Design · 22

B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution

2019 · Dalay Israel de Almeida Pereira, David Deharbe, et al. · Lecture notes in computer science · 19

Model Checking VHDL with CV

1998 · David Déharbe, Subash Shankar, et al. · Lecture notes in computer science · 18

Using induction and BDDs to model check invariants

1997 · David Déharbe, Anamaria Martins Moreira · IFIP advances in information and communication technology · 18

PDF

Semantics of a verification-oriented subset of VHDL

1995 · Deharbe, H., Borrione, D. · HAL · 16

Satisfiability solving for software verification

2009 · David Déharbe, Silvio Ranise · International Journal on Software Tools for Technology Transfer · 15

Scalable automated proving and debugging of set-based specifications

2003 · J.-F. Couchot, D. Déharbe, et al. · Journal of the Brazilian Computer Society · 15

PDF

Semantics of a verification-oriented subset of VHDL

1995 · David Déharbe, Dominique Borrione · Lecture notes in computer science · 15

PDF

Formal Verification of PLC Programs Using the B Method

2012 · Haniel Barbosa, David Déharbe · Lecture notes in computer science · 14

The CLEARSY safety platform: 5 years of research, development and deployment

2020 · Thierry Lecomte, David Deharbe, et al. · Science of Computer Programming · 13

Quantifier Inference Rules for SMT proofs

2011 · David Deharbe, Pascal Fontaine, et al. · 12

Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs

2003 · Silvio Ranise, David Déharbe · Electronic Notes in Theoretical Computer Science · 12

PDF

Works count: 126

Citation count: 919

H-index: 17

I10-index: 26