SMT-based bounded model checking of fixed-point digital controllers. - Iury Bessa; Renato B. Abreu; João Edgar Chaves Filho; Lucas C. Cordeiro (IECON, 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 (SBESC, 2014)

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 (SPIN, 2015)

SMT-based Verification Applied to Non-convex Optimization Problems. - Rodrigo F. Araujo 001; Iury Bessa; Lucas Carvalho Cordeiro; Joao Edgar Chaves Filho (SBESC, 2016)

DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems (Tool Demonstration). - Lennon C. Chaves; Iury Bessa; Lucas C. Cordeiro (CoRR, 2016)

Application of Global Route-Planning Algorithms with Geodesy. - William C. da Rosa; Iury Valente de Bessa; Lucas C. Cordeiro (CoRR, 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)

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 (CAV (1), 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 (HSCC, 2017)

Verifying digital systems with MATLAB. - Lennon C. Chaves; Iury Bessa; Lucas C. Cordeiro; Daniel Kroening; Eddie Batista de Lima Filho (ISSTA, 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 (ASE, 2017)

Counterexample guided inductive optimization applied to mobile robots path planning. - Rodrigo F. Araujo 001; Alexandre Ribeiro; Iury Valente de Bessa; Lucas C. Cordeiro; João Edgar Chaves Filho (LARS/SBR, 2017)

Planning and Evaluation of UAV Mission Planner for Intralogistics Problems. - Thiago Rodrigo Felix Cavalcante; Iury Valente de Bessa; Lucas Carvalho Cordeiro (SBESC, 2017)

OptCE: A Counterexample-Guided Inductive Optimization Solver. - Higo F. Albuquerque; Rodrigo F. Araujo 001; Iury Valente de Bessa; Lucas C. Cordeiro; Eddie Batista de Lima Filho (SBMF, 2017)

Counterexample Guided Inductive Optimization. - Rodrigo F. Araujo 001; Higo F. Albuquerque; 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. Júnior; Iury Valente de Bessa; Eddie B. L. Filho; Laurent Clavier (CoRR, 2017)

Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning (Extended Version). - Rodrigo F. Araujo 001; Alexandre Ribeiro; Iury Valente de Bessa; Lucas C. Cordeiro; João Edgar Chaves Filho (CoRR, 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)

DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems. - Lennon C. Chaves; Iury Bessa; Lucas C. Cordeiro; Daniel Kroening (HSCC, 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)

Counterexample guided inductive optimization based on satisfiability modulo theories. - Rodrigo F. Araujo 001; Higo F. Albuquerque; Iury Valente de Bessa; Lucas C. Cordeiro; João Edgar Chaves Filho (Sci. Comput. Program., 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)

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 (SBESC, 2019)

Verifying fragility in digital systems with uncertainties using DSVerifier v2.0. - Lennon C. Chaves; Hussama Ibrahim Ismail; Iury Valente de Bessa; Lucas C. Cordeiro; Eddie Batista de Lima Filho (J. Syst. Softw., 2019)

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)

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)

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)

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)

TS fuzzy reconfiguration blocks for fault tolerant control of nonlinear systems. - Iury Bessa; Vicenç Puig; Reinaldo Martinez Palhares (J. Frankl. Inst., 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)

Incremental Learning and State-Space Evolving Fuzzy Control of Nonlinear Time-Varying Systems with Unknown Model. - Daniel Leite 001; Pedro Henrique Silva Coutinho; Iury Bessa; Murilo C. O. Camargos; Luiz A. Q. Cordovil Júnior; Reinaldo M. Palhares (IFSA/EUSFLAT/AGOP, 2021)

Evolving Fuzzy System Applied to Battery Charge Capacity Prediction for Fault Prognostics. - Murilo C. O. Camargos; Iury Bessa; Luiz A. Q. Cordovil Júnior; Pedro Henrique Silva Coutinho; Daniel Furtado Leite; Reinaldo Martinez Palhares (IFSA/EUSFLAT/AGOP, 2021)

Passivation blocks for fault tolerant control of nonlinear systems. - Iury Bessa; Vicenç Puig; Reinaldo Martinez Palhares (Autom., 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)

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)

CEG4N: Counter-Example Guided Neural Network Quantization Refinement. - João Batista Pereira Matos Jr.; Iury Bessa; Edoardo Manino; Xidan Song; Lucas C. Cordeiro (NSV/FoMLAS@CAV, 2022)

A Set-Based Uncertainty Quantification of Evolving Fuzzy Models for Data-Driven Prognostics. - Khoury Boutrous; Iury Bessa; Fatiha Nejjari; Vicenç Puig (DPS, 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 (ETFA, 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)

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)

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)

Tool and benchmarks of "Formal Synthesis of Non-fragile State-Feedback Digital Controllers Considering Performance Requirements for Step Response". - Thiago Cavalcante; Iury Bessa; Lucas C. Cordeiro; Eddie B. de Lima Filho (Zenodo, 2022)

Reconfiguration blocks and fault hiding: Design, applications, and challenges. - Iury Bessa; Vicenç Puig; Reinaldo M. Palhares (Annu. Rev. Control., 2023)

Towards global neural network abstractions with locally-exact reconstruction. - Edoardo Manino; Iury Bessa; Lucas C. Cordeiro (Neural Networks, 2023)

Detection of Cyberattacks in IoT Networks Using Artificial Intelligence: A Comparative Study. - Matheus Figueiredo; Dar'c Pabla Sodre; Renan Medeiros; Vicente F. Lucena; Iury Bessa (ETFA, 2024)

A Systematic LMI Approach to Design Multivariable Sliding Mode Controllers. - Pedro Henrique Silva Coutinho; Iury Bessa; Victor Hugo Pereira Rodrigues; Tiago Roux Oliveira (CoRR, 2024)

A co-design condition for dynamic event-triggered feedback linearization control. - Pedro Henrique Silva Coutinho; Iury Bessa; Márcia L. C. Peixoto; Reinaldo M. Palhares (Syst. Control. Lett., 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., 2024)

Fault-tolerant dynamic output feedback control of LPV systems via fault hiding. - Márcia L. C. Peixoto; Pedro M. Oliveira; Iury Bessa; Pedro Henrique Silva Coutinho; Paulo S. P. Pessim; Vicenç Puig; Reinaldo Martinez Palhares (Autom., 2025)

Fault Hiding of Nonlinear Parameter Varying Systems. - Iury Bessa; Márcia L. C. Peixoto; Pedro Henrique Silva Coutinho; Vicenç Puig; Reinaldo M. Palhares (IEEE Control. Syst. Lett., 2025)

Static output-feedback control design from data. - Pedro M. Oliveira; Pedro H. S. Coutinho; Iury Bessa; Márcio J. Lacerda; Reinaldo M. Palhares (Eur. J. Control, 2025)

Unit-Vector Control Design under Saturating Actuators. - Andevaldo da Encarnação Vitório; Pedro Henrique Silva Coutinho; Iury Bessa; Victor Hugo Pereira Rodrigues; Tiago Roux Oliveira (CoRR, 2025)