SMT-Based Bounded Model Checking of C++ Programs. - Mikhail Ramalho; Mauro Freitas; Felipe Rodrigues Monteiro Sousa; Hendrio Marques; Lucas C. Cordeiro; Bernd Fischer 002 (ECBS, 2013)

Handling Default Data under a Case-based Reasoning Approach. - Bruno Fernandes 002; Mauro Freitas; Cesar Analide; Henrique Vicente; José Neves 001 (ICAART (2), 2015)