Phillipe A. Pereira

Publication Activity (10 Years)

Years Active: 2016-2017
Publications (10 Years): 4

Top Topics

Formal Verification

Bounded Model Checking

Context Sensitive

Computer Engineering

Top Venues

Concurr. Comput. Pract. Exp.

Publications

Phillipe A. Pereira, Higo F. Albuquerque, Isabela da Silva, Hendrio Marques, Felipe R. Monteiro, Ricardo Ferreira, Lucas C. Cordeiro
SMT-based context-bounded model checking for CUDA programs. Concurr. Comput. Pract. Exp. 29 (22) (2017)
Felipe R. Monteiro, Phillipe A. Pereira, Lucas C. Cordeiro, Cicero Ferreira Fernandes Costa Filho, Marly Guimarães Fernandes Costa
Complementary training programme for electrical and computer engineering students through an industrial-academic collaboration. FIE (2016)
Felipe R. Monteiro, Phillipe A. Pereira, Lucas C. Cordeiro, Cicero Ferreira Fernandes Costa Filho, Marly Guimarães Fernandes Costa
Complementary Training Programme for Electrical and Computer Engineering Students Through an Industrial-Academic Collaboration (Extended Version). CoRR (2016)
Phillipe A. Pereira, Higo F. Albuquerque, Hendrio Marques, Isabela da Silva, Celso B. Carvalho, Lucas C. Cordeiro, Vanessa Santos, Ricardo Ferreira
Verifying CUDA programs using SMT-based context-bounded model checking. SAC (2016)