Phillipe A. Pereira

According to our database, Phillipe A. Pereira authored at least 4 papers between 2016 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

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

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

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, Ricardo Ferreira

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

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

Proceedings of the 2016 IEEE Frontiers in Education Conference, 2016