David Deharbe

Cited by

	All	Since 2018
Citations	1530	525
h-index	20	12
i10-index	38	13

120

199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220239 13 12 11 9 9 11 16 16 52 46 50 56 33 44 56 56 56 60 78 83 95 100 90 98 101 83 87 66

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Anamaria Martins MoreiraUFRJVerified email at dcc.ufrj.br
Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceVerified email at loria.fr
Silvio RaniseFBKVerified email at fbk.eu
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
Diego Caminha B de OliveiraFormer Postdoctoral Researcher, University of Utah and Verimag/CNRSVerified email at cs.utah.edu
Stephenson GalvaoInstituto Federal do PiauiVerified email at ifpi.edu.br
Thierry LecomteClearSy Systems EngineeringVerified email at clearsy.com
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
Ayman WahbaProfessor at Computer and Systems Engineering Department, Ain Shams UniversityVerified email at eng.asu.edu.eg
Haniel BarbosaUniversidade Federal de Minas GeraisVerified email at dcc.ufmg.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
Marcel OliveiraLecturer of Computer Science and Software Engineering, Universidade Federal do Rio Grande do NorteVerified email at dimap.ufrn.br

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	251	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	82	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	72	2012
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	64	2017
Exploiting symmetry in SMT problems D Déharbe, P Fontaine, S Merz, B Woltzenlogel Paleo Automated Deduction–CADE-23: 23rd International Conference on Automated …, 2011	55	2011
Formalizing freertos: First steps D Déharbe, S Galvao, AM Moreira Formal Methods: Foundations and Applications: 12th Brazilian Symposium on …, 2009	53	2009
The 2014 SMT competition DR Cok, D Déharbe, T Weber Journal on Satisfiability, Boolean Modeling and Computation 9 (1), 207-242, 2014	47	2014
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	45	2019
Integrating SMT solvers in Rodin D Déharbe, P Fontaine, Y Guyot, L Voisin Science of Computer Programming 94, 130-143, 2014	43	2014
Computing prime implicants D Déharbe, P Fontaine, D Le Berre, B Mazure 2013 Formal Methods in Computer-Aided Design, 46-52, 2013	39	2013
Integration of SMT-solvers in B and Event-B development environments D Déharbe Science of Computer Programming 78 (3), 310-326, 2013	36	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
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	28	2003
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	28	2003
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	27	2017
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
Using induction and BDDs to model check invariants D Déharbe, AM Moreira Advances in Hardware Design and Verification: IFIP TC10 WG10. 5 …, 1997	22	1997
Proving and debugging set-based specifications JF Couchot, F Dadeau, D Déharbe, A Giorgetti, S Ranise Electronic Notes in Theoretical Computer Science 95, 189-208, 2004	21	2004

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