Hendrio Marques

According to our database, Hendrio Marques authored at least 3 papers between 2013 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

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

2013

SMT-Based Bounded Model Checking of C++ Programs.

Mikhail Ramalho, Mauro Freitas, Felipe Rodrigues Monteiro Sousa, Hendrio Marques, Lucas C. Cordeiro, Bernd Fischer

Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013