| 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 | 61 | 2016 |
| DSVerifier: A bounded model checking tool for digital systems HI Ismail, IV Bessa, LC Cordeiro, EB de Lima Filho, JE Chaves Filho International SPIN Workshop on Model Checking of Software, 126-131, 2015 | 33 | 2015 |
| 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 | 31 | 2016 |
| 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 | 30 | 2017 |
| 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, 2016 | 29 | 2016 |
| 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 | 24 | 2017 |
| SMT-based bounded model checking of fixed-point digital controllers I Bessa, R Abreu, J Edgar Filho, L Cordeiro IECON 2014-40th Annual Conference of the IEEE Industrial Electronics Society …, 2014 | 14 | 2014 |
| 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 | 12 | 2017 |
| 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 | 11* | 2018 |
| TS fuzzy reconfiguration blocks for fault tolerant control of nonlinear systems I Bessa, V Puig, RM Palhares Journal of the Franklin Institute 357 (8), 4592-4623, 2020 | 10 | 2020 |
| DSSynth: an automated digital controller synthesis tool for physical plants A Abate, I Bessa, D Cattaruzza, L Chaves, L Cordeiro, C David, P Kesseli, ... 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 10 | 2017 |
| Fault tolerant control for linear parameter varying systems: an improved robust virtual actuator and sensor approach MM Quadros, IV de Bessa, VJS Leite, RM Palhares ISA transactions 104, 356-369, 2020 | 9 | 2020 |
| SMT-based verification applied to non-convex optimization problems R Araújo, I Bessa, LC Cordeiro, JE Chaves Filho 2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC), 1-8, 2016 | 9 | 2016 |
| 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 | 8* | 2018 |
| Planning and Evaluation of UAV Mission Planner for Intralogistics Problems TRF Cavalcante, IV de Bessa, LC Cordeiro 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC), 9-16, 2017 | 8 | 2017 |
| Verification of delta form realization in fixed-point digital controllers using bounded model checking I Bessa, H Ibrahim, L Cordeiro, JE Chaves Filho 2014 Brazilian Symposium on Computing Systems Engineering, 49-54, 2014 | 8 | 2014 |
| 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 67 (4), 1420-1441, 2018 | 7 | 2018 |
| Uncertain data modeling based on evolving ellipsoidal fuzzy information granules LAQ Cordovil, PHS Coutinho, IV de Bessa, MFSV D’Angelo, RM Palhares IEEE Transactions on Fuzzy Systems 28 (10), 2427-2436, 2019 | 6 | 2019 |
| OptCE: A Counterexample-Guided Inductive Optimization Solver HF Albuquerque, RF Araújo, IV Bessa, LC Cordeiro, EB de Lima Filho Brazilian Symposium on Formal Methods, 125-141, 2017 | 5 | 2017 |
| Survey on automated symbolic verification and its application for synthesising cyber-physical systems LC Cordeiro, EB de Lima Filho, IV Bessa IET Cyber-Physical Systems: Theory & Applications 5 (1), 1-24, 2020 | 4 | 2020 |
Lucas CordeiroSenior Lecturer (Associate Professor), Dept of Computer Science, University of ManchesterDirección de correo verificada de manchester.ac.uk
