Iury Bessa

According to our database, Iury Bessa authored at least 44 papers between 2014 and 2024.

Collaborative distances:

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

2024

Counterexample Guided Neural Network Quantization Refinement.

João Batista Pereira Matos Jr., Eddie B. de Lima Filho, Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., April, 2024

2023

Towards global neural network abstractions with locally-exact reconstruction.

Edoardo Manino, Iury Bessa, Lucas C. Cordeiro

Neural Networks, August, 2023

Reconfiguration blocks and fault hiding: Design, applications, and challenges.

Iury Bessa, Vicenç Puig, Reinaldo M. Palhares

Annu. Rev. Control., January, 2023

2022

Dual-Rate Control Framework With Safe Watermarking Against Deception Attacks.

Iury Bessa, Carlos Trapiello, Vicenç Puig, Reinaldo Martinez Palhares

IEEE Trans. Syst. Man Cybern. Syst., 2022

Dynamic event-triggered gain-scheduling control of discrete-time quasi-LPV systems.

Pedro Henrique Silva Coutinho, Márcia L. C. Peixoto, Iury Bessa, Reinaldo Martinez Palhares

Autom., 2022

MPC using an on-line TS fuzzy learning approach with application to autonomous driving.

Eugenio Alcalá, Iury Bessa, Vicenç Puig, Olivier Sename, Reinaldo M. Palhares

Appl. Soft Comput., 2022

Fault Detection for Photovoltaic Systems Using Fuzzy C-Means Clustering.

Jadir Barbosa, Renan Landau Paiva de Medeiros, Florindo Antonio de Carvalho Ayres, João Edgar Chaves Filho, Vicente F. Lucena, Iury Bessa

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

A Set-Based Uncertainty Quantification of Evolving Fuzzy Models for Data-Driven Prognostics.

Khoury Boutrous, Iury Bessa, Fatiha Nejjari, Vicenç Puig

Proceedings of the Intelligent and Safe Computer Systems in Control and Diagnostics, 2022

CEG4N: Counter-Example Guided Neural Network Quantization Refinement.

João Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro

Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022

2021

QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking.

Xidan Song, Edoardo Manino, Luiz H. Sena, Erickson H. da S. Alves, Eddie Batista de Lima Filho, Iury Bessa, Mikel Luján, Lucas C. Cordeiro

CoRR, 2021

Verifying Quantized Neural Networks using SMT-Based Model Checking.

Luiz H. Sena, Xidan Song, Erickson H. da S. Alves, Iury Bessa, Edoardo Manino, Lucas C. Cordeiro

CoRR, 2021

Evolving Fuzzy System Applied to Battery Charge Capacity Prediction for Fault Prognostics.

Murilo C. O. Camargos, Iury Bessa, Luiz A. Q. Cordovil Junior, Pedro Henrique Silva Coutinho, Daniel Furtado Leite, Reinaldo Martinez Palhares

CoRR, 2021

Incremental Learning and State-Space Evolving Fuzzy Control of Nonlinear Time-Varying Systems with Unknown Model.

Daniel F. Leite, Pedro Henrique Silva Coutinho, Iury Bessa, Murilo C. O. Camargos Filho, Luiz Cordovil Junior, Reinaldo M. Palhares

CoRR, 2021

Passivation blocks for fault tolerant control of nonlinear systems.

Iury Bessa, Vicenç Puig, Reinaldo Martinez Palhares

Autom., 2021

2020

Uncertain Data Modeling Based on Evolving Ellipsoidal Fuzzy Information Granules.

Luiz Alberto Queiroz Cordovil, Pedro Henrique Silva Coutinho, Iury Valente de Bessa, Marcos Flávio Silveira Vasconcelos D'Angelo, Reinaldo Martinez Palhares

IEEE Trans. Fuzzy Syst., 2020

TS fuzzy reconfiguration blocks for fault tolerant control of nonlinear systems.

Iury Bessa, Vicenç Puig, Reinaldo Martinez Palhares

J. Frankl. Inst., 2020

Survey on automated symbolic verification and its application for synthesising cyber-physical systems.

Lucas C. Cordeiro, Eddie Batista de Lima Filho, Iury Valente de Bessa

IET Cyper-Phys. Syst.: Theory & Appl., 2020

Incremental Verification of Fixed-Point Implementations of Neural Networks.

Luiz H. Sena, Erickson H. da S. Alves, Iury Bessa, Eddie B. L. Filho, Lucas C. Cordeiro

CoRR, 2020

Data-driven prognostics of rolling element bearings using a novel Error Based Evolving Takagi-Sugeno Fuzzy Model.

Murilo C. O. Camargos Filho, Iury Bessa, Marcos Flávio Silveira Vasconcelos D'Angelo, Luciana Balieiro Cosme, Reinaldo Martinez Palhares

Appl. Soft Comput., 2020

Automated formal synthesis of provably safe digital controllers for continuous plants.

Alessandro Abate, Iury Bessa, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen

Acta Informatica, 2020

2019

Verifying fragility in digital systems with uncertainties using DSVerifier <i>v</i>2.0.

Lennon C. Chaves, Hussama Ibrahim Ismail, Iury Valente de Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho

J. Syst. Softw., 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

2018

DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles.

Lennon C. Chaves, Iury Bessa, Hussama Ismail, Adriano Bruno dos Santos Frutuoso, Lucas C. Cordeiro, Eddie Batista de Lima Filho

IEEE Trans. Reliab., 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

Sim3Tanks: A Benchmark Model Simulator for Process Control and Monitoring.

Arllem O. Farias, Gabriel Alisson C. Queiroz, Iury Valente de Bessa, Renan Landau Paiva de Medeiros, Lucas C. Cordeiro, Reinaldo M. Palhares

IEEE Access, 2018

DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems.

Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

2017

Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty.

Iury Bessa, Hussama Ismail, Reinaldo M. Palhares, Lucas C. Cordeiro, Joao Edgar Chaves Filho

IEEE Trans. Computers, 2017

Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning (Extended Version).

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

CoRR, 2017

Verification of Magnitude and Phase Responses in Fixed-Point Digital Filters.

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

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

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

DSSynth: an automated digital controller synthesis tool for physical plants.

Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon C. Chaves, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Verifying digital systems with MATLAB.

Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants.

Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants.

Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Verification of fixed-point digital controllers using direct and delta forms realizations.

Iury Valente de Bessa, Hussama Ismail, Lucas C. Cordeiro, João Edgar Chaves Filho

Des. Autom. Embed. Syst., 2016

Application of Global Route-Planning Algorithms with Geodesy.

William C. da Rosa, Iury Valente de Bessa, Lucas C. Cordeiro

CoRR, 2016

DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems (Tool Demonstration).

Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro

CoRR, 2016

SMT-based Verification Applied to Non-convex Optimization Problems.

Rodrigo F. Araujo, Iury Bessa, Lucas Carvalho Cordeiro, Joao Edgar Chaves Filho

Proceedings of the VI Brazilian Symposium on Computing Systems Engineering, 2016

2015

DSVerifier: A Bounded Model Checking Tool for Digital Systems.

Hussama Ismail, Iury Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho, Joao Edgar Chaves Filho

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

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

SMT-based bounded model checking of fixed-point digital controllers.

Iury Bessa, Renato B. Abreu, João Edgar Chaves Filho, Lucas C. Cordeiro

Proceedings of the IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, Dallas, TX, USA, October 29, 2014