Seguir
Diego Caminha B de Oliveira
Diego Caminha B de Oliveira
Former Postdoctoral Researcher, University of Utah and Verimag/CNRS
E-mail confirmado em cs.utah.edu - Página inicial
Título
Citado por
Citado por
Ano
veriT: an open, trustable and efficient SMT-solver
T Bouton, DCB De Oliveira, D Déharbe, P Fontaine
Automated Deduction–CADE-22, 151-156, 2009
2592009
Experiments on the feasibility of using a floating-point simplex in an SMT solver
DCB de Oliveira, D Monniaux
PAAR-2012 Third Workshop on Practical Aspects of Automated Reasoning June 30 …, 2012
152012
Combining decision procedures by (model-) equality propagation
DCB De Oliveira, D Déharbe, P Fontaine
Science of Computer Programming 77 (4), 518-532, 2012
82012
Systematic Debugging of Concurrent Systems Using Coalesced Stack-Trace Graphs
DCB de Oliveira, Z Rakamaric, G Gopalakrishnan, A Humphrey, Q Meng, ...
International Workshop on Languages and Compilers for Parallel Computing, 2014
42014
Practical Formal Correctness Checking of Million-Core Problem Solving Environments for HPC
DCB de Oliveira, Z Rakamaric, G Gopalakrishnan, A Humphrey, Q Meng, ...
International Workshop on Secure Software Engineering, 2013
22013
Deciding difference logic in a Nelson-Oppen combination framework
DCB de Oliveira
Master’s thesis, Federal University of Rio Grande do Norte, Natal, Brazil, 2007
22007
Fragments de l'arithmétique dans une combinaison de procédures de décision
D Caminha Barbosa De Oliveira
PhD thesis, University of Nancy, Nancy, France, 2011
1*2011
GridTPT: a distributed platform for Theorem Prover Testing
T Bouton, DCB De Oliveira, D Déharbe, P Fontaine
2nd Workshop on Practical Aspects of Automated Reasoning (PAAR), 2010
12010
haRVey: satisfaisabilité et théories
DCB De Oliveira, D Déharbe, P Fontaine
Actes de la 8e conférence AFADL 1 (2), 287, 2007
2007
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–9