default search action
Iury Bessa
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j19]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: 105678 (2024) - [j18]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): 1121-1134 (2024) - [c17]Matheus Figueiredo, Dar'c Pabla Sodre, Renan Medeiros, Vicente F. Lucena, Iury Bessa:
Detection of Cyberattacks in IoT Networks Using Artificial Intelligence: A Comparative Study. ETFA 2024: 1-4 - 2023
- [j17]Iury Bessa, Vicenç Puig, Reinaldo M. Palhares:
Reconfiguration blocks and fault hiding: Design, applications, and challenges. Annu. Rev. Control. 56: 100896 (2023) - [j16]Edoardo Manino, Iury Bessa, Lucas C. Cordeiro:
Towards global neural network abstractions with locally-exact reconstruction. Neural Networks 165: 344-357 (2023) - 2022
- [j15]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: 109698 (2022) - [j14]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: 110292 (2022) - [j13]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): 7494-7506 (2022) - [c16]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: 29-45 - [c15]Khoury Boutrous, Iury Bessa, Fatiha Nejjari, Vicenç Puig:
A Set-Based Uncertainty Quantification of Evolving Fuzzy Models for Data-Driven Prognostics. DPS 2022: 293-304 - [c14]Jadir Barbosa, Renan Landau Paiva de Medeiros, Florindo Antonio de Carvalho Ayres, João Edgar Chaves Filho, Vicente F. Lucena, Iury Bessa:
Fault Detection for Photovoltaic Systems Using Fuzzy C-Means Clustering. ETFA 2022: 1-5 - [d1]Thiago Cavalcante, Iury Bessa, Lucas C. Cordeiro, Eddie B. de Lima Filho:
Tool and benchmarks of "Formal Synthesis of Non-fragile State-Feedback Digital Controllers Considering Performance Requirements for Step Response". Zenodo, 2022 - [i17]João Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro:
CEG4N: Counter-Example Guided Neural Network Quantization Refinement. CoRR abs/2207.04231 (2022) - [i16]Edoardo Manino, Iury Bessa, Lucas C. Cordeiro:
Towards Global Neural Network Abstractions with Locally-Exact Reconstruction. CoRR abs/2210.12054 (2022) - 2021
- [j12]Iury Bessa, Vicenç Puig, Reinaldo Martinez Palhares:
Passivation blocks for fault tolerant control of nonlinear systems. Autom. 125: 109450 (2021) - [i15]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 abs/2102.09503 (2021) - [i14]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 abs/2102.09521 (2021) - [i13]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 abs/2106.05997 (2021) - [i12]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:
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking. CoRR abs/2111.13110 (2021) - 2020
- [j11]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): 223-244 (2020) - [j10]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: 106628 (2020) - [j9]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): 1-24 (2020) - [j8]Iury Bessa, Vicenç Puig, Reinaldo Martinez Palhares:
TS fuzzy reconfiguration blocks for fault tolerant control of nonlinear systems. J. Frankl. Inst. 357(8): 4592-4623 (2020) - [j7]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): 2427-2436 (2020) - [i11]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 abs/2012.11220 (2020)
2010 – 2019
- 2019
- [j6]Lennon C. Chaves, Hussama Ibrahim Ismail, Iury Valente de Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
Verifying fragility in digital systems with uncertainties using DSVerifier v2.0. J. Syst. Softw. 153: 22-43 (2019) - [c13]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: 1-8 - [i10]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 abs/1907.12933 (2019) - 2018
- [j5]Arllem O. Farias, Gabriel Alisson C. Queiroz, Iury Valente de Bessa, Renan Landau Paiva de Medeiros, Lucas C. Cordeiro, Reinaldo M. Palhares:
Sim3Tanks: A Benchmark Model Simulator for Process Control and Monitoring. IEEE Access 6: 62234-62254 (2018) - [j4]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: 3-23 (2018) - [j3]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): 1420-1441 (2018) - [c12]Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening:
DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems. HSCC 2018: 253-258 - 2017
- [j2]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): 545-552 (2017) - [c11]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: 462-482 - [c10]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: 197-206 - [c9]Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho:
Verifying digital systems with MATLAB. ISSTA 2017: 388-391 - [c8]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: 919-924 - [c7]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: 1-6 - [c6]Thiago Rodrigo Felix Cavalcante, Iury Valente de Bessa, Lucas Carvalho Cordeiro:
Planning and Evaluation of UAV Mission Planner for Intralogistics Problems. SBESC 2017: 9-16 - [c5]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: 125-141 - [i9]Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho:
Verifying Digital Systems with MATLAB. CoRR abs/1702.05591 (2017) - [i8]Rodrigo F. Araujo, Higo F. Albuquerque, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho:
Counterexample Guided Inductive Optimization. CoRR abs/1704.03738 (2017) - [i7]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 abs/1705.00981 (2017) - [i6]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 abs/1706.05088 (2017) - [i5]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 abs/1708.04028 (2017) - 2016
- [j1]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): 95-126 (2016) - [c4]Rodrigo F. Araujo, Iury Bessa, Lucas Carvalho Cordeiro, Joao Edgar Chaves Filho:
SMT-based Verification Applied to Non-convex Optimization Problems. SBESC 2016: 1-8 - [i4]William C. da Rosa, Iury Valente de Bessa, Lucas C. Cordeiro:
Application of Global Route-Planning Algorithms with Geodesy. CoRR abs/1610.04597 (2016) - [i3]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 abs/1610.04761 (2016) - [i2]Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro:
DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems (Tool Demonstration). CoRR abs/1610.07066 (2016) - 2015
- [c3]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: 126-131 - 2014
- [c2]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: 295-301 - [c1]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: 49-54 - [i1]Iury Bessa, Renato B. Abreu, Joao Edgar Chaves Filho, Lucas C. Cordeiro:
SMT-Based Bounded Model Checking of Fixed-Point Digital Controllers. CoRR abs/1403.5172 (2014)
Coauthor Index
aka: Lucas Carvalho Cordeiro
aka: Joao Edgar Chaves Filho
aka: Reinaldo Martinez Palhares
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-31 20:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint