Eddie Batista de Lima Filho

According to our database, Eddie Batista de Lima Filho authored at least 65 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Counterexample Guided Neural Network Quantization Refinement.

João Batista Pereira Matos Jr., Eddie B. de Lima Filho, Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., April, 2024

Augmenting Digital TV Receivers with REST APIs.

Daniel Xavier, Fabricio Bandeira, Andre R. da Silva Conceição, Rômulo Fabrício, José Fernandes, Eddie B. de Lima Filho, Daniel Araújo, Raphael Mello, Stephany Silva, Tarcizio Lima

Proceedings of the IEEE International Conference on Consumer Electronics, 2024

An Automated Testing Methodology to Evaluate Multimedia Processing Stacks Running on Digital TV Receivers.

Andrya K. O. Da Silva, Luzia C. Amorim, Orlewilson B. Maia, Eddie Batista de Lima Filho, Tássia C. Da Rocha, Gabriel C. Dos Santos, Adrian L. Guedes, Andreza R. Queiroz, Kawê R. C. De Araújo

Proceedings of the IEEE International Conference on Consumer Electronics, 2024

Providing DTV Play's Services with a Multimedia Processing Stack Based on GStreamer.

Claudio Pinheiro, Petrina Kimura, Haydê Machado, Sergillam Barroso Oliveira, Alexandre Silva, Rômulo Fabrício, Eddie Batista de Lima Filho, Elyervesson Pereira, Icaro Lima

Proceedings of the IEEE International Conference on Consumer Electronics, 2024

An Architecture to Emulate Television Receivers.

Bruno Farias, Ivo Machado, Claudio Pinheiro, Tiago Souza, Eddie Batista de Lima Filho, Rodrigo Cal, Washington Luiz, Marcos Oliveira, Mateus Said

Proceedings of the IEEE International Conference on Consumer Electronics, 2024

2023

A fuzzing-based test-creation approach for evaluating digital TV receivers via transport streams.

Fabrício Izumi, Eddie B. de Lima Filho, Lucas C. Cordeiro, Orlewilson B. Maia, Rômulo Fabrício, Bruno Farias, Aguinaldo Silva

Softw. Test. Verification Reliab., 2023

Finding Software Vulnerabilities in Open-Source C Projects via Bounded Model Checking.

Janislley Oliveira de Sousa, Bruno Carvalho de Farias, Thales Araujo da Silva, Eddie Batista de Lima Filho, Lucas C. Cordeiro

CoRR, 2023

Evaluation of Ginga's CC-Web-Service Module.

Sergillam Barroso Oliveira, Andre R. da Silva Conceição, Eddie Batista de Lima Filho, Lucas C. Cordeiro

Proceedings of the International Conference on Consumer Electronics - Taiwan, 2023

2022

ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts.

Kunjian Song, Nedas Matulevicius, Eddie B. de Lima Filho, Lucas C. Cordeiro

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

A Real-Time Analyzer for Testing DTV Play.

Orlewilson B. Maia, Andre R. da Silva Conceição, Manoel J. de Souza Júnior, Fabrício Izumi, Eddie B. de Lima Filho, Paulo Corrêa

Proceedings of the IEEE International Conference on Consumer Electronics, 2022

A Methodology for Emulating, Developing, and Testing the Middleware DTV Play in Personal Computers.

Bruno Farias, Ivo Machado, Eddie B. de Lima Filho, Claudio Pinheiro, Petrina Kimura, Leonardo Cordeiro, Daniel Xavier

Proceedings of the IEEE International Conference on Consumer Electronics, 2022

2021

Verification and refutation of C programs based on k-induction and invariant inference.

Omar M. Alhawi, Herbert Rocha, Mikhail R. Gadelha, Lucas C. Cordeiro, Eddie Batista de Lima Filho

Int. J. Softw. Tools Technol. Transf., 2021

QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking.

Xidan Song, Edoardo Manino, Luiz H. Sena, Erickson H. da S. Alves, Eddie Batista de Lima Filho, Iury Bessa, Mikel Luján, Lucas C. Cordeiro

CoRR, 2021

A Framework for Automatic Field Evaluation of DTV Receivers.

Manoel J. de Souza, Orlewilson B. Maia, Samantha C. Leite, Eddie B. de Lima Filho, Fabrício Izumi, Robson R. Andrade, Paulo Corrêa

Proceedings of the IEEE International Conference on Consumer Electronics, 2021

A Methodology for Providing Encrypted-Content Decoding in DTV Play.

Jônatas Rech, Vinícius Freitas, Bruno Farias, Eddie Batista de Lima Filho, Jeferson B. da Costa, Ivo Machado, Xianpan Chen, Claudio Pinheiro, Daniel Xavier

Proceedings of the IEEE International Conference on Consumer Electronics, 2021

A Methodology for Automatic Evaluation of DTV Signals.

Fabrício Izumi, Robson R. Andrade, Eddie Batista de Lima Filho, Ruan J. S. Belém, Bruno Farias, Petrina Kimura, Rômulo Fabrício Júnior

Proceedings of the IEEE International Conference on Consumer Electronics, 2021

2020

Survey on automated symbolic verification and its application for synthesising cyber-physical systems.

Lucas C. Cordeiro, Eddie Batista de Lima Filho, Iury Valente de Bessa

IET Cyper-Phys. Syst.: Theory & Appl., 2020

Incremental Verification of Fixed-Point Implementations of Neural Networks.

Luiz H. Sena, Erickson H. da S. Alves, Iury Bessa, Eddie B. L. Filho, Lucas C. Cordeiro

CoRR, 2020

A Methodology for Self-diagnosis and Behavior Correction in Digital Television Receivers: Initial Concept.

Aguinaldo Silva, Allan R. A. da Amorim, Rômulo Fabrício, Lucas Campiolo, Eddie Batista de Lima Filho

Proceedings of the 2020 IEEE International Conference on Consumer Electronics (ICCE), 2020

A Methodology for Upgrading Legacy Middleware Ginga Implementations to Profile Ginga-D.

Petrina Kimura, Bruno Farias, Jeferson B. da Costa, Rômulo Fabrício, Eddie Batista de Lima Filho

Proceedings of the 2020 IEEE International Conference on Consumer Electronics (ICCE), 2020

Extensions to Middleware Ginga for Integration with IoT Environments.

Bruno Farias, Eddie Batista de Lima Filho, Orlewilson Bentes Maia, Eduardo Souto

Proceedings of the 2020 IEEE International Conference on Consumer Electronics (ICCE), 2020

Automated Video Monitor Screen Extraction using Semantic Segmentation and CNN.

Ruan J. S. Belém, Caio F. S. Cruz, Agemilson Pimentel, Eddie Batista de Lima Filho, Lucas Coimbra, Anderson S. Jesus, André S. Costa, Osmar A. da Silva, Wilson C. C. Junior, Ricardo G. Paula

Proceedings of the IEEE International Conference on Consumer Electronics - Taiwan, 2020

2019

Verifying fragility in digital systems with uncertainties using DSVerifier <i>v</i>2.0.

Lennon C. Chaves, Hussama Ibrahim Ismail, Iury Valente de Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho

J. Syst. Softw., 2019

A Methodology for Convergence Between Ginga and HbbTV.

Bruno Farias, Nicoli Araujo, Romulo Fabricio, Jeferson B. da Costa, Eddie Batista de Lima Filho

Proceedings of the IEEE International Conference on Consumer Electronics, 2019

An Architecture for Content Multiplexing and Enhanced Connectivity in Digital TV Receivers.

Jeferson B. da Costa, Nicoli Araujo, Aguinaldo Silva, Romulo Fabricio, Eddie Batista de Lima Filho

Proceedings of the IEEE International Conference on Consumer Electronics, 2019

An Architecture for Multimedia Transmission Through Infrared Light Communications in Consumer Electronics Environments: First Results.

Allan R. A. da Amorim, Agemilson Pimentel, Petrina Kimura, Xianpan Chen, Eddie Batista de Lima Filho

Proceedings of the IEEE International Conference on Consumer Electronics, 2019

Evaluation of Digital TV Receivers with Noncompliant MPEG-2 Transport Streams.

Fabrício Izumi, B. Farias, Eddie Batista de Lima Filho, Allan R. A. da Amorim, O. Bentes Maia, A. Silva

Proceedings of the IEEE International Conference on Consumer Electronics - Taiwan, 2019

A Methodology for Intuitive and Low-Attention TV Remote Control on Smart Phones.

Guilherme Guimarães, Jose Fernandes, André Costa, Rômulo Fabrício, Manoel Júnior, Eddie Batista de Lima Filho

Proceedings of the IEEE International Conference on Consumer Electronics - Taiwan, 2019

An Architecture for Test Execution in Video Monitor and Digital TV Receiver Production Lines.

Ruan J. S. Belém, Caio F. S. Cruz, Petrina Kimura, Allan R. A. da Amorim, Eddie Batista de Lima Filho, Osmar A. da Silva, Lucas Coimbra

Proceedings of the IEEE International Conference on Consumer Electronics - Taiwan, 2019

An Automated Testing Methodology For Digital TV Middleware Implementations.

Manoel José S. Júnior, Orlewilson B. Maia, Eddie B. L. Filho, Rômulo Fabrício, Aguinaldo Silva

Proceedings of the 9th IEEE International Conference on Consumer Electronics, 2019

2018

DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles.

Lennon C. Chaves, Iury Bessa, Hussama Ismail, Adriano Bruno dos Santos Frutuoso, Lucas C. Cordeiro, Eddie Batista de Lima Filho

IEEE Trans. Reliab., 2018

ESBMC-GPU A context-bounded model checking tool to verify CUDA programs.

Felipe R. Monteiro, Erickson H. da S. Alves, Isabela da Silva, Hussama Ismail, Lucas C. Cordeiro, Eddie Batista de Lima Filho

Sci. Comput. Program., 2018

Bounded model checking of C++ programs based on the Qt cross-platform framework (journal-first abstract).

Felipe R. Monteiro, Mário A. P. Garcia, Lucas C. Cordeiro, Eddie Batista de Lima Filho

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

RFID-based scheme for TV receiver control in case of theft.

Allan R. A. da Silva, Caio F. S. da Cruz, Jose Eduardo L. Fernandes, Jeferson B. da Costa, Xianpan Chen, Romulo Fabricio, Eddie Batista de Lima Filho

Proceedings of the IEEE International Conference on Consumer Electronics, 2018

2017

Bounded model checking of C++ programs based on the Qt cross-platform framework.

Felipe R. Monteiro, Mário Garcia, Lucas C. Cordeiro, Eddie Batista de Lima Filho

Softw. Test. Verification Reliab., 2017

BMCLua: A Translator for Model Checking Lua Programs.

Felipe R. Monteiro, Francisco A. P. Januário, Lucas C. Cordeiro, Eddie Batista de Lima Filho

ACM SIGSOFT Softw. Eng. Notes, 2017

Program clock reference correction in transport stream processors with rate adaptation.

Heitor Judiss Savino, Eddie Batista de Lima Filho

Multim. Tools Appl., 2017

A method to localize faults in concurrent C programs.

Erickson H. da S. Alves, Lucas C. Cordeiro, Eddie Batista de Lima Filho

J. Syst. Softw., 2017

New Designs for Reduced-Redundancy Transceivers.

Mauro L. de Freitas, Wallace A. Martins, Eddie Batista de Lima Filho, Waldir Sabino da Silva Jr.

Circuits Syst. Signal Process., 2017

Verification of Magnitude and Phase Responses in Fixed-Point Digital Filters.

Daniel P. M. de Mello, Mauro L. de Freitas, Lucas C. Cordeiro, Waldir S. S. Junior, Iury Valente de Bessa, Eddie B. L. Filho, Laurent Clavier

CoRR, 2017

OptCE: A Counterexample-Guided Inductive Optimization Solver.

Higo F. Albuquerque, Rodrigo F. Araujo, Iury Valente de Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

Verifying digital systems with MATLAB.

Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

2016

SMT-Based Context-Bounded Model Checking for Embedded Systems: Challenges and Future Trends.

Lucas C. Cordeiro, Eddie Batista de Lima Filho

ACM SIGSOFT Softw. Eng. Notes, 2016

Bounded model checking for fixed-point digital filters.

Renato B. Abreu, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Eddie Batista de Lima Filho, Waldir Sabino da Silva Jr.

J. Braz. Comput. Soc., 2016

ESBMC^QtOM: A Bounded Model Checking Tool to Verify Qt Applications.

Mário Garcia, Felipe R. Monteiro, Lucas C. Cordeiro, Eddie Batista de Lima Filho

Proceedings of the Model Checking Software - 23rd International Symposium, 2016

2015

Bounded Model Checking of C++ Programs Based on the Qt Framework (extended version).

Felipe Rodrigues Monteiro Sousa, Lucas C. Cordeiro, Eddie Batista de Lima Filho

CoRR, 2015

Fault Localization in Multi-Threaded C Programs using Bounded Model Checking (extended version).

Erickson H. da S. Alves, Lucas C. Cordeiro, Eddie Batista de Lima Filho

CoRR, 2015

DSVerifier: A Bounded Model Checking Tool for Digital Systems.

Hussama Ismail, Iury Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho, Joao Edgar Chaves Filho

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Fault Localization in Multi-threaded C Programs Using Bounded Model Checking.

Erickson H. da S. Alves, Lucas C. Cordeiro, Eddie Batista de Lima Filho

Proceedings of the 2015 Brazilian Symposium on Computing Systems Engineering, 2015

Bounded model checking of C++ programs based on the Qt framework.

Felipe Rodrigues Monteiro Sousa, Lucas C. Cordeiro, Eddie Batista de Lima Filho

Proceedings of the IEEE 4th Global Conference on Consumer Electronics, 2015

Discriminative filtering with principal component analysis and adaptive alignment.

Kenny V. dos Santos, Waldir Sabino da Silva Jr., Luiz Eduardo Sales E. Silva, Felipe S. Farias, Wheidima Carneiro de Melo, Eddie Batista de Lima Filho

Proceedings of the IEEE 4th Global Conference on Consumer Electronics, 2015

Electromyographic signal compression based on two-dimensional techniques.

Wheidima Carneiro de Melo, Eddie Batista de Lima Filho, Waldir Sabino da Silva Jr.

Proceedings of the IEEE 4th Global Conference on Consumer Electronics, 2015

Automated content detection on TVs and computer monitors.

Felipe de S. Farias, Waldir Sabino da Silva Jr., Eddie Batista de Lima Filho, Wheidima C. Melo

Proceedings of the IEEE 4th Global Conference on Consumer Electronics, 2015

2014

BMCLua: Verification of Lua programs in digital TV interactive applications.

Francisco A. P. Januário, Lucas C. Cordeiro, Vicente Ferreira de Lucena Jr., Eddie Batista de Lima Filho

Proceedings of the IEEE 3rd Global Conference on Consumer Electronics, 2014

2013

Verifying Fixed-Point Digital Filters using SMT-Based Bounded Model Checking

Renato B. Abreu, Lucas C. Cordeiro, Eddie B. L. Filho

CoRR, 2013

2012

PCR jitter control based on a semaphore-controlled counter.

Heitor Judiss Savino, Eddie B. L. Filho

Proceedings of the 20th International Conference on Software, 2012

Electromyographic signal compression based on preprocessing techniques.

Wheidima C. Melo, Eddie B. L. Filho, Waldir S. S. Junior

Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2012

2009

On ECG Signal Compression With 1-D Multiscale Recurrent Patterns Allied to Preprocessing Techniques.

Eddie B. L. Filho, Nuno M. M. Rodrigues, Eduardo A. B. da Silva, Murilo B. de Carvalho, Sérgio M. M. de Faria, Vítor Manuel Mendes da Silva

IEEE Trans. Biomed. Eng., 2009

2008

Universal Image Compression Using Multiscale Recurrent Patterns With Adaptive Probability Model.

Eddie Batista de Lima Filho, Eduardo A. B. da Silva, Murilo B. de Carvalho, Frederico S. Pinagé

IEEE Trans. Image Process., 2008

On EMG Signal Compression With Recurrent Patterns.

Eddie B. L. Filho, Eduardo A. B. da Silva, Murilo B. de Carvalho

IEEE Trans. Biomed. Eng., 2008

ECG Signal Compression Based on Dc Equalization and Complexity Sorting.

Eddie B. L. Filho, Nuno M. M. Rodrigues, Eduardo A. B. da Silva, Sérgio M. M. de Faria, Vítor Manuel Mendes da Silva, Murilo B. de Carvalho

IEEE Trans. Biomed. Eng., 2008

2007

WiMAX Downlink OFDMA Burst Placement for Optimized Receiver Duty-Cycling.

Claude Desset, Eddie Batista de Lima Filho, Gregory Lenoir

Proceedings of IEEE International Conference on Communications, 2007

2006

ECG compression using multiscale recurrent patterns with period normalization.

Eddie B. L. Filho, Eduardo A. B. da Silva, Waldir S. S. Junior, Murilo B. de Carvalho

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2006), 2006

2005

Electrocardiographic signal compression using multiscale recurrent patterns.

Eddie Batista de Lima Filho, Eduardo A. B. da Silva, Murilo B. de Carvalho, Waldir S. S. Junior, José Koiller

IEEE Trans. Circuits Syst. I Regul. Pap., 2005

2004

Multidimensional signal compression using multi-scale recurrent patterns with smooth side-match criterion.

Eddie B. L. Filho, Murilo B. de Carvalho, Eduardo A. B. da Silva

Proceedings of the 2004 International Conference on Image Processing, 2004