| 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 | 42 | 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 |
| 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 |
| 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 | 33 | 2018 |
| 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 | 32 | 2017 |
| 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 |
| Bounded model checking for fixed-point digital filters RB Abreu, MYR Gadelha, LC Cordeiro, EB de Lima Filho, WS da Silva Journal of the Brazilian Computer Society 22, 1-20, 2016 | 27 | 2016 |
| 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 | 23 | 2018 |
| 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 |
| 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-31, 2016 | 18 | 2016 |
| 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 | 17 | 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 |
| A Method to Localize Faults in Concurrent C Programs. The Journal of Systems and Software EHDAS ALVES, LC CORDEIRO, EBDEL FILHO | 16* | 2017 |
| 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 | 15 | 2019 |
| ESBMC: A Bounded Model Checking Tool to Verify Qt Applications M Garcia, F Monteiro, L Cordeiro, E de Lima Filho Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located …, 2016 | 15 | 2016 |
| 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 | 14 | 2022 |
| 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 | 14 | 2017 |
| Verifying Fixed-Point Digital Filters Using SMT-Based Bounded Model Checking R ABREU, L CORDEIRO, EB Lima Filho XXXI Simpósio Brasileiro de Telecomunicações, 1-5, 2013 | 13 | 2013 |
