Iury Valente de Bessa

18 papers C 1Journal 11Unranked 6
YearRankTypeTitle / Venue / Authors
2025 C conf
Intelligent Maintenance System for Legacy Vehicles.
ETFA
Walmir Acioli e Silva, Jussif J. Abularach Arnez, Maria Gabriela Lima Damasceno, Renan Landau Paiva de Medeiros, Iury Valente de Bessa, Vicente Ferreira de Lucena Junior
2025 — conf
LSTM Networks for Fine Gesture Classification.
ICCE-Berlin
Marcos Negreiros Rylo, Walmir Acioli E. Silva, Joao Arthur Alcantara, Matheus Santana Da Silva, Iury Valente de Bessa, Vicente Ferreira de Lucena
2020 J jnl
Survey on automated symbolic verification and its application for synthesising cyber-physical systems.
IET Cyper-Phys. Syst.: Theory & Appl.
Lucas C. Cordeiro, Eddie Batista de Lima Filho, Iury Valente de Bessa
2020 J jnl
Uncertain Data Modeling Based on Evolving Ellipsoidal Fuzzy Information Granules.
IEEE Trans. Fuzzy Syst.
Luiz Alberto Queiroz Cordovil, Pedro Henrique Silva Coutinho, Iury Valente de Bessa, Marcos Flávio Silveira Vasconcelos D'Angelo, Reinaldo Martinez Palhares
2019 — conf
Incremental Bounded Model Checking of Artificial Neural Networks in CUDA.
SBESC
Luiz H. Sena, Iury Valente de Bessa, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Edjard Mota
2019 J jnl
Incremental Bounded Model Checking of Artificial Neural Networks in CUDA.
CoRR
Luiz H. Sena, Iury Valente de Bessa, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Edjard Mota
2019 J jnl
Verifying fragility in digital systems with uncertainties using DSVerifier
J. Syst. Softw.
Lennon C. Chaves, Hussama Ibrahim Ismail, Iury Valente de Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho
2018 J jnl
Counterexample guided inductive optimization based on satisfiability modulo theories.
Sci. Comput. Program.
Rodrigo F. Araujo, Higo F. Albuquerque, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho
2018 J jnl
Sim3Tanks: A Benchmark Model Simulator for Process Control and Monitoring.
IEEE Access
Arllem O. Farias, Gabriel Alisson C. Queiroz, Iury Valente de Bessa, Renan Landau Paiva de Medeiros, Lucas C. Cordeiro, Reinaldo M. Palhares
2017 J jnl
Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning (Extended Version).
CoRR
Rodrigo F. Araujo, Alexandre Ribeiro, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho
2017 J jnl
Counterexample Guided Inductive Optimization.
CoRR
Rodrigo F. Araujo, Higo F. Albuquerque, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho
2017 — conf
Counterexample guided inductive optimization applied to mobile robots path planning.
LARS/SBR
Rodrigo F. Araujo, Alexandre Ribeiro, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho
2017 — conf
OptCE: A Counterexample-Guided Inductive Optimization Solver.
SBMF
Higo F. Albuquerque, Rodrigo F. Araujo, Iury Valente de Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho
2017 — conf
Planning and Evaluation of UAV Mission Planner for Intralogistics Problems.
SBESC
Thiago Rodrigo Felix Cavalcante, Iury Valente de Bessa, Lucas Carvalho Cordeiro
2017 J jnl
Verification of Magnitude and Phase Responses in Fixed-Point Digital Filters.
CoRR
Daniel P. M. de Mello, Mauro L. de Freitas, Lucas C. Cordeiro, Waldir S. S. Júnior, Iury Valente de Bessa, Eddie B. L. Filho, Laurent Clavier
2016 J jnl
Application of Global Route-Planning Algorithms with Geodesy.
CoRR
William C. da Rosa, Iury Valente de Bessa, Lucas C. Cordeiro
2016 J jnl
Verification of fixed-point digital controllers using direct and delta forms realizations.
Des. Autom. Embed. Syst.
Iury Valente de Bessa, Hussama Ismail, Lucas C. Cordeiro, João Edgar Chaves Filho
2014 — conf
Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking.
SBESC
Iury Valente de Bessa, Hussama Ibrahim Ismail, Lucas Carvalho Cordeiro, Joao Edgar Chaves Filho