Diego Caminha B de Oliveira
Diego Caminha B de Oliveira
Former Postdoctoral Researcher, University of Utah and Verimag/CNRS
Verified email at cs.utah.edu - Homepage
TitleCited byYear
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
1702009
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
122012
Combining decision procedures by (model-) equality propagation
DCB De Oliveira, D Déharbe, P Fontaine
Science of Computer Programming 77 (4), 518-532, 2012
62012
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
32013
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
22014
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
haRVey: satisfaisabilité et théories
DCB De Oliveira, D Déharbe, P Fontaine
Actes de la 8e conférence AFADL 1 (2), 287, 2007
12007
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
2010
The system can't perform the operation now. Try again later.
Articles 1–9