Iury Bessa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2014–2024
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ETFA | 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 |
| 2022 | CAV | CEG4N: Counter-Example Guided Neural Network Quantization Refinement. | Joo Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro |
| 2022 | ETFA | Fault Detection for Photovoltaic Systems Using Fuzzy C-Means Clustering. | Jadir Barbosa, Renan Landau Paiva de Medeiros, Florindo Antonio de Carvalho Ayres, Joo Edgar Chaves Filho, Vicente F. Lucena, Iury Bessa |
| 2021 | EUSFLAT | Incremental Learning and State-Space Evolving Fuzzy Control of Nonlinear Time-Varying Systems with Unknown Model. | Daniel Leite, Pedro Henrique Silva Coutinho, Iury Bessa, Murilo C. O. Camargos, Luiz A. Q. Cordovil Jnior, Reinaldo M. Palhares |
| 2021 | EUSFLAT | Evolving Fuzzy System Applied to Battery Charge Capacity Prediction for Fault Prognostics. | Murilo C. O. Camargos, Iury Bessa, Luiz A. Q. Cordovil Jnior, Pedro Henrique Silva Coutinho, Daniel Furtado Leite, Reinaldo Martinez Palhares |
| 2017 | CAV | 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 |
| 2017 | ISSTA | Verifying digital systems with MATLAB. | Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho |
| 2014 | IECON | SMT-based bounded model checking of fixed-point digital controllers. | Iury Bessa, Renato B. Abreu, Joo Edgar Chaves Filho, Lucas C. Cordeiro |