Higo F. Albuquerque

According to our database, Higo F. Albuquerque authored at least 5 papers between 2016 and 2018.

Collaborative distances:

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

2018

Counterexample guided inductive optimization based on satisfiability modulo theories.

Rodrigo F. Araujo, Higo F. Albuquerque, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho

Sci. Comput. Program., 2018

2017

Counterexample Guided Inductive Optimization.

Rodrigo F. Araujo, Higo F. Albuquerque, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho

CoRR, 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

OptCE: A Counterexample-Guided Inductive Optimization Solver.

Higo F. Albuquerque, Rodrigo F. Araujo, Iury Valente de Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 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