Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Eddie Batista de Lima Filho
@article{DBLP:journals/tcad/MatosFBMSC24,
author = {Jo{\~{a}}o Batista Pereira Matos Jr. and
Eddie B. de Lima Filho and
Iury Bessa and
Edoardo Manino and
Xidan Song and
Lucas C. Cordeiro},
title = {Counterexample Guided Neural Network Quantization Refinement},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {43},
number = {4},
pages = {1121--1134},
year = {2024},
url = {https://doi.org/10.1109/TCAD.2023.3335313},
doi = {10.1109/TCAD.2023.3335313},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/MatosFBMSC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccel/FariasMPSFCLOS24,
author = {Bruno Farias and
Ivo Machado and
Claudio Pinheiro and
Tiago Souza and
Eddie Batista de Lima Filho and
Rodrigo Cal and
Washington Luiz and
Marcos Oliveira and
Mateus Said},
title = {An Architecture to Emulate Television Receivers},
booktitle = {{IEEE} International Conference on Consumer Electronics, {ICCE} 2024,
Las Vegas, NV, USA, January 6-8, 2024},
pages = {1--6},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/ICCE59016.2024.10444406},
doi = {10.1109/ICCE59016.2024.10444406},
timestamp = {Fri, 08 Mar 2024 08:28:36 +0100},
biburl = {https://dblp.org/rec/conf/iccel/FariasMPSFCLOS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccel/PinheiroKMOSFFPL24,
author = {Claudio Pinheiro and
Petrina Kimura and
Hayd{\^{e}} Machado and
Sergillam Barroso Oliveira and
Alexandre Silva and
R{\^{o}}mulo Fabr{\'{\i}}cio and
Eddie Batista de Lima Filho and
Elyervesson Pereira and
Icaro Lima},
title = {Providing {DTV} Play's Services with a Multimedia Processing Stack
Based on GStreamer},
booktitle = {{IEEE} International Conference on Consumer Electronics, {ICCE} 2024,
Las Vegas, NV, USA, January 6-8, 2024},
pages = {1--5},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/ICCE59016.2024.10444389},
doi = {10.1109/ICCE59016.2024.10444389},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccel/PinheiroKMOSFFPL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccel/SilvaAMFRSGQA24,
author = {Andrya K. O. Da Silva and
Luzia C. Amorim and
Orlewilson B. Maia and
Eddie Batista de Lima Filho and
T{\'{a}}ssia C. Da Rocha and
Gabriel C. Dos Santos and
Adrian L. Guedes and
Andreza R. Queiroz and
Kaw{\^{e}} R. C. De Ara{\'{u}}jo},
title = {An Automated Testing Methodology to Evaluate Multimedia Processing
Stacks Running on Digital {TV} Receivers},
booktitle = {{IEEE} International Conference on Consumer Electronics, {ICCE} 2024,
Las Vegas, NV, USA, January 6-8, 2024},
pages = {1--6},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/ICCE59016.2024.10444452},
doi = {10.1109/ICCE59016.2024.10444452},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccel/SilvaAMFRSGQA24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccel/XavierBCFFFAMSL24,
author = {Daniel Xavier and
Fabricio Bandeira and
Andre R. da Silva Concei{\c{c}}{\~{a}}o and
R{\^{o}}mulo Fabr{\'{\i}}cio and
Jos{\'{e}} Fernandes and
Eddie B. de Lima Filho and
Daniel Ara{\'{u}}jo and
Raphael Mello and
Stephany Silva and
Tarcizio Lima},
title = {Augmenting Digital {TV} Receivers with {REST} APIs},
booktitle = {{IEEE} International Conference on Consumer Electronics, {ICCE} 2024,
Las Vegas, NV, USA, January 6-8, 2024},
pages = {1--6},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/ICCE59016.2024.10444334},
doi = {10.1109/ICCE59016.2024.10444334},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccel/XavierBCFFFAMSL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/IzumiFCMFFS23,
author = {Fabr{\'{\i}}cio Izumi and
Eddie B. de Lima Filho and
Lucas C. Cordeiro and
Orlewilson B. Maia and
R{\^{o}}mulo Fabr{\'{\i}}cio and
Bruno Farias and
Aguinaldo Silva},
title = {A fuzzing-based test-creation approach for evaluating digital {TV}
receivers via transport streams},
journal = {Softw. Test. Verification Reliab.},
volume = {33},
number = {1},
year = {2023},
url = {https://doi.org/10.1002/stvr.1833},
doi = {10.1002/STVR.1833},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/IzumiFCMFFS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icce-tw/OliveiraCFC23,
author = {Sergillam Barroso Oliveira and
Andre R. da Silva Concei{\c{c}}{\~{a}}o and
Eddie Batista de Lima Filho and
Lucas C. Cordeiro},
title = {Evaluation of Ginga's CC-Web-Service Module},
booktitle = {International Conference on Consumer Electronics - Taiwan, ICCE-Taiwan
2023, PingTung, Taiwan, July 17-19, 2023},
pages = {697--698},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICCE-Taiwan58799.2023.10226701},
doi = {10.1109/ICCE-TAIWAN58799.2023.10226701},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icce-tw/OliveiraCFC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-05281,
author = {Janislley Oliveira de Sousa and
Bruno Carvalho de Farias and
Thales Araujo da Silva and
Eddie Batista de Lima Filho and
Lucas C. Cordeiro},
title = {Finding Software Vulnerabilities in Open-Source {C} Projects via Bounded
Model Checking},
journal = {CoRR},
volume = {abs/2311.05281},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.05281},
doi = {10.48550/ARXIV.2311.05281},
eprinttype = {arXiv},
eprint = {2311.05281},
timestamp = {Tue, 14 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-05281.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccel/FariasMFPKCX22,
author = {Bruno Farias and
Ivo Machado and
Eddie B. de Lima Filho and
Claudio Pinheiro and
Petrina Kimura and
Leonardo Cordeiro and
Daniel Xavier},
title = {A Methodology for Emulating, Developing, and Testing the Middleware
{DTV} Play in Personal Computers},
booktitle = {{IEEE} International Conference on Consumer Electronics, {ICCE} 2022,
Las Vegas, NV, USA, January 7-9, 2022},
pages = {1--6},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICCE53296.2022.9730491},
doi = {10.1109/ICCE53296.2022.9730491},
timestamp = {Wed, 23 Mar 2022 17:30:12 +0100},
biburl = {https://dblp.org/rec/conf/iccel/FariasMFPKCX22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccel/MaiaCJIFC22,
author = {Orlewilson B. Maia and
Andre R. da Silva Concei{\c{c}}{\~{a}}o and
Manoel J. de Souza J{\'{u}}nior and
Fabr{\'{\i}}cio Izumi and
Eddie B. de Lima Filho and
Paulo Corr{\^{e}}a},
title = {A Real-Time Analyzer for Testing {DTV} Play},
booktitle = {{IEEE} International Conference on Consumer Electronics, {ICCE} 2022,
Las Vegas, NV, USA, January 7-9, 2022},
pages = {1--5},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICCE53296.2022.9730583},
doi = {10.1109/ICCE53296.2022.9730583},
timestamp = {Wed, 23 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccel/MaiaCJIFC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SongMFC22,
author = {Kunjian Song and
Nedas Matulevicius and
Eddie B. de Lima Filho and
Lucas C. Cordeiro},
title = {ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts},
booktitle = {44th {IEEE/ACM} International Conference on Software Engineering:
Companion Proceedings, {ICSE} Companion 2022, Pittsburgh, PA, USA,
May 22-24, 2022},
pages = {65--69},
publisher = {{ACM/IEEE}},
year = {2022},
url = {https://doi.org/10.1145/3510454.3516855},
doi = {10.1145/3510454.3516855},
timestamp = {Thu, 27 Oct 2022 16:07:05 +0200},
biburl = {https://dblp.org/rec/conf/icse/SongMFC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AlhawiRGCF21,
author = {Omar M. Alhawi and
Herbert Rocha and
Mikhail R. Gadelha and
Lucas C. Cordeiro and
Eddie Batista de Lima Filho},
title = {Verification and refutation of {C} programs based on k-induction and
invariant inference},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {23},
number = {2},
pages = {115--135},
year = {2021},
url = {https://doi.org/10.1007/s10009-020-00564-1},
doi = {10.1007/S10009-020-00564-1},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/AlhawiRGCF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccel/IzumiAFBFKJ21,
author = {Fabr{\'{\i}}cio Izumi and
Robson R. Andrade and
Eddie Batista de Lima Filho and
Ruan J. S. Bel{\'{e}}m and
Bruno Farias and
Petrina Kimura and
R{\^{o}}mulo Fabr{\'{\i}}cio J{\'{u}}nior},
title = {A Methodology for Automatic Evaluation of {DTV} Signals},
booktitle = {{IEEE} International Conference on Consumer Electronics, {ICCE} 2021,
Las Vegas, NV, USA, January 10-12, 2021},
pages = {1--6},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICCE50685.2021.9427745},
doi = {10.1109/ICCE50685.2021.9427745},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccel/IzumiAFBFKJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccel/RechFFFCMCPX21,
author = {J{\^{o}}natas Rech and
Vin{\'{\i}}cius Freitas and
Bruno Farias and
Eddie Batista de Lima Filho and
Jeferson B. da Costa and
Ivo Machado and
Xianpan Chen and
Claudio Pinheiro and
Daniel Xavier},
title = {A Methodology for Providing Encrypted-Content Decoding in {DTV} Play},
booktitle = {{IEEE} International Conference on Consumer Electronics, {ICCE} 2021,
Las Vegas, NV, USA, January 10-12, 2021},
pages = {1--6},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICCE50685.2021.9427703},
doi = {10.1109/ICCE50685.2021.9427703},
timestamp = {Mon, 17 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccel/RechFFFCMCPX21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccel/SouzaMLFIAC21,
author = {Manoel J. de Souza and
Orlewilson B. Maia and
Samantha C. Leite and
Eddie B. de Lima Filho and
Fabr{\'{\i}}cio Izumi and
Robson R. Andrade and
Paulo Corr{\^{e}}a},
title = {A Framework for Automatic Field Evaluation of {DTV} Receivers},
booktitle = {{IEEE} International Conference on Consumer Electronics, {ICCE} 2021,
Las Vegas, NV, USA, January 10-12, 2021},
pages = {1--5},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICCE50685.2021.9427643},
doi = {10.1109/ICCE50685.2021.9427643},
timestamp = {Mon, 17 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccel/SouzaMLFIAC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-13110,
author = {Xidan Song and
Edoardo Manino and
Luiz H. Sena and
Erickson H. da S. Alves and
Eddie Batista de Lima Filho and
Iury Bessa and
Mikel Luj{\'{a}}n and
Lucas C. Cordeiro},
title = {QNNVerifier: {A} Tool for Verifying Neural Networks using SMT-Based
Model Checking},
journal = {CoRR},
volume = {abs/2111.13110},
year = {2021},
url = {https://arxiv.org/abs/2111.13110},
eprinttype = {arXiv},
eprint = {2111.13110},
timestamp = {Thu, 19 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-13110.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-13117,
author = {Kunjian Song and
Nedas Matulevicius and
Eddie B. de Lima Filho and
Lucas C. Cordeiro},
title = {ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts},
journal = {CoRR},
volume = {abs/2111.13117},
year = {2021},
url = {https://arxiv.org/abs/2111.13117},
eprinttype = {arXiv},
eprint = {2111.13117},
timestamp = {Wed, 01 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-13117.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iet-cps/CordeiroFB20,
author = {Lucas C. Cordeiro and
Eddie Batista de Lima Filho and
Iury Valente de Bessa},
title = {Survey on automated symbolic verification and its application for
synthesising cyber-physical systems},
journal = {{IET} Cyper-Phys. Syst.: Theory {\&} Appl.},
volume = {5},
number = {1},
pages = {1--24},
year = {2020},
url = {https://doi.org/10.1049/iet-cps.2018.5006},
doi = {10.1049/IET-CPS.2018.5006},
timestamp = {Tue, 26 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iet-cps/CordeiroFB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icce-tw/BelemCPFCJCSJP20,
author = {Ruan J. S. Bel{\'{e}}m and
Caio F. S. Cruz and
Agemilson Pimentel and
Eddie Batista de Lima Filho and
Lucas Coimbra and
Anderson S. Jesus and
Andr{\'{e}} S. Costa and
Osmar A. da Silva and
Wilson C. C. Junior and
Ricardo G. Paula},
title = {Automated Video Monitor Screen Extraction using Semantic Segmentation
and {CNN}},
booktitle = {{IEEE} International Conference on Consumer Electronics - Taiwan,
{ICCE-TW} 2020, Taoyuan, Taiwan, September 28-30, 2020},
pages = {1--2},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICCE-Taiwan49838.2020.9258201},
doi = {10.1109/ICCE-TAIWAN49838.2020.9258201},
timestamp = {Thu, 28 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icce-tw/BelemCPFCJCSJP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccel/FariasFMS20,
author = {Bruno Farias and
Eddie Batista de Lima Filho and
Orlewilson Bentes Maia and
Eduardo Souto},
title = {Extensions to Middleware Ginga for Integration with IoT Environments},
booktitle = {2020 {IEEE} International Conference on Consumer Electronics (ICCE),
Las Vegas, NV, USA, January 4-6, 2020},
pages = {1--5},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICCE46568.2020.9043145},
doi = {10.1109/ICCE46568.2020.9043145},
timestamp = {Thu, 11 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccel/FariasFMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccel/KimuraFCFF20,
author = {Petrina Kimura and
Bruno Farias and
Jeferson B. da Costa and
R{\^{o}}mulo Fabr{\'{\i}}cio and
Eddie Batista de Lima Filho},
title = {A Methodology for Upgrading Legacy Middleware Ginga Implementations
to Profile Ginga-D},
booktitle = {2020 {IEEE} International Conference on Consumer Electronics (ICCE),
Las Vegas, NV, USA, January 4-6, 2020},
pages = {1--5},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICCE46568.2020.9043067},
doi = {10.1109/ICCE46568.2020.9043067},
timestamp = {Mon, 30 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccel/KimuraFCFF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccel/SilvaAFCF20,
author = {Aguinaldo Silva and
Allan R. A. da Amorim and
R{\^{o}}mulo Fabr{\'{\i}}cio and
Lucas Campiolo and
Eddie Batista de Lima Filho},
title = {A Methodology for Self-diagnosis and Behavior Correction in Digital
Television Receivers: Initial Concept},
booktitle = {2020 {IEEE} International Conference on Consumer Electronics (ICCE),
Las Vegas, NV, USA, January 4-6, 2020},
pages = {1--5},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICCE46568.2020.9043037},
doi = {10.1109/ICCE46568.2020.9043037},
timestamp = {Mon, 30 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccel/SilvaAFCF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-11220,
author = {Luiz H. Sena and
Erickson H. da S. Alves and
Iury Bessa and
Eddie B. L. Filho and
Lucas C. Cordeiro},
title = {Incremental Verification of Fixed-Point Implementations of Neural
Networks},
journal = {CoRR},
volume = {abs/2012.11220},
year = {2020},
url = {https://arxiv.org/abs/2012.11220},
eprinttype = {arXiv},
eprint = {2012.11220},
timestamp = {Thu, 07 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-11220.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/ChavesIBCF19,
author = {Lennon C. Chaves and
Hussama Ibrahim Ismail and
Iury Valente de Bessa and
Lucas C. Cordeiro and
Eddie Batista de Lima Filho},
title = {Verifying fragility in digital systems with uncertainties using DSVerifier
\emph{v}2.0},
journal = {J. Syst. Softw.},
volume = {153},
pages = {22--43},
year = {2019},
url = {https://doi.org/10.1016/j.jss.2019.03.015},
doi = {10.1016/J.JSS.2019.03.015},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/ChavesIBCF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icce-berlin/JuniorMFFS19,
author = {Manoel Jos{\'{e}} S. J{\'{u}}nior and
Orlewilson B. Maia and
Eddie B. L. Filho and
R{\^{o}}mulo Fabr{\'{\i}}cio and
Aguinaldo Silva},
title = {An Automated Testing Methodology For Digital {TV} Middleware Implementations},
booktitle = {9th {IEEE} International Conference on Consumer Electronics, ICCE-Berlin
2019, Berlin, Germany, September 8-11, 2019},
pages = {400--403},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICCE-Berlin47944.2019.8966216},
doi = {10.1109/ICCE-BERLIN47944.2019.8966216},
timestamp = {Tue, 04 Feb 2020 16:55:06 +0100},
biburl = {https://dblp.org/rec/conf/icce-berlin/JuniorMFFS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icce-tw/BelemCKAFSC19,
author = {Ruan J. S. Bel{\'{e}}m and
Caio F. S. Cruz and
Petrina Kimura and
Allan R. A. da Amorim and
Eddie Batista de Lima Filho and
Osmar A. da Silva and
Lucas Coimbra},
title = {An Architecture for Test Execution in Video Monitor and Digital {TV}
Receiver Production Lines},
booktitle = {{IEEE} International Conference on Consumer Electronics - Taiwan,
{ICCE-TW} 2019, Yilan, Taiwan, May 20-22, 2019},
pages = {1--2},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICCE-TW46550.2019.8991991},
doi = {10.1109/ICCE-TW46550.2019.8991991},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icce-tw/BelemCKAFSC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icce-tw/GuimaraesFCFJF19,
author = {Guilherme Guimar{\~{a}}es and
Jose Fernandes and
Andr{\'{e}} Costa and
R{\^{o}}mulo Fabr{\'{\i}}cio and
Manoel J{\'{u}}nior and
Eddie Batista de Lima Filho},
title = {A Methodology for Intuitive and Low-Attention {TV} Remote Control
on Smart Phones},
booktitle = {{IEEE} International Conference on Consumer Electronics - Taiwan,
{ICCE-TW} 2019, Yilan, Taiwan, May 20-22, 2019},
pages = {1--2},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICCE-TW46550.2019.8991990},
doi = {10.1109/ICCE-TW46550.2019.8991990},
timestamp = {Tue, 21 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icce-tw/GuimaraesFCFJF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icce-tw/IzumiFFAMS19,
author = {Fabr{\'{\i}}cio Izumi and
B. Farias and
Eddie Batista de Lima Filho and
Allan R. A. da Amorim and
O. Bentes Maia and
A. Silva},
title = {Evaluation of Digital {TV} Receivers with Noncompliant {MPEG-2} Transport
Streams},
booktitle = {{IEEE} International Conference on Consumer Electronics - Taiwan,
{ICCE-TW} 2019, Yilan, Taiwan, May 20-22, 2019},
pages = {1--2},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICCE-TW46550.2019.8991693},
doi = {10.1109/ICCE-TW46550.2019.8991693},
timestamp = {Thu, 25 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icce-tw/IzumiFFAMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccel/AmorimPKCF19,
author = {Allan R. A. da Amorim and
Agemilson Pimentel and
Petrina Kimura and
Xianpan Chen and
Eddie Batista de Lima Filho},
title = {An Architecture for Multimedia Transmission Through Infrared Light
Communications in Consumer Electronics Environments: First Results},
booktitle = {{IEEE} International Conference on Consumer Electronics, {ICCE} 2019,
Las Vegas, NV, USA, January 11-13, 2019},
pages = {1--4},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICCE.2019.8662035},
doi = {10.1109/ICCE.2019.8662035},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/iccel/AmorimPKCF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccel/CostaASFF19,
author = {Jeferson B. da Costa and
Nicoli Araujo and
Aguinaldo Silva and
Romulo Fabricio and
Eddie Batista de Lima Filho},
title = {An Architecture for Content Multiplexing and Enhanced Connectivity
in Digital {TV} Receivers},
booktitle = {{IEEE} International Conference on Consumer Electronics, {ICCE} 2019,
Las Vegas, NV, USA, January 11-13, 2019},
pages = {1--4},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICCE.2019.8661946},
doi = {10.1109/ICCE.2019.8661946},
timestamp = {Fri, 29 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccel/CostaASFF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccel/FariasAFCF19,
author = {Bruno Farias and
Nicoli Araujo and
Romulo Fabricio and
Jeferson B. da Costa and
Eddie Batista de Lima Filho},
title = {A Methodology for Convergence Between Ginga and HbbTV},
booktitle = {{IEEE} International Conference on Consumer Electronics, {ICCE} 2019,
Las Vegas, NV, USA, January 11-13, 2019},
pages = {1--4},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICCE.2019.8662049},
doi = {10.1109/ICCE.2019.8662049},
timestamp = {Fri, 29 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccel/FariasAFCF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MonteiroASICF18,
author = {Felipe R. Monteiro and
Erickson H. da S. Alves and
Isabela da Silva and
Hussama Ismail and
Lucas C. Cordeiro and
Eddie Batista de Lima Filho},
title = {{ESBMC-GPU} {A} context-bounded model checking tool to verify {CUDA}
programs},
journal = {Sci. Comput. Program.},
volume = {152},
pages = {63--69},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2017.09.005},
doi = {10.1016/J.SCICO.2017.09.005},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MonteiroASICF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/ChavesBIFCF18,
author = {Lennon C. Chaves and
Iury Bessa and
Hussama Ismail and
Adriano Bruno dos Santos Frutuoso and
Lucas C. Cordeiro and
Eddie Batista de Lima Filho},
title = {DSVerifier-Aided Verification Applied to Attitude Control Software
in Unmanned Aerial Vehicles},
journal = {{IEEE} Trans. Reliab.},
volume = {67},
number = {4},
pages = {1420--1441},
year = {2018},
url = {https://doi.org/10.1109/TR.2018.2873260},
doi = {10.1109/TR.2018.2873260},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tr/ChavesBIFCF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccel/SilvaCFCCFF18,
author = {Allan R. A. da Silva and
Caio F. S. da Cruz and
Jose Eduardo L. Fernandes and
Jeferson B. da Costa and
Xianpan Chen and
Romulo Fabricio and
Eddie Batista de Lima Filho},
title = {RFID-based scheme for {TV} receiver control in case of theft},
booktitle = {{IEEE} International Conference on Consumer Electronics, {ICCE} 2018,
Las Vegas, NV, USA, January 12-14, 2018},
pages = {1--6},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ICCE.2018.8326100},
doi = {10.1109/ICCE.2018.8326100},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/iccel/SilvaCFCCFF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MonteiroGCF18,
author = {Felipe R. Monteiro and
M{\'{a}}rio A. P. Garcia and
Lucas C. Cordeiro and
Eddie Batista de Lima Filho},
editor = {Marianne Huchard and
Christian K{\"{a}}stner and
Gordon Fraser},
title = {Bounded model checking of {C++} programs based on the Qt cross-platform
framework (journal-first abstract)},
booktitle = {Proceedings of the 33rd {ACM/IEEE} International Conference on Automated
Software Engineering, {ASE} 2018, Montpellier, France, September 3-7,
2018},
pages = {954},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3238147.3241981},
doi = {10.1145/3238147.3241981},
timestamp = {Thu, 23 Jun 2022 19:54:17 +0200},
biburl = {https://dblp.org/rec/conf/kbse/MonteiroGCF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cssp/FreitasMFJ17,
author = {Mauro L. de Freitas and
Wallace A. Martins and
Eddie Batista de Lima Filho and
Waldir Sabino da Silva Jr.},
title = {New Designs for Reduced-Redundancy Transceivers},
journal = {Circuits Syst. Signal Process.},
volume = {36},
number = {5},
pages = {2075--2101},
year = {2017},
url = {https://doi.org/10.1007/s00034-016-0400-x},
doi = {10.1007/S00034-016-0400-X},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cssp/FreitasMFJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/AlvesCF17,
author = {Erickson H. da S. Alves and
Lucas C. Cordeiro and
Eddie Batista de Lima Filho},
title = {A method to localize faults in concurrent {C} programs},
journal = {J. Syst. Softw.},
volume = {132},
pages = {336--352},
year = {2017},
url = {https://doi.org/10.1016/j.jss.2017.03.010},
doi = {10.1016/J.JSS.2017.03.010},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/AlvesCF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mta/SavinoF17,
author = {Heitor Judiss Savino and
Eddie Batista de Lima Filho},
title = {Program clock reference correction in transport stream processors
with rate adaptation},
journal = {Multim. Tools Appl.},
volume = {76},
number = {12},
pages = {14107--14128},
year = {2017},
url = {https://doi.org/10.1007/s11042-016-3814-3},
doi = {10.1007/S11042-016-3814-3},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mta/SavinoF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/MonteiroJCF17,
author = {Felipe R. Monteiro and
Francisco A. P. Janu{\'{a}}rio and
Lucas C. Cordeiro and
Eddie Batista de Lima Filho},
title = {BMCLua: {A} Translator for Model Checking Lua Programs},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {42},
number = {3},
pages = {1--10},
year = {2017},
url = {https://doi.org/10.1145/3127360.3127367},
doi = {10.1145/3127360.3127367},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/MonteiroJCF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/MonteiroGCF17,
author = {Felipe R. Monteiro and
M{\'{a}}rio Garcia and
Lucas C. Cordeiro and
Eddie Batista de Lima Filho},
title = {Bounded model checking of {C++} programs based on the Qt cross-platform
framework},
journal = {Softw. Test. Verification Reliab.},
volume = {27},
number = {3},
year = {2017},
url = {https://doi.org/10.1002/stvr.1632},
doi = {10.1002/STVR.1632},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/MonteiroGCF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ChavesBCKF17,
author = {Lennon C. Chaves and
Iury Bessa and
Lucas C. Cordeiro and
Daniel Kroening and
Eddie Batista de Lima Filho},
editor = {Tevfik Bultan and
Koushik Sen},
title = {Verifying digital systems with {MATLAB}},
booktitle = {Proceedings of the 26th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14,
2017},
pages = {388--391},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3092703.3098228},
doi = {10.1145/3092703.3098228},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/ChavesBCKF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/AlbuquerqueABCF17,
author = {Higo F. Albuquerque and
Rodrigo F. Araujo and
Iury Valente de Bessa and
Lucas C. Cordeiro and
Eddie Batista de Lima Filho},
editor = {Simone Andr{\'{e}} da Costa Cavalheiro and
Jos{\'{e}} Luiz Fiadeiro},
title = {OptCE: {A} Counterexample-Guided Inductive Optimization Solver},
booktitle = {Formal Methods: Foundations and Applications - 20th Brazilian Symposium,
{SBMF} 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10623},
pages = {125--141},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70848-5\_9},
doi = {10.1007/978-3-319-70848-5\_9},
timestamp = {Fri, 16 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/AlbuquerqueABCF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChavesBCKF17,
author = {Lennon C. Chaves and
Iury Bessa and
Lucas C. Cordeiro and
Daniel Kroening and
Eddie Batista de Lima Filho},
title = {Verifying Digital Systems with {MATLAB}},
journal = {CoRR},
volume = {abs/1702.05591},
year = {2017},
url = {http://arxiv.org/abs/1702.05591},
eprinttype = {arXiv},
eprint = {1702.05591},
timestamp = {Wed, 08 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChavesBCKF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MelloFCJBFC17,
author = {Daniel P. M. de Mello and
Mauro L. de Freitas and
Lucas C. Cordeiro and
Waldir S. S. Junior and
Iury Valente de Bessa and
Eddie B. L. Filho and
Laurent Clavier},
title = {Verification of Magnitude and Phase Responses in Fixed-Point Digital
Filters},
journal = {CoRR},
volume = {abs/1706.05088},
year = {2017},
url = {http://arxiv.org/abs/1706.05088},
eprinttype = {arXiv},
eprint = {1706.05088},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MelloFCJBFC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcs/AbreuGCFS16,
author = {Renato B. Abreu and
Mikhail Y. R. Gadelha and
Lucas C. Cordeiro and
Eddie Batista de Lima Filho and
Waldir Sabino da Silva Jr.},
title = {Bounded model checking for fixed-point digital filters},
journal = {J. Braz. Comput. Soc.},
volume = {22},
number = {1},
pages = {1:1--1:20},
year = {2016},
url = {https://doi.org/10.1186/s13173-016-0041-8},
doi = {10.1186/S13173-016-0041-8},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jbcs/AbreuGCFS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/CordeiroF16,
author = {Lucas C. Cordeiro and
Eddie Batista de Lima Filho},
title = {SMT-Based Context-Bounded Model Checking for Embedded Systems: Challenges
and Future Trends},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {41},
number = {3},
pages = {1--6},
year = {2016},
url = {https://doi.org/10.1145/2934240.2934247},
doi = {10.1145/2934240.2934247},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/CordeiroF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/GarciaMCF16,
author = {M{\'{a}}rio Garcia and
Felipe R. Monteiro and
Lucas C. Cordeiro and
Eddie Batista de Lima Filho},
editor = {Dragan Bosnacki and
Anton Wijs},
title = {ESBMC\({}^{\mbox{QtOM}}\): {A} Bounded Model Checking Tool to Verify
Qt Applications},
booktitle = {Model Checking Software - 23rd International Symposium, {SPIN} 2016,
Co-located with {ETAPS} 2016, Eindhoven, The Netherlands, April 7-8,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9641},
pages = {97--103},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-32582-8\_6},
doi = {10.1007/978-3-319-32582-8\_6},
timestamp = {Tue, 12 Sep 2023 07:57:22 +0200},
biburl = {https://dblp.org/rec/conf/spin/GarciaMCF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcce/FariasSFM15,
author = {Felipe de S. Farias and
Waldir Sabino da Silva Jr. and
Eddie Batista de Lima Filho and
Wheidima C. Melo},
title = {Automated content detection on TVs and computer monitors},
booktitle = {{IEEE} 4th Global Conference on Consumer Electronics, {GCCE} 2015,
Osaka, Japan, 27-30 October 2015},
pages = {177--178},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/GCCE.2015.7398693},
doi = {10.1109/GCCE.2015.7398693},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/gcce/FariasSFM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcce/SousaCF15,
author = {Felipe Rodrigues Monteiro Sousa and
Lucas C. Cordeiro and
Eddie Batista de Lima Filho},
title = {Bounded model checking of {C++} programs based on the Qt framework},
booktitle = {{IEEE} 4th Global Conference on Consumer Electronics, {GCCE} 2015,
Osaka, Japan, 27-30 October 2015},
pages = {179--180},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/GCCE.2015.7398699},
doi = {10.1109/GCCE.2015.7398699},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gcce/SousaCF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcce/MeloFS15,
author = {Wheidima Carneiro de Melo and
Eddie Batista de Lima Filho and
Waldir Sabino da Silva Jr.},
title = {Electromyographic signal compression based on two-dimensional techniques},
booktitle = {{IEEE} 4th Global Conference on Consumer Electronics, {GCCE} 2015,
Osaka, Japan, 27-30 October 2015},
pages = {515--516},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/GCCE.2015.7398617},
doi = {10.1109/GCCE.2015.7398617},
timestamp = {Thu, 22 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gcce/MeloFS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcce/SantosSSFMF15,
author = {Kenny V. dos Santos and
Waldir Sabino da Silva Jr. and
Luiz Eduardo Sales E. Silva and
Felipe S. Farias and
Wheidima Carneiro de Melo and
Eddie Batista de Lima Filho},
title = {Discriminative filtering with principal component analysis and adaptive
alignment},
booktitle = {{IEEE} 4th Global Conference on Consumer Electronics, {GCCE} 2015,
Osaka, Japan, 27-30 October 2015},
pages = {521--522},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/GCCE.2015.7398705},
doi = {10.1109/GCCE.2015.7398705},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gcce/SantosSSFMF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbesc/AlvesCF15,
author = {Erickson H. da S. Alves and
Lucas C. Cordeiro and
Eddie Batista de Lima Filho},
title = {Fault Localization in Multi-threaded {C} Programs Using Bounded Model
Checking},
booktitle = {2015 Brazilian Symposium on Computing Systems Engineering, {SBESC}
2015, Foz do Iguacu, Brazil, November 3-6, 2015},
pages = {96--101},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SBESC.2015.25},
doi = {10.1109/SBESC.2015.25},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbesc/AlvesCF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/IsmailBCFF15,
author = {Hussama Ismail and
Iury Bessa and
Lucas C. Cordeiro and
Eddie Batista de Lima Filho and
Joao Edgar Chaves Filho},
editor = {Bernd Fischer and
Jaco Geldenhuys},
title = {DSVerifier: {A} Bounded Model Checking Tool for Digital Systems},
booktitle = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,
Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9232},
pages = {126--131},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23404-5\_9},
doi = {10.1007/978-3-319-23404-5\_9},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/IsmailBCFF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SousaCF15,
author = {Felipe Rodrigues Monteiro Sousa and
Lucas C. Cordeiro and
Eddie Batista de Lima Filho},
title = {Bounded Model Checking of {C++} Programs Based on the Qt Framework
(extended version)},
journal = {CoRR},
volume = {abs/1509.01682},
year = {2015},
url = {http://arxiv.org/abs/1509.01682},
eprinttype = {arXiv},
eprint = {1509.01682},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SousaCF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlvesCF15,
author = {Erickson H. da S. Alves and
Lucas C. Cordeiro and
Eddie Batista de Lima Filho},
title = {Fault Localization in Multi-Threaded {C} Programs using Bounded Model
Checking (extended version)},
journal = {CoRR},
volume = {abs/1509.02490},
year = {2015},
url = {http://arxiv.org/abs/1509.02490},
eprinttype = {arXiv},
eprint = {1509.02490},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlvesCF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcce/JanuarioCLF14,
author = {Francisco A. P. Janu{\'{a}}rio and
Lucas C. Cordeiro and
Vicente Ferreira de Lucena Jr. and
Eddie Batista de Lima Filho},
title = {BMCLua: Verification of Lua programs in digital {TV} interactive applications},
booktitle = {{IEEE} 3rd Global Conference on Consumer Electronics, {GCCE} 2014,
Tokyo, Japan, 7-10 October 2014},
pages = {707--708},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/GCCE.2014.7031344},
doi = {10.1109/GCCE.2014.7031344},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/gcce/JanuarioCLF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-2892,
author = {Renato B. Abreu and
Lucas C. Cordeiro and
Eddie B. L. Filho},
title = {Verifying Fixed-Point Digital Filters using SMT-Based Bounded Model
Checking},
journal = {CoRR},
volume = {abs/1305.2892},
year = {2013},
url = {http://arxiv.org/abs/1305.2892},
eprinttype = {arXiv},
eprint = {1305.2892},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-2892.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/MeloFJ12,
author = {Wheidima C. Melo and
Eddie B. L. Filho and
Waldir S. S. Junior},
title = {Electromyographic signal compression based on preprocessing techniques},
booktitle = {Annual International Conference of the {IEEE} Engineering in Medicine
and Biology Society, {EMBC} 2012, San Diego, CA, USA, August 28 -
September 1, 2012},
pages = {5404--5407},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/EMBC.2012.6347216},
doi = {10.1109/EMBC.2012.6347216},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/embc/MeloFJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/softcom/SavinoF12,
author = {Heitor Judiss Savino and
Eddie B. L. Filho},
title = {{PCR} jitter control based on a semaphore-controlled counter},
booktitle = {20th International Conference on Software, Telecommunications and
Computer Networks, SoftCOM 2012 , Split, Croatia, September 11-13,
2012},
pages = {1--5},
publisher = {{IEEE}},
year = {2012},
url = {https://ieeexplore.ieee.org/document/6347607/},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/softcom/SavinoF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tbe/FilhoRSCFS09,
author = {Eddie B. L. Filho and
Nuno M. M. Rodrigues and
Eduardo A. B. da Silva and
Murilo B. de Carvalho and
S{\'{e}}rgio M. M. de Faria and
V{\'{\i}}tor Manuel Mendes da Silva},
title = {On {ECG} Signal Compression With 1-D Multiscale Recurrent Patterns
Allied to Preprocessing Techniques},
journal = {{IEEE} Trans. Biomed. Eng.},
volume = {56},
number = {3},
pages = {896--900},
year = {2009},
url = {https://doi.org/10.1109/TBME.2008.2005939},
doi = {10.1109/TBME.2008.2005939},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tbe/FilhoRSCFS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tbe/FilhoSC08,
author = {Eddie B. L. Filho and
Eduardo A. B. da Silva and
Murilo B. de Carvalho},
title = {On {EMG} Signal Compression With Recurrent Patterns},
journal = {{IEEE} Trans. Biomed. Eng.},
volume = {55},
number = {7},
pages = {1920--1923},
year = {2008},
url = {https://doi.org/10.1109/TBME.2008.919729},
doi = {10.1109/TBME.2008.919729},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tbe/FilhoSC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tbe/FilhoRSFSC08,
author = {Eddie B. L. Filho and
Nuno M. M. Rodrigues and
Eduardo A. B. da Silva and
S{\'{e}}rgio M. M. de Faria and
V{\'{\i}}tor Manuel Mendes da Silva and
Murilo B. de Carvalho},
title = {{ECG} Signal Compression Based on Dc Equalization and Complexity Sorting},
journal = {{IEEE} Trans. Biomed. Eng.},
volume = {55},
number = {7},
pages = {1923--1926},
year = {2008},
url = {https://doi.org/10.1109/TBME.2008.919880},
doi = {10.1109/TBME.2008.919880},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tbe/FilhoRSFSC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tip/FilhoSCP08,
author = {Eddie Batista de Lima Filho and
Eduardo A. B. da Silva and
Murilo B. de Carvalho and
Frederico S. Pinag{\'{e}}},
title = {Universal Image Compression Using Multiscale Recurrent Patterns With
Adaptive Probability Model},
journal = {{IEEE} Trans. Image Process.},
volume = {17},
number = {4},
pages = {512--527},
year = {2008},
url = {https://doi.org/10.1109/TIP.2008.918042},
doi = {10.1109/TIP.2008.918042},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tip/FilhoSCP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/DessetFL07,
author = {Claude Desset and
Eddie Batista de Lima Filho and
Gregory Lenoir},
title = {WiMAX Downlink {OFDMA} Burst Placement for Optimized Receiver Duty-Cycling},
booktitle = {Proceedings of {IEEE} International Conference on Communications,
{ICC} 2007, Glasgow, Scotland, UK, 24-28 June 2007},
pages = {5149--5154},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/ICC.2007.851},
doi = {10.1109/ICC.2007.851},
timestamp = {Tue, 19 Jun 2018 07:53:33 +0200},
biburl = {https://dblp.org/rec/conf/icc/DessetFL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/FilhoSJC06,
author = {Eddie B. L. Filho and
Eduardo A. B. da Silva and
Waldir S. S. Junior and
Murilo B. de Carvalho},
title = {{ECG} compression using multiscale recurrent patterns with period
normalization},
booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2006), 21-24
May 2006, Island of Kos, Greece},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/ISCAS.2006.1692908},
doi = {10.1109/ISCAS.2006.1692908},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/iscas/FilhoSJC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcas/FilhoSCJK05,
author = {Eddie Batista de Lima Filho and
Eduardo A. B. da Silva and
Murilo B. de Carvalho and
Waldir S. S. Junior and
Jos{\'{e}} Koiller},
title = {Electrocardiographic signal compression using multiscale recurrent
patterns},
journal = {{IEEE} Trans. Circuits Syst. {I} Regul. Pap.},
volume = {52-I},
number = {12},
pages = {2739--2753},
year = {2005},
url = {https://doi.org/10.1109/TCSI.2005.857873},
doi = {10.1109/TCSI.2005.857873},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcas/FilhoSCJK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icip/FilhoCS04,
author = {Eddie B. L. Filho and
Murilo B. de Carvalho and
Eduardo A. B. da Silva},
title = {Multidimensional signal compression using multi-scale recurrent patterns
with smooth side-match criterion},
booktitle = {Proceedings of the 2004 International Conference on Image Processing,
{ICIP} 2004, Singapore, October 24-27, 2004},
pages = {3201--3204},
publisher = {{IEEE}},
year = {2004},
url = {https://doi.org/10.1109/ICIP.2004.1421794},
doi = {10.1109/ICIP.2004.1421794},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/icip/FilhoCS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 01:26 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:
