Login / Signup
Iury Bessa
ORCID
Publication Activity (10 Years)
Years Active: 2014-2024
Publications (10 Years): 33
Top Topics
Neural Network
Computationally Costly
Convex Optimization
Model Checking
Top Venues
CoRR
HSCC
Autom.
Appl. Soft Comput.
</>
Publications
</>
Pedro Henrique Silva Coutinho
,
Iury Bessa
,
Márcia L. C. Peixoto
,
Reinaldo M. Palhares
A co-design condition for dynamic event-triggered feedback linearization control.
Syst. Control. Lett.
183 (2024)
João Batista Pereira Matos Jr.
,
Eddie B. de Lima Filho
,
Iury Bessa
,
Edoardo Manino
,
Xidan Song
,
Lucas C. Cordeiro
Counterexample Guided Neural Network Quantization Refinement.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
43 (4) (2024)
Edoardo Manino
,
Iury Bessa
,
Lucas C. Cordeiro
Towards global neural network abstractions with locally-exact reconstruction.
Neural Networks
165 (2023)
Iury Bessa
,
Vicenç Puig
,
Reinaldo M. Palhares
Reconfiguration blocks and fault hiding: Design, applications, and challenges.
Annu. Rev. Control.
56 (2023)
Edoardo Manino
,
Iury Bessa
,
Lucas C. Cordeiro
Towards Global Neural Network Abstractions with Locally-Exact Reconstruction.
CoRR
(2022)
Jadir Barbosa
,
Renan Landau P. Medeiros
,
Florindo A. C. Ayres
,
João Edgar Chaves Filho
,
Vicente F. Lucena
,
Iury Bessa
Fault Detection for Photovoltaic Systems Using Fuzzy C-Means Clustering.
ETFA
(2022)
Iury Bessa
,
Carlos Trapiello
,
Vicenç Puig
,
Reinaldo Martinez Palhares
Dual-Rate Control Framework With Safe Watermarking Against Deception Attacks.
IEEE Trans. Syst. Man Cybern. Syst.
52 (12) (2022)
Khoury Boutrous
,
Iury Bessa
,
Fatiha Nejjari
,
Vicenç Puig
A Set-Based Uncertainty Quantification of Evolving Fuzzy Models for Data-Driven Prognostics.
DPS
(2022)
Eugenio Alcalá
,
Iury Bessa
,
Vicenç Puig
,
Olivier Sename
,
Reinaldo M. Palhares
MPC using an on-line TS fuzzy learning approach with application to autonomous driving.
Appl. Soft Comput.
130 (2022)
João Batista Pereira Matos Jr.
,
Iury Bessa
,
Edoardo Manino
,
Xidan Song
,
Lucas C. Cordeiro
CEG4N: Counter-Example Guided Neural Network Quantization Refinement.
NSV/FoMLAS@CAV
(2022)
João Batista Pereira Matos Jr.
,
Iury Bessa
,
Edoardo Manino
,
Xidan Song
,
Lucas C. Cordeiro
CEG4N: Counter-Example Guided Neural Network Quantization Refinement.
CoRR
(2022)
Pedro Henrique Silva Coutinho
,
Márcia L. C. Peixoto
,
Iury Bessa
,
Reinaldo Martinez Palhares
Dynamic event-triggered gain-scheduling control of discrete-time quasi-LPV systems.
Autom.
141 (2022)
Iury Bessa
,
Vicenç Puig
,
Reinaldo Martinez Palhares
Passivation blocks for fault tolerant control of nonlinear systems.
Autom.
125 (2021)
Xidan Song
,
Edoardo Manino
,
Luiz H. Sena
,
Erickson H. da S. Alves
,
Eddie Batista de Lima Filho
,
Iury Bessa
,
Mikel Lujan
,
Lucas C. Cordeiro
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking.
CoRR
(2021)
Luiz H. Sena
,
Xidan Song
,
Erickson H. da S. Alves
,
Iury Bessa
,
Edoardo Manino
,
Lucas C. Cordeiro
Verifying Quantized Neural Networks using SMT-Based Model Checking.
CoRR
(2021)
Daniel F. Leite
,
Pedro Henrique Silva Coutinho
,
Iury Bessa
,
Murilo C. O. Camargos Filho
,
Luiz Cordovil Junior
,
Reinaldo M. Palhares
Incremental Learning and State-Space Evolving Fuzzy Control of Nonlinear Time-Varying Systems with Unknown Model.
CoRR
(2021)
Murilo C. O. Camargos
,
Iury Bessa
,
Luiz A. Q. Cordovil Junior
,
Pedro Henrique Silva Coutinho
,
Daniel Furtado Leite
,
Reinaldo Martinez Palhares
Evolving Fuzzy System Applied to Battery Charge Capacity Prediction for Fault Prognostics.
CoRR
(2021)
Luiz H. Sena
,
Erickson H. da S. Alves
,
Iury Bessa
,
Eddie B. L. Filho
,
Lucas C. Cordeiro
Incremental Verification of Fixed-Point Implementations of Neural Networks.
CoRR
(2020)
Alessandro Abate
,
Iury Bessa
,
Lucas C. Cordeiro
,
Cristina David
,
Pascal Kesseli
,
Daniel Kroening
,
Elizabeth Polgreen
Automated formal synthesis of provably safe digital controllers for continuous plants.
Acta Informatica
57 (1-2) (2020)
Murilo C. O. Camargos Filho
,
Iury Bessa
,
Marcos Flávio Silveira Vasconcelos D'Angelo
,
Luciana Balieiro Cosme
,
Reinaldo Martinez Palhares
Data-driven prognostics of rolling element bearings using a novel Error Based Evolving Takagi-Sugeno Fuzzy Model.
Appl. Soft Comput.
96 (2020)
Iury Bessa
,
Vicenç Puig
,
Reinaldo Martinez Palhares
TS fuzzy reconfiguration blocks for fault tolerant control of nonlinear systems.
J. Frankl. Inst.
357 (8) (2020)
Lennon C. Chaves
,
Iury Bessa
,
Lucas C. Cordeiro
,
Daniel Kroening
DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems.
HSCC
(2018)
Lennon C. Chaves
,
Iury Bessa
,
Hussama Ismail
,
Adriano Bruno dos Santos Frutuoso
,
Lucas C. Cordeiro
,
Eddie Batista de Lima Filho
DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles.
IEEE Trans. Reliab.
67 (4) (2018)
Lennon C. Chaves
,
Iury Bessa
,
Lucas C. Cordeiro
,
Daniel Kroening
,
Eddie Batista de Lima Filho
Verifying Digital Systems with MATLAB.
CoRR
(2017)
Lennon C. Chaves
,
Iury Bessa
,
Lucas C. Cordeiro
,
Daniel Kroening
,
Eddie Batista de Lima Filho
Verifying digital systems with MATLAB.
ISSTA
(2017)
Iury Bessa
,
Hussama Ismail
,
Reinaldo M. Palhares
,
Lucas C. Cordeiro
,
Joao Edgar Chaves Filho
Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty.
IEEE Trans. Computers
66 (3) (2017)
Alessandro Abate
,
Iury Bessa
,
Dario Cattaruzza
,
Lucas C. Cordeiro
,
Cristina David
,
Pascal Kesseli
,
Daniel Kroening
,
Elizabeth Polgreen
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants.
CoRR
(2017)
Alessandro Abate
,
Iury Bessa
,
Dario Cattaruzza
,
Lennon C. Chaves
,
Lucas C. Cordeiro
,
Cristina David
,
Pascal Kesseli
,
Daniel Kroening
,
Elizabeth Polgreen
DSSynth: an automated digital controller synthesis tool for physical plants.
ASE
(2017)
Alessandro Abate
,
Iury Bessa
,
Dario Cattaruzza
,
Lucas C. Cordeiro
,
Cristina David
,
Pascal Kesseli
,
Daniel Kroening
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants.
HSCC
(2017)
Alessandro Abate
,
Iury Bessa
,
Dario Cattaruzza
,
Lucas C. Cordeiro
,
Cristina David
,
Pascal Kesseli
,
Daniel Kroening
,
Elizabeth Polgreen
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants.
CAV (1)
(2017)
Alessandro Abate
,
Iury Bessa
,
Dario Cattaruzza
,
Lucas C. Cordeiro
,
Cristina David
,
Pascal Kesseli
,
Daniel Kroening
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants.
CoRR
(2016)
Rodrigo F. Araujo
,
Iury Bessa
,
Lucas Carvalho Cordeiro
,
Joao Edgar Chaves Filho
SMT-based Verification Applied to Non-convex Optimization Problems.
SBESC
(2016)
Lennon C. Chaves
,
Iury Bessa
,
Lucas C. Cordeiro
DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems (Tool Demonstration).
CoRR
(2016)
Hussama Ismail
,
Iury Bessa
,
Lucas C. Cordeiro
,
Eddie Batista de Lima Filho
,
Joao Edgar Chaves Filho
DSVerifier: A Bounded Model Checking Tool for Digital Systems.
SPIN
(2015)
Iury Bessa
,
Renato B. Abreu
,
Joao Edgar Chaves Filho
,
Lucas C. Cordeiro
SMT-Based Bounded Model Checking of Fixed-Point Digital Controllers.
CoRR
(2014)
Iury Bessa
,
Renato B. Abreu
,
João Edgar Chaves Filho
,
Lucas C. Cordeiro
SMT-based bounded model checking of fixed-point digital controllers.
IECON
(2014)