Iury Valente de Bessa
TitleCited byYear
Data-driven fault detection and isolation scheme for a wind turbine benchmark
IV de Bessa, RM Palhares, MFSV D'Angelo, JE Chaves Filho
Renewable Energy 87, 634-645, 2016
332016
Counterexample guided inductive optimization applied to mobile robots path planning
RF Araujo, A Ribeiro, IV Bessa, LC Cordeiro, EC Joao Filho
Robotics Symposium (LARS) and 2017 Brazilian Symposium on Robotics (SBR …, 2017
222017
DSVerifier: A bounded model checking tool for digital systems
HI Ismail, IV Bessa, LC Cordeiro, EB de Lima Filho, JE Chaves Filho
Model Checking Software, 126-131, 2015
222015
Verification of fixed-point digital controllers using direct and delta forms realizations
IV Bessa, HI Ismail, LC Cordeiro, EC Joao Filho
Design Automation for Embedded Systems 20 (2), 95-126, 2016
192016
Formal non-fragile stability verification of digital control systems with uncertainty
I Bessa, H Ismail, R Palhares, L Cordeiro, JE Chaves Filho
IEEE Transactions on Computers 66 (3), 545-552, 2017
162017
Sound and automated synthesis of digital stabilizing controllers for continuous plants
A Abate, I Bessa, D Cattaruzza, L Cordeiro, C David, P Kesseli, ...
Proceedings of the 20th International Conference on Hybrid Systems …, 2017
152017
Automated formal synthesis of digital controllers for state-space physical plants
A Abate, I Bessa, D Cattaruzza, L Cordeiro, C David, P Kesseli, ...
International Conference on Computer Aided Verification, 462-482, 2017
132017
SMT-based bounded model checking of fixed-point digital controllers
I Bessa, R Abreu, J Edgar Filho, L Cordeiro
Industrial Electronics Society, IECON 2014-40th Annual Conference of the …, 2014
92014
Verification of delta form realization in fixed-point digital controllers using bounded model checking
IV de Bessa, HI Ismail, LC Cordeiro, JE Chaves Filho
Computing Systems Engineering (SBESC), 2014 Brazilian Symposium on, 49-54, 2014
72014
Robust decentralized controller for minimizing coupling effect in single inductor multiple output DC-DC converter operating in continuous conduction mode
RLP de Medeiros, W Barra Jr, IV de Bessa, JE Chaves Filho, ...
ISA transactions 73, 112-129, 2018
42018
Dsvalidator: An automated counterexample reproducibility tool for digital systems
L Chaves, I Bessa, L Cordeiro, D Kroening
Proceedings of the 21st International Conference on Hybrid Systems …, 2018
32018
Verifying digital systems with MATLAB
L Chaves, I Bessa, L Cordeiro, D Kroening, E Lima
Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017
32017
SMT-based Verification Applied to Non-convex Optimization Problems
R Araśjo, I Bessa, LC Cordeiro, JE Chaves Filho
Computing Systems Engineering (SBESC), 2016 VI Brazilian Symposium on, 1-8, 2016
32016
Planning and Evaluation of UAV Mission Planner for Intralogistics Problems
TRF Cavalcante, IV de Bessa, LC Cordeiro
Computing Systems Engineering (SBESC), 2017 VII Brazilian Symposium on, 9-16, 2017
22017
DSSynth: An automated digital controller synthesis tool for physical plants
A Abate, I Bessa, D Cattaruzza, L Chaves, L Cordeiro, C David, P Kesseli, ...
Proceedings of the 32nd IEEE/ACM International Conference on Automated …, 2017
22017
Counterexample guided inductive optimization based on satisfiability modulo theories
RF Araujo, HF Albuquerque, IV de Bessa, LC Cordeiro, JE Chaves Filho
Science of Computer Programming 165, 3-23, 2018
12018
DSValidator: An automated counterexample reproducibility tool for digital systems (tool demonstration)
L Chaves, I Bessa, L Cordeiro, D Kroening
arXiv preprint arXiv:1610.07066, 2016
12016
DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles
L Chaves, IV Bessa, H Ismail, AB dos Santos Frutuoso, L Cordeiro, ...
IEEE Transactions on Reliability, 2018
2018
Sim3Tanks: A Benchmark Model Simulator for Process Control and Monitoring
AO Farias, GAC Queiroz, IV Bessa, RLP Medeiros, LC Cordeiro, ...
IEEE Access, 2018
2018
Single-phase fault detection in balanced 14 bus system using artificial neural networks
AP Alves, KV Santos, LES Silva, RLP Medeiros, IV Bessa
2018 Simposio Brasileiro de Sistemas Eletricos (SBSE), 1-6, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–20