veriT: An Open, Trustable and Efficient SMT-Solver. - Thomas Bouton; Diego Caminha Barbosa De Oliveira; David Déharbe; Pascal Fontaine (CADE, 2009)

GridTPT: a distributed platform for Theorem Prover Testing. - Thomas Bouton; Diego Caminha; David Déharbe; Pascal Fontaine (PAAR@IJCAR, 2010)

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 (2011)

Experiments on the feasibility of using a floating-point simplex in an SMT solver. - Diego Caminha Barbosa De Oliveira; David Monniaux (PAAR@IJCAR, 2012)

Combining decision procedures by (model-)equality propagation. - Diego Caminha Barbosa De Oliveira; David Déharbe; Pascal Fontaine (Sci. Comput. Program., 2012)

Practical formal correctness checking of million-core problem solving environments for HPC. - Diego Caminha Barbosa De Oliveira; Zvonimir Rakamaric; Ganesh Gopalakrishnan; Alan Humphrey; Qingyu Meng; Martin Berzins (SE-CSE@ICSE, 2013)

Systematic Debugging of Concurrent Systems Using Coalesced Stack Trace Graphs. - Diego Caminha Barbosa De Oliveira; Zvonimir Rakamaric; Ganesh Gopalakrishnan; Alan Humphrey; Qingyu Meng; Martin Berzins (LCPC, 2014)

Systematic Debugging Methods for Large-Scale HPC Computational Frameworks. - Alan Humphrey; Qingyu Meng; Martin Berzins; Diego Caminha Barbosa De Oliveira; Zvonimir Rakamaric; Ganesh Gopalakrishnan (Comput. Sci. Eng., 2014)