1. Sena, L., Bessa, I., Gadelha, M., Cordeiro, L., Mota, E. Incremental Bounded Model Checking of Artificial Neural Networks in CUDA. In IX Brazilian Symposium on Computing Systems Engineering (SBESC), pp. 1-8, 2019. [Presentation]
2. Monteiro, F. R., Alves, E. H., Silva, I., Ismail, H. I., Cordeiro, L. C., de Lima Filho, E. B. ESBMC-GPU: A Context-Bounded Model Checking Tool to Verify CUDA Programs.. In Science of Computer Programming, v.152, pp. 63-69, Elsevier, 2018. DOI
3. Pereira, P. , Albuquerque, H., Silva, I., Marques, H., Rodrigues, F., Ferreira, R. S., Cordeiro, L. C. SMT-Based Context-Bounded Model Checking for CUDA Programs. In Concurrency and Computation: Practice and Experience, v.29(22),pp. 1-20, 2017. The final publication is available at John Wiley via DOI.
4. Pereira, P. A., Albuquerque, H., Marques, H., Silva, I., Carvalho, C. B., Santos, V., Ferreira, R. S., Cordeiro, L. C. Verifying CUDA Programs using SMT-Based Context-Bounded Model Checking. In ACM Symposium on Applied Computing (SAC), Software Verification and Testing, pp. 1648-1653, 2016. [Presentation]
5. Pereira, P. A., Albuquerque, H., Marques, H., Silva, I., Santos, V., Carvalho, C. B., Ferreira, R. S., Cordeiro, L. C. Verificação de Kernels em Programas CUDA usando Bounded Model Checking. To appear in XV Brazilian Symposium on High-Performance Computing (WSCAD-SSC), pp. 24-35, 2015. [Presentation]