Iury Valente de Bessa

According to our database, Iury Valente de Bessa authored at least 5 papers between 2014 and 2019.

Collaborative distances:

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

2019

Incremental Bounded Model Checking of Artificial Neural Networks in CUDA.

Luiz H. Sena, Iury Valente de Bessa, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Edjard Mota

Proceedings of the IX Brazilian Symposium on Computing Systems Engineering, 2019

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

Planning and Evaluation of UAV Mission Planner for Intralogistics Problems.

Thiago Rodrigo Felix Cavalcante, Iury Valente de Bessa, Lucas Carvalho Cordeiro

Proceedings of the VII Brazilian Symposium on Computing Systems Engineering, 2017

Counterexample guided inductive optimization applied to mobile robots path planning.

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

Proceedings of the 2017 Latin American Robotics Symposium (LARS) and 2017 Brazilian Symposium on Robotics (SBR), 2017

2014

Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking.

Iury Valente de Bessa, Hussama Ibrahim Ismail, Lucas Carvalho Cordeiro, Joao Edgar Chaves Filho

Proceedings of the 2014 Brazilian Symposium on Computing Systems Engineering, 2014