Eddie Batista de Lima Filho

  • Endereço para acessar este CV: http://lattes.cnpq.br/7827981023232761
  • Última atualização do currículo em 30/11/2018


Possui graduação em Engenharia Elétrica pela Universidade Federal do Amazonas (1999), mestrado em Engenharia Elétrica pela Universidade Federal do Rio de Janeiro (2003) e doutorado em Engenharia Elétrica pela Universidade Federal do Rio de Janeiro (2008). Atualmente, é coordenador técnico no departamento de R&D da TPV Technology. Possui experiência nas áreas de Telecomunicações, TV digital, sistemas embarcados, codificação de fonte e codificação de canal, atuando principalmente nos seguintes temas: set-top boxes, compressão de vídeo/áudio, desenvolvimento de drivers, middleware, circuitos eletrônicos, sistemas de transmissão e sistemas de teste. (Texto informado pelo autor)


Identificação


Nome
Eddie Batista de Lima Filho
Nome em citações bibliográficas
E. B. L. Filho;de Lima Filho, Eddie Batista;de Lima Filho, E.B.;Filho, E. B. L.;Eddie B. L. Filho;DE LIMA FILHO, EDDIE B.;LIMA FILHO, EDDIE B. DE;FILHO, EDDIE B. DE LIMA;FILHO, EDDIE B. DE L.;LIMA, EDDIE;de Lima Filho, Eddie

Endereço


Endereço Profissional
TPV Technology, R&D.
Avenida Torquato Tapajós
Flores
69058830 - Manaus, AM - Brasil
Telefone: (92) 21268653
URL da Homepage: http://www.tpvision.com/


Formação acadêmica/titulação


2004 - 2008
Doutorado em Engenharia Elétrica.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Título: Aplicações em Codificação de Sinais: O Casamento Aproximado de Padrões Multiescalas e a Codificação Distribuída de Eletrocardiograma, Ano de obtenção: 2008.
Orientador: Eduardo Antônio Barros da Silva.
Palavras-chave: Recorrência de Padrões Multiescalas; Quantização Vetorial; Casamento Lateral Generalizado; Contextos Adaptativos; Eletrocardiograma; Pré-processamento de ECG.
Grande área: Engenharias
Grande Área: Engenharias / Área: Engenharia Elétrica / Subárea: Processamento de sinais.
Grande Área: Engenharias / Área: Engenharia Biomédica.
Setores de atividade: Informática; Saúde e Serviços Sociais; Correio e Telecomunicações.
2002 - 2003
Mestrado em Engenharia Elétrica.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Título: Compressão de Imagens utilizando Recorrência de Padrões Multiescalas com Critério de Continuidade Interblocos,Ano de Obtenção: 2004.
Orientador: Eduardo Antonio Barros da Silva.
Palavras-chave: Casamento de Padrões Multiescalas; Compressão de Imagens; Otimização Taxa-distorção; Quantização Vetorial; Side-Match.
Grande área: Engenharias
Grande Área: Engenharias / Área: Engenharia Elétrica / Subárea: Compressão de dados.
Grande Área: Engenharias / Área: Engenharia Elétrica / Subárea: Telecomunicações.
Setores de atividade: Fabricação de Aparelhos e Equipamentos de Telecomunicação; Informática.
1997 - 1999
Graduação em Engenharia Elétrica.
Universidade Federal do Amazonas, UFAM, Brasil.
Título: Sistemas de Televisão analógicos e digitais.
Orientador: Niomar Lins Pimenta.




Formação Complementar


2010 - 2010
Treinamento no chip SA1. (Carga horária: 20h).
Trident, TRIDENT, China.
2007 - 2007
Relações humanas no trabalho. (Carga horária: 12h).
Qualynorte consultoria e treinamento, QN, Brasil.
2006 - 2006
Trainee na equipe QoE. (Carga horária: 9600h).
Interuniversitair Microeletronica Centrum Vew, IMEC, Bélgica.
2004 - 2004
Plataforma Java e J2ME. (Carga horária: 40h).
SUMMA Technologies, SUMMA, Brasil.
2004 - 2004
Plataforma de TV Digital IBO/Nexperia e MHP. (Carga horária: 144h).
Philips Semiconductors, PHILIPS, Holanda.
2004 - 2004
DVB/Instinct Workshop. (Carga horária: 40h).
Braunschweig Technical University, BTU, Alemanha.
2003 - 2003
Advanced Design System Fundamentals. (Carga horária: 40h).
Agilent Technologies, AGILENT, Estados Unidos.
2003 - 2003
Visão geral de Comunicações via Satélite. (Carga horária: 16h).
Unisat - Engenharia de Telecomunicações Ltda, UNISAT, Brasil.
2002 - 2002
Liderança Situacional. (Carga horária: 16h).
Nexus Resultadores Empresariais, NEXUS, Brasil.
2001 - 2001
Sinalização por Canal Comum (SS7). (Carga horária: 20h).
Trópico Sistemas e Telecomunicações, TROPICO, Brasil.
2001 - 2001
Teoria Básica dos Sistemas Trópico R e RA. (Carga horária: 96h).
Trópico Sistemas e Telecomunicações, TROPICO, Brasil.
2001 - 2001
Programação CHILL. (Carga horária: 20h).
Trópico Sistemas e Telecomunicações, TROPICO, Brasil.
2000 - 2000
Telefonia Digital. (Carga horária: 18h).
Trópico Sistemas e Telecomunicações, TROPICO, Brasil.
2000 - 2000
Telefonia Geral. (Carga horária: 18h).
Trópico Sistemas e Telecomunicações, TROPICO, Brasil.
2000 - 2000
Rede Digital de Serviços Integrados. (Carga horária: 18h).
Trópico Sistemas e Telecomunicações, TROPICO, Brasil.
2000 - 2000
Interface V5.2. (Carga horária: 20h).
Trópico Sistemas e Telecomunicações, TROPICO, Brasil.
2000 - 2000
Programação Assembly para família x86. (Carga horária: 20h).
Trópico Sistemas e Telecomunicações, TROPICO, Brasil.
2000 - 2000
Rede Inteligente. (Carga horária: 18h).
Trópico Sistemas e Telecomunicações, TROPICO, Brasil.


Atuação Profissional



TPV Technology, TPV, Brasil.
Vínculo institucional

2017 - Atual
Vínculo: Celetista, Enquadramento Funcional: Pesquisador G5 (Coordenador Técnico), Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

04/2017 - Atual
Pesquisa e desenvolvimento , R&D, .


Universidade Federal do Amazonas, UFAM, Brasil.
Vínculo institucional

2010 - Atual
Vínculo: Professor Permanente, Enquadramento Funcional: Professor Permanente do PPGEE/UFAM, Carga horária: 8
Outras informações
Professor Permanente do Programa de Mestrado em Engenharia Elétrica da Universidade Federal do Amazonas.

Atividades

03/2010 - Atual
Pesquisa e desenvolvimento , Reitoria, Faculdade de Tecnologia.

03/2010 - Atual
Ensino, Engenharia Elétrica, Nível: Pós-Graduação

Disciplinas ministradas
Processamento digital de sinais

Samsung Instituto de Desenvolvimento para a Informática da Amazônia, SIDIA, Brasil.
Vínculo institucional

2017 - 2017
Vínculo: Celetista, Enquadramento Funcional: Coordenador II, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

01/2017 - 04/2017
Pesquisa e desenvolvimento , Departamento de Modelos, .

Linhas de pesquisa
Sistemas embarcados

Fundação Desemb. Paulo Feitosa, FPF TECH, Brasil.
Vínculo institucional

2016 - 2017
Vínculo: , Enquadramento Funcional: Analista de Desenvolvimento, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

05/2016 - 01/2017
Pesquisa e desenvolvimento , Laboratório de HW, .


Centro de Ciência , Tecnologia e Inovação do Polo Industrial de Manaus, CT-PIM, Brasil.
Vínculo institucional

2006 - 2016
Vínculo: Celetista formal, Enquadramento Funcional: Engenheiro de Desenvolvimento e Inovação, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

06/2008 - Atual
Treinamentos ministrados , Laboratório, .

Treinamentos ministrados
Treinamento na plataforma de TV digital STB225
04/2006 - Atual
Pesquisa e desenvolvimento , Laboratório, .


Genius Instituto de Tecnologia, GENIUS, Brasil.
Vínculo institucional

2001 - 2006
Vínculo: Colaborador, Enquadramento Funcional: Engenheiro Pleno, Carga horária: 44

Atividades

10/2001 - 04/2006
Pesquisa e desenvolvimento , Equipe TV digital, .

06/2002 - 06/2002
Treinamentos ministrados , Equipe TV digital, .

Treinamentos ministrados
Introdução à TV digital via satélite: o padrão DVB-S

Instituto de Ensino Superior Fucapi, CESF, Brasil.
Vínculo institucional

2010 - 2012
Vínculo: Celetista formal, Enquadramento Funcional: Professor, Carga horária: 10

Vínculo institucional

2000 - 2006
Vínculo: Colaborador, Enquadramento Funcional: Professor - prestador de serviço

Atividades

08/2010 - 06/2012
Ensino, Engenharia de Comunicações, Nível: Graduação

Disciplinas ministradas
Processamento digital de sinais
Telefonia fixa
Sistemas de vídeo
7/2000 - 04/2006
Ensino, Engenharia de Comunicações, Nível: Graduação

Disciplinas ministradas
Processamento Digital de Sinais
Cáculo avançado
Eletrônica analógica
Introdução a ciência dos computadores
Sistemas de comunicação sem fio
Sistemas de vídeo

Rádio Tv do Amazonas, TV AMAZONAS, Brasil.
Vínculo institucional

1999 - 2000
Vínculo: Colaborador, Enquadramento Funcional: Estagiário, Carga horária: 20

Atividades

8/1999 - 2/2000
Estágios , Rádio Tv do Amazonas, .

Estágio realizado
Manutenção de transmissores de TV, medidas de vídeo, projeto de distribuidores de áudio e vídeo.

Trópico Sistemas e Telecomunicações, TROPICO, Brasil.
Vínculo institucional

2000 - 2001
Vínculo: Colaborador, Enquadramento Funcional: Engenheiro S2, Carga horária: 40

Atividades

4/2000 - 9/2001
Pesquisa e desenvolvimento , Trópico Sistemas e Telecomunicações, .

03/2001 - 04/2001
Treinamentos ministrados .

Treinamentos ministrados
Estrutura e programação de microcontroladores da família 8051
Manipulação de arquivos em CHILL


Linhas de pesquisa


1.
Projeto, implementação e manutenção de software para centrais telefônicas
2.
Desenvolvimento de software para sistemas microcontrolados aplicados à telefonia
3.
Linux device drivers
4.
sistemas embarcados
5.
TV digital
6.
Desenvolvimento de algoritmos de compressão de dados
7.
Sistemas Embarcados
8.
TV digital
9.
Device drivers para Linux
10.
Sistemas embarcados
11.
Engenharia biomédica
12.
Processamento digital de sinais
13.
Sistemas Embarcados
14.
Circuitos Eletrônicos
15.
TV Digital
16.
Sistemas embarcados
17.
TV digital
18.
Sistemas embarcados
19.
Sistemas de transmissão
20.
Sistemas de teste


Projetos de pesquisa


2014 - Atual
Verificação de Hardware e Software Baseada em Indução Matemática para Sistemas Embarcados
Descrição: A dependência da sociedade moderna no funcionamento correto de sistemas embarcados está aumentando rapidamente. Tais sistemas são usados em uma grande quantidade de aplicações, tais como sistemas de controle de airbag, telefones celulares e set-top boxes. O software que comanda e controla tais sistemas é geralmente escrito em linguagens de programação como C ou C++. Estes programas estão se tornando cada vez mais complexos, exigindo assim processadores de vários núcleos de processamento com memória compartilhada escalonável, com o intuito de atender a crescente demanda do poder computacional. A utilização de sistemas embarcados vem crescendo no dia a dia das pessoas, e desta forma, vem se tornando cada vez mais importante garantir a robustez do hardware e do software desenvolvido para os mesmos. De um modo geral, sistemas embarcados consistem de um conjunto de componentes de hardware/software, que juntos implementam um conjunto de funcionalidades, enquanto satisfazem restrições físicas reais (por exemplo, de tempo, de dissipação de potência, ou referentes aos custos). Existem diversas técnicas para assegurar que um sistema seja lançado no mercado sem erros. Em especial, a verificação de modelos vem se mostrando efetiva na busca por falhas em projetos tanto a nível de hardware quanto de software, devido principalmente ao recente advento de eficientes solucionadores de satisfatibilidade proposicional. Em particular, neste projeto será tratada uma abordagem para verificação de modelos baseada em prova de corretude por indução matemática para programas C/C++. Esta técnica será investigada para tratar da prova de programas que envolvem concorrência (tipicamente encontrado em sistemas que contém vários núcleos de processamento) e manipulação da memória heap (tipicamente encontrado em sistemas operacionais). Os algoritmos desenvolvidos neste projeto serão implementados utilizando a ferramenta Efficient SMT-Based Context-Bounded Model Checker (ESBMC), que é um verificador de modelos estado da arte, o qual se baseia em teorias de satisfatibilidade de fórmulas proposicionais e lógica de primeira ordem. Vale ressaltar que este projeto será validado através de técnicas formais e experimentais, as quais serão conduzidas com o intuito de mostrar que a abordagem proposta pode ser utilizada para verificar uma grande quantidade de aplicações, que vão desde casos simples a aplicações embarcadas comerciais mais complexas. Sendo assim, o principal resultado deste projeto consistirá em mostrar que a abordagem proposta, implementada através de uma ferramenta computacional, será capaz de verificar aplicações reais, e que tal ferramenta será mais eficiente do que outros verificadores, no que tange a verificação de sistemas embarcados. Neste sentido, pretende-se implementar a abordagem proposta e mostrar que a mesma encontra um maior número de erros, além de suportar um maior número de funcionalidades das linguagens C/C++, quando comparado com outras ferramentas (comerciais ou acadêmicas) disponíveis. Além disso, a abordagem proposta deverá ser o mais flexível possível, possibilitando a extensão da mesma para outras linguagens de programação (por exemplo, Java), e deverá também ser capaz de provar por indução matemática diversas propriedades inerentes não somente às linguagens C/C++ (tais como, overflow aritmético e divisão por zero) mas como também inerentes ao próprio sistema embarcado (tais como, estabilidade e ruídos)..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (3) .
Integrantes: Eddie Batista de Lima Filho - Integrante / Waldir Sabino da Silva Júnior - Integrante / Celso Barbosa - Integrante / Vicente Ferreira de Lucena Júnior - Integrante / LUCAS CORDEIRO - Coordenador / André Luiz duarte Cavalcante - Integrante.Financiador(es): Fundação de Amparo a Pesquisa do Estado do Amazonas - Auxílio financeiro.
2014 - Atual
Transceptores Multicanais em Sistemas de Comunicação

Projeto certificado pelo(a) coordenador(a) Waldir Sabino da Silva Júnior em 22/07/2014.
Descrição: Nos últimos anos, a área de Processamento de Sinais representou um dos campos da ciência com grande desenvolvimento em termos de pesquisas, inovações e produtos. Exemplos recentes com alto impacto em nossa vida moderna são os celulares e os televisores smart. Dessa forma, podemos afirmar que esta área é fundamental para programas de pós-graduação. Neste contexto, esta proposta de projeto de pesquisa tem por objetivo estabelecer uma parceria de pesquisa entre professores dos Programas de Pós-graduação em Engenharia Elétrica da UFAM e da UFRJ/COPPE de tal forma que seja possível consolidar linhas de pesquisa de interesse estratégicas para a região Amazônica. Neste trabalho, propomos investigar algoritmos de processamento de sinais com ênfase em aplicações de telecomunicações fixas e móveis. Essas novas estruturas devem permitir a equalização dos dados recebidos de forma eficiente. Iremos explorar tais estruturas em termos do processo de equalização, da estimação de canal e do projeto do equalizador. O tema proposto está distribuído em duas linhas de pesquisa do Programa de Pós-Graduação em Engenharia Elétrica da UFAM e que poderão se beneficiar das áreas de competência do Programa de Pós-Graduação em Engenharia Elétrica da UFRJ/COPPE. Especificamente, as linhas de pesquisa beneficiadas/consolidadas são: (1) Sistemas Multitaxas e (2) Bancos de Filtros..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) .
Integrantes: Eddie Batista de Lima Filho - Integrante / Eduardo Antônio Barros da Silva - Integrante / Waldir Sabino da Silva Júnior - Coordenador / Paulo Sergio Ramirez Diniz - Integrante / Wallace Alves Martins - Integrante.Financiador(es): Fundação de Amparo a Pesquisa do Estado do Amazonas - Auxílio financeiro.


Revisor de periódico


2014 - Atual
Periódico: Biomedical Signal Processing and Control (Print)
2015 - 2015
Periódico: MULTIDIMENSIONAL SYSTEMS AND SIGNAL PROCESSING


Áreas de atuação


1.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Telecomunicações/Especialidade: Sistemas de Telecomunicações.
2.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Circuitos Elétricos, Magnéticos e Eletrônicos/Especialidade: Circuitos Eletrônicos.
3.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Processamento de sinais.
4.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Compressão de dados.
5.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Telecomunicações/Especialidade: TV Digital.
6.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Sistemas Embarcados.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Alemão
Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.


Prêmios e títulos


2000
Primeiro lugar turma de Engenharia Elétrica 1999/2, Universidade Federal do amazonas.


Produções



Produção bibliográfica
Citações

SCOPUS

Artigos completos publicados em periódicos

1.
CHAVES, LENNON2018CHAVES, LENNON ; Bessa, Iury V. ; ISMAIL, HUSSAMA ; DOS SANTOS FRUTUOSO, ADRIANO BRUNO ; CORDEIRO, LUCAS ; de Lima Filho, Eddie Batista . DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles. IEEE TRANSACTIONS ON RELIABILITY, v. 67, p. 1420-1441, 2018.

2.
ALVES, ERICKSON H. DA S.2017ALVES, ERICKSON H. DA S. ; CORDEIRO, LUCAS C. ; FILHO, EDDIE B. DE L. . A Method to Localize Faults in Concurrent C Programs. The Journal of Systems and Software, v. 1, p. 1, 2017.

3.
DE FREITAS, MAURO L.2017DE FREITAS, MAURO L. ; MARTINS, WALLACE A. ; DE LIMA FILHO, EDDIE B. ; DA SILVA JÚNIOR, WALDIR S. . New Designs for Reduced-Redundancy Transceivers. CIRCUITS SYSTEMS AND SIGNAL PROCESSING, v. 36, p. 2075-2101, 2017.

4.
SOUSA, F. R. M.2017SOUSA, F. R. M. ; GARCIA, MÁRIO A. P. ; CORDEIRO, LUCAS C. ; E. B. L. Filho . Bounded model checking of C++ programs based on the Qt cross-platform framework. SOFTWARE TESTING VERIFICATION & RELIABILITY, v. 27, p. e1632, 2017.

5.
MONTEIRO, FELIPE R.2017MONTEIRO, FELIPE R. ; JANUÁRIO, FRANCISCO A.P. ; CORDEIRO, LUCAS C. ; DE LIMA FILHO, EDDIE B. . BMCLua. SOFTWARE ENGINEERING NOTES, v. 42, p. 1-10, 2017.

6.
MONTEIRO, FELIPE R.2017MONTEIRO, FELIPE R. ; DA S. ALVES, ERICKSON H. ; SILVA, ISABELA S. ; Ismail, Hussama I. ; CORDEIRO, LUCAS C. ; DE LIMA FILHO, EDDIE B. . ESBMC-GPU A Context-Bounded Model Checking Tool to Verify CUDA Programs. SCIENCE OF COMPUTER PROGRAMMING, v. 1, p. 1, 2017.

7.
SAVINO, HEITOR JUDISS2017SAVINO, HEITOR JUDISS ; de Lima Filho, Eddie Batista . Program clock reference correction in transport stream processors with rate adaptation. MULTIMEDIA TOOLS AND APPLICATIONS (DORDRECHT. ONLINE), v. 76, p. 14107-14128, 2017.

8.
DE MELO, WHEIDIMA CARNEIRO2016DE MELO, WHEIDIMA CARNEIRO ; de Lima Filho, Eddie Batista ; DA SILVA JÚNIOR, WALDIR SABINO . SEMG signal compression based on two-dimensional techniques. Biomedical Engineering Online (Online), v. 15, p. 1, 2016.

9.
ABREU, RENATO B.2016ABREU, RENATO B. ; GADELHA, MIKHAIL Y. R. ; CORDEIRO, LUCAS C. ; DE LIMA FILHO, EDDIE B. ; DA SILVA, WALDIR S. . Bounded model checking for fixed-point digital filters. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (ONLINE), v. 22, p. 1, 2016.

10.
CARNEIRO DE MELO, WHEIDIMA2016CARNEIRO DE MELO, WHEIDIMA ; de Lima Filho, Eddie Batista ; DA SILVA JÚNIOR, WALDIR SABINO . Electromyographic Signal Compression Through Image Encoders and Preprocessing Techniques. Journal of Communication and Information Systems (JCIS),, v. 31, p. 188-197, 2016.

11.
CORDEIRO, LUCAS C.2016CORDEIRO, LUCAS C. ; DE LIMA FILHO, EDDIE B. . SMT-Based Context-Bounded Model Checking for Embedded Systems. SOFTWARE ENGINEERING NOTES, v. 41, p. 1-6, 2016.

12.
de Lima Filho, Eddie Batista2009de Lima Filho, Eddie Batista; RODRIGUES, N. M. M. ; da Silva, Eduardo A. B. ; CARVALHO, M. B. ; FARIA, S. M. M. ; da Silva, V. M. M. . On ECG Signal Compression with One-dimensional Multiscale Recurrent Patterns Allied to Pre-Processing Techniques. IEEE Transactions on Biomedical Engineering, v. 56, p. 896-900, 2009.

13.
E. B. L. Filho2008 E. B. L. Filho; da Silva, Eduardo A. B. ; CARVALHO, M. B. ; Pinage, Frederico Silva . Universal Image Compression using Multiscale Recurrent Patterns with Adaptive Probability Model. IEEE Transactions on Image Processing, v. 17, p. 512-527, 2008.

14.
de Lima Filho, Eddie Batista2008 de Lima Filho, Eddie Batista; RODRIGUES, N. M. M. ; SILVA, E. A. B. ; FARIA, S. M. M. ; da Silva, V. M. M. . ECG Signal Compression Based on DC Equalization and Complexity Sorting. IEEE Transactions on Biomedical Engineering, v. 55, p. 1923-1926, 2008.

15.
de Lima Filho, Eddie Batista2008de Lima Filho, Eddie Batista; da Silva, Eduardo A. B. ; CARVALHO, M. B. . On EMG Signal Compression with Recurrent Pattern. IEEE Transactions on Biomedical Engineering, v. 55, p. 1920-1923, 2008.

16.
de Lima Filho, E.B.2005 de Lima Filho, E.B.; da Silva, E.A.B. ; de Carvalho, M.B. ; da Silva Junior, W.S. ; KOILLER, J. . Electrocardiographic signal compression using multiscale recurrent patterns. IEEE Transactions on Circuits and Systems. I, Regular Papers (Print), v. 52, p. 2739-2753, 2005.

Capítulos de livros publicados
1.
Garcia, Mário ; Monteiro, Felipe ; CORDEIRO, LUCAS ; de Lima Filho, Eddie . ESBMC $$^{QtOM}$$ Q t O M : A Bounded Model Checking Tool to Verify Qt Applications. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2016, v. , p. 97-103.

2.
Ismail, Hussama I. ; Bessa, Iury V. ; CORDEIRO, LUCAS C. ; DE LIMA FILHO, EDDIE B. ; Chaves Filho, João E. . DSVerifier: A Bounded Model Checking Tool for Digital Systems. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2015, v. , p. 126-131.

Trabalhos completos publicados em anais de congressos
1.
DA SILVA, ALLAN R. A. ; DA CRUZ, CAIO F. S. ; FERNANDES, JOSE EDUARDO L. ; DA COSTA, JEFERSON B. ; CHEN, XIANPAN ; FABRICIO, ROMULO ; DE LIMA FILHO, EDDIE B. . RFID-based scheme for TV receiver control in case of theft. In: 2018 IEEE International Conference on Consumer Electronics (ICCE), 2018, Las Vegas. 2018 IEEE International Conference on Consumer Electronics (ICCE), 2018. p. 1.

2.
MONTEIRO, FELIPE R. ; GARCIA, MÁRIO A. P. ; CORDEIRO, LUCAS C. ; DE LIMA FILHO, EDDIE B. . Bounded model checking of C++ programs based on the Qt cross-platform framework (journal-first abstract). In: the 33rd ACM/IEEE International Conference, 2018, Montpellier. Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering - ASE 2018, 2018. p. 954.

3.
IZUMI, F. ; VILLALBA, A. ; JONES, A. ; OLIVEIRA, K. ; de Lima Filho, E.B. ; DE FARIAS, BRUNO C. ; AMORIM, A. ; ARAUJO, N. . Avaliação Automática de Receptores de TV Mediante Feixes de Transporte Não Conformes. In: XXXVI Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2018, Campina Grande. Anais do XXXVI Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2018. p. 1-5.

4.
CHAVES, LENNON ; BESSA, IURY ; CORDEIRO, LUCAS ; KROENING, DANIEL ; LIMA, EDDIE . Verifying digital systems with MATLAB. In: the 26th ACM SIGSOFT International Symposium, 2017, Santa Barbara. Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2017, 2017. p. 388.

5.
JESUS, A. S. ; RODRIGUES, R. N. ; FERREIRA, A. N. G. ; VALENTE, V. H. ; DE MELO, WHEIDIMA C. ; de Lima Filho, E.B. ; DA SILVA JÚNIOR, WALDIR S. . Sistema Automático de Apontamento de Antena para Receptores Satelitais nas Bandas C e Ku. In: XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2017, São Pedro. anais do XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2017. p. 1.

6.
MELLO, D. P. M. ; DE FREITAS, MAURO L. ; CORDEIRO, LUCAS C. ; DA SILVA JÚNIOR, WALDIR S. ; Bessa, Iury V. ; de Lima Filho, E.B. . Verification of Magnitude and Phase Responses in Fixed-Point Digital Filters. In: XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2017, São Pedro. anais do XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2017. p. 1-5.

7.
AMOEDO, DIEGO ALVES ; CARNEIRO DE MELO, WHEIDIMA ; CORDEIRO, LUCAS C. ; de Lima Filho, E.B. ; DA SILVA JÚNIOR, WALDIR S. ; CARVALHO, C. B. . Classificação Automática de Modulações Mono e Multiportadoras utilizando Método de Extração de Características e Classificadores SVM. In: XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2017, São Pedro. Anais do XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2017. p. 1-5.

8.
CARNEIRO DE MELO, WHEIDIMA ; de Lima Filho, E.B. ; DA SILVA JÚNIOR, WALDIR S. . Electroencephalographic Signal Compression Based on Adaptive Segmentation and Video Encoders. In: XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2017, São Pedro. anais do XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2017. p. 1-5.

9.
CAETANO, R. ; de Lima Filho, E.B. ; PORTO, C. . Digital TV signal evaluation for functional tests. In: XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2017, São Pedro. Anais do XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2017. v. 1. p. 1-5.

10.
ALBUQUERQUE, H. F. ; ARAUJO, R. F. ; BESSA, I. V. ; CORDEIRO, L. C. ; de Lima Filho, E.B. . OptCE: A Counterexample-Guided Inductive Optimization Solve. In: XX Brazilian Symposium on Formal Methods, 2017, Recife. Proceedings of the XX Brazilian Symposium on Formal Methods, 2017.

11.
GARCIA, M. A. ; DE SOUZA, F. R. M. ; CORDEIRO, L. C. ; de Lima Filho, E.B. . ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications. In: 23rd International SPIN symposium on Model Checking of Software, 2016, Eindhoven. Lecture Notes in Computer Science. Heidelberg: Springer, 2016.

12.
SEIXAS, PAULO ; LEVY, PAMELA ; DE LIMA FILHO, EDDIE B. ; CAETANO, ROGERIO . Quality verification of digital TV signals in a production line environment. In: 2016 IEEE International Symposium on Consumer Electronics (ISCE), 2016, Sao Paulo. 2016 IEEE International Symposium on Consumer Electronics (ISCE), 2016. p. 27.

13.
DE SOUZA FARIAS, F. ; E SILVA, L. E. S. ; CARNEIRO DE MELO, WHEIDIMA ; de Lima Filho, E.B. ; DA SILVA JÚNIOR, WALDIR S. . Detecção e Análise de Conteúdo de Telas de TV e Monitores. In: XXXIV Simpósio Brasileiro de Telecomunicações - SBrT2016, 2016, Santarém. Anais do XXXIV Simpósio Brasileiro de Telecomunicações, 2016. p. 1-5.

14.
ALVES, ERICKSON H. DA S. ; CORDEIRO, LUCAS C. ; FILHO, EDDIE B. DE LIMA . Fault Localization in Multi-threaded C Programs Using Bounded Model Checking. In: 2015 Brazilian Symposium on Computing Systems Engineering (SBESC), 2015, Foz do Iguacu. 2015 Brazilian Symposium on Computing Systems Engineering (SBESC). p. 96-101.

15.
SOUSA, FELIPE R. M. ; CORDEIRO, LUCAS C. ; DE LIMA FILHO, EDDIE B. . Bounded model checking of C++ programs based on the Qt framework. In: 2015 IEEE 4th Global Conference on Consumer Electronics (GCCE), 2015, Osaka. 2015 IEEE 4th Global Conference on Consumer Electronics (GCCE). p. 179-180.

16.
DE SOUZA, F. R. M. ; CORDEIRO, LUCAS C. ; de Lima Filho, E.B. . Verificação de Programas C++ Baseados no Framework Multiplataforma Qt. In: IV Encontro Regional de Computação e Sistemas de Informação, 2015, Manaus. Anais do ENCOSIS 2015, 2015. p. 1-10.

17.
ISMAIL, H. I. ; BESSA, I. V. ; CORDEIRO, LUCAS C. ; de Lima Filho, E.B. . DSVerifier: A Bounded Model Checking Tool for Digital Systems. In: 22nd International SPIN Symposium on Model Checking of Software, 2015, Stellenbosch. Lecture Notes in Computer Science, 2015. v. 9232. p. 126-131.

18.
DE MELO, WHEIDIMA C. ; DE LIMA FILHO, EDDIE B. ; DA SILVA, WALDIR S. . Electromyographic signal compression based on two-dimensional techniques. In: 2015 IEEE 4th Global Conference on Consumer Electronics (GCCE), 2015, Osaka. 2015 IEEE 4th Global Conference on Consumer Electronics (GCCE). p. 515-516.

19.
FARIAS, FELIPE DE S. ; WALDIR, S. S. ; DE LIMA FILHO, EDDIE B. ; MELO, WHEIDIMA C. . Automated content detection on TVs and computer monitors. In: 2015 IEEE 4th Global Conference on Consumer Electronics (GCCE), 2015, Osaka. 2015 IEEE 4th Global Conference on Consumer Electronics (GCCE). p. 177-178.

20.
DOS SANTOS, KENNY V. ; WALDIR, S. S. ; SILVA, LUIZ E. S. E ; FARIAS, FELIPE S. ; DE MELO, WHEIDIMA CARNEIRO ; de Lima Filho, Eddie Batista . Discriminative filtering with principal component analysis and adaptive alignment. In: 2015 IEEE 4th Global Conference on Consumer Electronics (GCCE), 2015, Osaka. 2015 IEEE 4th Global Conference on Consumer Electronics (GCCE). p. 521-522.

21.
MELO, W. C. ; de Lima Filho, E.B. ; DA SILVA JUNIOR, WALDIR SABINO . Compressão de Sinais Eletromiográficos Baseada em Técnicas Bidimensionais. In: XXXIII Simpósio Brasileiro de Telecomunicações (SBrT), 2015, Juiz de Fora. Anais do XXXIII Simpósio Brasileiro de Telecomunicações (SBrT), 2015. p. 1-5.

22.
VINENTE, K. ; MELO, W. C. ; DA SILVA JUNIOR, WALDIR SABINO ; de Lima Filho, E.B. . Filtragem Discriminativa com Análise de Componentes Principais e Alinhamento Adaptativo. In: XXXIII Simpósio Brasileiro de Telecomunicações (SBrT), 2015, Juiz de Fora. Anais do XXXIII Simpósio Brasileiro de Telecomunicações (SBrT), 2015. p. 1-5.

23.
DA SILVA JUNIOR, WALDIR SABINO ; CARVALHO, C. B. ; VINENTE, K. ; E SILVA, L. E. S. ; MELO, W. C. ; de Lima Filho, E.B. ; da Silva, Eduardo A. B. ; ARAUJO, G. M. . Programa de Formação Complementar em Sistemas de Processamento Digital de Imagens em Colaboração com a Indústria para Alunos de Graduação. In: II Fórum de Educação em Engenharia de Computação - FEEC 2015, 2015, Foz do Iguaçu. Proceedings of the Brazilian Symposium on Computing Systems Engineering' 2015, 2015. p. 1-8.

24.
DE FARIAS, BRUNO C. ; DE LIMA FILHO, EDDIE B. ; BEZERRA, EDUARDO A. . A proposal for clock reference correction in MPEG-2 transport stream processors. In: 2014 International Telecommunications Symposium (ITS), 2014, Sao Paulo. 2014 International Telecommunications Symposium (ITS). p. 1-5.

25.
AMOEDO, DIEGO ALVES ; DA SILVA JUNIOR, WALDIR SABINO ; de Lima Filho, Eddie Batista . Parameter selection for SVM in automatic modulation classification of analog and digital signals. In: 2014 International Telecommunications Symposium (ITS), 2014, Sao Paulo. 2014 International Telecommunications Symposium (ITS). p. 1.

26.
JANUARIO, F. ; CORDEIRO, L. C. ; de Lima Filho, E.B. ; LUCENA JUNIOR, V. F. . BMCLua: Verificação de Programas Lua com Bounded Model Checking. In: IV Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2014, Manaus. Anais do IV Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2014.

27.
JANUARIO, FRANCISCO A. P. ; CORDEIRO, LUCAS C. ; LUCENA, VICENTE F. DE ; LIMA FILHO, EDDIE B. DE . BMCLua: Verification of Lua programs in digital TV interactive applications. In: 2014 IEEE 3rd Global Conference on Consumer Electronics (GCCE), 2014, Tokyo. 2014 IEEE 3rd Global Conference on Consumer Electronics (GCCE). p. 707-708.

28.
SAVINO, H. J. ; Eddie B. L. Filho . A Framework for Adaptive PCR Jitter Correction in MPEG-2 TS Processors. In: XXXI Simpósio Brasileiro de Telecomunicações, 2013, Fortaleza. SBrT 2013, 2013.

29.
RENATO ABREU ; LUCAS CORDEIRO ; Eddie B. L. Filho . Verifying Fixed-Point Digital Filters Using SMT-Based Bounded Model Checking. In: XXXI Simpósio Brasileiro de Telecomunicações, 2013, Fortaleza. SBrT 2013, 2013.

30.
FRANCISCO JANUÁRIO ; LUCAS CORDEIRO ; Eddie B. L. Filho . Verificação De Códigos Lua Utilizando BMCLua. In: XXXI Simpósio Brasileiro de Telecomunicações, 2013, Fortaleza. SBrT 2013, 2013.

31.
MAURO DE FREITAS ; MIKHAIL YASHA GADELHA ; LUCAS CORDEIRO ; WALDIR SILVA ; Eddie B. L. Filho . Verificação De Propriedades De Filtros Digitais Implementados Com Aritmética De Ponto Fixo. In: XXXI Simpósio Brasileiro de Telecomunicações, 2013, Fortaleza. SBrT 2013, 2013.

32.
SAVINO, H. J. ; E. B. L. Filho . Correção de PCR integrada à Adaptação de Taxa para processadores de fluxos de transporte MPEG-2. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos - SBRC, 2012, Ouro Preto - MG. Anais do Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2012. p. 436-447.

33.
MELO, W. C. ; E. B. L. Filho . Electromyographic Signal Compression Based on Preprocessing Techniques. In: 34th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2012, San Diego. Proceedings of the 34th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2012. p. 5404-5407.

34.
OLIVEIRA, R. R. ; Filho, E. B. L. ; LUCENA JUNIOR, V. F. . Reconfigurable Systems for Digital TV Environment. In: 10th European Interactive TV Conference, 2012, Berlin. Adjunct Proceedings of the 10th European Interactive TV Conference. Berlin: Fraunhofer Institute for Open Communication Systems, FOKUS, 2012. v. 1. p. 233-236.

35.
PINHEIRO, C. F. ; Filho, E. B. L. ; OLIVEIRA, R. R. ; CAVALCANTE, A. A. M. ; KLEHM, V. S. ; PEREIRA, D. P. . Uma Proposta de Suíte de Testes de Conformidade para o Ginga-NCL. In: XXX Simpósio Brasileiro de Telecomunicações, 2012, Brasília-DF. Anais do XXX Simpósio Brasileiro de Telecomunicações, 2012.

36.
SAVINO, H. J. ; Filho, E. B. L. . Um Contador Controlado por Semáforos Para a Correção de PCR. In: XXX Simpósio Brasileiro de Telecomunicações, 2012, Brasília. Anais do XXX Simpósio Brasileiro de Telecomunicações, 2012.

37.
MELO, W. C. ; Filho, E. B. L. ; SILVA JUNIOR, W. S. . Compressao de Sinais Eletromiográficos Baseada em Técnicas de Pré-processamento. In: XXX Simpósio Brasileiro de Telecomunicações, 2012, Brasília. Anais do XXX Simpósio Brasileiro de Telecomunicações, 2012.

38.
SAVINO, H. J. ; Filho, E. B. L. . PCR Jitter Control Based on a Semaphore-Controlled Counter. In: 20th International Conference on Software, Communications and Computer Networks, 2012, Split, Croatia. Proceedings of the 20th International Conference on Software, Communications and Computer Networks, 2012.

39.
SAVINO, H. J. ; Filho, E. B. L. ; SILVA JUNIOR, W. S. . Compressão de Sinais de EEG com JPEG2000 e H.264. In: XXX Simpósio Brasileiro de Telecomunicações, 2012, Brasília. Anais do XXX Simpósio Brasileiro de Telecomunicações, 2012.

40.
OLIVEIRA, R. R. ; E. B. L. Filho ; LUCENA JUNIOR, V. F. . A Framework for Hardware Reconfiguration using the Digital TV Signal. In: 8th FPGAworld Conference, 2011, Munique. Proceedings of the 87th FPGAworld Conference, 2011.

41.
OLIVEIRA, R. R. ; E. B. L. Filho ; LUCENA, V. F. . Metodologia de Reconfiguração de Hardware utilizando o Sinal de TV Digital. In: VI Congresso Ibero-americano de Telemática, 2011, Gramado. Anais do VI Congresso Ibero-americano de Telemática - CITA, 2011.

42.
DESSET, C. ; E. B. L. Filho ; LENOIR, G. . WiMAX Downlink OFDMA Burst Placement for Optimized Receiver Duty-Cycling. In: IEEE International Conference on Communications, 2007, Glasgow. Proceedings of the IEEE ICC 2007, 2007. p. 5149-5154.

43.
E. B. L. Filho; ABECASSIS, U. ; SILVA JUNIOR, W. S. ; SILVA, E. A. B. ; CARVALHO, M. B. . Casamento Lateral Generalizado Combinado à Recorrência de Padrões Multiescalas: Um Novo Esquema para a Compressão de Imagens. In: XXV Simpósio Brasileiro de Telecomunicações - SBrT 2007, 2007, Recife. Anais do XXV Simpósio Brasileiro de Telecomunicações, 2007.

44.
de Lima Filho, Eddie Batista; ABECASSIS, U. ; SILVA JUNIOR, W. S. ; da Silva, Eduardo A. B. ; CARVALHO, M. B. . Multiscale Recurrent Patterns and Generalised Side-Match Applied to Image Compression. In: Picture Coding Symposium -- PCS, 2007, Lisboa. Proceedings of the 2007 Picture Coding Symposium, 2007.

45.
E. B. L. Filho; SILVA, E. A. B. ; SILVA JUNIOR, W. S. ; CARVALHO, M. B. . ECG Compression using Multiscale Recurrent Patterns with Period Normalization. In: IEEE 2007 International Symposium on Circuits and Systems, 2006, Kos. Proceedings of 2006 IEEE International Symposium on Circuits and Systems, 2006. p. 1607-1610.

46.
SILVA JUNIOR, W. S. ; E. B. L. Filho ; SILVA, E. A. B. ; CARVALHO, M. B. . Compressão de Sinais Multidimensionais utilizando Recorrência de Padrões Multiescalas com Segmentação Flexível. In: XXII Simpósio Brasileiro de Telecomunicações, 2005, Campinas. Anais do XXII Simpósio Brasileiro de Telecomunicações, 2005. p. 114-119.

47.
E. B. L. Filho; SILVA, E. A. B. ; CARVALHO, M. B. ; SILVA JUNIOR, W. S. . Compressão de Sinais de Eletrocardiograma utilizando Recorrência de Padrões Multiescalas com Critério de Continuidade Interblocos e Segmentação. In: XXII Simpósio Brasileiro de Telecomunicações, 2005, Campinas. Anais do XXII Simpósio Brasileiro de Telecomunicações, 2005. p. 968-973.

48.
E. B. L. Filho; SILVA, E. A. B. ; CARVALHO, M. B. . Compressão de Sinais Multidimensionais utilizando Recorrência de Padrões Multiescalas com Critério de Continuidade Interblocos. In: XXI Simpósio Brasileiro de Telecomunicações, 2004, Belém. Anais do XXI Simpósio Brasileiro de Telecomunicações, 2004.

49.
E. B. L. Filho; SILVA, E. A. B. ; CARVALHO, M. B. . Multidimensional Signal Compression using Multi-scale Recurrent Patterns with a Smooth Side-Match Criterion. In: 2004 IEEE International Conference on Image Processing, 2004, Cingapura. Porceedings of 2004 International Conference on Image Processing. p. 3201-3204.

Resumos publicados em anais de congressos
1.
E. B. L. Filho; COSTA FILHO, C. F. F. ; COSTA, M. G. F. . Segmentação e Parametrização Automáticas do Parênquima Mamário em Imagens Cintilográficas de Mama Marcadas com 99MTC-MIBI. In: Terceiro Encontro de Iniciação Científica - INIC 99, 1999, São José dos Campos. INIC 99 - Terceiro Encontro de Iniciação Científica - Anais, 1999. p. 135-135.


Produção técnica
Programas de computador sem registro
1.
de Lima Filho, Eddie Batista; OLIVEIRA, R. R. . Parser de Program Stream. 2008.

2.
CORDEIRO, L. C. ; de Lima Filho, Eddie Batista . Driver para Tuner DVB-T. 2008.

3.
de Lima Filho, Eddie Batista. Simulador WiMAX para NS-2. 2006.

4.
E. B. L. Filho; SARMANHO, M. ; MACIEL, S. . Software de controle para sistema de monitoração de armário de comutação acessus. 2000.

5.
E. B. L. Filho; BEGNINI, R. . Quantificação da incisura protodiastólica. 1999.

6.
E. B. L. Filho. Segmentação e parametrização automáticas do parênquima mamário em imagens cintilográficas de mama marcadas com 99MTC-MIBI. 1998.

Produtos tecnológicos
1.
E. B. L. Filho; RAMOS, C. ; SILVA, A. ; SILVA, V. . Personal Karaokê. 2002.

Trabalhos técnicos
1.
E. B. L. Filho; BENEVENUTI, F. ; ROMÃO, V. ; SILVA, A. ; CARVALHO, R. ; DIAS, C. . Receptor de TV digital terrestre (DTTV). 2001.


Demais tipos de produção técnica
1.
de Lima Filho, Eddie Batista. Introdução à TV Digital. 2008. (Curso de curta duração ministrado/Especialização).

2.
de Lima Filho, Eddie Batista. Introdução ao Processamento Digital de Sinais. 2008. (Curso de curta duração ministrado/Especialização).

3.
de Lima Filho, Eddie Batista. Conceitos Básicos em Televisão Digital: Visão Geral. 2008. (Curso de curta duração ministrado/Especialização).

4.
de Lima Filho, Eddie Batista. Introdução ao Processamento Digital de Sinais. 2008. (Curso de curta duração ministrado/Especialização).

5.
E. B. L. Filho. Introdução à TV Digital. 2008. (Curso de curta duração ministrado/Outra).

6.
de Lima Filho, Eddie Batista. Códigos Corretores de Erros. 2008. (Curso de curta duração ministrado/Especialização).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
CARVALHO, C. B.; OLIVEIRA, J. P.; de Lima Filho, E.B.. Participação em banca de Diego Alves Amoedo. CLASSIFICAÇÃO AUTOMÁTICA DE MODULAÇÕES MONO E MULTIPORTADORAS UTILIZANDO MÉTODO DE EXTRAÇÃO DE CARACTERÍSTICAS E CLASSIFICADORES SVM. 2017. Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.

2.
CAETANO, R.; CARVALHO, C. B.; DE LIMA FILHO, EDDIE B.. Participação em banca de Felipe de Souza Farias. Metodologia para Detecção e Inspeção Automática de Telas de TV e Monitores. 2016. Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.

3.
CORDEIRO, L. C.; de Lima Filho, E.B.; D?ANGELO, M. F. S. V.. Participação em banca de Hussama Ibrahim Ismail. Verificação de Modelos Aplicada ao Projeto de Controladores Digitais Implementados em Ponto-Fixo. 2015. Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.

4.
LUCAS CORDEIRO; SILVA, E. A. B.; de Lima Filho, E.B.. Participação em banca de Renato Barbosa Abreu. Avaliação de Projetos de Filtros Digitais de Ponto Fixo Usando Teorias do Módulo da Satisfatibilidade. 2014. Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.

5.
DE LIMA FILHO, EDDIE B.; CAETANO, R.; OLIVEIRA, J. P.. Participação em banca de Wheidima Carneiro de Melo. Compressão de Sinais Eletromiográficos Baseada em Técnicas Bidimensionais. 2014. Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.

6.
ROLDAN, H. P.; MORAES, R.; DE LIMA FILHO, EDDIE B.. Participação em banca de Bruno Carvalho de Farias. Correção de Referência de Relógio de Programa Baseada em FPGA. 2014. Dissertação (Mestrado em Programa de Pós-graduação em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

7.
FRUETT, F.; de Lima Filho, E.B.; CARDIERI, P.. Participação em banca de Marcel Salvioni da Silva. Rede de Sensores sem Fio de Baixo Custo para Monitoramento Ambiental. 2013. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas.

8.
de Lima Filho, E.B.; PINAGE, F. S.; SILVA JUNIOR, W. S.. Participação em banca de José Isaac Menezes de Souza. Sistemas de Transmissão Multiportadoras Baseados na Transformada Wavelet Discreta. 2013. Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.

9.
de Lima Filho, E.B.; SILVA JUNIOR, W. S.; CORDEIRO, L. C.; BARBOSA, C.. Participação em banca de Heitor Judiss Savino. Correção de PCR em Processadores de Fluxos de Transporte MPEG- 2. 2012. Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.

10.
E. B. L. Filho; COSTA FILHO, C. F. F.; COSTA, M. G. F.; SILVA JUNIOR, W. S.. Participação em banca de Almir Kimura Júnior. Avaliação das Métricas de Autofoco para Aplicação em Imagens de Baciloscopia de Tuberculose Obtidas Utilizando Microscopia de Campo Claro. 2010. Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.

Teses de doutorado
1.
de Lima Filho, E.B.; CARVALHO, J. L. A.; SOARTES, F. A.. Participação em banca de Marcel Henrique Trabuco. Compressão de Sinais de S-EMG Dinâmicos em Abordagens 1D e 2D. 2017. Tese (Doutorado em ENGENHARIA DE SISTEMAS ELETRÔNICOS E DE AUTOMAÇÃO) - Universidade de Brasília.

Qualificações de Mestrado
1.
BARRETO, R. S.; ROCHA, H. O.; de Lima Filho, E.B.. Participação em banca de Raimundo Williame Rocha de Melo. Verificação de Programas Embarcados Ansi-C Baseada em Indução Matemática e Invariantes. 2017. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.

2.
de Lima Filho, E.B.; CAETANO, R.; SILVA JUNIOR, W. S.. Participação em banca de Wheidima Carneiro de Melo. Compressão de Sinais Eletromiográficos Baseada em Técnicas Bidimensionais. 2014. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.

3.
de Lima Filho, E.B.; SILVA JUNIOR, W. S.; CARVALHO, C. B.. Participação em banca de Mauro Lopes de Freitas. Equalização Adaptativa Utilizando Seleção de Dados em Transceptores em Bloco com Redundância Reduzida. 2014. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.

4.
CORDEIRO, L. C.; LUCENA JUNIOR, V. F.; BARBOSA, C.; DIAS NETO, A. C.; de Lima Filho, E.B.. Participação em banca de Francisco de Assis Pereira Januário. Verificação de Códigos Lua utilizando BMC Lua. 2014. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.

5.
CORDEIRO, L. C.; de Lima Filho, E.B.; CAMINHAS, W. M.. Participação em banca de Renato Barbosa Abreu. Verificação de propriedades temporais em filtros digitais de ponto fixo usando teorias do módulo da satisfabilidade. 2013. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.

6.
de Lima Filho, E.B.; SILVA JUNIOR, W. S.; PINAGE, F. S.. Participação em banca de José Isaac Menezes de Souza. Sistemas de Transmissão Multiportadoras Baseados na Transformada Wavelet Discreta. 2013. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.

7.
de Lima Filho, E.B.; CORDEIRO, L. C.; SILVA JUNIOR, W. S.; BARBOSA, C.. Participação em banca de Heitor Judiss Savino. Correção de PCR em Processadores de Fluxos de Transporte MPEG-2. 2012. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.

Trabalhos de conclusão de curso de graduação
1.
SILVA JUNIOR, W. S.; de Lima Filho, E.B.. Participação em banca de Moisés Martins do Nascimento.Reconhecimento de Cédulas Monetárias utilizando Filtros de Correlação. 2013. Trabalho de Conclusão de Curso (Graduação em Engenharia Elétrica - Eletrônica) - Universidade Federal do Amazonas.

2.
SANTOS, K. H. F.; RIBAS, A.; Filho, E. B. L.. Participação em banca de Deyviane da Cunha Correa.Projeto de um Simulador de Enlace OFDM em Simulink. 2012. Trabalho de Conclusão de Curso (Graduação em Engenharia de Comunicações) - Instituto de Ensino Superior Fucapi.

3.
de Lima Filho, E.B.. Participação em banca de Francisco de Assis Pereira Januário.Verificação de Conformidade de Aplicativos NCL/Lua para Tv Digital. 2012. Trabalho de Conclusão de Curso (Graduação em Engenharia de Comunicações) - Instituto de Ensino Superior Fucapi.

4.
de Lima Filho, Eddie Batista; SILVA JUNIOR, W. S.; VINENTE, K.; PIMENTA, N. L.. Participação em banca de Igor Mahall Marinho de Sousa.Reconhecimento de faces utilizando filtros de correlação. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.

5.
LUCAS, W.; E. B. L. Filho. Participação em banca de Ana Paula Rocha.Análise de desempenho do padrão ISDB-TB em enlace direto na cidade de Manaus, do sinal digital HD Transmitido pela Rede Amazônica. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia de Comunicações) - Instituto de Ensino Superior Fucapi.

6.
de Lima Filho, E.B.; GUIMARAES, W. P. S.. Participação em banca de Janes Barros Lino.Aplicação da Tecnologia NGN na Rede de Telefonia Digital. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia de Comunicações) - Instituto de Ensino Superior Fucapi.

7.
de Lima Filho, E.B.; GUIMARAES, W. P. S.. Participação em banca de Tobias Corrêa do Val.Análise de implantação de um gap filler para complementar a cobertura do sinal de TV digital. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia de Comunicações) - Instituto de Ensino Superior Fucapi.

8.
COSTA FILHO, C. F. F.; LUCENA JUNIOR, V. F.; BRAGA, H. A.; E. B. L. Filho. Participação em banca de Bruno Carvalho de Farias.Desenvolvimentos em uma Plataforma de TV Digital. 2009. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Amazonas.

9.
E. B. L. Filho; LUCENA, V. F.; SOUTO, E. J. P.; SILVA, V. J.. Participação em banca de Pamela Campos Levy.Análise e implementação de serviços baseados nas informações das tabelas PSI/SI de TV digital. 2009. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Amazonas.

10.
E. B. L. Filho; SILVA, T. J.; MELO, E. F.. Participação em banca de Rebeca Perez barbosa.Telemedicina: um estudo sobre eletrocardiograma Remoto. 2006. Trabalho de Conclusão de Curso (Graduação em Engenharia de Comunicações) - Instituto de Ensino Superior Fucapi.

11.
E. B. L. Filho; SILVA, R. C. S. E.. Participação em banca de Marcus Vinitius de Farias Guerra Júnior.Experimento com a Tecnologia WAP através de um Protótipo de Sistema de Inventário Doméstico. 2006. Trabalho de Conclusão de Curso (Graduação em Engenharia de Comunicações) - Instituto de Ensino Superior Fucapi.

12.
E. B. L. Filho; BARBOSA, C.; SILVA, R. C. S. E.. Participação em banca de Tarsys Hayden Lopes.Estudo dos Sistemas IS-136 e GSM. 2005. Trabalho de Conclusão de Curso (Graduação em Engenharia de Comunicações) - Instituto de Ensino Superior Fucapi.

13.
de Lima Filho, E.B.; MENDONCA, G. V.. Participação em banca de Viviane de Medeiros Calaça Gomes.Compressão de Sinais de Eletrocardiograma Utilizando o algoritmo MMP. 2004. Trabalho de Conclusão de Curso (Graduação em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro.




Eventos



Participação em eventos, congressos, exposições e feiras
1.
XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais.Electroencephalographic Signal Compression Based on Adaptive Segmentation and Video Encoders. 2017. (Simpósio).

2.
2015 IEEE 4th Global Conference on Consumer Electronics (GCCE). Discriminative filtering with principal component analysis and adaptive alignment. 2015. (Congresso).

3.
International Telecommunication Symposium - ITS. 2014. (Simpósio).

4.
XXXI Simpósio Brasileiro de Telecomunicações.A Framework for Adaptive PCR Jitter Correction in MPEG-2 TS Processors. 2013. (Simpósio).

5.
XXXI Simpósio Brasileiro de Telecomunicações (SBrT 2013).A Framework for Adaptive PCR Jitter Correction in MPEG-2 TS Processors. 2013. (Simpósio).

6.
XXX Simpósio Brasileiro de Telecomunicações (SBrT 2012).Uma Proposta de Suíte de Testes de Conformidade para o Ginga-NCL. 2012. (Simpósio).

7.
1o Workshop de Tecnologia Eletrônica da Informação.PCR Jitter Control in MPEG-2 Transport Streams. 2011. (Oficina).

8.
SET Norte 2010.Apresentação de equipamento de medição. 2010. (Seminário).

9.
XXVII Simpósio Brasileiro de Telecomunicações.Codificação Além das Transformadas. 2009. (Simpósio).

10.
Feira Internacional da Amazônia - FIAM.TV Digital e segmentos conexos: cenário atual e tendências emergentes na região. 2008. (Outra).

11.
Congresso SET 2007. 2007. (Congresso).

12.
Picture Coding Symposium.Multiscale Recurrent Patterns and Generalised Side-Match Applied to Image Compression. 2007. (Simpósio).

13.
IEEE 2007 International Symposium on Circuits and Systems.ECG Compression using Multiscale Recurrent Patterns with Period Normalization. 2006. (Simpósio).

14.
XXI Simpósio Brasileiro de Telecomunicações.Compressão de Sinais Multidimensionais utilizando Recorrência de Padrões Multiescalas com Critério de Continuidade Interblocos. 2004. (Simpósio).



Orientações



Orientações e supervisões concluídas
Dissertação de mestrado
1.
Diego Alves amoedo. CLASSIFICAÇÃO AUTOMÁTICA DE MODULAÇÕES MONO E MULTIPORTADORAS UTILIZANDO MÉTODO DE EXTRAÇÃO DE CARACTERÍSTICAS E CLASSIFICADORES SVM. 2017. Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas, . Orientador: Eddie Batista de Lima Filho.

2.
Felipe de Souza Farias. Metodologia para Detecção e Inspeção Automática de Telas de TV e Monitores. 2016. Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Eddie Batista de Lima Filho.

3.
Francisco Januário. BMCLua: Plataforma para Verificação de Códigos Lua Utilizando Bounded Model Checking. 2015. Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Eddie Batista de Lima Filho.

4.
Renato Barbosa Abreu. Avaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Teorias do Módulo da Satisfatibilidade. 2014. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Amazonas, . Coorientador: Eddie Batista de Lima Filho.

5.
Bruno Carvalho de Farias. Correção de Referência de Relógio de Programa Baseada FPGA. 2014. Dissertação (Mestrado em PROGRAMA DE POS GRADUAÇÃO EM ENGENHARIA ELETRICA) - Universidade Federal de Santa Catarina, . Coorientador: Eddie Batista de Lima Filho.

6.
Mauro Lopes de Freitas. Equalização Adaptativa Utilizando Seleção de Dados em Transceptores em Bloco com Redundância Reduzida. 2014. Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Eddie Batista de Lima Filho.

7.
Wheidima Carneiro de Melo. Compressão de Sinais Eletromiográficos Baseada em Técnicas Bidimensionais. 2014. Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas, . Orientador: Eddie Batista de Lima Filho.

8.
José Isaac Menezes de Souza. Sistemas de Transmissão Multiportadoras Baseados na Transformada Wavelet discreta. 2013. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Amazonas, . Orientador: Eddie Batista de Lima Filho.

9.
Heitor Judiss Savino. Correção de PCR em Processadores de Fluxos de Transporte MPEG-2. 2012. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Amazonas, Fundação de Apoio Institucional Rio Solimões. Orientador: Eddie Batista de Lima Filho.

Monografia de conclusão de curso de aperfeiçoamento/especialização
1.
José Maria Amoras Pessoa. Projeto de um CODEC Turbo em Matlab. 2011. Monografia. (Aperfeiçoamento/Especialização em Especialização em Televisão Digital) - Universidade Federal do Amazonas. Orientador: Eddie Batista de Lima Filho.

2.
Wheidima Carneiro de Melo. Uma Implementação de Códigos LDPC em Matlab. 2011. Monografia. (Aperfeiçoamento/Especialização em Especialização em Televisão Digital) - Universidade Federal do Amazonas. Orientador: Eddie Batista de Lima Filho.

Trabalho de conclusão de curso de graduação
1.
Francisco de Assis Pereira Januário. Verificação de Conformidade de Aplicativos NCL/Lua para Tv Digital. 2012. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Comunicações) - Instituto de Ensino Superior Fucapi. Orientador: Eddie Batista de Lima Filho.

2.
Janes Barros Lino. Aplicação da Tecnologia NGN na Rede de Telefonia Digital. 2011. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Telecomunicações) - Instituto de Ensino Superior Fucapi. Orientador: Eddie Batista de Lima Filho.

3.
Tobias Corrêa do Val. Análise de implantação de um gap filler para complementar a cobertura do sinal de TV digital. 2011. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Comunicações) - Instituto de Ensino Superior Fucapi. Orientador: Eddie Batista de Lima Filho.

4.
Bruno Carvalho de Farias. Desenvolvimentos em uma Plataforma de TV Digital. 2009. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Universidade Federal do Amazonas. Orientador: Eddie Batista de Lima Filho.

5.
Pamela Campos Levy. Análise e Implementação de Serviços Baseados nas Informações das Tabelas PSI/SI de TV Digital. 2009. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Universidade Federal do Amazonas. Orientador: Eddie Batista de Lima Filho.




Página gerada pelo Sistema Currículo Lattes em 19/12/2018 às 7:20:40