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
61 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
43 2008 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: 22nd International Symposium, SPIN 2015 …, 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
37 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
31 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
29 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
29 2005 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
24 2016 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
23 2020 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
21 2015 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
19 2018 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
19 2016 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
18 2009 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 A Method to Localize Faults in Concurrent C Programs. The Journal of Systems and Software EHDAS ALVES, LC CORDEIRO, EBDEL FILHO
17 * 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
14 2019 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 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
14 2016 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 Electromyographic Signal Compression Based on Preprocessing Techniques WC MELO, EB L. Filho
Proceedings of the 34th Annual International Conference of the IEEE …, 2012
13 2012