Isabela da Silva

According to our database, Isabela da Silva authored at least 3 papers between 2016 and 2018.

Collaborative distances:

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

2018

ESBMC-GPU A context-bounded model checking tool to verify CUDA programs.

Felipe R. Monteiro, Erickson H. da S. Alves, Isabela da Silva, Hussama Ismail, Lucas C. Cordeiro, Eddie Batista de Lima Filho

Sci. Comput. Program., 2018

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

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