David Deharbe

Cytowane przez

	Wszystkie	Od 2020
Cytowania	1669	474
h-indeks	21	11
i10-indeks	37	11

120

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420259 13 11 12 10 9 11 17 16 53 45 50 56 33 40 56 51 59 56 80 87 95 95 89 99 103 82 94 93 91 11

Dostęp publiczny

Wyświetl wszystko

1 artykuł

0 artykułów

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceZweryfikowany adres z loria.fr
Anamaria Martins MoreiraUFRJZweryfikowany adres z dcc.ufrj.br
Silvio RaniseFBKZweryfikowany adres z fbk.eu
Diego Caminha B de OliveiraFormer Postdoctoral Researcher, University of Utah and Verimag/CNRSZweryfikowany adres z cs.utah.edu
Valério Medeiros Jr.Professor of Information Systems, Federal Institute of Education Science and Technology of RNZweryfikowany adres z ifrn.edu.br
Dominique BorrioneRetired Professor from UGA, GrenobleZweryfikowany adres z imag.fr
Stephenson GalvaoInstituto Federal do PiauiZweryfikowany adres z ifpi.edu.br
Thierry LecomteClearSy Systems EngineeringZweryfikowany adres z clearsy.com
Stephan MerzSenior Researcher, INRIAZweryfikowany adres z inria.fr
Umberto Souza da CostaProfessor Associado, Universidade Federal do Rio Grande do NorteZweryfikowany adres z dimap.ufrn.br
Bruno Woltzenlogel Paleo.Zweryfikowany adres z logic.at
Sérgio Queiroz de MedeirosProfessor of Computer Science, Universidade Federal do Rio Grande do Norte, BrazilZweryfikowany adres z ect.ufrn.br
jean-françois couchotDr, Full Professor, Univ. of Bourgogne Franche-Comté, FEMTO-STZweryfikowany adres z univ-fcomte.fr
Alain GiorgettiProfesseur en informatique, institut FEMTO-ST, Université Marie et Louis PasteurZweryfikowany adres z femto-st.fr
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityZweryfikowany adres z cs.cmu.edu
Ayman WahbaProfessor at Computer and Systems Engineering Department, Ain Shams UniversityZweryfikowany adres z eng.asu.edu.eg
Haniel BarbosaUniversidade Federal de Minas GeraisZweryfikowany adres z dcc.ufmg.br
Marcel OliveiraLecturer of Computer Science and Software Engineering, Universidade Federal do Rio Grande do NorteZweryfikowany adres z dimap.ufrn.br
Bertrand MazureProfesseur des Universités, Université d'ArtoisZweryfikowany adres z cril.univ-artois.fr
Daniel Le BerreCRIL-CNRS Université d'ArtoisZweryfikowany adres z cril.fr

Obserwuj

David Deharbe

CLEARSY

Zweryfikowany adres z clearsy.com - Strona główna

Computer Science Formal Methods Formal Verification


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
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	272	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	84	2003
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	81	2017
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	71	2019
The 2014 SMT competition DR Cok, D Déharbe, T Weber Journal on Satisfiability, Boolean Modeling and Computation 9 (1), 207-242, 2014	66	2014
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 Brazilian Symposium on Formal Methods, 101-117, 2009	58	2009
Integrating SMT solvers in Rodin D Déharbe, P Fontaine, Y Guyot, L Voisin Science of Computer Programming 94, 130-143, 2014	50	2014
Computing prime implicants D Déharbe, P Fontaine, D Le Berre, B Mazure 2013 Formal Methods in Computer-Aided Design, 46-52, 2013	44	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
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	35	2017
Semantics of a verification-oriented subset of VHDL D Déharbe, D Borrione Advanced Research Working Conference on Correct Hardware Design and …, 1995	31	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	27	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	26	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	24	1997
Formal verification of PLC programs using the B method H Barbosa, D Déharbe International Conference on Abstract State Machines, Alloy, B, VDM, and Z …, 2012	23	2012

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy