关注
Eddie Batista de Lima Filho
Eddie Batista de Lima Filho
Federal University of Amazonas and TPV Technology
在 tpv-tech.com 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
612007
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
432008
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
382015
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
372008
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
312018
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
292017
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
292005
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
242016
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
212020
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
212015
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
192018
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
192016
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
182009
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
172019
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
142019
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
142017
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
142016
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
132013
Electromyographic Signal Compression Based on Preprocessing Techniques
WC MELO, EB L. Filho
Proceedings of the 34th Annual International Conference of the IEEE …, 2012
132012
系统目前无法执行此操作,请稍后再试。
文章 1–20