| WiMAX downlink OFDMA burst placement for optimized receiver duty-cycling C Desset, EB de Lima Filho, G Lenoir 2007 IEEE International Conference on Communications, 5149-5154, 2007 | 60 | 2007 |
| On EMG signal compression with recurrent patterns BL Eddie Filho, EAB da Silva, MB de Carvalho IEEE transactions on biomedical engineering 55 (7), 1920-1923, 2008 | 44 | 2008 |
| 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 | 38 | 2015 |
| ESBMC-GPU a context-bounded model checking tool to verify CUDA programs FR Monteiro, EHS Alves, IS Silva, HI Ismail, LC Cordeiro, ... Science of Computer Programming 152, 63-69, 2018 | 37 | 2018 |
| Universal image compression using multiscale recurrent patterns with adaptive probability model EB de Lima Filho, EAB da Silva, MB de Carvalho, FS Pinagé IEEE Transactions on Image Processing 17 (4), 512-527, 2008 | 35 | 2008 |
| Bounded model checking of C++ programs based on the Qt cross‐platform framework FR Monteiro, MAP Garcia, LC Cordeiro, EB de Lima Filho Software Testing, Verification and Reliability 27 (3), e1632, 2017 | 34 | 2017 |
| Bounded model checking for fixed-point digital filters RB Abreu, MYR Gadelha, LC Cordeiro, EB de Lima Filho, WS da Silva Jr Journal of the Brazilian Computer Society 22 (1), 1, 2016 | 28 | 2016 |
| Electrocardiographic signal compression using multiscale recurrent patterns EB de Lima Filho, EAB da Silva, MB de Carvalho, WS da Silva Júnior, ... IEEE Transactions on Circuits and Systems I: Regular Papers 52 (12), 2739-2753, 2005 | 28 | 2005 |
| 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 | 27 | 2020 |
| 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 | 24 | 2018 |
| Counterexample guided neural network quantization refinement JBP Matos, EB de Lima Filho, I Bessa, E Manino, X Song, LC Cordeiro IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2023 | 22 | 2023 |
| Bounded model checking of C++ programs based on the Qt framework FRM Sousa, LC Cordeiro, EB de Lima Filho 2015 IEEE 4th Global Conference on Consumer Electronics (GCCE), 179-180, 2015 | 22 | 2015 |
| ESBMC-solidity: an SMT-based model checker for solidity smart contracts K Song, N Matulevicius, EB de Lima Filho, LC Cordeiro Proceedings of the ACM/IEEE 44th International Conference on Software …, 2022 | 21 | 2022 |
| A methodology for convergence between ginga and hbbtv B Farias, N Araújo, R Fabrício, JB da Costa, EB de Lima Filho 2019 IEEE International Conference on Consumer Electronics (ICCE), 1-4, 2019 | 19 | 2019 |
| On ECG Signal Compression with One-dimensional Multiscale Recurrent Patterns Allied to Pre-Processing Techniques EB de Lima Filho, NMM RODRIGUES, EAB da Silva, MB CARVALHO, ... IEEE Transactions on Biomedical Engineering 56, 896-900, 2009 | 17 | 2009 |
| Verifying fragility in digital systems with uncertainties using DSVerifier v2. 0 LC Chaves, HI Ismail, IV Bessa, LC Cordeiro, EB de Lima Filho Journal of Systems and Software 153, 22-43, 2019 | 16 | 2019 |
| A Method to Localize Faults in Concurrent C Programs. The Journal of Systems and Software EHDAS ALVES, LC CORDEIRO, EBDEL FILHO | 16* | 2017 |
| SEMG signal compression based on two-dimensional techniques WC de Melo, EB de Lima Filho, WS da Silva Júnior Biomedical engineering online 15 (1), 41, 2016 | 16 | 2016 |
| ESBMC: A Bounded Model Checking Tool to Verify Qt Applications M Garcia, F Monteiro, L Cordeiro, E de Lima Filho International Symposium on Model Checking Software, 97-103, 2016 | 15 | 2016 |
| A methodology for upgrading legacy middleware ginga implementations to profile ginga-d P Kimura, B Farias, J Costa, R Fabrício, EB de Lima Filho 2020 IEEE International Conference on Consumer Electronics (ICCE), 1-5, 2020 | 14 | 2020 |
