David Deharbe

Cited by

	All	Since 2019
Citations	1625	537
h-index	22	12
i10-index	40	17

120

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320249 13 12 11 10 9 11 17 16 52 45 46 54 33 40 56 57 58 58 76 84 95 99 90 99 101 89 91 92 64

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceVerified email at loria.fr
Anamaria Martins MoreiraUFRJVerified email at dcc.ufrj.br
Silvio RaniseFBKVerified email at fbk.eu
Diego Caminha B de OliveiraFormer Postdoctoral Researcher, University of Utah and Verimag/CNRSVerified email at cs.utah.edu
Valério Medeiros Jr.Professor of Information Systems, Federal Institute of Education Science and Technology of RNVerified email at ifrn.edu.br
Dominique BorrioneRetired Professor from UGA, GrenobleVerified email at imag.fr
Thierry LecomteClearSy Systems EngineeringVerified email at clearsy.com
Stephenson GalvaoInstituto Federal do PiauiVerified email at ifpi.edu.br
Stephan MerzSenior Researcher, INRIAVerified email at inria.fr
Umberto Souza da CostaProfessor Associado, Universidade Federal do Rio Grande do NorteVerified email at dimap.ufrn.br
Bruno Woltzenlogel Paleo.Verified email at logic.at
Sérgio Queiroz de MedeirosProfessor of Computer Science, Universidade Federal do Rio Grande do Norte, BrazilVerified email at ect.ufrn.br
jean-françois couchotDr, Full Professor, Univ. of Bourgogne Franche-Comté, FEMTO-STVerified email at univ-fcomte.fr
Alain Giorgettimaître de conférences en informatique, institut FEMTO-ST, Université de Franche-ComtéVerified email at femto-st.fr
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Haniel BarbosaUniversidade Federal de Minas GeraisVerified email at dcc.ufmg.br
Ayman WahbaProfessor at Computer and Systems Engineering Department, Ain Shams UniversityVerified email at eng.asu.edu.eg
Marcel OliveiraLecturer of Computer Science and Software Engineering, Universidade Federal do Rio Grande do NorteVerified email at dimap.ufrn.br
Bertrand MazureProfesseur des Universités, Université d'ArtoisVerified email at cril.univ-artois.fr
Daniel Le BerreCRIL-CNRS Université d'ArtoisVerified email at cril.fr

David Deharbe

CLEARSY

Verified email at clearsy.com - Homepage

Computer Science Formal Methods Formal Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
veriT: an open, trustable and efficient SMT-solver T Bouton, D Caminha B. de Oliveira, D Déharbe, P Fontaine International Conference on Automated Deduction, 151-156, 2009	261	2009
Light-weight theorem proving for debugging and verifying units of code D Déharbe, S Ranise First International Conference onSoftware Engineering and Formal Methods …, 2003	81	2003
SMT solvers for Rodin D Déharbe, P Fontaine, Y Guyot, L Voisin International Conference on Abstract State Machines, Alloy, B, VDM, and Z …, 2012	75	2012
The SMT competition 2015–2018 T Weber, S Conchon, D Déharbe, M Heizmann, A Niemetz, G Reger Journal on Satisfiability, Boolean Modeling and Computation 11 (1), 221-259, 2019	66	2019
Exploiting symmetry in SMT problems D Déharbe, P Fontaine, S Merz, B Woltzenlogel Paleo International Conference on Automated Deduction, 222-236, 2011	61	2011
Formalizing freertos: First steps D Déharbe, S Galvao, AM Moreira Formal Methods: Foundations and Applications: 12th Brazilian Symposium on …, 2009	56	2009
Applying a formal method in industry: a 25-year trajectory T Lecomte, D Deharbe, E Prun, E Mottin Brazilian Symposium on Formal Methods, 70-87, 2017	52	2017
Integrating SMT solvers in Rodin D Déharbe, P Fontaine, Y Guyot, L Voisin Science of Computer Programming 94, 130-143, 2014	49	2014
The 2014 SMT competition DR Cok, D Déharbe, T Weber Journal on Satisfiability, Boolean Modeling and Computation 9 (1), 207-242, 2014	49	2014
Computing prime implicants D Déharbe, P Fontaine, D Le Berre, B Mazure 2013 Formal Methods in Computer-Aided Design, 46-52, 2013	43	2013
Aspect-oriented design in SystemC: implementation and applications D Déharbe, S Medeiros Proceedings of the 19th annual symposium on Integrated circuits and systems …, 2006	36	2006
Model checking VHDL with CV D Déharbe, S Shankar, EM Clarke International Conference on Formal Methods in Computer-Aided Design, 508-514, 1998	36	1998
Integration of SMT-solvers in B and Event-B development environments D Déharbe Science of Computer Programming 78 (3), 310-326, 2013	35	2013
Safety analysis of a CBTC system: a rigorous approach with Event-B M Comptier, D Déharbe, JM Perez, L Mussat, T Pierre, D Sabatier Reliability, Safety, and Security of Railway Systems. Modelling, Analysis …, 2017	31	2017
Semantics of a verification-oriented subset of VHDL D Déharbe, D Borrione Advanced Research Working Conference on Correct Hardware Design and …, 1995	30	1995
Applying light-weight theorem proving to debugging and verifying pointer programs S Ranise, D Déharbe Electronic Notes in Theoretical Computer Science 86 (1), 105-119, 2003	27	2003
Applying a formal method in industry: a 15-year trajectory T Lecomte International Workshop on Formal Methods for Industrial Critical Systems, 26-34, 2009	26	2009
Scalable automated proving and debugging of set-based specifications JF Couchot, D Déharbe, A Giorgetti, S Ranise Journal of the Brazilian Computer Society 9, 17-36, 2003	26	2003
Quantifier inference rules for SMT proofs D Déharbe, P Fontaine, BW Paleo First International Workshop on Proof eXchange for Theorem Proving-PxTP 2011, 2011	25	2011
The SMT-LIB Standard Version 2.0 DRAFT C Barrett, A Stump, C Tinelli, S Boehme, D Cok, D Déharbe, B Dutertre, ... Technical report, 2010	25	2010

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors