Iury Valente de Bessa

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 15

Top Topics

Information Granules

Inductive Reasoning

Top Venues

Sci. Comput. Program.

Publications

Lucas C. Cordeiro, Eddie Batista de Lima Filho, Iury Valente de Bessa
Survey on automated symbolic verification and its application for synthesising cyber-physical systems. IET Cyper-Phys. Syst.: Theory & Appl. 5 (1) (2020)
Luiz Alberto Queiroz Cordovil, Pedro Henrique Silva Coutinho, Iury Valente de Bessa, Marcos Flávio Silveira Vasconcelos D'Angelo, Reinaldo Martinez Palhares
Uncertain Data Modeling Based on Evolving Ellipsoidal Fuzzy Information Granules. IEEE Trans. Fuzzy Syst. 28 (10) (2020)
Luiz H. Sena, Iury Valente de Bessa, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Edjard Mota
Incremental Bounded Model Checking of Artificial Neural Networks in CUDA. SBESC (2019)
Luiz H. Sena, Iury Valente de Bessa, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Edjard Mota
Incremental Bounded Model Checking of Artificial Neural Networks in CUDA. CoRR (2019)
Lennon C. Chaves, Hussama Ibrahim Ismail, Iury Valente de Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho
2.0. J. Syst. Softw. 153 (2019)
Arllem O. Farias, Gabriel Alisson C. Queiroz, Iury Valente de Bessa, Renan Landau P. Medeiros, Lucas C. Cordeiro, Reinaldo M. Palhares
Sim3Tanks: A Benchmark Model Simulator for Process Control and Monitoring. IEEE Access 6 (2018)
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, Alexandre Ribeiro, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho
Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning (Extended Version). CoRR (2017)
Rodrigo F. Araujo, Higo F. Albuquerque, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho
Counterexample Guided Inductive Optimization. CoRR (2017)
Thiago Rodrigo Felix Cavalcante, Iury Valente de Bessa, Lucas Carvalho Cordeiro
Planning and Evaluation of UAV Mission Planner for Intralogistics Problems. SBESC (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)
Daniel P. M. de Mello, Mauro L. de Freitas, Lucas C. Cordeiro, Waldir S. S. Junior, Iury Valente de Bessa, Eddie B. L. Filho, Laurent Clavier
Verification of Magnitude and Phase Responses in Fixed-Point Digital Filters. CoRR (2017)
Rodrigo F. Araujo, Alexandre Ribeiro, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho
Counterexample guided inductive optimization applied to mobile robots path planning. LARS/SBR (2017)
William C. da Rosa, Iury Valente de Bessa, Lucas C. Cordeiro
Application of Global Route-Planning Algorithms with Geodesy. CoRR (2016)
Iury Valente de Bessa, Hussama Ismail, Lucas C. Cordeiro, João Edgar Chaves Filho
Verification of fixed-point digital controllers using direct and delta forms realizations. Des. Autom. Embed. Syst. 20 (2) (2016)
Iury Valente de Bessa, Hussama Ibrahim Ismail, Lucas Carvalho Cordeiro, Joao Edgar Chaves Filho
Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking. SBESC (2014)