Eddie Batista de Lima Filho
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.
Informações coletadas do Lattes em 23/05/2023
Acadêmico
Formação acadêmica
Doutorado em Engenharia Elétrica
2004 - 2008
Universidade Federal do Rio de Janeiro
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. 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: EngenhariasGrande Á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.
Mestrado em Engenharia Elétrica
2002 - 2003
Universidade Federal do Rio de Janeiro
Título: Compressão de Imagens utilizando Recorrência de Padrões Multiescalas com Critério de Continuidade Interblocos, Ano de Obtenção: 2004
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: EngenhariasGrande Á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.
Graduação em Engenharia Elétrica
1997 - 1999
Universidade Federal do Amazonas
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
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.
2000 - 2000
Telefonia Geral. (Carga horária: 18h). , Trópico Sistemas e Telecomunicações, TROPICO, Brasil.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Alemão
Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.
Áreas de atuação
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Telecomunicações/Especialidade: Sistemas de Telecomunicações.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Circuitos Elétricos, Magnéticos e Eletrônicos/Especialidade: Circuitos Eletrônicos.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Processamento de sinais.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Compressão de dados.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Telecomunicações/Especialidade: TV Digital.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Sistemas Embarcados.
Participação em eventos
2019 IEEE International Conference on Consumer Electronics - Taiwan. An Architecture for Test Execution in Video Monitor and Digital TV Receiver Production Lines. 2019. (Congresso).
2018 IEEE International Conference on Consumer Electronics. RFID-based scheme for TV receiver control in case of theft. 2018. (Congresso).
XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais.Electroencephalographic Signal Compression Based on Adaptive Segmentation and Video Encoders. 2017. (Simpósio).
2015 IEEE 4th Global Conference on Consumer Electronics (GCCE). Discriminative filtering with principal component analysis and adaptive alignment. 2015. (Congresso).
International Telecommunication Symposium - ITS. 2014. (Simpósio).
XXXI Simpósio Brasileiro de Telecomunicações.A Framework for Adaptive PCR Jitter Correction in MPEG-2 TS Processors. 2013. (Simpósio).
XXXI Simpósio Brasileiro de Telecomunicações (SBrT 2013).A Framework for Adaptive PCR Jitter Correction in MPEG-2 TS Processors. 2013. (Simpósio).
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).
1o Workshop de Tecnologia Eletrônica da Informação.PCR Jitter Control in MPEG-2 Transport Streams. 2011. (Oficina).
SET Norte 2010.Apresentação de equipamento de medição. 2010. (Seminário).
XXVII Simpósio Brasileiro de Telecomunicações.Codificação Além das Transformadas. 2009. (Simpósio).
Feira Internacional da Amazônia - FIAM.TV Digital e segmentos conexos: cenário atual e tendências emergentes na região. 2008. (Outra).
Congresso SET 2007. 2007. (Congresso).
Picture Coding Symposium.Multiscale Recurrent Patterns and Generalised Side-Match Applied to Image Compression. 2007. (Simpósio).
IEEE 2007 International Symposium on Circuits and Systems.ECG Compression using Multiscale Recurrent Patterns with Period Normalization. 2006. (Simpósio).
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).
Participação em bancas
DE LIMA FILHO, EDDIE B.; BARRETO, R. S.; MEDEIROS, R. L. P.. Uma Abordagem de Otimização Guiada por Contraexemplos usando Solucionadores SAT e SMT. 2019. Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.
de Lima Filho, Eddie BatistaDA SILVA JÚNIOR, WALDIR S.; BARRETO, R. S.. Verificação e Síntese de Controladores de Realimentação de Estados Estática com Garantias Formais de Desempenho não Frágil. 2019. Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.
de Lima Filho, Eddie BatistaCORDEIRO, L. C.; BARRETO, R. S.. Verificação de Programas Multitarefas baseada no Framework Multiplataforma QT. 2019. Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.
de Lima Filho, Eddie BatistaDA SILVA JÚNIOR, WALDIR S.; CAETANO, R.. Compressão de Sinais de Eletrocardiograma utilizando Técnicas de Codificação Distribuída. 2019. Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.
DE LIMA FILHO, EDDIE B.; BARRETO, R. S.; DIAS NETO, A. C.. Localização de Falhas em Programas Concorrentes em C. 2018. Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.
de Lima Filho, E.B.; CARVALHO, J. R. H.;DA SILVA JÚNIOR, WALDIR S.. Formal Verification Applied to Attitude Control Sofware of Unmanned Aerial Vehicles. 2018. Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.
CARVALHO, C. B.; OLIVEIRA, J. P.;de Lima Filho, E.B.. 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.
de Lima Filho, E.B.; BARRETO, R. S.; ROCHA, H. O.. Verificação de Programas Embarcados Ansi-C Baseada em Indução Matemática e Invariantes. 2017. Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.
CAETANO, R.; CARVALHO, C. B.;DE LIMA FILHO, EDDIE B.. 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.
CORDEIRO, L. C.de Lima Filho, E.B.; D?ANGELO, M. F. S. V.. 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.
LUCAS CORDEIRO;SILVA, E. A. B.de Lima Filho, E.B.. 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.
DE LIMA FILHO, EDDIE B.; CAETANO, R.; OLIVEIRA, J. P.. 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.
ROLDAN, H. P.; MORAES, R.;DE LIMA FILHO, EDDIE B.. 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.
FRUETT, F.;de Lima Filho, E.B.; CARDIERI, P.. Rede de Sensores sem Fio de Baixo Custo para Monitoramento Ambiental. 2013. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas.
de Lima Filho, E.B.; PINAGE, F. S.;SILVA JUNIOR, W. S.. 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.
de Lima Filho, E.B.SILVA JUNIOR, W. S.CORDEIRO, L. C.BARBOSA, C.. 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.
E. B. L. Filho; COSTA FILHO, C. F. F.; COSTA, M. G. F.;SILVA JUNIOR, W. S.. 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.
de Lima Filho, E.B.; CARVALHO, J. L. A.; SOARTES, F. A.. 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.
CORDEIRO, L.; SANTOS, E. M.;de Lima Filho, E.B.. AUTOMATED VERIFICATION AND REFUTATION OF QUANTIZED NEURAL NETWORKS. 2022. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.
DE LIMA FILHO, EDDIE B.SILVA JUNIOR, W. S.; CARVALHO, C. B.. Compressão de Sinais de Eletrocardiograma utilizando Técnicas de Codificação Distribuída. 2019. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.
de Lima Filho, Eddie BatistaDA SILVA JÚNIOR, WALDIR S.; CARVALHO, C. B.. Síntese de Sistemas de Controle Discretos com Realimentação de Estados e Baseada em Requisitos de Desempenho. 2019. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.
CORDEIRO, L. C.; MORAES, C. A.;de Lima Filho, Eddie Batista. Verificação de Programas Multitarefas baseada no Framework Multiplataforma QT. 2019. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.
de Lima Filho, Eddie BatistaDA SILVA JÚNIOR, WALDIR S.; COSTA, A. L. A.. Sistema de Reconhecimento de Placa Veicular Utilizando Representações por Transformada de Fourier e Aprendizado de Máquina. 2019. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.
de Lima Filho, Eddie BatistaDA SILVA JUNIOR, WALDIR SABINO; COSTA, A. L. A.. Transcritor Musical Automático Otimizado para Violão. 2019. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.
DE LIMA FILHO, EDDIE B.; BARRETO, R. S.; DIAS NETO, A. C.. Localização de Falhas em Programas Concorrentes em C. 2018. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.
DE LIMA FILHO, EDDIE B.; BARRETO, R. S.; MEDEIROS, R. L. P.. Uma Abordagem de Otimização Guiada por Contraexemplos usando Solucionadores SAT e SMT. 2018. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.
BARRETO, R. S.; ROCHA, H. O.;de Lima Filho, E.B.. 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.
de Lima Filho, E.B.; CARVALHO, J. R. H.;DA SILVA JÚNIOR, WALDIR S.. Formal Verification Applied to Attitude Control Sofware of Unmanned Aerial Vehicles. 2017. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.
de Lima Filho, E.B.; CARVALHO, C. B.;DA SILVA JÚNIOR, WALDIR S.. Classificação Automática de Sinais Modulados Utilizando Máquina de Vetor Suporte. 2016. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.
DA SILVA JÚNIOR, WALDIR S.de Lima Filho, E.B.; CARVALHO, C. B.. Detectores por Produto Interno Utilizando Programação Paralela. 2016. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas.
de Lima Filho, E.B.; CAETANO, R.;SILVA JUNIOR, W. S.. 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.
CORDEIRO, L. C.LUCENA JUNIOR, V. F.BARBOSA, C.; DIAS NETO, A. C.;de Lima Filho, E.B.. 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.
de Lima Filho, E.B.SILVA JUNIOR, W. S.; CARVALHO, C. B.. 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.
CORDEIRO, L. C.de Lima Filho, E.B.; CAMINHAS, W. M.. 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.
de Lima Filho, E.B.SILVA JUNIOR, W. S.; PINAGE, F. S.. 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.
de Lima Filho, E.B.CORDEIRO, L. C.SILVA JUNIOR, W. S.BARBOSA, C.. 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.
SILVA JUNIOR, W. S.de Lima Filho, E.B.. 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.
SANTOS, K. H. F.; RIBAS, A.;Filho, E. B. L.. 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.
de Lima Filho, E.B.. 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.
de Lima Filho, Eddie BatistaSILVA JUNIOR, W. S.; VINENTE, K.; PIMENTA, N. L.. 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.
LUCAS, W.;E. B. L. Filho. 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.
de Lima Filho, E.B.; GUIMARAES, W. P. S.. 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.
de Lima Filho, E.B.; GUIMARAES, W. P. S.. 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.
COSTA FILHO, C. F. F.;LUCENA JUNIOR, V. F.; BRAGA, H. A.;E. B. L. Filho. 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.
E. B. L. Filho; LUCENA, V. F.; SOUTO, E. J. P.; SILVA, V. J.. 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.
E. B. L. Filho; SILVA, T. J.; MELO, E. F.. 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.
E. B. L. Filho; SILVA, R. C. S. E.. 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.
E. B. L. FilhoBARBOSA, C.; SILVA, R. C. S. E.. 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.
de Lima Filho, E.B.; MENDONCA, G. V.. 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.
Orientou
Síntese de Sistemas de Controle Discretos com Realimentação de Estados e Baseada em Requisitos de Desempenho; 2019; Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas, Fundação de Amparo a Pesquisa do Estado do Amazonas; Orientador: Eddie Batista de Lima Filho;
Compressão de Sinais de Eletrocardiograma utilizando Técnicas de Codificação Distribuída; 2019; Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas,; Orientador: Eddie Batista de Lima Filho;
Localização de Falhas em Programas Concorrentes em C; 2018; Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas,; Orientador: Eddie Batista de Lima Filho;
Formal Verification Applied to Attitude Control Software of Unmanned Aerial Vehicles; 2018; Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal do Amazonas,; Coorientador: Eddie Batista de Lima Filho;
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;
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;
BMCLua: Metodologia 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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
Produções bibliográficas
-
CAVALCANTE, THIAGO ; BESSA, IURY ; LIMA FILHO, EDDIE B. DE ; CORDEIRO, LUCAS C. . Formal synthesis of non-fragile state-feedback digital controllers considering performance requirements for step response. Scientific Reports , v. 12, p. 15429, 2022.
-
IZUMI, FABRICIO ; DE LIMA FILHO, EDDIE B. ; CORDEIRO, LUCAS C. ; MAIA, ORLEWILSON ; FABRÍCIO, RÔMULO ; FARIAS, BRUNO ; SILVA, AGUINALDO . A fuzzing-based test-creation approach for evaluating digital TV receivers via transport streams. SOFTWARE TESTING, VERIFICATION AND RELIABILITY , v. 1, p. 1, 2022.
-
OLIVEIRA, RODRIGO RIBEIRO DE ; GUIMARÃES, FELIPE AUGUSTO SOUZA ; LUCENA, MATEUS MARTÍNEZ DE ; CORDEIRO, LUCAS CARVALHO ; FILHO, EDDIE BATISTA DE LIMA ; LUCENA, VICENTE FERREIRA DE . Hardware Update through Digital TV Signals. ELECTRONICS , v. 10, p. 3072, 2021.
-
CAVALCANTE, THIAGO ; BESSA, IURY ; FILHO, EDDIE ; CORDEIRO, LUCAS . Formal Non-fragile Verification of Step Response Requirements for Digital State-Feedback Control Systems. JOURNAL OF CONTROL, AUTOMATION AND ELECTRICAL SYSTEMS , v. 31, p. 557-573, 2020.
-
ALHAWI, OMAR M. ; ROCHA, HERBERT ; GADELHA, MIKHAIL R. ; CORDEIRO, LUCAS C. ; BATISTA, EDDIE . Verification and refutation of C programs based on k-induction and invariant inference. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER (INTERNET) , v. 2020, p. 1, 2020.
-
CORDEIRO, LUCAS C. ; FILHO, EDDIE B. DE LIMA ; Bessa, Iury V. . Survey on automated symbolic verification and its application for synthesising cyber-physical systems. IET Cyber-Physical Systems: Theory & Applications , v. 5, p. 1-24, 2020.
-
CHAVES, LENNON C. ; Ismail, Hussama I. ; Bessa, Iury V. ; CORDEIRO, LUCAS C. ; DE LIMA FILHO, EDDIE B. . Verifying Fragility in Digital Systems with Uncertainties using DSVerifier v2.0. JOURNAL OF SYSTEMS AND SOFTWARE , v. 153, p. 22-43, 2019.
-
CHAVES, 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.
-
ALVES, 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.
-
DE 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.
-
SAVINO, 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.
-
SOUSA, 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.
-
MONTEIRO, 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.
-
MONTEIRO, 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.
-
DE 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.
-
ABREU, 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.
-
CARNEIRO 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.
-
CORDEIRO, 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.
-
de 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.
-
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.
-
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.
-
de 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.
-
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.
-
Albuquerque, Higo F. ; Araújo, Rodrigo F. ; Bessa, Iury V. ; CORDEIRO, LUCAS C. ; DE LIMA FILHO, EDDIE B. . OptCE: A Counterexample-Guided Inductive Optimization Solver. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2017, v. 10623, p. 125-141.
-
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. 9641, p. 97-103.
-
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. 9232, p. 126-131.
-
Song, K. ; MATULEVICIUS, N. ; DE LIMA FILHO, EDDIE B. ; CORDEIRO, L. C. . ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts. In: 2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2022, Pittsburgh. Proceedings of the 2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2022. p. 1.
-
IZUMI, FABRICIO ; ANDRADE, ROBSON ; DE LIMA FILHO, EDDIE B. ; BELEM, RUAN ; FARIAS, BRUNO ; KIMURA, PETRINA ; JUNIOR, ROMULO FABRICIO . A Methodology for Automatic Evaluation of DTV Signals. In: 2021 IEEE International Conference on Consumer Electronics (ICCE), 2021, Las Vegas. 2021 IEEE International Conference on Consumer Electronics (ICCE), 2021. v. 1. p. 1.
-
RECH, JONATAS ; FREITAS, VINICIUS ; FARIAS, BRUNO ; DE LIMA FILHO, EDDIE B. ; COSTA, JEFERSON ; MACHADO, IVO ; CHEN, XIANPAN ; PINHEIRO, CLAUDIO ; XAVIER, DANIEL . A Methodology for Providing Encrypted-Content Decoding in DTV Play. In: 2021 IEEE International Conference on Consumer Electronics (ICCE), 2021, Las Vegas. 2021 IEEE International Conference on Consumer Electronics (ICCE), 2021. v. 1. p. 1.
-
DE SOUZA, MANOEL J. ; MAIA, ORLEWILSON B. ; LEITE, SAMANTHA C. ; FILHO, EDDIE B. DE LIMA ; IZUMI, FABRICIO ; ANDRADE, ROBSON R. ; CORREA, PAULO . A Framework for Automatic Field Evaluation of DTV Receivers. In: 2021 IEEE International Conference on Consumer Electronics (ICCE), 2021, Las Vegas. 2021 IEEE International Conference on Consumer Electronics (ICCE), 2021. v. 1. p. 1.
-
FARIAS, BRUNO CARVALHO DE ; FILHO, EDDIE B. DE LIMA ; MAIA, ORLEWILSON BENTES ; SOUTO, EDUARDO . Extensions to Middleware Ginga for Integration with IoT Environments. In: 2020 IEEE International Conference on Consumer Electronics (ICCE), 2020, Las Vegas. 2020 IEEE International Conference on Consumer Electronics (ICCE), 2020. p. 1.
-
KIMURA, PETRINA ; FARIAS, BRUNO ; COSTA, JEFERSON ; FABRICIO, ROMULO ; FILHO, EDDIE B. DE LIMA . A Methodology for Upgrading Legacy Middleware Ginga Implementations to Profile Ginga-D. In: 2020 IEEE International Conference on Consumer Electronics (ICCE), 2020, Las Vegas. 2020 IEEE International Conference on Consumer Electronics (ICCE), 2020. p. 1.
-
SILVA, AGUINALDO ; AMORIM, ALLAN ; FABRICIO, ROMULO ; CAMPIOLO, LUCAS ; FILHO, EDDIE B. DE LIMA . A Methodology for Self-diagnosis and Behavior Correction in Digital Television Receivers: Initial Concept. In: 2020 IEEE International Conference on Consumer Electronics (ICCE), 2020, Las Vegas. 2020 IEEE International Conference on Consumer Electronics (ICCE), 2020. p. 1.
-
BELEM, RUAN ; CRUZ, CAIO ; PIMENTEL, AGEMILSON ; de Lima Filho, Eddie ; COIMBRA, LUCAS ; JESUS, ANDERSON ; COSTA, ANDRE ; SILVA, OSMAR ; JUNIOR, WILSON ; PAULA, RICARDO . Automated Video Monitor Screen Extraction using Semantic Segmentation and CNN. In: 2020 IEEE International Conference on Consumer Electronics Taiwan (ICCETaiwan), 2020, Taoyuan. 2020 IEEE International Conference on Consumer Electronics - Taiwan (ICCE-Taiwan), 2020. p. 1.
-
VALADÃO, MYKE ; SILVA, WALDIR ; COSTA, ANDRÉ ; CARVALHO, CELSO ; AMOEDO, DIEGO ; CORDEIRO, LUCAS ; FILHO, EDDIE ; PEREIRA, ANTONIO . Classificação Automática de Modulações utilizando Redes Neurais Artificiais com regularização Bayesiana e algoritmo de retropropagação de Levenberg-Marquardt. In: XXXVIII Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2020. Anais de XXXVIII Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2020.
-
DA COSTA, JEFERSON B. ; ARAUJO, NICOLI ; SILVA, AGUINALDO ; FABRICIO, ROMULO ; DE LIMA FILHO, EDDIE B. . An Architecture for Content Multiplexing and Enhanced Connectivity in Digital TV Receivers. In: 2019 IEEE International Conference on Consumer Electronics (ICCE), 2019, Las Vegas. 2019 IEEE International Conference on Consumer Electronics (ICCE), 2019. p. 1.
-
FARIAS, BRUNO ; ARAUJO, NICOLI ; FABRICIO, ROMULO ; DA COSTA, JEFERSON B. ; DE LIMA FILHO, EDDIE B. . A Methodology for Convergence Between Ginga and HbbTV. In: 2019 IEEE International Conference on Consumer Electronics (ICCE), 2019, Las Vegas. 2019 IEEE International Conference on Consumer Electronics (ICCE), 2019. p. 1.
-
AMORIM, ALLAN ; PIMENTEL, AGEMILSON ; KIMURA, PETRINA ; CHEN, XIANPAN ; DE LIMA FILHO, EDDIE B. . An Architecture for Multimedia Transmission Through Infrared Light Communications in Consumer Electronics Environments: First Results. In: 2019 IEEE International Conference on Consumer Electronics (ICCE), 2019, Las Vegas. 2019 IEEE International Conference on Consumer Electronics (ICCE), 2019. p. 1.
-
JUNIOR, MANOEL JOSE S. ; MAIA, ORLEWILSON B. ; FILHO, EDDIE B. L. ; FABRICIO, ROMULO ; SILVA, AGUINALDO . An Automated Testing Methodology For Digital TV Middleware Implementations. In: 2019 IEEE 9th International Conference on Consumer Electronics (ICCEBerlin), 2019, Berlin. 2019 IEEE 9th International Conference on Consumer Electronics (ICCE-Berlin), 2019. p. 400.
-
GUIMARAES, G. ; FERNANDES, J. ; COSTA, A. ; FABRICIO, R. ; JUNIOR, M. ; DE LIMA FILHO, E. . A Methodology for Intuitive and Low-Attention TV Remote Control on Smart Phones. In: 2019 IEEE International Conference on Consumer Electronics Taiwan (ICCETW), 2019, YILAN. 2019 IEEE International Conference on Consumer Electronics - Taiwan (ICCE-TW), 2019. p. 1.
-
IZUMI, F. ; FARIAS, B. ; DE LIMA FILHO, E. ; AMORIM, A. ; MAIA, O. BENTES ; SILVA, A. . Evaluation of Digital TV Receivers with Noncompliant MPEG-2 Transport Streams. In: 2019 IEEE International Conference on Consumer Electronics Taiwan (ICCETW), 2019, YILAN. 2019 IEEE International Conference on Consumer Electronics - Taiwan (ICCE-TW), 2019. p. 1.
-
BELEM, R. ; CRUZ, C. ; KIMURA, P. ; AMORIM, A. ; FILHO, E. LIMA ; SILVA, O. ; COIMBRA, L. . An Architecture for Test Execution in Video Monitor and Digital TV Receiver Production Lines. In: 2019 IEEE International Conference on Consumer Electronics Taiwan (ICCETW), 2019, YILAN. 2019 IEEE International Conference on Consumer Electronics - Taiwan (ICCE-TW), 2019. p. 1.
-
SOUZA, PATRESE ; SILVA, WALDIR ; FILHO, EDDIE ; CORDEIRO, LUCAS . Compressão de Sinais de Eletrocardiograma Utilizando Técnicas de Codificação Distribuída. In: XXXVII Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2019, Petrópolis. Anais de XXXVII Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2019.
-
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.
-
IZUMI, FABRICIO ; VILLALBA, ADRIANO ; JONES, ALLAN ; OLIVEIRA, KARINY ; FILHO, EDDIE ; FARIAS, BRUNO ; SILVA, AGUINALDO ; AMORIM, ALLAN ; ARAÚJO, NICOLI . 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 de XXXVI Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2018.
-
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.
-
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.
-
JESUS, ANDERSON ; RODRIGUES, REBECA ; FERREIRA, ADOLPHO ; FILHO, EDDIE ; JÚNIOR, WALDIR ; VALENTE, VICTOR ; MELO, WHEIDIMA . 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 de XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2017.
-
MELLO, DANIEL ; FREITAS, MAURO ; CORDEIRO, LUCAS ; JUNIOR, WALDIR ; BESSA, IURY ; FILHO, EDDIE ; CLAVIER, LAURENT . 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 de XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2017.
-
AMOEDO, DIEGO ; MELO, WHEIDIMA ; CORDEIRO, LUCAS ; FILHO, EDDIE ; JÚNIOR, WALDIR ; CARVALHO, CELSO . 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 de XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2017.
-
MELO, WHEIDIMA ; FILHO, EDDIE ; JUNIOR, WALDIR . 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 de XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2017.
-
CAETANO, ROGÉRIO ; FILHO, EDDIE ; PORTO, CARMINA . Digital TV signal evaluation for functional tests. In: XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2017, São Pedro. Anais de XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2017.
-
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.
-
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.
-
FARIAS, FELIPE ; SILVA, LUIZ ; JÚNIOR, WALDIR ; MELO, WHEIDIMA ; FILHO, EDDIE . Detecção e Análise de Conteúdo de Telas de TV e Monitores. In: XXXIV Simpósio Brasileiro de Telecomunicações, 2016, Santarém. Anais de XXXIV Simpósio Brasileiro de Telecomunicações, 2016.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
MELO, WHEIDIMA ; FILHO, EDDIE ; JÚNIOR, WALDIR . Compressão de Sinais Eletromiográficos Baseada em Técnicas Bidimensionais. In: XXXIII Simpósio Brasileiro de Telecomunicações, 2015, Juiz de Fora. Anais de XXXIII Simpósio Brasileiro de Telecomunicações, 2015.
-
SANTOS, KENNY ; MELO, WHEIDIMA ; JÚNIOR, WALDIR ; FILHO, EDDIE . Filtragem Discriminativa com Análise de Componentes Principais e Alinhamento Adaptativo. In: XXXIII Simpósio Brasileiro de Telecomunicações, 2015, Juiz de Fora. Anais de XXXIII Simpósio Brasileiro de Telecomunicações, 2015.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
FILHO, EDDIE ; OLIVEIRA, RODRIGO ; KLEHM, VOLNEI ; PEREIRA, DANIEL ; MELO, HALLYSON ; CAVALCANTE, ANASTÁCIO ; PINHEIRO, CLÁUDIO . Uma Proposta de Suíte de Testes de Conformidade para o Ginga-NCL. In: XXX Simpósio Brasileiro de Telecomunicações, 2012, Brasilia. Anais de XXX Simpósio Brasileiro de Telecomunicações, 2012.
-
SAVINO, HEITOR ; FILHO, EDDIE . Um Contador Controlado por Semáforos Para a Correção de PCR. In: XXX Simpósio Brasileiro de Telecomunicações, 2012, Brasilia. Anais de XXX Simpósio Brasileiro de Telecomunicações, 2012.
-
MELO, WHEIDIMA ; FILHO, EDDIE ; JÚNIOR, WALDIR . Compressão de Sinais Eletromiográficos Baseada em Técnicas de Pré-processamento. In: XXX Simpósio Brasileiro de Telecomunicações, 2012, Brasilia. Anais de XXX Simpósio Brasileiro de Telecomunicações, 2012.
-
SAVINO, HEITOR ; FILHO, EDDIE ; JÚNIOR, WALDIR . Compressão de Sinais de EEG com JPEG2000 e H.264. In: XXX Simpósio Brasileiro de Telecomunicações, 2012, Brasília. Anais de XXX Simpósio Brasileiro de Telecomunicações, 2012.
-
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.
-
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. v. 6. p. 9-14.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
Outras produções
de Lima Filho, Eddie Batista ; OLIVEIRA, R. R. . Parser de Program Stream. 2008.
CORDEIRO, L. C. ; de Lima Filho, Eddie Batista . Driver para Tuner DVB-T. 2008.
de Lima Filho, Eddie Batista . Simulador WiMAX para NS-2. 2006.
E. B. L. Filho ; SARMANHO, M. ; MACIEL, S. . Software de controle para sistema de monitoração de armário de comutação acessus. 2000.
E. B. L. Filho ; BEGNINI, R. . Quantificação da incisura protodiastólica. 1999.
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.
E. B. L. Filho ; RAMOS, C. ; SILVA, A. ; SILVA, V. . Personal Karaokê. 2002.
E. B. L. Filho ; BENEVENUTI, F. ; ROMÃO, V. ; SILVA, A. ; CARVALHO, R. ; DIAS, C. . Receptor de TV digital terrestre (DTTV). 2001.
de Lima Filho, Eddie Batista . Introdução à TV Digital. 2008. (Curso de curta duração ministrado/Especialização).
de Lima Filho, Eddie Batista . Códigos Corretores de Erros. 2008. (Curso de curta duração ministrado/Especialização).
de Lima Filho, Eddie Batista . Conceitos Básicos em Televisão Digital: Visão Geral. 2008. (Curso de curta duração ministrado/Especialização).
de Lima Filho, Eddie Batista . Introdução ao Processamento Digital de Sinais. 2008. (Curso de curta duração ministrado/Especialização).
E. B. L. Filho . Introdução à TV Digital. 2008. (Curso de curta duração ministrado/Outra).
de Lima Filho, Eddie Batista . Introdução ao Processamento Digital de Sinais. 2008. (Curso de curta duração ministrado/Especialização).
Projetos de pesquisa
-
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.
-
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.
Prêmios
2000
Primeiro lugar turma de Engenharia Elétrica 1999/2, Universidade Federal do amazonas.
Histórico profissional
Endereço profissional
-
TPV Technology, R&D. , Avenida Torquato Tapajós, Flores, 69058830 - Manaus, AM - Brasil, Telefone: (92) 21268653, URL da Homepage:
Experiência profissional
2017 - Atual
TPV TechnologyVínculo: Celetista, Enquadramento Funcional: Pesquisador G5 (Coordenador Técnico), Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
04/2017
Pesquisa e desenvolvimento, R&D.,Linhas de pesquisa
2010 - Atual
Universidade Federal do AmazonasVí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
Pesquisa e desenvolvimento, Reitoria, Faculdade de Tecnologia.,Linhas de pesquisa
-
03/2010
Ensino, Engenharia Elétrica, Nível: Pós-Graduação,Disciplinas ministradas, Processamento digital de sinais
2017 - 2017
Samsung Instituto de Desenvolvimento para a Informática da AmazôniaVí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
2016 - 2017
Fundação Desemb. Paulo FeitosaVí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.,Linhas de pesquisa
2006 - 2016
Centro de Ciência , Tecnologia e Inovação do Polo Industrial de ManausVínculo: Celetista formal, Enquadramento Funcional: Engenheiro de Desenvolvimento e Inovação, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
06/2008
Treinamentos ministrados , Laboratório.,Treinamentos ministrados, Treinamento na plataforma de TV digital STB225
-
04/2006
Pesquisa e desenvolvimento, Laboratório.,Linhas de pesquisa
2001 - 2006
Genius Instituto de TecnologiaVínculo: Colaborador, Enquadramento Funcional: Engenheiro Pleno, Carga horária: 44
Atividades
-
10/2001 - 04/2006
Pesquisa e desenvolvimento, Equipe TV digital.,Linhas de pesquisa
-
06/2002 - 06/2002
Treinamentos ministrados , Equipe TV digital.,Treinamentos ministrados, Introdução à TV digital via satélite: o padrão DVB-S
2010 - 2012
Instituto de Ensino Superior FUCAPIVínculo: Celetista formal, Enquadramento Funcional: Professor, Carga horária: 10
2000 - 2006
Instituto de Ensino Superior FUCAPIVí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
-
07/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
1999 - 2000
RADIO TV DO AMAZONASVínculo: Colaborador, Enquadramento Funcional: Estagiário, Carga horária: 20
Atividades
-
08/1999 - 02/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.
2000 - 2001
Trópico Sistemas e TelecomunicaçõesVínculo: Colaborador, Enquadramento Funcional: Engenheiro S2, Carga horária: 40
Atividades
-
04/2000 - 09/2001
Pesquisa e desenvolvimento, Trópico Sistemas e Telecomunicações.,Linhas de pesquisa
-
03/2001 - 04/2001
Treinamentos ministrados .,Treinamentos ministrados, Estrutura e programação de microcontroladores da família 8051, Manipulação de arquivos em CHILL
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Eddie Batista de Lima Filho e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?