default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEddie Batista de Lima Filho
Eddie B. L. Filho – Eddie B. de Lima Filho
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2024
[j19]João Batista Pereira Matos Jr., Eddie B. de Lima Filho
, Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro:
Counterexample Guided Neural Network Quantization Refinement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(4): 1121-1134 (2024)- 2023
- [j18]Fabrício Izumi, Eddie B. de Lima Filho, Lucas C. Cordeiro, Orlewilson B. Maia, Rômulo Fabrício, Bruno Farias, Aguinaldo Silva:
A fuzzing-based test-creation approach for evaluating digital TV receivers via transport streams. Softw. Test. Verification Reliab. 33(1) (2023) - 2021
- [j17]Omar M. Alhawi, Herbert Rocha, Mikhail R. Gadelha, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
Verification and refutation of C programs based on k-induction and invariant inference. Int. J. Softw. Tools Technol. Transf. 23(2): 115-135 (2021) - 2020
- [j16]Lucas C. Cordeiro, Eddie Batista de Lima Filho, Iury Valente de Bessa:
Survey on automated symbolic verification and its application for synthesising cyber-physical systems. IET Cyper-Phys. Syst.: Theory & Appl. 5(1): 1-24 (2020) - 2019
- [j15]Lennon C. Chaves, Hussama Ibrahim Ismail, Iury Valente de Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
Verifying fragility in digital systems with uncertainties using DSVerifier v2.0. J. Syst. Softw. 153: 22-43 (2019) - 2018
- [j14]Felipe R. Monteiro, Erickson H. da S. Alves, Isabela da Silva, Hussama Ismail, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
ESBMC-GPU A context-bounded model checking tool to verify CUDA programs. Sci. Comput. Program. 152: 63-69 (2018) - [j13]Lennon C. Chaves, Iury Bessa, Hussama Ismail, Adriano Bruno dos Santos Frutuoso, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles. IEEE Trans. Reliab. 67(4): 1420-1441 (2018) - 2017
- [j12]Mauro L. de Freitas, Wallace A. Martins, Eddie Batista de Lima Filho, Waldir Sabino da Silva Júnior:
New Designs for Reduced-Redundancy Transceivers. Circuits Syst. Signal Process. 36(5): 2075-2101 (2017) - [j11]Erickson H. da S. Alves, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
A method to localize faults in concurrent C programs. J. Syst. Softw. 132: 336-352 (2017) - [j10]Heitor Judiss Savino, Eddie Batista de Lima Filho:
Program clock reference correction in transport stream processors with rate adaptation. Multim. Tools Appl. 76(12): 14107-14128 (2017) - [j9]Felipe R. Monteiro, Francisco A. P. Januário, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
BMCLua: A Translator for Model Checking Lua Programs. ACM SIGSOFT Softw. Eng. Notes 42(3): 1-10 (2017) - [j8]Felipe R. Monteiro, Mário Garcia, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
Bounded model checking of C++ programs based on the Qt cross-platform framework. Softw. Test. Verification Reliab. 27(3) (2017) - 2016
- [j7]Renato B. Abreu, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Eddie Batista de Lima Filho, Waldir S. S. Júnior:
Bounded model checking for fixed-point digital filters. J. Braz. Comput. Soc. 22(1): 1:1-1:20 (2016) - [j6]Lucas C. Cordeiro, Eddie Batista de Lima Filho:
SMT-Based Context-Bounded Model Checking for Embedded Systems: Challenges and Future Trends. ACM SIGSOFT Softw. Eng. Notes 41(3): 1-6 (2016) - 2009
- [j5]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:
On ECG Signal Compression With 1-D Multiscale Recurrent Patterns Allied to Preprocessing Techniques. IEEE Trans. Biomed. Eng. 56(3): 896-900 (2009) - 2008
- [j4]Eddie B. L. Filho, Eduardo A. B. da Silva, Murilo B. de Carvalho:
On EMG Signal Compression With Recurrent Patterns. IEEE Trans. Biomed. Eng. 55(7): 1920-1923 (2008) - [j3]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:
ECG Signal Compression Based on Dc Equalization and Complexity Sorting. IEEE Trans. Biomed. Eng. 55(7): 1923-1926 (2008) - [j2]Eddie Batista de Lima Filho, Eduardo A. B. da Silva, Murilo B. de Carvalho, Frederico S. Pinagé:
Universal Image Compression Using Multiscale Recurrent Patterns With Adaptive Probability Model. IEEE Trans. Image Process. 17(4): 512-527 (2008) - 2005
- [j1]Eddie Batista de Lima Filho, Eduardo A. B. da Silva, Murilo B. de Carvalho, Waldir S. S. Júnior, José Koiller:
Electrocardiographic signal compression using multiscale recurrent patterns. IEEE Trans. Circuits Syst. I Regul. Pap. 52-I(12): 2739-2753 (2005)
Conference and Workshop Papers
- 2024
- [c45]Rômulo Fabrício, Raji Sundararajan, Allan R. A. da Amorim, Orlewilson B. Maia, Eddie Batista de Lima Filho:
Digital Twins for Energy Efficiency Management in Industry 4.0. ICCE-Taiwan 2024: 415-416 - [c44]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:
Conducting Usability Testing on Consumer Electronics: A Real Experience. ICCE-Taiwan 2024: 629-630 - [c43]Sergillam Barroso Oliveira, Petrina Kimura, Haydê Machado, Tiago Souza, Eddie B. de Lima Filho:
Modernizing Terrestrial Television Environments with Content Recommendation. ICCE-Taiwan 2024: 641-642 - [c42]Ivo Machado, Fabrício Izumi, Daniel Xavier, Eddie Batista de Lima Filho, Rômulo Fabrício, Samuel V. Costa:
A Service Architecture for TV Receivers Running Different Operating Systems. ICCE-Taiwan 2024: 657-658 - [c41]Bruno Farias, Ivo Machado, Claudio Pinheiro, Tiago Souza, Eddie Batista de Lima Filho, Rodrigo Cal, Washington Luiz, Marcos Oliveira, Mateus V. Said:
An Architecture to Emulate Television Receivers. ICCE 2024: 1-6 - [c40]Claudio Pinheiro, Petrina Kimura, Haydê Machado, Sergillam Barroso Oliveira, Alexandre Silva, Rômulo Fabrício, Eddie Batista de Lima Filho, Elyervesson Pereira, Icaro Lima:
Providing DTV Play's Services with a Multimedia Processing Stack Based on GStreamer. ICCE 2024: 1-5 - [c39]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:
An Automated Testing Methodology to Evaluate Multimedia Processing Stacks Running on Digital TV Receivers. ICCE 2024: 1-6 - [c38]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:
Augmenting Digital TV Receivers with REST APIs. ICCE 2024: 1-6 - [c37]Zaiyu Cheng, Tong Wu, Peter Schrammel, Norbert Tihanyi, Eddie B. de Lima Filho, Lucas C. Cordeiro:
JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model Checking. ISSTA 2024: 1831-1835 - [c36]Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun, Lucas C. Cordeiro:
ESBMC-Python: A Bounded Model Checker for Python Programs. ISSTA 2024: 1836-1840 - 2023
- [c35]Sergillam Barroso Oliveira, Andre R. da Silva Conceição, Eddie Batista de Lima Filho, Lucas C. Cordeiro:
Evaluation of Ginga's CC-Web-Service Module. ICCE-Taiwan 2023: 697-698 - 2022
- [c34]Bruno Farias, Ivo Machado, Eddie B. de Lima Filho, Claudio Pinheiro, Petrina Kimura, Leonardo Cordeiro, Daniel Xavier:
A Methodology for Emulating, Developing, and Testing the Middleware DTV Play in Personal Computers. ICCE 2022: 1-6 - [c33]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:
A Real-Time Analyzer for Testing DTV Play. ICCE 2022: 1-5 - [c32]Kunjian Song, Nedas Matulevicius, Eddie B. de Lima Filho, Lucas C. Cordeiro:
ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts. ICSE-Companion 2022: 65-69 - 2021
- [c31]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:
A Methodology for Automatic Evaluation of DTV Signals. ICCE 2021: 1-6 - [c30]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:
A Methodology for Providing Encrypted-Content Decoding in DTV Play. ICCE 2021: 1-6 - [c29]Manoel J. de Souza, Orlewilson B. Maia, Samantha C. Leite, Eddie B. de Lima Filho, Fabrício Izumi, Robson R. Andrade, Paulo Corrêa:
A Framework for Automatic Field Evaluation of DTV Receivers. ICCE 2021: 1-5 - 2020
- [c28]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:
Automated Video Monitor Screen Extraction using Semantic Segmentation and CNN. ICCE-TW 2020: 1-2 - [c27]Bruno Farias, Eddie Batista de Lima Filho, Orlewilson Bentes Maia, Eduardo Souto:
Extensions to Middleware Ginga for Integration with IoT Environments. ICCE 2020: 1-5 - [c26]Petrina Kimura, Bruno Farias, Jeferson B. da Costa, Rômulo Fabrício, Eddie Batista de Lima Filho:
A Methodology for Upgrading Legacy Middleware Ginga Implementations to Profile Ginga-D. ICCE 2020: 1-5 - [c25]Aguinaldo Silva, Allan R. A. da Amorim, Rômulo Fabrício, Lucas Campiolo, Eddie Batista de Lima Filho:
A Methodology for Self-diagnosis and Behavior Correction in Digital Television Receivers: Initial Concept. ICCE 2020: 1-5 - 2019
- [c24]Manoel José S. Júnior, Orlewilson B. Maia, Eddie B. L. Filho, Rômulo Fabrício, Aguinaldo Silva:
An Automated Testing Methodology For Digital TV Middleware Implementations. ICCE-Berlin 2019: 400-403 - [c23]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:
An Architecture for Test Execution in Video Monitor and Digital TV Receiver Production Lines. ICCE-TW 2019: 1-2 - [c22]Guilherme Guimarães, José Fernandes, André Costa, Rômulo Fabrício, Manoel Júnior, Eddie Batista de Lima Filho:
A Methodology for Intuitive and Low-Attention TV Remote Control on Smart Phones. ICCE-TW 2019: 1-2 - [c21]Fabrício Izumi, Bruno Farias, Eddie Batista de Lima Filho, Allan R. A. da Amorim, O. Bentes Maia, A. Silva:
Evaluation of Digital TV Receivers with Noncompliant MPEG-2 Transport Streams. ICCE-TW 2019: 1-2 - [c20]Allan R. A. da Amorim, Agemilson Pimentel, Petrina Kimura, Xianpan Chen, Eddie Batista de Lima Filho:
An Architecture for Multimedia Transmission Through Infrared Light Communications in Consumer Electronics Environments: First Results. ICCE 2019: 1-4 - [c19]Jeferson B. da Costa, Nicoli Araujo, Aguinaldo Silva, Romulo Fabricio, Eddie Batista de Lima Filho:
An Architecture for Content Multiplexing and Enhanced Connectivity in Digital TV Receivers. ICCE 2019: 1-4 - [c18]Bruno Farias, Nicoli Araujo, Romulo Fabricio, Jeferson B. da Costa, Eddie Batista de Lima Filho:
A Methodology for Convergence Between Ginga and HbbTV. ICCE 2019: 1-4 - 2018
- [c17]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:
RFID-based scheme for TV receiver control in case of theft. ICCE 2018: 1-6 - [c16]Felipe R. Monteiro, Mário A. P. Garcia, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
Bounded model checking of C++ programs based on the Qt cross-platform framework (journal-first abstract). ASE 2018: 954 - 2017
- [c15]Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho:
Verifying digital systems with MATLAB. ISSTA 2017: 388-391 - [c14]Higo F. Albuquerque, Rodrigo F. Araujo, Iury Valente de Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
OptCE: A Counterexample-Guided Inductive Optimization Solver. SBMF 2017: 125-141 - 2016
- [c13]Mário Garcia, Felipe R. Monteiro, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications. SPIN 2016: 97-103 - 2015
- [c12]Felipe de S. Farias, Waldir S. S. Júnior, Eddie Batista de Lima Filho, Wheidima C. Melo:
Automated content detection on TVs and computer monitors. GCCE 2015: 177-178 - [c11]Felipe Rodrigues Monteiro Sousa, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
Bounded model checking of C++ programs based on the Qt framework. GCCE 2015: 179-180 - [c10]Wheidima Carneiro de Melo, Eddie Batista de Lima Filho, Waldir Sabino da Silva Jr.:
Electromyographic signal compression based on two-dimensional techniques. GCCE 2015: 515-516 - [c9]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:
Discriminative filtering with principal component analysis and adaptive alignment. GCCE 2015: 521-522 - [c8]Erickson H. da S. Alves, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
Fault Localization in Multi-threaded C Programs Using Bounded Model Checking. SBESC 2015: 96-101 - [c7]Hussama Ismail, Iury Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho, Joao Edgar Chaves Filho:
DSVerifier: A Bounded Model Checking Tool for Digital Systems. SPIN 2015: 126-131 - 2014
- [c6]Francisco A. P. Januário, Lucas C. Cordeiro, Vicente Ferreira de Lucena Jr., Eddie Batista de Lima Filho:
BMCLua: Verification of Lua programs in digital TV interactive applications. GCCE 2014: 707-708 - 2012
- [c5]Wheidima C. Melo, Eddie B. L. Filho, Waldir S. S. Júnior:
Electromyographic signal compression based on preprocessing techniques. EMBC 2012: 5404-5407 - [c4]Heitor Judiss Savino, Eddie B. L. Filho:
PCR jitter control based on a semaphore-controlled counter. SoftCOM 2012: 1-5 - 2007
- [c3]Claude Desset, Eddie Batista de Lima Filho, Gregory Lenoir:
WiMAX Downlink OFDMA Burst Placement for Optimized Receiver Duty-Cycling. ICC 2007: 5149-5154 - 2006
- [c2]Eddie B. L. Filho, Eduardo A. B. da Silva, Waldir S. S. Júnior, Murilo B. de Carvalho:
ECG compression using multiscale recurrent patterns with period normalization. ISCAS 2006 - 2004
- [c1]Eddie B. L. Filho, Murilo B. de Carvalho, Eduardo A. B. da Silva:
Multidimensional signal compression using multi-scale recurrent patterns with smooth side-match criterion. ICIP 2004: 3201-3204
Data and Artifacts
- 2022
- [d1]Thiago Cavalcante, Iury Bessa, Lucas C. Cordeiro, Eddie B. de Lima Filho:
Tool and benchmarks of "Formal Synthesis of Non-fragile State-Feedback Digital Controllers Considering Performance Requirements for Step Response". Zenodo, 2022
Informal and Other Publications
- 2024
- [i11]Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun, Lucas C. Cordeiro:
ESBMC-Python: A Bounded Model Checker for Python Programs. CoRR abs/2407.03472 (2024) - [i10]Janislley Oliveira de Sousa, Bruno Carvalho de Farias, Eddie Batista de Lima Filho, Lucas Carvalho Cordeiro:
Trust, but Verify: Evaluating Developer Behavior in Mitigating Security Vulnerabilities in Open-Source Software Projects. CoRR abs/2408.14273 (2024) - 2023
- [i9]Janislley Oliveira de Sousa, Bruno Carvalho de Farias, Thales Araujo da Silva, Eddie Batista de Lima Filho, Lucas C. Cordeiro:
Finding Software Vulnerabilities in Open-Source C Projects via Bounded Model Checking. CoRR abs/2311.05281 (2023) - 2021
- [i8]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:
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking. CoRR abs/2111.13110 (2021) - [i7]Kunjian Song, Nedas Matulevicius, Eddie B. de Lima Filho, Lucas C. Cordeiro:
ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts. CoRR abs/2111.13117 (2021) - 2020
- [i6]Luiz H. Sena, Erickson H. da S. Alves, Iury Bessa, Eddie B. L. Filho, Lucas C. Cordeiro:
Incremental Verification of Fixed-Point Implementations of Neural Networks. CoRR abs/2012.11220 (2020) - 2017
- [i5]Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho:
Verifying Digital Systems with MATLAB. CoRR abs/1702.05591 (2017) - [i4]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:
Verification of Magnitude and Phase Responses in Fixed-Point Digital Filters. CoRR abs/1706.05088 (2017) - 2015
- [i3]Felipe Rodrigues Monteiro Sousa, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
Bounded Model Checking of C++ Programs Based on the Qt Framework (extended version). CoRR abs/1509.01682 (2015) - [i2]Erickson H. da S. Alves, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
Fault Localization in Multi-Threaded C Programs using Bounded Model Checking (extended version). CoRR abs/1509.02490 (2015) - 2013
- [i1]Renato B. Abreu, Lucas C. Cordeiro, Eddie B. L. Filho:
Verifying Fixed-Point Digital Filters using SMT-Based Bounded Model Checking. CoRR abs/1305.2892 (2013)
Coauthor Index
Iury Bessa
aka: Iury Valente de Bessa
aka: Iury Valente de Bessa
Lucas C. Cordeiro
aka: Lucas Carvalho Cordeiro
aka: Lucas Carvalho Cordeiro
Bruno Farias 0001
aka: Bruno Carvalho de Farias
aka: Bruno Carvalho de Farias
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-02-08 00:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
