CETELI / UFAM

TRABALHOS PUBLICADOS EM PERIÓDICOS INTERNACIONAIS 

CARVALHO, C. B.; REZENDE, J. F.; CARVALHO CELSO BARBOSA. Routing for capacity improvement in Multi-Channel-Width Multi-Radio Wireless Networks. International Journal of Communication Networks Information Security (Print), v.7, p. 197-206, 2015.

TRINDADE, A. B.; CORDEIRO LUCAS CARVALHO. Applying SMT - Based verification to hardware/software partitioning in embedded systems. Design Automation For Embedded Systems (Dordrecht. Online), v. 19, p. 1-19, 2015.

GADELHA, M. Y. R.; ISMAIL, H. I.; CORDEIRO, L. C. Handling Loops in Bounded Model Checking of Programs via k-induction. International Journal on Software Tools for Technology Transfer (Print), v. 18, p. 1-18, 2015.

SILVA, V. J.; FERREIRA JR, VICENTE; VIANA, N. S. Architecture for Integrating Healthcare Services to the Brazilian Digital TV System. Revista IEEE América Latina, v. 13, p. 241-249, 2015.

RODRIGUES, C. H. A.; REIS, E. L.; LUCENA, V. F. Protótipo de Segunda Tela para usuários de TV Digital Aberta no Padrão ISDB-Tb. Revista da SET, v. 23, p. 88-92, 2015.

DIAS, J. R. S.; MAIA, C. A.; LUCENA, V. F. Synchronizing operations on productive systems modeled by timed event graphs. International Journal of Production Research (Print), v. 53, p. 1-15, 2015.

DIAS, J. R. S.; MAIA, C. A.; LUCENA, V. F. A Computationally Efficient Method for Optimal Input-Flow Control of Timed-Event Graphs Ensuring a Given Production Rate. Journal of Control, Automation and Electrical Systems, v. 26, p. 1-13, 2015.

ALENCAR M. A. C. A.; SIMÕES, W. C. S. S.; SILVA, V. J.; LUCENA JR, V. F. Architecture based on Distributed Web Services Integrated Through Triggers Associated With Managed Resource States. International Journal of Engineering Research & Technology, v. 4, p. 498-502, 2015.

COSTA FILHO, C. F. F.; LEVY, PAMELA CAMPOS; XAVIER, CLAHILDEK DE MATOS; FUJIMOTO, LUCIANA BOTINELLY MENDONÇA; COSTA, MARLY GUIMARÃES FERNANDES. Automatic Identification of Tuberculosis Mycobacterium. Research on Biomedical Engineering, v. 31, p. 33-43, 2015.

TRABALHOS PUBLICADOS EM EVENTOS INTERNACIONAIS 

OLIVEIRA, RODRIGO R.; CORDEIRO, LUCAS C.; DE LUCENA, VICENTE F. Hardware reconfiguration based on broadcasted digital TV signal. In: 2015 IEEE International Conference on Consumer Electronics (ICCE), 2015, Las Vegas. 2015 IEEE International Conference on Consumer Electronics (ICCE). p. 596-626.

ROCHA, H., BARRETO. R.S.; CORDEIRO, L. C. Memory Management Test-Case Generation of C Programs using Bounded Model Checking. In: 13th International Conference on Software Engineering and Formal Methods, 2015, York, UK. SEFM, 2015. v. 9276. p. 251-267.

ISMAIL, H. I.; BESSA, I. V.; CORDEIRO, L. C.; CHAVES FILHO, J. E.; 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, South Africa. SPIN 2015, 2015. v. 9232. p. 126-131.

RODRIGUES. F; CORDEIRO, L. C.; LIMA FILHO, E. B. Bounded Model Checking of C++ Programs Based on the Qt Framework. In: 2015 IEEE 4th Global Conference on Consumer Electronics, 2015, Osaka, Japan. GCCE, 2015. p. 179-180.

PEREIRA, P. A.; ALBUQUERQUE, H.; MARQUES, H.; SILVA, I.; CARVALHO, C. B.; SANTOS, V.; FERREIRA, R. S.; CORDEIRO, L. C. Verifying CUDA Programs using SMT-Based Context-Bounded Model Checking. In: ACM Symposium on Applied Computing, Software Verification and Testing, 2015, Pisa, Italy. SAC'16, 2015. 

RODRIGUES, M. A. S.; SILVA, V. J.; LUCENA JR, V. F. An Intelligent Medication System Designed to improve the Medication Adherence. In: IEEE 5th International Conference on Consumer Electronics Berlin, 2015, Berlim - Alemanha. Proceedings of the IEEE 5th International Conference on Consumer Electronics Berlin 2015. New York: IEEE, 2015. v. 1. p. 46-49.

GOMES. C. E. M.; LUCENA JR, V. F.; YAZDI, F.; GÖHNER, P. Extending an Intelligent Medicine Cabinet through the Use of Consumer Electronic Devices in order to Increase the Medication Adherence. In: IEEE 5th International Conference on Consumer Electronics Berlin, 2015, Berlim - Alemanha. Proceedings of the IEEE 5th International Conference on Consumer Electronics Berlin 2015. New York: IEEE, 2015. v. 1. p. 98-102.

OLIVEIRA, R. R.; CORDEIRO, L. C.; DE LUCENA, VICENTE F. Hardware reconfiguration based on broadcasted digital TV signal. In: 2015 IEEE International Conference on Consumer Electronics (ICCE), 2015, Las Vegas. 2015 IEEE International Conference on Consumer Electronics (ICCE). v. 1. p. 596-598.

VALENTE JR., R. R.; SILVA JR., W.S.; DE LUCENA, VICENTE F. Dynamic integration of appliances into ZigBee home networks through web services. In: 2015 IEEE International Conference on Consumer Electronics (ICCE), 2015, Las Vegas. 2015 IEEE International Conference on Consumer Electronics (ICCE). v. 1. p. 237-240.

SILVA JR., W.S.; LUCENA JR, V. F. Teaching Digital TV Programming for Engineering Students An Industry Oriented Proposal. In: 45th Annual Frontiers in Education (FIE) Conference, 2015, El Paso - Texas - USA. Proceedings of the 45th Annual Frontiers in Education (FIE) Conference. New York: IEEE, 2015. v. 1. p. 1-4.

SILVA, S. D.; COSTA, M. G. F.; COSTA FILHO, C. F. F. Breast tumor classification in ultrasound images using neural networks with improved generalization methods. In: 37TH Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015, Milão. Proceedings of 37TH Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015. v. 1. p. 6321-6325.

RODRIGUES, M. M.; COSTA, M. G. F.; COSTA FILHO, CÍCERO F. F. Comparing Neural Networks and Pseudo Inverse Matrix to Fllod Forecasting of Amazon River. In: The 2015 European Simulation and Modelling Conference, 2015, Leicester. Proceedings of The 2015 European Simulation and Modelling Conference, 2015. v. 1. p. 205-210.

SILVA, E. S.; COSTA FILHO, C. F. F.; COSTA, M. G. F. Proposing an Intelligent agent for the four-sided dominoes game using the expectiminimax algorithm. In: GAMEON' 2015, 2015, Amsterdâ. Proceedings of GAMEON' 2015, 2015. v. 1. p. 73-80.

TRABALHOS PUBLICADOS EM EVENTOS NACIONAIS

PEREIRA, P.; ALBUQUERQUE, H.; MARQUES, H.; SILVA, I.; SANTOS, V.; FERREIRA, R.; CARVALHO, C. B.; CORDEIRO, L.; CARVALHO, CELSO BARBOSA. Verificação de Kernels em Programas CUDA usando Bounded Model Checking. In: Simpósio brasileiro de sistemas computacionais de alto desempenho, 2015, Florianópolis, Santa Catarina. XVI Simpósio brasileiro de sistemas computacionais de alto desempenho, 2015.

SILVA, W.; MELO, W.; LIMA FILHO, E.; SANTOS, K.; SILVA, L. E. S. E.; CARVALHO, C. B.; ARAUJO, G.; SILVA, E. A. B.; CARVALHO, CELSO BARBOSA. 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: V Brazilian Symposium on Computing Systems Engineering, 2015, Foz do Iguaçu, Paraná. II Fórum de Educação em Engenharia de Computação - FEEC 2015, 2015.

RODRIGUES, F.; CORDEIRO, L. C.; 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, Brasil. ENCOSIS, 2015. p. 181-190.

LIMA, M. S.; SILVA, E. S.; CORDEIRO, L. C. Verificação de Modelos Aplicada aos Filtros Espaciais em Processamento Digital de Imagens. In: IV Encontro Regional de Computação e Sistemas de Informação, 2015, Manaus, Brasil. ENCOSIS, 2015. p. 136-145.

TRINDADE, A. B.; ISMAIL, H. I.; CORDEIRO, L. C. Multi-Core Model Checking to Hardware-Software Partitioning in Embedded Systems. In: V Brazilian Symposium on Computing Systems Engineering, 2015, Foz do Iguaçu / PR. SBESC. USA: IEEE, 2015. p. 1-4.

ALVES, E. H. S.; CORDEIRO, L. C.; LIMA FILHO, E. B. Fault Localization in Multi-Threaded C Programs using Bounded Model Checking. In: V Brazilian Symposium on Computing Systems Engineering, 2015, Foz do Iguaçu / PR. SBESC. USA: IEEE, 2015. p. 1-6.

ROCHA, H.; ISMAIL, H. I.; CORDEIRO, L. C.; BARRETO, R. S. Model Checking Embedded C Software using k-Induction and Invariants. In: V Brazilian Symposium on Computing Systems Engineering, 2015, Foz do Iguaçu / PR. SBESC. USA: IEEE, 2015. p. 1-6.

PEREIRA, P. A.; ALBUQUERQUE, H.; MARQUES, H.; SILVA, I.; SANTOS, V.; CARVALHO, C. B.; FERREIRA, R. S.; CORDEIRO, L. C. Verificação de Kernels em Programas CUDA usando Bounded Model Checking. In: XV Simpósio de Sistemas Computacionais de Alto Desempenho, 2015, Florianópolis/SC. WSCAD-SSC, 2015. p. 24-35.

PICANÇO, W.S.; LUCENA JR, V. F. Framework Didático para o Ensino de Programação Embarcada: Uma Abordagem Baseada em Técnicas de Aprendizagem Cooperativa e Competitiva. In: XLIII Congresso Brasileiro de Educação em Engenharia, 2015, São Bernardo do Campo - SP. Anais do XLIII Congresso Brasileiro de Educação em Engenharia. São Paulo: ABENGE, 2015. v. 1. p. 1-10.

ALENCAR, M.A.C.; SIMÕES, W. C. S. S.; SILVA, V. J.; LUCENA JR, V. F. Automação de baixo custo via radiofrequência unidirecional com repetição de sinais. In: ENCOSIS 2015 - Encontro Regional de Computação e Sistemas de Informação, 2015, Manaus - AM - Brasil. Anais do IV ENCOSIS. Manaus: FUCAPI, 2015. v. 1. p. 1-10.

NASCIMENTO, C. D. L.; SILVA, T. A.; PEREIRA, W.C.A.; COSTA, MARLY GUIMARÃES FERNANDES; COSTA FILHO, CÍCERO F. F. Determinação de um conjunto reduzido de características morfológicas para classificação de lesões mamárias em imagens de ultrassom utilizando máquinas de vetores de suporte. In: XXXV Congresso da Sociedade Brasileira de Computação, 2015, Recife. Anais do XXXV Congresso da Sociedade Brasileira de Computação. Porto Alegre: Sociedade Brasileira de Computação, 2015. v. 1. p. 1-10.

SANTOS, J. R.; COSTA, MARLY GUIMARÃES FERNANDES; COSTA FILHO, C.F.F. Reconhecimento das configurações de mão de LIBRAS baseado na análise discriminante de Fisher bidimensional, utilizando imagens de profundidade. In: XXXV Congresso da Sociedade Brasileira de Computação, 2015, Recife. Anais do XXXV Congresso da Sociedade Brasileira de Computação. Porto Alegre: Sociedade Brasileira de Computação, 2015. v. 1. p. 1-10.

RODRIGUES, M. M.; COSTA, MARLY GUIMARÃES FERNANDES; COSTA FILHO, CÍCERO F. F. Proposta de um Método para Previsão de Cheias Sazonais Utilizando Redes Neurais Artificiais: Uma Aplicação ao Rio Amazonas. In: XXXV Congresso da Sociedade Brasileira de Computação, 2015, Recife. Anais do XXXV Congresso da Sociedade Brasileira de Computação. Porto Alegre: Sociedade Brasileira de Computação, 2015. v. 1. p. 1-10.

PINTO, K. M. B.; COSTA FILHO, C. F. F.; COSTA, M. G. F. Fusão de Imagens Multifocais em Imagens Baciloscópicas de Campo Claro. In: VII Simpósio de Instrumentação e Imagens Médicas, 2015, Campinas. Anais do VII Simpósio de Instrumentação e Imagens Médicas, 2015. p. 1-4.

SOUZA, R. S. COSTA FILHO, C. F. F.; COSTA, M. G. F. Uma proposta de reconhecimento automático das configurações de mãos de libras da língua brasileira de sinais em imagens de profundidade. In: VII Simpósio de Instrumentação e Imagens Médicas, 2015, Campinas. Anais do VII Simpósio de Instrumentação e Imagens Médicas, 2015. p. 1-4.