Higo F. Albuquerque

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 5

Top Topics

Formal Verification

Orders Of Magnitude

Optimization Problems

Top Venues

Sci. Comput. Program.

Concurr. Comput. Pract. Exp.

Publications

Rodrigo F. Araujo, Higo F. Albuquerque, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho
Counterexample guided inductive optimization based on satisfiability modulo theories. Sci. Comput. Program. 165 (2018)
Rodrigo F. Araujo, Higo F. Albuquerque, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho
Counterexample Guided Inductive Optimization. CoRR (2017)
Phillipe A. Pereira, Higo F. Albuquerque, Isabela da Silva, Hendrio Marques, Felipe R. Monteiro, Ricardo Ferreira, Lucas C. Cordeiro
SMT-based context-bounded model checking for CUDA programs. Concurr. Comput. Pract. Exp. 29 (22) (2017)
Higo F. Albuquerque, Rodrigo F. Araujo, Iury Valente de Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho
OptCE: A Counterexample-Guided Inductive Optimization Solver. SBMF (2017)
Phillipe A. Pereira, Higo F. Albuquerque, Hendrio Marques, Isabela da Silva, Celso B. Carvalho, Lucas C. Cordeiro, Vanessa Santos, Ricardo Ferreira
Verifying CUDA programs using SMT-based context-bounded model checking. SAC (2016)