Complementary training programme for electrical and computer engineering students through an industrial-academic collaboration. - Felipe R. Monteiro; Phillipe A. Pereira; Lucas C. Cordeiro; Cicero Ferreira Fernandes Costa Filho; Marly Guimarães Fernandes Costa (FIE, 2016)

Verifying CUDA programs using SMT-based context-bounded model checking. - Phillipe A. Pereira; Higo F. Albuquerque; Hendrio Marques; Isabela da Silva; Celso B. Carvalho; Lucas C. Cordeiro; Vanessa Santos 001; Ricardo Ferreira (SAC, 2016)

Complementary Training Programme for Electrical and Computer Engineering Students Through an Industrial-Academic Collaboration (Extended Version). - Felipe R. Monteiro; Phillipe A. Pereira; Lucas C. Cordeiro; Cicero Ferreira Fernandes Costa Filho; Marly Guimarães Fernandes Costa (CoRR, 2016)

SMT-based context-bounded model checking for CUDA programs. - Phillipe A. Pereira; Higo F. Albuquerque; Isabela da Silva; Hendrio Marques; Felipe R. Monteiro; Ricardo Ferreira; Lucas C. Cordeiro (Concurr. Comput. Pract. Exp., 2017)