David Deharbe

Cituota

	Visi	Nuo 2019
Šaltiniai	1644	557
h-rodyklė	22	12
i10-rodyklė	39	17

120

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320249 13 11 11 10 9 11 17 16 52 45 46 54 33 40 56 57 58 58 77 84 94 99 90 100 102 87 92 96 80

Viešas pasiekiamumas

Peržiūrėti viską

1 straipsnis

0 straipsnių

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FrancePatvirtintas el. paštas loria.fr
Anamaria Martins MoreiraUFRJPatvirtintas el. paštas dcc.ufrj.br
Silvio RaniseFBKPatvirtintas el. paštas fbk.eu
Valério Medeiros Jr.Professor of Information Systems, Federal Institute of Education Science and Technology of RNPatvirtintas el. paštas ifrn.edu.br
Diego Caminha B de OliveiraFormer Postdoctoral Researcher, University of Utah and Verimag/CNRSPatvirtintas el. paštas cs.utah.edu
Dominique BorrioneRetired Professor from UGA, GrenoblePatvirtintas el. paštas imag.fr
Thierry LecomteClearSy Systems EngineeringPatvirtintas el. paštas clearsy.com
Stephenson GalvaoInstituto Federal do PiauiPatvirtintas el. paštas ifpi.edu.br
Stephan MerzSenior Researcher, INRIAPatvirtintas el. paštas inria.fr
Umberto Souza da CostaProfessor Associado, Universidade Federal do Rio Grande do NortePatvirtintas el. paštas dimap.ufrn.br
Bruno Woltzenlogel Paleo.Patvirtintas el. paštas logic.at
Sérgio Queiroz de MedeirosProfessor of Computer Science, Universidade Federal do Rio Grande do Norte, BrazilPatvirtintas el. paštas ect.ufrn.br
jean-françois couchotDr, Full Professor, Univ. of Bourgogne Franche-Comté, FEMTO-STPatvirtintas el. paštas univ-fcomte.fr
Alain Giorgettimaître de conférences en informatique, institut FEMTO-ST, Université de Franche-ComtéPatvirtintas el. paštas femto-st.fr
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityPatvirtintas el. paštas cs.cmu.edu
Haniel BarbosaUniversidade Federal de Minas GeraisPatvirtintas el. paštas dcc.ufmg.br
Ayman WahbaProfessor at Computer and Systems Engineering Department, Ain Shams UniversityPatvirtintas el. paštas eng.asu.edu.eg
Marcel OliveiraLecturer of Computer Science and Software Engineering, Universidade Federal do Rio Grande do NortePatvirtintas el. paštas dimap.ufrn.br
Bertrand MazureProfesseur des Universités, Université d'ArtoisPatvirtintas el. paštas cril.univ-artois.fr
Daniel Le BerreCRIL-CNRS Université d'ArtoisPatvirtintas el. paštas cril.fr

Stebėti

David Deharbe

CLEARSY

Patvirtintas el. paštas clearsy.com - Pagrindinis puslapis

Computer Science Formal Methods Formal Verification


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
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	262	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	76	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	69	2019
Exploiting symmetry in SMT problems D Déharbe, P Fontaine, S Merz, B Woltzenlogel Paleo International Conference on Automated Deduction, 222-236, 2011	62	2011
Formalizing freertos: First steps D Déharbe, S Galvao, AM Moreira Formal Methods: Foundations and Applications: 12th Brazilian Symposium on …, 2009	57	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	56	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	45	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	32	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
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	26	2010
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

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai