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
2020 – today
- 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)- [c41]Bruno Farias, Ivo Machado, Claudio Pinheiro, Tiago Souza, Eddie Batista de Lima Filho, Rodrigo Cal, Washington Luiz, Marcos Oliveira, Mateus 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 - [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
- [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) - [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 - [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) - 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 - [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
- 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) - [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 - [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
- [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) - [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 - [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)
2010 – 2019
- 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) - [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, Jose 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
- [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) - [c17]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:
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
- [j12]Mauro L. de Freitas, Wallace A. Martins, Eddie Batista de Lima Filho, Waldir Sabino da Silva Jr.:
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) - [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 - [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. Junior, 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) - 2016
- [j7]Renato B. Abreu, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Eddie Batista de Lima Filho, Waldir Sabino da Silva Jr.:
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) - [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 Sabino da Silva Jr., 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 Sabino da Silva Jr., 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 - [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) - 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 - 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) - 2012
- [c5]Wheidima C. Melo, Eddie B. L. Filho, Waldir S. S. Junior:
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
2000 – 2009
- 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) - 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. Junior, Murilo B. de Carvalho:
ECG compression using multiscale recurrent patterns with period normalization. ISCAS 2006 - 2005
- [j1]Eddie Batista de Lima Filho, Eduardo A. B. da Silva, Murilo B. de Carvalho, Waldir S. S. Junior, José Koiller:
Electrocardiographic signal compression using multiscale recurrent patterns. IEEE Trans. Circuits Syst. I Regul. Pap. 52-I(12): 2739-2753 (2005) - 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
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
Waldir Sabino da Silva Jr.
aka: Waldir S. S. Junior
aka: Waldir S. S. Junior
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 2024-10-10 22:13 CEST 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:
