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 (ICIP, 2004)

Electrocardiographic signal compression using multiscale recurrent patterns. - Eddie Batista de Lima Filho; Eduardo A. B. da Silva; Murilo B. de Carvalho; Waldir S. S. Júnior; José Koiller (IEEE Trans. Circuits Syst. I Regul. Pap., 2005)

ECG compression using multiscale recurrent patterns with period normalization. - Eddie B. L. Filho; Eduardo A. B. da Silva; Waldir S. S. Júnior; Murilo B. de Carvalho (ISCAS, 2006)

WiMAX Downlink OFDMA Burst Placement for Optimized Receiver Duty-Cycling. - Claude Desset; Eddie Batista de Lima Filho; Gregory Lenoir (ICC, 2007)

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)

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)

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 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)

Electromyographic signal compression based on preprocessing techniques. - Wheidima C. Melo; Eddie B. L. Filho; Waldir S. S. Júnior (EMBC, 2012)

PCR jitter control based on a semaphore-controlled counter. - Heitor Judiss Savino; Eddie B. L. Filho (SoftCOM, 2012)

Verifying Fixed-Point Digital Filters using SMT-Based Bounded Model Checking - Renato B. Abreu; Lucas C. Cordeiro; Eddie B. L. Filho (CoRR, 2013)

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 (GCCE, 2014)

Automated content detection on TVs and computer monitors. - Felipe de S. Farias; Waldir S. S. Júnior; Eddie Batista de Lima Filho; Wheidima C. Melo (GCCE, 2015)

Electromyographic signal compression based on two-dimensional techniques. - Wheidima Carneiro de Melo; Eddie Batista de Lima Filho; Waldir Sabino da Silva Jr. (GCCE, 2015)

Discriminative filtering with principal component analysis and adaptive alignment. - Kenny V. dos Santos; Waldir S. S. Júnior; Luiz Eduardo Sales E. Silva; Felipe S. Farias; Wheidima Carneiro de Melo; Eddie Batista de Lima Filho (GCCE, 2015)

Bounded model checking of C++ programs based on the Qt framework. - Felipe Rodrigues Monteiro Sousa; Lucas C. Cordeiro; Eddie Batista de Lima Filho (GCCE, 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 (SBESC, 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 (SPIN, 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)

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)

ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications. - Mário Garcia; Felipe R. Monteiro; Lucas C. Cordeiro; Eddie Batista de Lima Filho (SPIN, 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 S. S. Júnior (J. Braz. Comput. Soc., 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)

Verifying digital systems with MATLAB. - Lennon C. Chaves; Iury Bessa; Lucas C. Cordeiro; Daniel Kroening; Eddie Batista de Lima Filho (ISSTA, 2017)

OptCE: A Counterexample-Guided Inductive Optimization Solver. - Higo F. Albuquerque; Rodrigo F. Araujo 001; Iury Valente de Bessa; Lucas C. Cordeiro; Eddie Batista de Lima Filho (SBMF, 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. Júnior; Iury Valente de Bessa; Eddie B. L. Filho; Laurent Clavier (CoRR, 2017)

New Designs for Reduced-Redundancy Transceivers. - Mauro L. de Freitas; Wallace A. Martins; Eddie Batista de Lima Filho; Waldir Sabino da Silva Júnior (Circuits Syst. Signal Process., 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)

Program clock reference correction in transport stream processors with rate adaptation. - Heitor Judiss Savino; Eddie Batista de Lima Filho (Multim. Tools Appl., 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)

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)

RFID-based scheme for TV receiver control in case of theft. - Allan R. A. da Silva; Caio F. S. da Cruz; José Eduardo L. Fernandes; Jeferson B. da Costa; Xianpan Chen; Romulo Fabricio; Eddie Batista de Lima Filho (ICCE, 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 (ASE, 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)

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)

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 (ICCE-Berlin, 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 (ICCE-TW, 2019)

A Methodology for Intuitive and Low-Attention TV Remote Control on Smart Phones. - Guilherme Guimarães; José Fernandes; André Costa; Rômulo Fabrício; Manoel Júnior; Eddie Batista de Lima Filho (ICCE-TW, 2019)

Evaluation of Digital TV Receivers with Noncompliant MPEG-2 Transport Streams. - Fabrício Izumi; Bruno Farias 001; Eddie Batista de Lima Filho; Allan R. A. da Amorim; Orlewilson Bentes Maia; A. Silva (ICCE-TW, 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 (ICCE, 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 (ICCE, 2019)

A Methodology for Convergence Between Ginga and HbbTV. - Bruno Farias 001; Nicoli Araujo; Romulo Fabricio; Jeferson B. da Costa; Eddie Batista de Lima Filho (ICCE, 2019)

Verifying fragility in digital systems with uncertainties using DSVerifier v2.0. - Lennon C. Chaves; Hussama Ibrahim Ismail; Iury Valente de Bessa; Lucas C. Cordeiro; Eddie Batista de Lima Filho (J. Syst. Softw., 2019)

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 (ICCE-TW, 2020)

Extensions to Middleware Ginga for Integration with IoT Environments. - Bruno Farias 001; Eddie Batista de Lima Filho; Orlewilson Bentes Maia; Eduardo Souto (ICCE, 2020)

A Methodology for Upgrading Legacy Middleware Ginga Implementations to Profile Ginga-D. - Petrina Kimura; Bruno Farias 001; Jeferson B. da Costa; Rômulo Fabrício; Eddie Batista de Lima Filho (ICCE, 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 (ICCE, 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)

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)

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 001; Petrina Kimura; Rômulo Fabrício Júnior (ICCE, 2021)

A Methodology for Providing Encrypted-Content Decoding in DTV Play. - Jônatas Rech; Vinícius Freitas; Bruno Farias 001; Eddie Batista de Lima Filho; Jeferson B. da Costa; Ivo Machado; Xianpan Chen; Claudio Pinheiro; Daniel Xavier (ICCE, 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 (ICCE, 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)

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)

A Methodology for Emulating, Developing, and Testing the Middleware DTV Play in Personal Computers. - Bruno Farias 001; Ivo Machado; Eddie B. de Lima Filho; Claudio Pinheiro; Petrina Kimura; Leonardo Cordeiro; Daniel Xavier (ICCE, 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 (ICCE, 2022)

ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts. - Kunjian Song; Nedas Matulevicius; Eddie B. de Lima Filho; Lucas C. Cordeiro (ICSE-Companion, 2022)

Tool and benchmarks of "Formal Synthesis of Non-fragile State-Feedback Digital Controllers Considering Performance Requirements for Step Response". - Thiago Cavalcante; Iury Bessa; Lucas C. Cordeiro; Eddie B. de Lima Filho (Zenodo, 2022)

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 (ICCE-Taiwan, 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)

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 001; Aguinaldo Silva (Softw. Test. Verification Reliab., 2023)

Digital Twins for Energy Efficiency Management in Industry 4.0. - Rômulo Fabrício; Raji Sundararajan; Allan R. A. da Amorim; Orlewilson B. Maia; Eddie Batista de Lima Filho (ICCE-Taiwan, 2024)

Conducting Usability Testing on Consumer Electronics: A Real Experience. - José Eduardo L. Fernandes; Andre R. da Silva Conceição; Orlewilson B. Maia; Eddie B. de Lima Filho; Lorena L. B. de Paula; Mateus V. Said (ICCE-Taiwan, 2024)

A Service Architecture for TV Receivers Running Different Operating Systems. - Ivo Machado; Fabrício Izumi; Daniel Xavier; Eddie Batista de Lima Filho; Rômulo Fabrício; Samuel V. Costa (ICCE-Taiwan, 2024)

Modernizing Terrestrial Television Environments with Content Recommendation. - Sergillam Barroso Oliveira; Petrina Kimura; Haydê Machado; Tiago Souza; Eddie B. de Lima Filho (ICCE-Taiwan, 2024)

An Architecture to Emulate Television Receivers. - Bruno Farias 001; Ivo Machado; Claudio Pinheiro; Tiago Souza; Eddie Batista de Lima Filho; Rodrigo M. M. Cal; Washington Luiz; Marcos Oliveira; Mateus V. Said (ICCE, 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; Ícaro L. Da C. Lima (ICCE, 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 (ICCE, 2024)

Augmenting Digital TV Receivers with REST APIs. - Daniel Xavier; Fabrício Izumi Bandeira; Andre R. da Silva Conceição; Rômulo Fabrício; José Fernandes; Eddie B. de Lima Filho; Daniel Araújo; Raphael V. Nunes De Mello; Stephany C. Da Silva; Tarcizio Lima (ICCE, 2024)

ESBMC-Python: A Bounded Model Checker for Python Programs. - Bruno Farias 001; Rafael Menezes; Eddie B. de Lima Filho; Youcheng Sun; Lucas C. Cordeiro (ISSTA, 2024)

JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model Checking. - Zaiyu Cheng; Tong Wu; Peter Schrammel; Norbert Tihanyi; Eddie B. de Lima Filho; Lucas C. Cordeiro (ISSTA, 2024)

Trust, but Verify: Evaluating Developer Behavior in Mitigating Security Vulnerabilities in Open-Source Software Projects. - Janislley Oliveira de Sousa; Bruno Carvalho de Farias; Eddie Batista de Lima Filho; Lucas Carvalho Cordeiro (CoRR, 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., 2024)

Correcting Blocking Artifacts and Lost Slices with UNet and Optical Flow. - Lucas G. M. Castro; Myke D. M. Valadão; Andrey R. R. Bessa; Kristhian A. O. Aguilar; Giselle L. Marinho; Matheus S. Uchôa; Victor R. M. Cavalcante; Kristhian A. Silva; Eddie B. de Lima Filho; Orlewilson B. Maia; Rômulo Fabrício; Waldir S. S. Júnior; et al. (ICCE, 2025)

A Plugin-Based Testing Tool in an Adaptive Automated Testing Infrastructure for Consumer Electronics Devices. - Adrian L. Guedes; Andreza R. Queiroz; Enos F. T. Da Silva; Ícaro L. Da C. Lima; Kawê R. C. De Araújo; Thalita Da N. Gonçalves; Luis B. A. Fahning; Orlewilson B. Maia; Rômulo Fabrício; Eddie Batista de Lima Filho (ICCE, 2025)

Natural Language Processing Models for Named Entity Recognition in Digital TV Audio. - Edson Weslley Almeida do Nascimento; Petrina Kimura; Tiago Souza; Sergillam Barroso Oliveira; Haydê Machado; Lucas C. Cordeiro; Rômulo Fabrício; Eddie B. de Lima Filho (ICCE, 2025)

An Architecture for TV Receivers as Multimedia Gateways for Free-to-Air Content. - Marcos A. A. De Oliveira; Rodrigo M. M. Cal; Igor De A. Gouveia; Fabson G. Nepomuceno; Mateus V. Said; Aguinaldo Silva; Rômulo Fabrício; Eddie B. de Lima Filho (ICCE, 2025)

Automated Evaluation of Digital TV Middleware: Using Fuzzing and Pairwise for Test Generation. - Sergillam Barroso Oliveira; Eddie Batista de Lima Filho; Orlewilson B. Maia; Lucas C. Cordeiro (ICCE, 2025)

Optimizing User Experience: A Feedback-Based Performance Evaluation Methodology for Recommendation Systems. - Sergillam Barroso Oliveira; Tiago Souza; Petrina Kimura; Haydê Machado; Orlewilson Bentes Maia; Eddie B. de Lima Filho; Edson Weslley Almeida do Nascimento; Lucas C. Cordeiro (ICCE, 2025)

Enhanced User Experience in Digital TV: Recommending Content in Free-to-Air TV Contexts. - Sergillam Barroso Oliveira; Tiago Souza; Petrina Kimura; Haydê Machado; Orlewilson Bentes Maia; Eddie B. de Lima Filho; Edson Weslley Almeida do Nascimento; Leandro Negreiros; Rafaell Guimarães Santana; Lucas C. Cordeiro (ICCE, 2025)

An Architecture for Configuring HTML Applications That Run on Consumer Electronics Products. - Stephany C. Da Silva; Raphael V. Nunes De Mello; Daniel Da Silva Araújo; Mateus V. Said; Eddie Batista de Lima Filho (ICCE, 2025)

Low Memory Consumption Architecture for TV Platform Software Modules. - Ivo Machado de Souza; Fabrício Izumi Bandeira; Daniel Xavier; Eddie Batista de Lima Filho (ICCE, 2025)

Real-Time Detection of Free-to-Air Television Commercials in Audio Using Feature Extraction and Machine Learning. - Myke D. M. Valadão; Lucas G. M. Castro; Kristhian A. O. Aguilar; Giselle L. Marinho; Matheus S. Uchôa; Eddie B. de Lima Filho; Orlewilson B. Maia; Rômulo Fabrício; Waldir S. S. Júnior; Celso B. Carvalho (ICCE, 2025)