David Deharbe

Cited by

	All	Since 2016
Citations	1220	471
h-index	19	11
i10-index	32	12

120

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020218 13 13 9 8 6 10 14 17 46 40 41 51 36 45 48 58 53 60 68 81 95 92 86 101 95 1

Co-authors

Anamaria Martins MoreiraUFRJVerified email at dcc.ufrj.br
Silvio RaniseFBKVerified email at fbk.eu
Dominique BorrioneProfessor Emeritus, 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
Stephan MerzSenior Researcher, INRIAVerified email at inria.fr
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
Bruno Woltzenlogel Paleo.Verified email at logic.at
Ayman WahbaProfessor at Computer and Systems Engineering Department, Ain Shams UniversityVerified email at eng.asu.edu.eg
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
Frederic DadeauAssistant professor of Computer Science, University of Franche-ComteVerified email at univ-fcomte.fr
Jim WoodcockProfessor of Software Engineering, University of YorkVerified email at york.ac.uk
Marie-Claude GaudelHonorary Professor of Computer Science, Université de Paris-Sud, OrsayVerified email at lri.fr
Uirá KuleszaAssociate Professor of Computer Science, Federal University of Rio Grande do Norte (UFRN), DIMApVerified email at dimap.ufrn.br
Paulo F. PiresAssociate Professor of Computer Science, Fluminense Federal University (UFF)Verified email at ic.uff.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, DCB de Oliveira, D Déharbe, P Fontaine International Conference on Automated Deduction, 151-156, 2009	192	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	78	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	64	2012
Exploiting symmetry in SMT problems D Déharbe, P Fontaine, S Merz, BW Paleo International Conference on Automated Deduction, 222-236, 2011	41	2011
The 2014 SMT competition DR Cok, D Déharbe, T Weber Journal on Satisfiability, Boolean Modeling and Computation 9 (1), 207-242, 2014	38	2014
Formalizing freertos: First steps D Déharbe, S Galvao, AM Moreira Brazilian Symposium on Formal Methods, 101-117, 2009	36	2009
Integrating SMT solvers in Rodin D Déharbe, P Fontaine, Y Guyot, L Voisin Science of Computer Programming 94, 130-143, 2014	35	2014
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	34	2006
Integration of SMT-solvers in B and Event-B development environments D Déharbe Science of Computer Programming 78 (3), 310-326, 2013	31	2013
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	29	2017
Computing prime implicants D Déharbe, P Fontaine, D Le Berre, B Mazure 2013 Formal Methods in Computer-Aided Design, 46-52, 2013	29	2013
Model checking VHDL with CV D Déharbe, S Shankar, EM Clarke International Conference on Formal Methods in Computer-Aided Design, 508-514, 1998	29	1998
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
Semantics of a verification-oriented subset of VHDL D Déharbe, D Borrione Advanced Research Working Conference on Correct Hardware Design and …, 1995	27	1995
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 (2), 17-36, 2003	26	2003
Quantifier inference rules for SMT proofs D Deharbe, P Fontaine, BW Paleo	21	2011
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	20	2004
Satisfiability solving for software verification D Déharbe, S Ranise International journal on software tools for technology transfer 11 (3), 255-260, 2009	19	2009
HDL-based integration of formal methods and CAD tools in the PREVAIL environment D Borrione, H Bouamama, D Déharbe, C Le Faou, A Wahba International Conference on Formal Methods in Computer-Aided Design, 450-467, 1996	19	1996
Applying a formal method in industry: a 15-year trajectory T Lecomte International Workshop on Formal Methods for Industrial Critical Systems, 26-34, 2009	18	2009

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

Upload PDF

Follow this author

Cited by

Co-authors