CETELI / UFAM

TRABALHOS PUBLICADOS EM PERIÓDICOS INTERNACIONAIS

TEIXEIRA JUNIOR, A. S.; EDUARDO A. COTTA; DE MORAES CRUZ, CARLOS AUGUSTO; MONTEIRO, D. W. L. Spectral Noise Analysis of a CMOS Imager at Low Temperature for Logarithmic Mode. IEEE TRANSACTIONS ON ELECTRON DEVICES, v. 66, p. 1-7, 2019.

FERREIRA, D. A. O.; CARVALHO, C. B. Localization in Indoor Environments Using Virtualized Three-Dimensional Matrix. ITEGAM- Journal of Engineering and Technology for Industrial Applications (ITEGAM-JETIA), v. 5, p. 120-127, 2019.

CARVALHO, CELSO; MOTA, EDJAIR; FERRAZ, ERIC; SEIXAS, PAULO; SOUZA, PAULO; TAVARES, VITOR; LUCENA FILHO, WALFREDO; FERREIRA, DAVID; MANZONI, PIETRO; CALAFATE, CARLOS. Entropy based routing for mobile, low power and lossy wireless sensors networks. International Journal of Distributed Sensor Networks, v. 15, p. 155014771986613-19, 2019.

COSTA, M. G. F.; PINTO, K.M.B.; FUJIMOTO, L.B.M.; OGUSKU, M.M.; COSTA FILHO, C.F.F. Multi-focus image fusion for bacilli images in conventional sputum smear microscopy for tuberculosis. Biomedical Signal Processing and Control, v. 49, p. 289-297, 2019.

MIYAGAWA, MAKOTO; COSTA, MARLY G. F.; GUTIERREZ, MARCO A.; COSTA, JOÃO PEDRO G. F.; FILHO, CÍCERO F. F. COSTA. Detecting Vascular Bifurcation in IVOCT Images Using Convolutional Neural Networks with Transfer Learning. IEEE Access, v. 7, p. 1-1, 2019.

COSTA, MARLY GUIMARÃES FERNANDES; CAMPOS, JOÃO PAULO MENDES; DE AQUINO E AQUINO, GUSTAVO; DE ALBUQUERQUE PEREIRA, WAGNER COELHO; COSTA FILHO, CÍCERO FERREIRA FERNANDES. Evaluating the performance of convolutional neural networks with direct acyclic graph architectures in automatic segmentation of breast lesion in US images. BMC MEDICAL IMAGING, v. 19, p. 85, 2019.

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.

CORDEIRO, L. C.; LIMA FILHO, E. B.; BESSA, I. V. A Survey on Automated Symbolic Verification and its Application for Synthesizing Cyber-Physical Systems. IET Cyber-Physical Systems: Theory & Applications, v. 5, p. 1-24, 2019.

TRINDADE, A. B.; CORDEIRO, L. C. Automated Formal Verifi cation of Stand-alone Solar Photovoltaic Systems. SOLAR ENERGY, v. 193, p. 684-691, 2019.

ABATE, A.; BESSA, I.; CATTARUZZA, DARIO; CORDEIRO, L. C.; DAVID, C.; KESSELI, P.; KROENING, D.; POLGREEN, E. Automated formal synthesis of provably safe digital controllers for continuous plants. ACTA INFORMATICA, v. 56, p. 1-20, 2019.

SILVA, V. J.; SOUZA, V. S.; CRUZ, R. G.; LUCENA, J. M. V. M. DE; LUCENA JR, V. F. Commercial Devices-Based System Designed to Improve the Treatment Adherence of Hypertensive Patients. SENSORS, v. 19, p. 4539, 2019.

TRABALHOS PUBLICADOS EM EVENTOS INTERNACIONAIS 

SOUZA, ALEXANDRE KENNEDY PINTO; DE MORAES CRUZ, CARLOS AUGUSTO; MARQUES, GREICY COSTA; DE CASTRO, LUIS SMITH OLIVEIRA; BEZERRA, THIAGO BRITO. A Compact Current Conveyor CMOS Potentiostat Circuit for Electrochemical Sensors. In: 2019 4th International Symposium on Instrumentation Systems, Circuits and Transducers (INSCIT), 2019, Sao Paulo. 2019 4th International Symposium on Instrumentation Systems, Circuits and Transducers (INSCIT), 2019. p. 1.

FERRAZ, ERIC; SEIXAS, PAULO; CARVALHO, CELSO. Three-dimensional location in RFID systems with mobile reader. In: the 2019 International Conference, 2019, Dublin. Proceedings of the 2019 International Conference on Artificial Intelligence and Advanced Manufacturing - AIAM 2019. New York: ACM Press, 2019. p. 1-6.

MIYAGAWA, M.; COSTA, M. G. F.; GUTIERREZ, M. A.; COSTA, J. P. G. F.; COSTA FILHO, C. F. F. Using Convolutional Neural Networks for Classification of Bifurcation Regions in IVOCT Images. In: 2019 41st Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC), 2019, Berlin. 2019 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2019. v. 1. p. 5597.

SILVA, SÉRGIO; COSTA, MARLY; FILHO, CICERO COSTA. Customized Genetic Algorithm for Facility Allocation using p-median. In: 2019 Federated Conference on Computer Science and Information Systems, 2019, Leipzig, 2019. v. 1. p. 165-169.

COSTA, M. G. F.; MENDES, J. P. C.; PEREIRA, W. C. A.; COSTA FILHO, CICERO F. F. Using Convolutional Neural Networks with Direct Acyclic Graph Architecture in Segmentation of Breast Lesions in US Images. In: VIII Latin American Conference On Biomedical Engineering, 2019, Cancun. IFMBE Proceedings - Proceedings of CLAIB 2019, 2019. v. 75. p. 743-751.

GADELHA, M. Y. R.; STEFFINLONGO, E.; CORDEIRO, L. C.; FISCHER, BERND; NICOLE, D. SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer. In: 41st ACM/IEEE International Conference on Software Engineering, 2019, Montréal, QC, Canada. ICSE'19. New York: IEEE / ACM, 2019. p. 1-4.

CORDEIRO, L. C.; KROENING, D.; SCHRAMMEL, P. JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution). In: 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2019, Prague, Czech Republic. TACAS'19. Heidelberg: Springer, 2019. v. 11429. p. 219-223.

GADELHA, M. Y. R.; SOUSA, F. R. M.; CORDEIRO, L. C.; NICOLE, D. ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2019, Prague. TACAS'19. Heidelberg: Springer, 2019. v. 11429. p. 209-213.

FELIPE R, MONTEIRO; GADELHA, M.; CORDEIRO, L. C. Boost the Impact of Continuous Formal Veri fication in Industry. In: 10th Workshop on Tools for Automatic Program Analysis, 2019, Porto, Portugal. TAPAS'19. Heidelberg: Springer, 2019. p. 1-7.

ALHAWI, O.; MUSTAFA, M. O.; CORDEIRO, L. C. Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification. In: IEEE International Workshop on Secure Internet of Things, 2019, Luxembourg. SIoT. Washington: IEEE, 2019. p. 1-16.

SENA, L. H.; BESSA, I. V.; Gadelha, M.; CORDEIRO, L. C.; MOTA, E. Incremental Bounded Model Checking of Artificial Neural Networks in CUDA. In: IX Brazilian Symposium on Computing Systems Engineering, 2019, Natal / RN. SBESC'19. Washington: IEEE, 2019. p. 1-8.

CRUZ, ROBSON; SOUZA, VINICIUS; FILHO, TEODIANO BASTOS; LUCENA, VICENTE. Electric Powered Wheelchair Command by Information Fusion from Eye Tracking and BCI. In: 2019 IEEE International Conference on Consumer Electronics (ICCE), 2019, Las Vegas. 2019 IEEE International Conference on Consumer Electronics (ICCE), 2019. v. 1. p. 1-2.

SOUZA, VINICIUS; CRUZ, ROBSON; SILVA, WALMIR; LINS, SIDNEY; LUCENA, VICENTE. A Digital Twin Architecture Based on the Industrial Internet of Things Technologies. In: 2019 IEEE International Conference on Consumer Electronics (ICCE), 2019, Las Vegas. 2019 IEEE International Conference on Consumer Electronics (ICCE), 2019. v. 1. p. 1-2.

CRISTINE, K.; SANTOS, Y.; SILVA, V. J.; LUCENA JR, V. F. SmartShelf: Prateleira Inteligente para Controle de Medicamentos. In: 2nd International Workshop on Assistive Technology (IWAT2019), 2019, Vitória - ES. Conference Proceedings od the 2nd International Workshop on Assistive Technology (IWAT2019). Vitória: UFES, 2019. v. 1. p. 178-181.

SILVA, YURI MOTTA LOPES RODRIGUES; CRUZ, R. G.; LUCENA JR, V. F. Ambiente de Treinamento por Teleoperação para Novos Usuários de Cadeiras de Rodas Motorizadas Baseado em Múltiplos Métodos de Condução. In: 2nd International Workshop on Assistive Technology (IWAT2019), 2019, Vitória - ES. Conference Proceedings of the 2nd International Workshop on Assistive Technology (IWAT2019). Vitória: UFES, 2019. v. 1. p. 193-196.

SANTOS, D. M. P.; FERREIRA NETO, M.; LEMOS, M. R.; SILVA, V. J.; SILVA, WALMIR; LUCENA JR, V. F. Wearable System for Early Identification of Parkinson's Disease Symptoms Through the Evaluation of the Gait Training. In: 2019 IEEE 9th International Conference on Consumer Electronics (ICCE-Berlin), 2019, Berlim - Alemanha. Proceedings of the 2019 IEEE 9th International Conference on Consumer Electronics (ICCE-Berlin), 2019. v. 1. p. 1-6.

MARQUES, I. A.; ALVES, C. M.; REZENDE, A. R.; SILVA, M. A. M.; CRUZ, R. G.; LUCENA JR, V. F.; NAVES, EDUARDO L.M. Evaluating the spasticity level during the rehabilitation process: a survey of traditional methods and a new trend. In: ICTH 2019 - International Workshop on Future Trends in Assistive Technology (FTAT 2019), 2019, Coimbra. Procedia Computer Science, 2019. v. 160. p. 647-652.

TEÓFILO, M. R. S.; LOURENÇO, ÁLVARO; POSTAL, JULIANA; SILVA, Y. M. L. R.; LUCENA JR, V. F. The Raising Role of Virtual Reality in Accessibility Systems. In: ICTH 2019 - International Workshop on Future Trends in Assistive Technology (FTAT 2019), 2019, Coimbra - Portugal. Procedia Computing Sciene, 2019. v. 160. p. 671-677.

TRABALHOS PUBLICADOS EM EVENTOS NACIONAIS 

DAMASCENO, K. M. C.; DE MORAES CRUZ, CARLOS AUGUSTO; CORREA DE OLIVEIRA, A. V.; CASTRO, L. S. O. Alternative N-bit Key Data Encryption for Block Ciphers. In: XIX Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais - SBSeg 2019, 2019, São Paulo - SP. XIX Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais - SBSeg 2019, 2019.

DE CASTRO, LUIS SMITH OLIVEIRA; DE MORAES CRUZ, CARLOS AUGUSTO; CARDOSO, VALTEMAR FERNANDES; DA SILVA, LUCIANO LOURENCO F.; PELEGRINI, MARCUS VINICIUS; MARQUES, GREICY COSTA. Improved ISFET Readout Circuit: Characterization and Comparison. In: 2019 4th International Symposium on Instrumentation Systems, Circuits and Transducers (INSCIT), 2019, Sao Paulo. 2019 4th International Symposium on Instrumentation Systems, Circuits and Transducers (INSCIT), 2019. p. 1.

FERREIRA, DAVID; CARVALHO, C. B.; MOTA, EDJAIR. Localização em Ambientes Internos Utilizando Redes Wi-Fi. In: Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2019, Petrópolis. 19o SBrT, 2019.

MACENO, F. E. P.; MOTA, EDJAIR; CARVALHO, C. B. Roteamento ciente da capacidade e consumo energético em redes de satélites LEO. In: Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2019, Petrópolis-. SBrT 2019, 2019.

FERRAZ, ERIC; CARVALHO, C. B. Localização tridimensional em sistemas RFID com leitor móvel. In: Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2019, Petrópolis. SBrT 2019, 2019.

MARAES, P. A.; COSTA, M. G. F.; COSTA FILHO, C. F. F. Previsão de Cheias Sazonais para o Rio Negro Usando Redes Neurais Artificiais e Árvores de Decisão com Aprendizado Baseado em Comitê. In: 10º Workshop de Computação Aplicada à Gestão do Meio Ambiente e Recursos Naturais, 2019, Belém. Anais do 10º Workshop de Computação Aplicada à Gestão do Meio Ambiente e Recursos Naturais. Belém: Sociedade Brasileira de Computação, 2019. p. 1-10.

SOUZA, P. E. B.; LIMA FILHO, E. B.; CORDEIRO, L. C.; SILVA JUNIOR, W. S. 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, RJ. SBRT 2019, 2019. p. 1-5.