D. C. B. D. Oliveira

Fragments de l'arithmétique dans une combinaison de procédures de décision. (Fragments of arithmetic in a combination of decision procedures)

Diego Caminha Barbosa De Oliveira, D. C. B. D. Oliveira, 2011 .

veriT: An Open, Trustable and Efficient SMT-Solver

Pascal Fontaine, David Déharbe, Thomas Bouton, 2009, CADE.

Combining decision procedures by (model-)equality propagation

Pascal Fontaine, David Déharbe, Diego Caminha Barbosa De Oliveira, 2008, Sci. Comput. Program..

Systematic Debugging Methods for Large-Scale HPC Computational Frameworks

Qingyu Meng, Martin Berzins, Ganesh Gopalakrishnan, 2014, Computing in Science & Engineering.

Practical formal correctness checking of million-core problem solving environments for HPC

Qingyu Meng, Martin Berzins, Ganesh Gopalakrishnan, 2013, 2013 5th International Workshop on Software Engineering for Computational Science and Engineering (SE-CSE).

GridTPT: a distributed platform for Theorem Prover Testing

Pascal Fontaine, David Déharbe, Thomas Bouton, 2010, PAAR@IJCAR.

Experiments on the feasibility of using a floating-point simplex in an SMT solver

David Monniaux, Diego Caminha Barbosa De Oliveira, D. Monniaux, 2013, PAAR@IJCAR.