TRABALHOS PUBLICADOS EM EVENTOS NACIONAIS E INTERNACIONAIS 

PARENTE DE OLIVEIRA, JOEL; COSTA, MARLY; FILHO, CÍCERO. Evaluating a Convolutional Neural Network and a Mosaic Image Database for Land Use Segmentation in the Brazilian Amazon Region 7th International Conference on Geographical Information Systems Theory, Applications and Management, 2021, Online Streaming. Proceedings of the 7th International Conference on Geographical Information Systems Theory, Applications and Management, 2021. p. 165.

COSTA, M. G. F.; E AQUINO, GUSTAVO DE A.; SERRÃO, MIKAELA K.; VIEIRA, DIEGO G. DE A.; DE ALENCAR, ELTON D. N.; DE NEGREIRO, JOÃO V. C.; DA SILVA, EMMERSON S. R.; COSTA FILHO, CÍCERO F. F. A New Approach for Detecting Activities of Daily Living Detection Using Smartphone and Wearable Sensors2021 International Conference on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME), 2021, Mauritius. 2021 International Conference on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME), 2021. p. 01.

DE SANTANA, J. R. G; COSTA, M. G. F.; COSTA FILHO, C. F. F. A New Approach to Classify Cardiac Arrythmias Using 2D Convolutional Neural Networks2021 43rd Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC), 2021, Mexico. 2021 43rd Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC), 2021. v. 1. p. 566-570.

COSTA, F. C.; COSTA, M. G. F.; COSTA FILHO, C. F. F. Evaluating the performance of convolutional neural networks to detect deforested regions in the Brazilian Legal Amazon using LandSat-8 satellite images11th International Conference of Pattern Recognition Systems (ICPRS 2021), 2021, Online Conference. 11th International Conference of Pattern Recognition Systems (ICPRS 2021), 2021. v. 1. p. 103-108.

COSTA FILHO, CÍCERO FERREIRA FERNANDES; AQUINO, GUSTAVO; COSTA, MARLY G. F. Gait analysis: determining heel-strike and toe-off events. Seventeenth International Symposium on Medical Information Processing and Analysis, 2021, Campinas. 17th International Symposium on Medical Information Processing and Analysis, 2021. p. 9-16. 

LEMOS, MADSON RODRIGUES; DE SOUZA, ANNE VITORIA RODRIGUES; DE LIRA, RENATO SOUZA; DE FREITAS, CARLOS ALBERTO OLIVEIRA; DA SILVA, VANDERMI JOÃO; DE LUCENA, VICENTE FERREIRA. Robot Training and Navigation through the Deep Q-Learning Algorithm.2021. IEEE International Conference on Consumer Electronics (ICCE), 2021, Las Vegas. 2021 IEEE International Conference on Consumer Electronics (ICCE), 2021. v. 2021. p. 1-6.

DE CARVALHO, MARENICE M.; DE BESSA, ISAIAS VALENTE; MEDEIROS, RENAN L. P.; E SILVA, LUIZ E. S.; JUNIOR, FLORINDO A. C. AYRES; JUNIOR, VICENTE FERREIRA LUCENA Comparative Study of Control Methodologies and PLL Topologies to Enhance the Performance of the Synchronization of Grid-Tied PV System2021 14th. IEEE International Conference on Industry Applications (INDUSCON), 2021, São Paulo. 2021 14th IEEE International Conference on Industry Applications (INDUSCON), 2021. v. 1. p. 218-225.

VALENTE DE BESSA, ISAIAS; MEDEIROS, RENAN L. P.; MODESTO TORRES, GUSTAVO; BESSA, IURY; AYRES JUNIOR, FLORINDO A. C.; MELO DE CARVALHO, MARENICE; FERREIRA LUCENA JUNIOR, VICENTE. Estabilização de reguladores de tensão da topologia buck conectado a uma CPL utilizando técnicas de controle baseadas em LMI. 2021 14th IEEE International Conference on Industry Applications (INDUSCON), 2021, São Paulo. 2021 14th IEEE International Conference on Industry Applications (INDUSCON), 2021. v. 1. p. 417-423.

LIMA, A. A.; CRISCI, G.; SANTOS, F. R. R.; CABRAL, I. A.; REIS, R. K. G.; CARVALHO, M. M.; MEDEIROS, R. L. P.; LUCENA JR, V. F. Sistema de solicitação e monitoramento de estoque em tempo real utilizando Node-RED para ensino remoto. Simpósio Brasileiro de Automação Inteligente (SBAI 2021), 2021, Rio Grande - RS. Anais do SBAI 2021, 2021. v. 1. p. 1-8.

CARVALHO, M. M.; MEDEIROS, R. L. P.; AYRES JUNIOR, F. A. C.; BESSA, I. V.; LUCENA JR, V. F. Comparação de técnicas de controle via LMI aplicadas em microrredes CC com CPL. Simpósio Brasileiro de Automação Inteligente (SBAI 2021), 2021, Rio Grande - RS. Anais do SBAI 2021, 2021. v. 1. p. 1-8.

BESSA, I. V.; MENEZES, A. R.; SOUZA, D. M.; SILVA, J. A. S. E.; BARRETO, L. L. S.; PESSOA, O. N.; LUCENA JR, V. F.; MEDEIROS, R. L. P. Desenvolvimento de uma ferramenta didática para o ensino de automação e controle de sistemas de tanques industriais. Simpósio Brasileiro de Automação Inteligente (SBAI 2021), 2021, Rio Grande - RS. Anais do SBAI 2021, 2021. v. 1. p. 1-6.

BESSA, I. V.; MEDEIROS, R. L. P.; BESSA, I. V.; AYRES JUNIOR, F. A. C.; CARVALHO, M. M.; LUCENA JR, V. F. Desenvolvimento de uma malha auxiliar ativa para supressão de oscilações decorrentes da conexão com CPL em sistemas de distribuição CC. Simpósio Brasileiro de Automação Inteligente (SBAI 2021), 2021, Rio Grande - RS. Anais do SBAI 2021, 2021. v. 1. p. 1-6.

ROSAS, H. P. O.; SALDANHA, I. M.; PEREIRA, V. M. B.; MUNIZ, C. V. L.; MACHADO, G. S.; MEDEIROS, R. L. P.; LUCENA JR, V. F. Virtual Setup - Virtualização automática de plantas industriais. Simpósio Brasileiro de Automação Inteligente (SBAI 2021), 2021, Rio Grande - RS. Anais do SBAI 2021, 2021. v. 1. p. 1-6.

MELO DE CARVALHO, MARENICE; VALENTE DE BESSA, ISAÍAS; SOPRANO MACHADO, GUIDO; PAIVA DE MEDEIROS, RENAN LANDAU; FERREIRA DE LUCENA JR, VICENTE. INDUSTRIAL REAL-TIME DIGITAL TWIN SYSTEM FOR REMOTE TEACHING USING NODE-RED. In: 14th annual International Conference of Education, Research and Innovation, 2021, Online Conference, 2021. v. 1. p. 6623-6632. 

VALENTE DE BESSA, ISAÍAS; MELO DE CARVALHO, MARENICE; SOPRANO MACHADO, GUIDO; PAIVA DE MEDEIROS, RENAN LANDAU; FERREIRA DE LUCENA JR, VICENTE. DEVELOPMENT OF A DIDACTIC TOOL FOR TEACHING AUTOMATION AND CONTROL THEORY BASED ON AN INDUSTRIAL TANK SYSTEM. In: 14th annual International Conference of Education, Research and Innovation, 2021, Online Conference, 2021. v. 1. p. 4089-4094.

SOUTO MAIA, MATHEUS; DA SILVA MENDONÇA, RAFAEL; MELO DE CARVALHO, MARENICE; VALENTE DE BESSA, ISAÍAS; PAIVA DE MEDEIROS, RENAN LANDAU; FERREIRA DE LUCENA JR, VICENTE. APPLYING THE AUTOMATIONML TOOL TO IMPROVE THE STUDENTS SKILLS IN AUTOMATION. 14th annual International Conference of Education, Research and Innovation, 2021, Online Conference, 2021. v. 1. p. 6771-6778.

SOPRANO MACHADO, GUIDO; MELO DE CARVALHO, MARENICE; VALENTE DE BESSA, ISAÍAS; PAIVA DE MEDEIROS, RENAN LANDAU; FERREIRA DE LUCENA JR, VICENTE. VIRTUAL SETUP - AUTOMATIC VIRTUALIZATION OF INDUSTRIAL PLANTS FOR DIDACTIC PURPOSES. 14th annual International Conference of Education, Research and Innovation, 2021, Online Conference, 2021. v. 1. p. 4295-4301.

SILVA, MATEUS O.; FERREIRA, DAVID A. O.; OUCHI, KETHILEN Y.; TORRES, GUSTAVO M.; URTIGA MATTOS, EDMA V. C.; PEREIRA, ANTONIO M. C.; COSTA, LUCIANA R.; CAVALCANTE, VICTOR L. G.; CRUZ, CAIO F. S.; SILVA, AGEMILSON P. BELÉM, RUAN J. S.; JESUS, ANDERSON S.; JUNIOR, WILSON C. C.; PAULA, RICARDO G.; BEZERRA, THIAGO B.; JUNIOR, WALDIR S. S.; CARVALHO, CELSO B. Automated Bright Pixel Detection System on LCD Displays.2021 IEEE International Conference on Consumer Electronics (ICCE), 2021, Las Vegas. 2021 IEEE International Conference on Consumer Electronics (ICCE), 2021. p. 1.

TORRES, GUSTAVO M.; SOUZA, ADRIANA S.; FERREIRA, DAVID A. O.; JUNIOR, LUIZ C. S. G.; OUCHI, KETHILEN Y.; VALADÃO, MYKE D. M.; SILVA, MATEUS O. ; CAVALCANTE, VICTOR L. G.; MATTOS, EDMA V. C. U; PEREIRA, ANTONIO M. C.; CRUZ, CAIO F. S.; SILVA, AGEMILSON P.; BELEM, RUAN J. S.; COSTA, ANDRÉ S.; EVANGELISTA, LUCAS G. C.; JUNIOR, WILSON C. C.; PAULA, RICARDO G.; BEZERRA, THIAGO B.; JUNIOR, WALDIR S. S.; CARVALHO, CELSO B. Automated Mura Defect Detection System on LCD Displays using Random Forest Classifier. 2021 IEEE International Conference on Consumer Electronics (ICCE), 2021, Las Vegas. 2021 IEEE International Conference on Consumer Electronics (ICCE), 2021. p. 1.

FURTADO, RAFAEL S.; TORRES, YASMIM P.; SILVA, MATEUS O.; COLARES, GEORGIO S.; PEREIRA, ANTONIO M. C.; AMOEDO, DIEGO A.; VALADÃO, MYKE D. M.; CARVALHO, CELSO B.; DA COSTA, ANDRE L. A.; JUNIOR, WALDIR S. S. Automatic Modulation Classification in Real Tx/Rx Environment using Machine Learning and SDR2021. IEEE International Conference on Consumer Electronics (ICCE), 2021, Las Vegas. 2021 IEEE International Conference on Consumer Electronics (ICCE), 2021. p. 1.

VALADÃO, MYKE D. M.; JUNIOR, WALDIR S. S.; CARVALHO, CELSO B. Trends and Challenges for the Spectrum Efficiency in NOMA and MIMO based Cognitive Radio in 5G Networks. 2021 IEEE International Conference on Consumer Electronics (ICCE), 2021, Las Vegas. 2021 IEEE International Conference on Consumer Electronics (ICCE), 2021. p. 1.

DO NASCIMENTO MOTA MACAMBIRA, RENATA; BARBOSA CARVALHO, CELSO; FERREIRA DE REZENDE, JOSÉ. Otimização de Energia em uma Rede de Satélites LEO em Cenários de Alta Vazão. Computer on the Beach, 2021, Online. Anais do XII Computer on the Beach - COTB '21. São José: Universidade do Vale do Itajaí, 2021. p. 248.

FERREIRA, D. A. O.; CARVALHO, C. B. LOCALIZAÇÃO EM AMBIENTES INTERNOS BASEADA EM REGRESSÃO KNN UTILIZANDO BEAMFORMING. Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2021, Fortaleza. SBrT-2021, 2021.

SANTOS, ANDREW M.; PAIVA, LAISA O.; REIS, JONATAS R.; SILVA, NILO E. M.; SANTOS, ADRIANO E.; LUIZ, DANIEL F.; CARVALHO, CELSO B.; JUNIOR, WALDIR S. S. Smart Garden Monitoring and Irrigation System in Multiplatform Application Using IoT. 2021 IEEE International Conference on Consumer ElectronicsTaiwan (ICCETW), 2021, Penghu. 2021 IEEE International Conference on Consumer Electronics-Taiwan (ICCE-TW), 2021. p. 1.

CHABI, ABDEL F.; GUIMARÃES, JEAN C. B.; PINTO, JONES C.; FURTADO, RAFAEL S.; JUNIOR, WALDIR S. S.; CARVALHO, CELSO B.; SANTOS, ADRIANO E.; LUIZ, DANIEL F. A IoT System for Vehicle Tracking using Long Range Wide Area Network. 2021 IEEE International Conference on Consumer ElectronicsTaiwan (ICCETW), 2021, Penghu. 2021 IEEE International Conference on Consumer Electronics-Taiwan (ICCE-TW), 2021. p. 1.

MATSUO, ANGELA K.; SANTOS, ADRIANO E.; CARVALHO, CELSO B.; ABREU, DANIEL M.; LUIZ, DANIEL F.; FIGUEIRA, DAVID L. S.; SILVA, LEANDRO A.; SOUZA, VITOR F.; JUNIOR, WALDIR S. S. Smart Plug Prototype for Residential Electrical Energy Monitoring. 2021 IEEE International Conference on Consumer ElectronicsTaiwan (ICCETW), 2021, Penghu. 2021 IEEE International Conference on Consumer Electronics-Taiwan (ICCE-TW), 2021. p. 1.

URTIGA MATTOS, EDMA V.C.; TORRES, GUSTAVO M.; DA SILVA, MATEUS O.; CALVACANTE, VICTOR L. G.; DOS SANTOS, ADRIEL V.; AMOEDO, DIEGO A.; PEREIRA, ANTONIO M. C.; DA SILVA, ALLAN R. A.; SILVA, AGEMILSON P.; RODRIGUES, CLAUDIO H. A.; DO NASCIMENTO, RAFAEL S.; REIS, LUCAS F.; DUPONT, LUA S.; PAULA, RICARDO G.; PINAGE, FREDERICO S.; JUNIOR, WALDIR S. S.; CARVALHO, CELSO B. Quality of Experience evaluation of 4k Video Streaming using Referenced Metrics. 2021 IEEE International Conference on Consumer ElectronicsTaiwan (ICCETW), 2021, Penghu. 2021 IEEE International Conference on Consumer Electronics-Taiwan (ICCE-TW), 2021. p. 1.

DA SILVA, MATEUS O.; CAVALCANTE, VICTOR L. G.; URTIGA MATTOS, EDMA V. C.; TORRES, GUSTAVO M.; DOS SANTOS, ADRIEL V.; AMOEDO, DIEGO A.; PEREIRA, ANTONIO M. C.; DA SILVA, ALLAN R. A.; SILVA, AGEMILSON P.; RODRIGUES, CLAUDIO H. A.; DO NASCIMENTO, RAFAEL S.; REIS, LUCAS F.; DUPONT, LUA S.; PAULA, RICARDO G.; PINAGE, FREDERICO S.; JUNIOR, WALDIR S. S.; CARVALHO, CELSO B. Assessing Quality of Experience of 4k Video Streams Using No-Referenced Metrics. 2021 IEEE International Conference on Consumer ElectronicsTaiwan (ICCETW), 2021, Penghu. 2021 IEEE International Conference on Consumer Electronics-Taiwan (ICCE-TW), 2021. p. 1.

DOS SANTOS, ADRIEL V.; DA SILVA, MATEUS O.; CAVALCANTE, VICTOR L. G.; TORRES, GUSTAVO M.; AMOEDO, DIEGO A.; URTIGA MATTOS, EDMA V. C.; PEREIRA, ANTONIO M. C.; DA SILVA, ALLAN R. A.; SILVA, AGEMILSON P.; RODRIGUES, CLAUDIO H. A.; DO NASCIMENTO, RAFAEL S.; REIS, LUCAS F.; DUPONT, LUA S.; PAULA, RICARDO G.; PINAGE, FREDERICO S.; JUNIOR, WALDIR S. S.; CARVALHO, CELSO B. A theoretical-practical model for 4k multimedia system for wireless communication by light. 2021 IEEE International Conference on Consumer ElectronicsTaiwan (ICCETW), 2021, Penghu. 2021 IEEE International Conference on Consumer Electronics-Taiwan (ICCE-TW), 2021. p. 1.

AMOEDO, DIEGO A.; DA SILVA, MATEUS O.; CAVALCANTE, VICTOR L. G.; TORRES, GUSTAVO M.; DOS SANTOS, ADRIEL V.; URTIGA MATTOS, EDMA V. C. ; PEREIRA, ANTONIO M. C.; DA SILVA, ALLAN R. A.; SILVA, AGEMILSON P.; RODRIGUES, CLAUDIO H. A.; DO NASCIMENTO, RAFAEL S.; REIS, LUCAS F.; DUPONT, LUA S.; PAULA, RICARDO G.; PINAGE, FREDERICO S.; JUNIOR, WALDIR S. S.; CARVALHO, CELSO B. Vector Spectrum Analyzer using USRP and Matlab applied to Wi-Fi Signals. 2021 IEEE International Conference on Consumer ElectronicsTaiwan (ICCETW), 2021, Penghu. 2021 IEEE International Conference on Consumer Electronics-Taiwan (ICCE-TW), 2021. p. 1.

PEREIRA, ANTONIO M. C.; FURTADO, RAFAEL S; AMOEDO, DIEGO A.; VALADÃO, MYKE D. M.; CARVALHO, CELSO BARBOSA; COSTA, ANDRÉ L. A.; SILVA, WALDIR. Classificação Automática de Modulações DP m-PSK e DP m-QAM em Receptores Ópticos Coerentes Flexíveis. XXXIX Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2021. Anais do XXXIX Simpósio Brasileiro de Telecomunicações e Processamento de Sinais.

OLIVEIRA, A. S.; SILVA JÚNIOR, W. S. Cenário de Infraestrutura de Testes de Aplicações Interativas para Televisão Digital. I Congresso Internacional de Criatividade e Inovação, 2011, Manaus. I Congresso Internacional de Criatividade e Inovação, 2011.

PEREZ, H. J. D.; SILVA JÚNIOR, W. S. Monitoração de Ambientes através de Rede ZigBee utilizando Sensores de Temperatura e Presença. I Congresso Internacional de Criatividade e Inovação, 2011, Manaus. I Congresso Internacional de Criatividade e Inovação, 2011.

KLEHM, V. S.; SILVA JÚNIOR, W. S. Reconhecimento de Íris usando Filtro de Correlação. I Congresso Internacional de Criatividade e Inovação, 2011, Manaus. I Congresso Internacional de Criatividade e Inovação, 2011.

FARIAS, N. J. S.; MEDEIROS, R. L. P.; FILHO, J. E. C.; CARVALHO, M. M.; BESSA, I. V. Investigação Da Aplicação De Controle Robusto De Corrente Em Um Circuito Conversor CC-CC Buck Aplicado A Um Emulador De Sistema De Hidrogeração De Energia Elétrica. International Conference on Industry Applications - INDUSCON, 2021, São Paulo. Investigação Da Aplicação De Controle Robusto De Corrente Em Um Circuito Conversor CC-CC Buck Aplicado A Um Emulador De Sistema De Hidrogeração De Energia Elétrica, 2021.

PEREIRA, VINICIUS MATHEUS BATISTA; AYRES JUNIOR, FLORINDO; FARIAS, N. J. S.; MEDEIROS, R. L. P.; SILVA, C. S. M.; FILHO, J. E. C. Investigação De Técnicas De Controle De Ordem Fracionária Aplicadas Ao Controle De Um Sistema De Três Tanques Acoplados. SBAI 2021, 2021, Rio Grande do Sul. Investigação De Técnicas De Controle De Ordem Fracionária Aplicadas Ao Controle De Um Sistema De Três Tanques Acoplados, 2021.

TRABALHOS PUBLICADOS EM PERIÓDICOS INTERNACIONAIS

C. M. XAVIER, M. G. FERNANDES COSTA AND C. F. F. C. FILHO, "Combining Facility Location Approaches for Public Schools Expansion," in IEEE Access, vol. 8, pp. 24229-24241, 2020, doi: 10.1109/ACCESS.2020.2970385.

ROMERO, F. P.; ROMANGUERA, L. V.; COSTA FILHO, CÍCERO F. F.; COSTA, M. G. F.; EVANGELISTA NETO, J.; VAZQUEZ-SEISDEDOS, C. R. Baseline wander removal methods for ECG signals: A comparative study. REVISTA CUBANA DE CIENCIAS INFORMÁTICAS, v. 14, p. 79, 2020.

ZEIMARANI, BASHIR; COSTA, MARLY G. F.; NURANI, NILUFAR Z.; BIANCO, SABRINA RAMOS; PEREIRA, WAGNER C. A.; FILHO, CÍCERO F. F. COSTA. Breast lesion classification in ultrasound images using deep convolutional neural network. IEEE Access, v. XX, p. 1-1, 2020.

MELO, R DE O; COSTA, M. G. F.; COSTA FILHO, CICERO F. F. Applying Convolutional Neural Networks to Detect Natural Gas Leaks in Wellhead Images. IEEE Access, v. XX, p. 1-10, 2020.

DE OLIVEIRA, JOEL PARENTE; COSTA, MARLY GUIMARÃES FERNANDES; FILHO, CÍCERO FERREIRA FERNANDES COSTA. Methodology of data fusion using deep learning for semantic segmentation of land types in the Amazon. IEEE Access, v. XX, p. 1-1, 2020.

SIMÕES, WALTER C. S. S.; SILVA, YURI M. L. R.; PIO, JOSÉ LUIZ DE S.; JAZDI, NASSER; F. DE LUCENA, VICENTE. Audio Guide for Visually Impaired People Based on Combination of Stereo Vision and Musical Tones. SENSORS, v. 20, p. 151, 2020.

SIMÕES, WALTER C. S. S.; SILVA, WALMIR A.; DE LUCENA, MATEUS M.; JAZDI, NASSER; DE LUCENA, VICENTE F. A Hybrid Indoor Positioning System Using a Linear Weighted Policy Learner and Iterative PDR. IEEE Access, v. 8, p. 1-1, 2020.

SIMÕES, WALTER C. S. S.; MACHADO, GUIDO S.; SALES, ANDRÉ M. A.; DE LUCENA, MATEUS M.; JAZDI, NASSER; DE LUCENA, VICENTE F. A Review of Technologies and Techniques for Indoor Navigation Systems for the Visually Impaired. SENSORS, v. 20, p. 3935, 2020.

DE S. ROSA, RICARDO E. V.; GUIMARÃES, FELIPE A. S.; MENDONCA, RAFAEL S.; DE LUCENA, VICENTE F. Improving Prediction Accuracy in Neighborhood-based Collaborative Filtering by Using Local Similarity. IEEE Access, v. 2020, p. 1-1, 2020.

CARVALHO, C. B.; LUCENA JR, V. F.; SILVA JR., W.S.; DOS SANTOS JR., A. F. Towards the Generation, Analyze and Validation of MPEG-2 Transport Stream Based on Free Software for the Brazilian Digital TV System. In: Jornadas de Sistemas de Telecomunicaciones, 2008, Quito. Tendências. Quito, 2008. v. 2020. p. 36-40.

SOUZA, T. R. B.; RODRIGUES, G. G.; SERRAO, L. S.; MACAMBIRA, R. N. M.; CARVALHO, C. B. RESIDENTIAL SMART PLUG WITH BLUETOOTH COMMUNICATION. Journal of Engineering and Technology for Industrial Applications, v. 06, p. 20-30, 2020.

FERREIRA, DAVID; SOUZA, RICHARD; CARVALHO, CELSO. QA-kNN: Indoor Localization Based on Quartile Analysis and the kNN Classifier for Wireless Networks. SENSORS, v. 20, p. 4714-22, 2020.

GATTO, BERNARDO B.; DOS SANTOS, EULANDA M.; FUKUI, KAZUHIRO; JÚNIOR, WALDIR S. S.; DOS SANTOS, KENNY V. Fukunaga-Koontz Convolutional Network with Applications on Character Classification. NEURAL PROCESSING LETTERS, v. 51, p. 1-23, 2020.

GATTO, BERNARDO B.; SOUZA, LINCON S.; DOS SANTOS, EULANDA M.; FUKUI, KAZUHIRO; S. JÚNIOR, WALDIR S.; DOS SANTOS, KENNY V. A semi-supervised convolutional neural network based on subspace representation for image classification. EURASIP Journal on Image and Video Processing, v. 2020, p. 1-21, 2020.

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, 2020.

CAVALCANTE, T. R. F.; BESSA, I. V.; LIMA FILHO, E. B.; CORDEIRO, L. C. Formal Non-fragile Verification of Step Response Requirements for Digital State Feedback Control Systems. JOURNAL OF CONTROL, AUTOMATION AND ELECTRICAL SYSTEMS, v. 31, p. 1-29, 2020.

GADELHA, M. Y. R.; MENEZES, R.; CORDEIRO, L. C. ESBMC 6.1: Automated Test Case Generation using Bounded Model Checking. International Journal on Software Tools for Technology Transfer, v. 22, p. 1-5, 2020.

ALHAWI, O.; ROCHA, H.; GADELHA, M. Y. R.; CORDEIRO, L. C.; BATISTA FILHO, E. L. Verification and refutation of C programs based on k-induction and invariant inference. International Journal on Software Tools for Technology Transfer, v. 22, p. 1-21, 2020.

CARVALHO, F. F.; DE MORAES CRUZ, CARLOS AUGUSTO; MARQUES, GREICY COSTA; DAMASCENO, K. M. C. Angular Light, Polarization and Stokes Parameters Information in a Hybrid Image Sensor with Division of Focal Plane. SENSORS, v. 20, p. 3391, 2020.

TRABALHOS PUBLICADOS EM EVENTOS INTERNACIONAIS

SERRAO, M. K. M.; COSTA, M. G. F.; FUJIMOTO, L. B.; OGUSKU, M. M.; FILHO, C. F. F. COSTA. Automatic Bacillus Detection in Light Field Microscopy Images Using Convolutional Neural Networks and Mosaic Imaging Approach. In: 2020 42nd Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) in conjunction with the 43rd Annual Conference of the Canadian Medical and Biological Engineering Society, 2020, Montreal. 2020 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC), 2020. p. 1903-1906.

PORTELA, R. D. S.; PEREIRA, J. R. G.; COSTA, M. G. F.; FILHO, C. F. F. COSTA. Lung Region Segmentation in Chest X-Ray Images using Deep Convolutional Neural Networks. In: 2020 42nd Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) in conjunction with the 43rd Annual Conference of the Canadian Medical and Biological Engineering Society, 2020, Montreal. 2020 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC), 2020. p. 1246-1249.

CAVALCANTE, V. L.; AMOEDO, D. A.; SOUZA, A. S.; COSTA, L. R.; VALADÃO, M. D.; CRUZ2, C. F.; SILVA, A. P.; BELEM, R. J.; JESUS, A. S.; EVANGELISTA, L. G.; SILVA, O. R.; PAULA, R. G.; BEZERRA, T. B.; S.S. JUNIOR, W.; CARVALHO, C. B. Automated Dead/Bright Pixel Distance Measurement System on Computer Monitors. In: IEEE International Conference on Consumer Electronics (ICCE), 2020, Taiwan. IEEE 2020 ICCE-TW. v. 2020.

FERREIRA, D. A.; AMOEDO, D. A.; COSTA, L. R.; VALADÃO, M. D.; SOUZA, A. S.; OUCHI, K. Y.; PEREIRA, A. M.; TORRES, G. M.; SILVA, M. O.; CRUZ, C. F.; SILVA, A. P.; BELEM, R. J.; JESUS, A. S.; COSTA, A. S.; EVANGELISTA, L. G.; SILVA, O. R.; BEZERRA, T. B.; S. S. JUNIOR, W.; CARVALHO, C. B. Dead Pixel Detection on Liquid Crystal Displays using Random Forest, SVM, and Harris Detector. In: IEEE International Conference on Consumer Electronics, 2020, Taiwan. IEEE 2020 ICCR-TW, 2020.

VALADAO, M. D. M.; CARVALHO, C. B.; S. JUNIOR, W. S. Trends and Challenges for the Spectrum Sensing in the Next Generation of Communication Systems. In: IEEE International Conference on Consumer Electronics, 2020, Taiwan. IEEE 2020 ICCR-TW, 2020.

DANTAS, P. V.; SILVA JUNIOR, W. S.; CARVALHO, C. B. Turning Digital Signal Processing into Graph Signal Processing: Overview and Applications. In: IEEE International Conference on Consumer Electronics, 2020, Taiwan. IEEE 2020 ICCR-TW, 2020.

DANTAS, P. V.; S.S. JUNIOR, W.; CARVALHO, C. B. Energy Disaggregation using Principal Component Analysis Representation. In: Conference: International Conference on Machine Learning and Intelligent Systems (MLIS), 2020, Seul. MLIS, 2020. v. 2020.

CAVALCANTE, VICTOR L.G.; AMOEDO, DIEGO A.; SOUZA, ADRIANA S.; COSTA, LUCIANA R.; VALADAO, MYKE D.M.; CRUZ, CAIO F.S.; SILVA, AGEMILSON P. BELEM, RUAN J.S.; JESUS, ANDERSON S.; EVANGELISTA, LUCAS G.C.; SILVA, OSMAR R.A.; PAULA, RICARDO G.; BEZERRA, THIAGO B.; JUNIOR, WALDIR S.S.; CARVALHO, CELSO B. Automated Dead/Bright Pixel Distance Measurement System on Computer Monitors. 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-2.

FERREIRA, DAVID A. O.; AMOEDO, DIEGO A.; COSTA, LUCIANA R.; VALADÃO, MYKE D. M.; SOUZA, ADRIANA S.; OUCHI, KETHILEN Y.; PEREIRA, ANTONIO M. C.; TORRES, GUSTAVO M.; SILVA, MATEUS O.; CRUZ, CAIO F. S.; SILVA, AGEMILSON P.; BELEM, RUAN J. S.; JESUS, ANDERSON S.; COSTA, ANDRÉ S.; EVANGELISTA, LUCAS G. C.; SILVA, OSMAR R. A.; BEZERRA, THIAGO B.; JUNIOR, WALDIR S. S.; CARVALHO, CELSO B. Dead Pixel Detection on Liquid Crystal Displays using Random Forest, SVM, and Harris Detector. 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-2.

VALADAO, MYKE D. M.; CARVALHO, CELSO B.; JUNIOR, WALDIR S. S. Trends and Challenges for the Spectrum Sensing in the Next Generation of Communication Systems. 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-2.

TRIBUZY, LUCAS B.; TORRES, YASMIM P.; FURTADO, RAFAEL S.; JUNIOR, LUIZ C. S. GARCIA; BITAR, NEWTON P.; JUNIOR, WALDIR S. S. Vehicle License Plate Preprocessing Techniques Using Graphical Interface. 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-2.

DANTAS, PIERRE V.; CARVALHO, CELSO B.; JUNIOR, WALDIR S. S. Turning Digital Signal Processing into Graph Signal Processing: Overview and Applications. 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-2.

GADELHA, MIKHAIL Y. R.; MENEZES, R.; SOUSA, F. R. M.; CORDEIRO, L. C.; NICOLE, D. ESBMC: Scalable and Precise Test-Case Generation based on the Floating-Point Theory (Competition Contribution).. In: 23rd International Conference on Fundamental Approaches to Software Engineering, 2020, Dublin, Ireland. FASE'20. Heidelberg: Springer, 2020. v. 12076. p. 525-529.

ROCHA, H.; MENEZES, R.; CORDEIRO, L. C.; BARRETO, R. S. Map2Check: Using Symbolic Execution and Fuzzing (Competition Contribution. In: 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2020, Dublin, Ireland. TACAS'20. Heidelberg: Springer, 2020. v. 12079. p. 403-407.

GADELHA, M. Y. R.; CORDEIRO, L. C.; NICOLE, D. An Efficient Floating-Point Bit-Blasting API for Verifying C Programs. In: 13th International Workshop on Numerical Software Verification 2020, 2020, Los Angeles, CA, USA. NSV'2020. Heidelberg, Germany: Springer, 2020. p. 1-20.

TRINDADE, A. B.; CORDEIRO, L. C. Synthesis of Solar Photovoltaic Systems: Optimal Sizing Comparison. In: 12th Working Conference on Verified Software: Theories, Tools, and Experiments, 2020, Los Angeles, USA. VSTTE'20. Heidelberg: Springer, 2020. p. 1-18.

VALADÃO, M. D. M.; PEREIRA, A. M. C.; AMOEDO, D. A.; LIMA FILHO, E. B.; CARVALHO, C. B.; COSTA, A. L. A.; CORDEIRO, L. C.; SILVA JUNIOR, W. S. 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, Florianópolis. SBrT'20, 2020. p. 1-5.

TRABALHOS PUBLICADOS EM EVENTOS NACIONAIS

FERREIRA, D.; SILVA, W.; CARVALHO, C. B. Localização em Ambientes Internos Baseada em Aprendizado Supervisionado Utilizando Estações de Rádio FM. In: Escola Regional de Informática - GO, 2020, Goiânia. ERIGO-2020, 2020. v. 2020.

ROSA, W. C.; MOTA, E. S.; REZENDE, J. F.; CARVALHO, C. B. QoN++: Roteamento por Qualidade dos Nós com redução de Overhead em Redes DTN. In: Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2020, Florianópolis. SBrT-2020, 2020.

CARVALHO, A. S.; de REZENDE, J. F.; CARVALHO, C. B. Sistema de Localização em Ambientes Internos usando Wi-Fi e algoritmo K-NN. In: Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2020, Florianópolis. SBrT 2020, 2020.

OLIVEIRA, J. P.; COSTA, MARLY GUIMARÃES FERNANDES; COSTA FILHO, CÍCERO FERREIRA FERNANDES. Segmentação Semântica de Tipos de Uso de Solo na Amazônia Utilizando Aprendizado Profundo. In: XXI GEOINFO, 2020, São José dos Campos. Proceedings XXI GEOINFO. São José dos Campos, 2020. p. 198-203.

AQUINO, G. A. E.; SERRÃO, M. K.; COSTA, M. G. F.; COSTA FILHO, CÍCERO F. F. Human Activity Recognition from Accelerometer Data with Convolutional Neural Networks. In: XXVII Brazilian Congress in Biomedical Engineering, 2020, Vitória, Brazil. Proceedings of XXVII Brazilian Congress in Biomedical Engineering. Vitória: Sociedade Brasileira de Engenharia Biomédica, 2020. p. 108-113.

AQUINO, G. A. E.; SERRAO, M. K.; COSTA, M. G. F.; COSTA FILHO, CICERO F. F. Evaluating the Performance of Convolutional Neural Networks with Direct and Sequential Acyclic Graph Architectures in Automatic Segmentation of Breast Lesions in Ultrasound Images. In: XXVII Brazilian Congress in Biomedical Engineering, 2020, Vitoria, Brazil. Proceedings of XXVII Brazilian Congress in Biomedical Engineering. Vitória: Sociedade Brasileira de Engenharia Biomédica, 2020. p. 114-119.

COSTA FILHO, CÍCERO FERREIRA FERNANDES; NEGREIROS, J. V. C.; COSTA, M. G. F. Multimodal Biometric System Based on Autoencoders and Learning Vector Quantization. In: XXVII Brazilian Congress in Biomedical Engineering, 2020, Vitória, Brazil. Proceedings of XXVII Brazilian Congress in Biomedical Engineering. Vitória: Sociedade Brasileira de Engenharia Biomédica, 2020. p. 626-631.

FERREIRA, D. A. O.; DA SILVA JÚNIOR, WALDIR SABINO; CARVALHO, C. B. Localização em Ambientes Internos Baseada em Aprendizado Supervisionado Utilizando Estações de Rádio FM. In: 2020 VIII Escola Regional de Informática de Goiás (ERI-GO 2020), 2020, Goiânia. Anais da 2020 VIII Escola Regional de Informática de Goiás (ERI-GO 2020), 2020. p. 1-13.

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 NACIONAI 

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.

TRABALHOS PUBLICADOS EM PERIÓDICOS INTERNACIONAIS

ROMAGUERA, L. V.; ROMERO, F. P.; COSTA FILHO, C. F. F.; COSTA, M. G. F. Myocardial segmentation in cardiac magnetic resonance images using fully convolutional neural networks. Biomedical Signal Processing and Control, v. 44, p. 48-57, 2018.

COSTA, M. G. F.; PINTO, K. M. B.; FUJIMOTO, L.B.M.; OGUSKU, 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, 2018.

MEDEIROS, RENAN LANDAU PAIVA DE; BARRA, WALTER; BESSA, IURY VALENTE DE; CHAVES FILHO, JOÃO EDGAR; AYRES, FLORINDO ANTONIO DE CARVALHO; NEVES, CLEONOR CRESCÊNCIO DAS. Robust decentralized controller for minimizing coupling effect in single inductor multiple output DC-DC converter operating in continuous conduction mode. Isa Transactions, v. 73, p. 112-129, 2018.

ARAÚJO, RODRIGO F.; ALBUQUERQUE, HIGOR F.; DE BESSA, IURY V.; CORDEIRO, LUCAS C.; CHAVES FILHO, JOÃO E. Counterexample guided inductive optimization based on satisfiability modulo theories. Science Of Computer Programming, v. 165, p. 3-23, 2018.

SILVA, YURI M. L. R.; SIMÕES, WALTER C. S. S.; NAVES, EDUARDO L. M.; FILHO, TEODIANO F. BASTOS; DE LUCENA, VICENTE F. Teleoperation Training Environment for New Users of Electric Powered Wheelchairs based on Multiple Driving Methods. IEEE Access, v. 6, p. 1-1, 2018.

CHAVES, L.; BESSA, I. V.; ISMAIL, H. I.; FRUTUOSO, A.; CORDEIRO, L. C.; LIMA FILHO, E. B. DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles. IEEE TRANSACTIONS ON RELIABILITY, v. 67, p. 1420-1441, 2018.

FARIAS, A. O.; QUEIROZ, G. A. C.; BESSA, IURY V.; MEDEIROS, R. L. P.; CORDEIRO, L. C.; PALHARES, R. M. Sim3Tanks: A Benchmark Model Simulator for Process Control and Monitoring. IEEE Access, v. 6, p. 62234-62254, 2018.

CORDEIRO, L. C.; KROENING, DANIEL; SCHRAMMEL, P. Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP). SOFTWARE ENGINEERING NOTES, 2018.

LUCENA FILHO, W. C.; FERRAZ, E. S.; SILVA JUNIOR, W. S.; CARVALHO, C. B.  A Power Control and Anticolision Mechanism for RFID Systems. Ad Hoc & Sensor Wireless Networks, v. 42, p. 107-124, 2018.

U. A. VASCONCELOS; MONTEIRO, D. W. L.; SALLES, L. P.; DE MORAES CRUZ, CARLOS AUGUSTO; BELMONTE, P. N. A. Impact of CMOS Pixel and Electronic Circuitry in the Performance of a Hartmann-Shack Wavefront Sensor. SENSORS, v. 18, p. 3282, 2018.

CARVALHO, F. F.; MARQUES, G. C.; THIAGO B. BEZERRA; DE MORAES CRUZ, CARLOS A.  A Novel Hybrid CMOS Pixel-Cluster for Local Light Angle, Polarization and Intensity Detection with Determination of Stokes Parameters. JICS. JOURNAL OF INTEGRATED CIRCUITS AND SYSTEMS (ED. PORTUGUÊS), v. 13, p. 1-10, 2018.

TRABALHOS PUBLICADOS EM EVENTOS INTERNACIONAIS

MIYAGAWA, M.; COSTA, MARLY GUIMARÃES FERNANDES; GUTIERREZ, M. A.; COSTA, J. P. G. F.; COSTA FILHO, CICERO F. F. Lumen Segmentation in Optical Coherence Tomography Images using Convolutional Neural Network. In: IEEE Engineering in Medicine and Biology Conference 2018 - IEEE EMBC 2018, 2018, Honolulu. Proceedings of IEEE Engineering in Medicine and Biology Conference 2018, 2018. v. 1. p. 600-603.

SILVA, T. A.; COSTA, M. G. F.; STELMACH, R.; BLAY, P. K.; GUTIERREZ, M. A.; COSTA FILHO, CICERO F F . Development of a System Mobile-based to Assist Asthma Self-Management. In: 2018 3rd Biennial South African Biomedical Engineering Conference (SAIBMEC), 2018, Cape Town. Proceedings of 2018 3rd Biennial South African Biomedical Engineering Conference (SAIBMEC), 2018. v. 1. p. 1-4.

SILVA, YURI; SIMOES, WALTER; TEOFILO, MAURO; NAVES, EDUARDO; LUCENA, VICENTE. Training environment for electric powered wheelchairs using teleoperation through a head mounted display. In: 2018 IEEE International Conference on Consumer Electronics (ICCE), 2018, Las Vegas. 2018 IEEE International Conference on Consumer Electronics (ICCE). New York: IEEE, 2018. v. 1. p. 1-2.

TEÓFILO, MAURO; LUCENA, VICENTE F.; NASCIMENTO, JOSIANE; MIYAGAWA, TAYNAH; MACIEL, FRANCIMAR. Evaluating accessibility features designed for virtual reality context. In: 2018 IEEE International Conference on Consumer Electronics (ICCE), 2018, Las Vegas. 2018 IEEE International Conference on Consumer Electronics (ICCE). New York: IEEE, 2018. v. 1. p. 1-6.

JUNIOR, ELPÍDIO H.; DA CRUZ, LUCAS F.; DA SILVA, VANDERMI J.; RAIMUNDO, MAURO R. DA S. TEÓFILO; BARRETO; LUCENA, VICENTE F. I-Jack: Wearable system for collection and evaluation physiological data. In: 2018 IEEE International Conference on Consumer Electronics (ICCE), 2018, Las Vegas. 2018 IEEE International Conference on Consumer Electronics (ICCE). New York: IEEE, 2018. v. 1. p. 1-4.

PICANÇO, W. S.; LUCENA, J. M. V. M. DE; LIRA, A. F.; LUCENA, V. F. Didactic Framework for Teaching C Programming Language: A Proposal Based on Cooperative and Competitive Learning Techniques. In: 2018 Frontiers in Education Conference - Fostering Innovation through Diversity, 2018, San Jose - California. Proceedings of the 2018 Frontiers in Education Conference. New Jersey: IEEE, 2018. v. 1. p. 1-9.

MACHADO, G. S.; SILVA, Y. M. L. R.; LUCENA JR, V. F. A Tool for the Automatic Selection of Mechatronics Remote Laboratories based on their Actual Effective Costs. In: 2018 Frontiers in Education Conference - Fostering Innovation through Diversity, 2018, San Jose - California. Proceedings of the 2018 Frontiers in Education Conference. New Jersey: IEEE, 2018. v. 1. p. 1-5.

MENDONÇA, R. S.; CAVALCANTE, A. L. D.; JAZDI, N.; LUCENA JR, V. F. The use of a Mechatronic Systems Simulator in Engineering Courses. In: 2018 Frontiers in Education Conference - Fostering Innovation through Diversity, 2018, San Jose - California. Proceedings of the 2018 Frontiers in Education Conference. New Jersey: IEEE, 2018. v. 1. p. 1-5.

SILVA, Y. M. L. R.; SOUZA, V. S.; NAVES, EDUARDO L. M.; BASTOS FILHO, T. F.; LUCENA JR, V. F. Teleoperation Training Environment for New Users of Electric Powered Wheelchairs. In: The 8th International Conference on Current and Future Trends of Information and International Conference on Current and Future Trends of Information, 2018, Leuven - Bélgica. Procedia Computer Science, 2018. v. 141. p. 343-350.

SILVA, V. J.; SOUZA, V. S.; CRUZ, R. G.; JAZDI, N.; LUCENA JR, V. F. MobiHealth: a System to Improve Medication Adherence in Hypertensive Patients. In: The 8th International Conference on Current and Future Trends of Information and International Conference on Current and Future Trends of Information, 2018, Leuven - Bélgica. Procedia Computer Science, 2018. v. 141. p. 366-373.

RODRIGUES, T. B.; SALGADO, D. P.; CORDEIRO, M. C.; M. OSTERWALD, K.; BASTOS FILHO, T. F.; LUCENA JR, V. F.; NAVES, EDUARDO L. M.; MURRAY, N. Fall Detection System by Machine Learning Framework for Public Health. In: The 8th International Conference on Current and Future Trends of Information and International Conference on Current and Future Trends of Information, 2018, Leuven - Bélgica. Procedia Computer Science, 2018. v. 141. p. 358-365.

TEÓFILO, M. R. S.; LOURENÇO, ALVARO; POSTAL, JULIANA; LUCENA JR, V. F. Exploring Virtual Reality to Enable Deaf or Hard of Hearing Accessibility in Live Theaters: A Case Study. In: 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, 2018, Las Vegas. Lecture Notes in Computer Science - Information Systems and Applications, incl. Internet/Web, and HCI, 2018. v. 10908. p. 132-148.

CHAVES, L.; BESSA, I. V.; CORDEIRO, L. C.; KROENING, DANIEL. DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems. In: 21st ACM International Conference on Hybrid Systems: Computation and Control, 2018, Porto, Portugal. HSCC'18. Washington: ACM, 2018. p. 253-258.

MENEZES, R.; ROCHA, H.; CORDEIRO, L. C.; BARRETO, R. S. Map2Check using LLVM and KLEE. In: 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2018, Thessaloniki, Greece. TACAS'18. Heidelberg: Springer, 2018. v. 10806. p. 437-441.

CORDEIRO, L. C.; KESSELI, PASCAL; KROENING, DANIEL; SCHRAMMEL, P.; TRTIK, M. JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode. In: 30th International Conference on Computer Aided Verification, 2018, Oxford, UK. CAV'18. Heidelberg: Springer, 2018. v. 10981. p. 183-190.

GADELHA, M. Y. R.; SOUSA, F. R. M.; MORSE, J.; CORDEIRO, L. C.; FISCHER, BERND; NICOLE, D. ESBMC 5.0: An Industrial-Strength C Model Checker. In: 33rd IEEE/ACM International Conference on Automated Software Engineering, 2018, Montpellier, France. ASE'18. USA: ACM, 2018. p. 888-891.

GADELHA, M. Y. R.; SOUSA, F. R. M.; CORDEIRO, L. C.; NICOLE, D. Towards Counterexample-guided k-Induction for Fast Bug Detection. In: 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018, Lake Buena Vista, Florida. ESEC/FSE'18, 2018. p. 1-5.

TRABALHOS PUBLICADOS EM EVENTOS NACIONAIS

ZEIMARANI, B.; COSTA, M. G. F.; NURANI COSTA, N. Z.; COSTA FILHO, C. F. F. Breast Tumor Classification in Ultrasound Images using Deep Convolutional Neural Network, XXVI Congresso Brasileiro de Engenharia Biomédica, p 1-4.

OLIVEIRA, A. S.; COSTA, M. G. F.; COSTA FILHO, C. F. F. Recognizing Hand Configurations of Brazilian Sign Lan-guage using Convolutional Neural Networks. XXVI Congresso Brasileiro de Engenharia Biomédica, p 1-4.

COSTA. M.G.F.; ALMEIDA, L. N. A.; GUIMARÃES, F. B.; BARBOSA. M. G. V.; OGUSKU, M.M.; COSTA, J. P. G.F. AND COSTA FILHO, C. F. F. First step of automated malaria diagnosis:  evaluation of focus functions in thick blood smear images. XXVI Congresso Brasileiro de Engenharia Biomédica, p 1-4.

JAZDI, N.; LUCENA JR, V. F. Agile Software Development Methods for Prototyping of Innovative Concepts in Manufacturing Automation. In: XXII Congresso Brasileiro de Automática - CBA 2018, 2018, João Pessoa. Anais do XXII Congresso Brasileiro de Automática. João Pessoa: UFPB, 2018. v. 1. p. 1-8.

JAZDI, N.; LUCENA JR, V. F. Monitoring and Controlling of Industrial Automation System Considering Vague Inputs. In: XXII Congresso Brasileiro de Automática - CBA 2018, 2018, João Pessoa. Anais do XXII Congresso Brasileiro de Automática. João Pessoa: UFPB, 2018. v. 1. p. 1-7.

AMARAL, H. C. C.; MENDONÇA, R.S.; CAVALCANTE, A. L. D.; LUCENA JR, V. F.; JAZDI, N. Metodologia para Desenvolvimento de Sistemas Evolutivos - MeDSE: Princípios Básicos. In: XXII Congresso Brasileiro de Automática - CBA 2018, 2018, João Pessoa. Anais do XXII Congresso Brasileiro de Automática. João Pessoa: UFPB, 2018. v. 1. p. 1-8.

AMARAL, H. C. C.; MENDONÇA, R.S.; CAVALCANTE, A. L. D.; LUCENA JR, V. F. Sistema Inteligente Ágil de Processo Evolutivo - Siape: Um Protótipo Brasileiro de Sistemas EPS. In: XXII Congresso Brasileiro de Automática - CBA 2018, 2018, João Pessoa. Anais do XXII Congresso Brasileiro de Automática. João Pessoa: UFPB, 2018. v. 1. p. 1-8.

MACHADO, G. S.; SOUZA, P. R.; LUCENA JR, V. F. Sistema de Seleção de Laboratórios de Acesso Remoto Como Suporte a Ambientes de Aprendizagem de Mecatrônica. In: XLVI Congresso Brasileiro de Educação em Engenharia (COBENGE), 2018, Salvador - BA. Anais do XLVI Congresso Brasileiro de Educação em Engenharia (COBENGE), 2018. v. 1. p. 1-10.

SIMOES, WALTER C. S. S.; SILVA, LUCIANO M. DA; SILVA, VANDERMI J. DA; DE LUCENA, VICENTE F. A Guidance System for Blind and Visually Impaired People via Hybrid Data Fusion. In: 2018 IEEE Symposium on Computers and Communications (ISCC), 2018, Natal. 2018 IEEE Symposium on Computers and Communications (ISCC), 2018. v. 1. p. 01261-01266.

SOARES, D.; MATTHAUS, B.; MOTA, E.; CARVALHO, C. B.  Avaliação Experimental da Eficácia de um Watchdog em Redes Oportunistas Móveis. In: Simpósio Brasileiro de Redes de Computadores, 2018, Campos do Jordão. XXXVI SBRC 2018, 2018. v. 2018.

SOARES, D.; MATTHAUS, B.; MOTA, E. S.; CARVALHO, C. B. A Feasibility Study of Watchdogs on Opportunistic Mobile Networks. In: IEEE ISCC 2018, 2018, Natal, Brazil. IEEE Symposium on Computers and Communications, 2018. v. 2018.

AMARAL, H. C. C.; CAVALCANTE, A.; MENDONCA, RAFAEL DA SILVA; LUCENA JR., V. F.  Sistema Inteligente Ágil de Processo Evolutivo - SIAPE: Um Protótipo Brasileiro De Sistema EPS. In: XXII Congresso Brasileiro de Automática, 2018, João Pessoa, PB. Anais do XXII Congresso Brasileiro de Automática.

TRABALHOS PUBLICADOS EM PERIÓDICOS INTERNACIONAIS

COSTA FILHO, CICERO FERREIRA. FERNANDES; SOUZA, ROBSON SILVA DE; SANTOS, JONILSON ROQUE DOS; SANTOS, BÁRBARA LOBATO DOS; COSTA, MARLY GUIMARÃES FERNANDES. A fully automatic method for recognizing hand configurations of Brazilian sign language. Research On Biomedical Engineering, v. 33, p. 78-89, 2017. 

ARAUJO, GABRIEL M.; RIBEIRO, FELIPE M. L.; JUNIOR, WALDIR S. S.; DA SILVA, EDUARDO A. B.; GOLDENSTEIN, SIOME K. Weak Classifier for Density Estimation in Eye Localization and Tracking. Ieee Transactions On Image Processing, v. 26, p. 3410-3424, 2017.

LUCENA FILHO, W. C.; CORDEIRO, L. C.; DA SILVA JUNIOR, WALDIR SABINO; CARVALHO, C. B. A Power Control and Anticolision Mechanism for RFID Systems. IEEE Latin America Transactions, v. 15, p. 1933-1940, 2017.

ERIKSON V. DE S. ROSA, RICARDO; FERREIRA DE LUCENA, VICENTE. Contextualizing and capturing individual user interactions in shared iTV environments. Multimedia Tools And Applications (Dordrecht. Online), v. 76, p. 8573-8595, 2017.

BESSA, IURY; ISMAIL, HUSSAMA; PALHARES, REINALDO; CORDEIRO, LUCAS; CHAVES FILHO, JOAO EDGAR. Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty. IEEE Transactions on Computers (Print), v. 66, p. 1-1, 2017.

ALVES, E. H. S.; CORDEIRO, L. C.; BATISTA FILHO, E. L. A Method to Localize Faults in Concurrent C Programs. Journal Of Systems And Software, v. 132, p. 336-352, 2017.

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. Software Testing Verification & Reliability, v. 27, p. e1632, 2017.

SOUSA, F. R. M. JANUÁRIO, F. A. P.; CORDEIRO, L. C.; LIMA FILHO, E. 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. 148, p. 1-15, 2017.

ARAÚJO, R.; ALBUQUERQUE, H.; BESSA, I. V.; CORDEIRO, L. C.; CHAVES FILHO, J. E. Counterexample guided inductive optimization based on satisfiability modulo theories. Science Of Computer Programming, v. 151, p. 1-38, 2017.

TRABALHOS PUBLICADOS EM EVENTOS INTERNACIONAIS 

VÁZQUEZ ROMAGUERA, LISET; GUIMARÃES FERNANDES COSTA, MARLY; ROMERO, FRANCISCO PERDIGÓN; COSTA FILHO, CICERO FERREIRA FERNANDES. Left ventricle segmentation in cardiac MRI images using fully convolutional neural networks. In: SPIE Medical Imaging, 2017, Orlando. org.crossref.xschema._1.Title@7d268aec. v. 10134. p. 101342Z-101342Z-11.

PORTO, C. D. N.; COSTA FILHO, C. F. F.; COSTA, M. G. F.; GUTIERREZ, M. A.; MACEDO, M. M. G. Classification of bifurcations regions in IVOCT images using support vector machine and artificial neural network models. In: SPIE Medical Imaging, 2017, Orlando. org.crossref.xschema._1.Title@39ed8f3c. v. 101344. p. 101344D-101344D-13.

LOPEZ, Y. P.; COSTA FILHO, CÍCERO FERREIRA FERNANDES; AGUILERA, L. M. R.; COSTA, MARLY GUIMARÃES FERNANDES. Automatic classification of light field smear microscopy patches using Convolutional Neural Networks for identifying Mycobacterium Tuberculosis. In: IEEE Chilecon 2017, 2017, Pucón. Proceedings of IEEE Chilecon 2017, 2017. v. 1. p. 272-276.

LIMA, MARCUS; KURKA, PAULO; SILVA, YURI; LUCENA, VICENTE. Indoor visual localization of a wheelchair using Shi-Tomasi and KLT. In: 2017 IEEE 30th Canadian Conference on Electrical and Computer Engineering (CCECE), 2017, Windsor. 2017 IEEE 30th Canadian Conference on Electrical and Computer Engineering (CCECE), 2017. v. 1. p. 1-4.

SIMÕES, W. C. S. S.; SILVA, Y. M. L. R.; LUCENA JR, V. F. A Location Technique Based on Hybrid Data Fusion used to Increase the Indoor Location Accuracy. In: 7th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2017), 2017, Lund - Suécia. Procedia Computer Science, 2017. v. 2017. p. 368-375.

MENDONÇA, R.S.; CAVALCANTE, A. L. D.; LUCENA JR, V. F. Proposal of a Simulator for Evolutionary Production Systems. In: 22nd IEEE International Conference on Emerging Technologies And Factory Automation, 2017, Limassol - Chipre. Proceedings of the 22nd IEEE International Conference on Emerging Technologies And Factory Automation. New York: IEEE, 2017. v. 1. p. 1-4.

ABATE, ALESSANDRO; BESSA, IURY; CATTARUZZA, DARIO; CORDEIRO, LUCAS; DAVID, CRISTINA; KESSELI, PASCAL; KROENING, DANIEL. Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. In: the 20th International Conference, 2017, Pittsburgh. Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control - HSCC '17, 2017. p. 197-206.

OCHA, W.; ROCHA, H.; ISMAIL, H. I.; CORDEIRO, L. C.; FISCHER, BERND. DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs. In: 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2017, Uppsala, Sweden. TACAS'17. Germany: Springer, 2017. v. 10206. p. 360-364.

ABATE, A.; BESSA, IURY; CATTARUZZA, D.; CORDEIRO, L. C.; DAVID, C.; KESSELI, P.; KROENING, D.; POLGREEN, E. Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants. In: 29th International Conference on Computer-Aided Verification, 2017, Heidelberg. CAV'17. Germany: Springer, 2017. v. 10426. p. 462-482.

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. New York: ACM Press, 2017. p. 388-391.

ARAUJO, R.; RIBEIRO, A.; BESSA, I. V.; CORDEIRO, L. C.; CHAVES FILHO, J. E.. Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning. In: 14rd Latin American Robotics Symposium, 2017, Curitiba, Paraná. LARS. Washington: IEEE, 2017. p. 1-8.

ABATE, ALESSANDRO; BESSA, IURY V.; CATTARUZZA, D.; CHAVES, L.; CORDEIRO, L. C.; DAVID, C.; KESSELI, P.; KROENING, D.; POLGREEN, E. DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants. In: 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017, Illinois, USA. ASE'17, 2017. p. 919-924.

DE MORAES CRUZ, CARLOS AUGUSTO; DE LIMA MONTEIRO, DAVIES WILLIAM; GILLES SICARD; CARVALHO, F. F.; SOUZA, ALEXANDRE KENNEDY PINTO. A Low-Power FPN Attenuation Method in the Double-Log PMOS APS. In: 2nd International Symposium on Instrumentation Systems, Circuits and Transducers, 2017, Fortaleza - Brazil. Proceedings of 2nd International Symposium on Instrumentation Systems, Circuits and Transducers, 2017.

CARVALHO, F. F.; SOUZA, A. K. P.; DE MORAES CRUZ, CARLOS AUGUSTO. Hybrid Grated Pixel Cluster For Local Light Angle and Intensity Detection. In: 2nd International Symposium on Instrumentation Systems, Circuits and Transducers, 2017, Fortaleza - Brazil. Proceedings of 2nd International Symposium on Instrumentation Systems, Circuits and Transducers, 2017.

L. LOURENÇO FURTADO; DE MORAES CRUZ, CARLOS AUGUSTO; SILVEIRA, F.; T. D. MOURA. Active ISFET Sensor Readout Circuit. In: 2nd International Symposium on Instrumentation Systems, Circuits and Transducers, 2017, Fortaleza - Brazil. Proceedings of 2nd International Symposium on Instrumentation Systems, Circuits and Transducers, 2017.

FURTADO L. L.; DE MORAES CRUZ, CARLOS AUGUSTO; SOUZA, J. F.; CARDOSO, V. F.; M. VINÍCIUS PELEGRINI. A Novel Electrical Circuit Model for Ion-Sensitive Field-Effect Transistor. In: 2nd International Symposium on Instrumentation Systems, Circuits and Transducers, 2017, Fortaleza - Brazil. Proceedings of 2nd International Symposium on Instrumentation Systems, Circuits and Transducers, 2017.

DE OLIVEIRA, EWERTON GOMES; DE MORAES CRUZ, CARLOS AUGUSTO; DE LIMA MONTEIRO, DAVIES WILLIAM. Power Consumption Contrasting Model For Different Logarithmic Active Pixel Sensor Topologies. In: 2nd International Symposium on Instrumentation Systems, Circuits and Transducers, 2017, Fortaleza - Brazil. Proceedings of 2nd International Symposium on Instrumentation Systems, Circuits and Transducers, 2017.

TRABALHOS PUBLICADOS EM EVENTOS NACIONAIS

XAVIER, C. M.; COSTA, MARLY GUIMARÃES FERNANDES; COSTA FILHO, CÍCERO F. F. A New Multi Objective Approach for Optimizing P-median Modeling in School Allocation using Genetic Algorithm. In: Congresso da Sociedade Brasileira de Computação 2017 - Seminário Integrado de Software e Hardware, 2017, São Paulo. Anais do Congresso da Sociedade Brasileira de Computação 2017, 2017. v. 1. p. 2575-2586.

LIMA NETO, M. S.; COSTA, M. G. F.; COSTA FILHO, CÍCERO F. F. A New Global-Local Approach to Optimize School Meals Delivery. In: Congresso da Sociedade Brasileira de Computação 2017 - Seminário Integrado de Software e Hardware, 2017, São Paulo. Anais do Congresso da Sociedade Brasileira de Computação 2017, 2017. v. 1. p. 2587-2597.

OLIVEIRA, J. P.; COSTA, MARLY GUIMARÃES FERNANDES; COSTA FILHO, CÍCERO F. F. Detecção de áreas desmatadas utilizando redes neurais artificiais associados a métodos para melhoria da generalização. In: XIII Encontro Nacional de Computação, 2017, Catalão - GO. Anais do XIII Encontro Nacional de Computação, 2017. v. 1. p. 84-91.

JESUS, A. S.; RODRIGUES, R. N.; FERREIRA, A. N. G.; VALENTE, V. H.; MELO, W. C.; LIMA FILHO, E. B.; DA SILVA JÚNIOR, WALDIR SABINO. 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 (SBrT), 2017, São Pedro, SP. Anais do XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais (SBrT), 2017. p. 186-190.

AMOEDO, D. A.; MELO, W. C.; CORDEIRO, L. C.; LIMA FILHO, E. B.; DA SILVA JÚNIOR, WALDIR SABINO; 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 (SBrT), 2017, São Pedro, SP. Anais do XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais (SBrT), 2017. p. 393-397.

MELO, W. C.; LIMA FILHO, E. B.; DA SILVA JÚNIOR, WALDIR SABINO. Electroencephalographic Signal Compression Based on Adaptive Segmentation and Video Encoders. In: XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais (SBrT), 2017, São Pedro, SP. Anais do XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais (SBrT), 2017. p. 503-507.

DANTAS, P. V.; VINENTE, K. S.; SALES E SILVA, L. E.; CARVALHO, C. B.; DA SILVA JÚNIOR, WALDIR SABINO. Análise de Parâmetros para Desagregação de Sinais de Consumo de Energia Elétrica. In: XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais (SBrT), 2017, São Pedro, SP. Anais do XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais (SBrT), 2017. p. 682-686.

MELLO, D. P. M.; FREITAS, M. L.; CORDEIRO, L. C.; DA SILVA JÚNIOR, WALDIR SABINO; BESSA, I. V.; LIMA FILHO, E. B.; CLAVIER, L. Verification of Magnitude and Phase Responses in Fixed-Point Digital Filters. In: XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais (SBrT), 2017, São Pedro, SP. Anais do XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais (SBrT), 2017. p. 1184-1188.

SILVA JUNIOR, W. S.; AMOEDO, D.; MELO, W.; 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: SBrT, 2017, São Pedro, SP. Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2017. v. XXXV.

NEVES, E. V.; MARTINS, R.; CARVALHO, CELSO; MOTA, E. Disseminação de mensagens DTN com base em grupos de interesses. In: Erin, 2017, Manaus. Erin 2017 - IV Escola Regional De Informática, 2017. V. 2017.

CAVALCANTE, T. F.; AVES, E. H. S.; CARVALHO, C. B. Radio Communication to Control and Run an Autonomous Mission for UAVs via a Mobile Application. In: ERIN - Escola Regional de Informática, 2017, Manaus. IV Escola Regional de Informática, 2017.

COSTA JR, M. A.; SEABRA, J. C.; SILVA, Y. M. L. R.; LUCENA JR, V. F. APLICAÇÃO DIGITAL TWIN PARA DETECÇÃO DE FALHAS E DIAGNÓSTICO EM EQUIPAMENTOS DE USO DOMÉSTICO. In: Simpósio Brasileiro de Automação Inteligente (SBAI), 2017, Porto Alegre. Anais do Simpósio Brasileiro de Automação Inteligente (SBAI 2017). São Paulo: SBA, 2017. v. 1. p. 1-6.

ALBUQUERQUE, H.; ARAUJO, R.; BESSA, I.; CORDEIRO, L. C.; LIMA FILHO, E. B. OptCE: A Counterexample-Guided Inductive Optimization Solver. In: XX Brazilian Symposium on Formal Methods, 2017, Recife. SBMF'17. Heidelberg: Springer, 2017. p. 1-16.

GADELHA, M. Y. R.; CORDEIRO, L. C.; NICOLE, D.. Encoding floating-points using the SMT theory in ESBMC: An empirical evaluation over the SV-COMP benchmarks. In: XX Brazilian Symposium on Formal Methods, 2017, Recife. SBMF'17. Heidelberg: Springer, 2017. p. 1-16.

CAVALCANTE, T. R. F.; BESSA, I. V.; CORDEIRO, L. C. Planning and Evaluation of UAV Mission Planner for Intralogistics Problems. In: VII Brazilian Symposium on Computing Systems Engineering, 2017, Curitiba, Paraná. SBESC'17, 2017. p. 1-8.

CARVALHO, F. F.; SOUZA, ALEXANDRE KENNEDY PINTO; DE MORAES CRUZ, CARLOS AUGUSTO. A Novel Hybrid Polarization-Quadrature Pixel Cluster For Local Light Angle and Intensity Detection. In: 30th Symposium on Integrated Circuits and Systems Design, 2017, Fortaleza - Brazil. Proceedings of 30th Symposium on Integrated Circuits and Systems Design, 2017.

TRABALHOS PUBLICADOS EM PERIÓDICOS INTERNACIONAIS 

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-31, 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 (Online), v. 31, p. 188-197, 2016.

NASCIMENTO, CARMINA DESSANA LIMA; SILVA, SÉRGIO DEODORO DE SOUZA; SILVA, THALES ARAÚJO DA; PEREIRA, WAGNER COELHO DE ALBUQUERQUE; COSTA, MARLY GUIMARÃES FERNANDES; COSTA FILHO, CÍCERO FERREIRA FERNANDES. Breast tumor classification in ultrasound images using support vector machines and neural networks. Research on Biomedical Engineering, v. 32, p. 283-292, 2016.

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. 34, p. 1-27, 2016.

ABREU, R.; GADELHA, M. Y.; CORDEIRO, L. C.; E. B. L. FILHO; SILVA JÚNIOR, W. S. Bounded Model Checking for Fixed-Point Digital Filters. Journal of The Brazilian Computer Society (Online), v. 22, p. 1, 2016.

CORDEIRO, L. C.; LIMA FILHO, E. B. SMT-Based Context-Bounded Model Checking for Embedded Systems: Challenges and Future Trends. Software Engineering Notes, v. 3, p. 1-6, 2016.

BESSA, IURY V.; ISMAIL, HUSSAMA I.; CORDEIRO, LUCAS C.; FILHO, JOÃO E. C. Verification of fixed-point digital controllers using direct and delta forms realizations. Design Automation for Embedded Systems, v. 20, p. 95-126, 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-20, 2016.

BESSA, IURY V.; ISMAIL, H. I.; PALHARES, R. M.; CORDEIRO, L. C.; CHAVES FILHO, J. E. Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty. IEEE Transactions on Computers (Print), v. 10, p. 1-9, 2016.

PEREIRA, P. A.; ALBUQUERQUE, H.; SILVA, I.; MARQUES, H.; RODRIGUES, F.; FERREIRA, R. S.; CORDEIRO, L. C. SMT-Based Context-Bounded Model Checking for CUDA Programs. Concurrency and Computation, v. 28, p. 1-20, 2016.

DE BESSA, IURY VALENTE; PALHARES, REINALDO MARTINEZ; D'ANGELO, MARCOS FLÁVIO SILVEIRA VASCONCELOS; CHAVES FILHO, JOÃO EDGAR. Data-driven fault detection and isolation scheme for a wind turbine benchmark. Renewable Energy, v. 87, p. 634-645, 2016.

ERIKSON V. DE S. ROSA, RICARDO; FERREIRA DE LUCENA, VICENTE. Contextualizing and capturing individual user interactions in shared iTV environments. Multimedia Tools and Applications, v. 75, p. 1-23, 2016.

TRABALHOS PUBLICADOS EM EVENTOS INTERNACIONAIS 

FILHO, C F. F. COSTA; DOS SANTOS, B. L.; DE SOUZA, R. S.; DOS SANTOS, J. R.; COSTA, M. G. F. A new method for recognizing hand configurations of Brazilian gesture language. In: 2016 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2016, Orlando. 2016 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2016. p. 3829-3832.

GATTO, B. B.; SANTOS, E. M.; SILVA JÚNIOR, WALDIR SABINO. A Deep Network Model based on Subspaces: A Novel Approach for Image Recognition. In: CVSS: 21st British Machine Vision Association (BMVA) Computer Vision Summer School, 2016, Swansea, UK. Proceedings of the 21st British Machine Vision Association (BMVA) Computer Vision Summer School, 2016.

PEREIRA, PHILLIPE; ALBUQUERQUE, HIGO; MARQUES, HENDRIO; SILVA, ISABELA; CARVALHO, CELSO; CORDEIRO, LUCAS; SANTOS, VANESSA; FERREIRA, RICARDO. Verifying CUDA programs using SMT-based context-bounded model checking. In: the 31st Annual ACM Symposium, 2016, Pisa. Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16. New York: ACM Press. p. 1648-1653.

ROCHA, H.; CORDEIRO, L. C.; BARRETO, R. S. Hunting Memory Bugs in C Programs with Map2Check (Competition Contribution). In: 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2016, Eindhoven, The Netherlands. TACAS, 2016. v. 9636. p. 934-937. 

GARCIA, M. A. P.; SOUSA, F. R. M.; CORDEIRO, L. C.; 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, Netherlands. SPIN, 2016. v. 9641. p. 97-103.

PEREIRA, P. A.; SOUSA, F. R. M.; CORDEIRO, L. C.; COSTA FILHO, C. F. F.; COSTA, M. G. F. Complementary Training Programme for Electrical and Computer Engineering Students Through an Industrial-Academic Collaboration. In: 46th Annual Frontiers in Education (FIE) Conference, 2016, Erie. FIE, 2016. p. 1-9.

ARAUJO, R.; BESSA, I. V.; CORDEIRO, L. C.; CHAVES FILHO, J. E. SMT-based Verification Applied to Non-convex Optimization Problems. In: VI Brazilian Symposium on Computing Systems Engineering, 2016, João Pessoa, Paraíba. SBESC, 2016. p. 1-8. 

DA SILVA, V. J.; MAIA, O. B.; RODRIGUES, M.; DE LUCENA, V. F. Universal system for integrating commercial medical devices with standardized digital TV systems. In: 2016 IEEE International Conference on Consumer Electronics (ICCE), 2016, Las Vegas. 2016 IEEE International Conference on Consumer Electronics (ICCE). v. 1. p. 301-304.

SIMÕES, W. C. S. S.; DE LUCENA, V. F. Blind user wearable audio assistance for indoor navigation based on visual markers and ultrasonic obstacle detection. In: 2016 IEEE International Conference on Consumer Electronics (ICCE), 2016, Las Vegas. 2016 IEEE International Conference on Consumer Electronics (ICCE). v. 1. p. 60-63.

MENDONCA, RAFAEL DA SILVA; CAVALCANTE, ANDRE LUIZ DUARTE; DE LUCENA JUNIOR, VICENTE FERREIRA. EPSCore: A didactic open architecture of an Evolvable Production System. In: 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA), 2016, Berlin. 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA). v. 1. p. 1-4.

SIMÕES, W. C. S.S.; DE LUCENA, V. F. Hybrid Indoor Navigation assistant for visually impaired people based on fusion of proximity method and pattern recognition algorithm. In: 2016 IEEE 6th International Conference on Consumer Electronics Berlin (ICCEBerlin), 2016, Berlin. 2016 IEEE 6th International Conference on Consumer Electronics - Berlin (ICCE-Berlin). v. 1. p. 108-114.

NAVES, E. L. M.; BASTOS, T. F.; BOURHIS, G.; SILVA, Y. M. L. R.; SILVA, V. J.; LUCENA, V. F. Virtual and augmented reality environment for remote training of wheelchairs users: Social, mobile, and wearable technologies applied to rehabilitation. In: 2016 IEEE 18th International Conference on eHealth Networking, Applications and Services (Healthcom), 2016, Munich. 2016 IEEE 18th International Conference on e-Health Networking, Applications and Services (Healthcom). v. 1. p. 1-4.

XAVIER, C. M.; COSTA, M. G. F.; COSTA FILHO, C. F. F. Optimizing Universities Allocation with Integer Programming Using a New Distance Measure. In: 5th International Conference on Engineering Optimization, 2016, Foz do iguacu. Proceedings of 5th International Conference on Engineering Optimization, 2016. v. 1. p. 1-10.

SILVA, VANDERMI J.; RODRIGUES, MARLOS A. S.; BARRETO, RAIMUNDO; FERREIRA DE LUCENA, VICENTE. UbMed: A ubiquitous system for monitoring medication adherence. In: 2016 IEEE 18th International Conference on eHealth Networking, Applications and Services (Healthcom), 2016, Munich. 2016 IEEE 18th International Conference on e-Health Networking, Applications and Services (Healthcom). v. 1. p. 1-4.

DE LUCENA, VICENTE F.; NETO, JOSÉ P. DE QUEIROZ; DE LUCENA, JULIANA M. V. M. An experience report of inter-institutional engineering degree programs in the Amazon region. In: 2016 IEEE Frontiers in Education Conference (FIE), 2016, Eire. 2016 IEEE Frontiers in Education Conference (FIE), 2016. v. 1. p. 1-8.

TRABALHOS PUBLICADOS EM EVENTOS NACIONAIS

NASCIMENTO, C. D. L.; COSTA, MARLY GUIMARÃES FERNANDES; MACEDO, M.; GUTIERREZ, M. A.; COSTA FILHO, CÍCERO FERREIRA FERNANDES. Identificação de Regiões de Bifurcação em Imagens de Tomografia Intravascular por Coerência Ótica Utilizando Máquinas de Vetores de Suporte. In: XXV Congresso Brasileiro de Engenharia Biomédica? CBEB 2016, 2016, Foz do Iguaçu. Anais do XXV Congresso Brasileiro de Engenharia Biomédica, 2016. v. 1. p. 1175-1178.

FARIAS, F. S.; SALES E SILVA, L. E.; MELO, W. C.; EDDIE B. L. FILHO; DA SILVA JÚNIOR, WALDIR SABINO. Deteção e Análise de Conteúdo de Telas de TV e Monitores. In: Simpósio Brasileiro de Telecomunicações (SBrT), 2016, Santarém, PA. Anais do XXXIV Simpósio Brasileiro de Telecomunicações (SBrT), 2016. p. 162-166. 

PINTO, K. M. B.; COSTA, M. G. F.; FUJIMOTO, L.B.M.; OGUSKU, M.; COSTA FILHO, CÍCERO F. F. Avaliação de Métodos de Fusão de Imagens Multifocais Aplicados a Imagens baciloscópicas de Campo Claro Utilizadas no Diagnóstico da Tuberculose. In: XXV Congresso Brasileiro de Engenharia Biomédica - XXV CBEB, 2016, Foz do Iguaçu. Anais do XXV Congresso Brasileiro de Engenharia Biomédica, 2016. v. 1. p. 1007-1010.

ROMANGUERA, L. V.; ROMERO, F. P.; COSTA FILHO, CÍCERO FERREIRA FERNANDES; COSTA, MARLY GUIMARÃES FERNANDES. Detecção Automática da Pupila Usando Ajuste de Elipse. In: XXV Congresso Brasileiro de Engenharia Biomédica - XXV CBEB, 2016, Foz do Iguaçu. Anais do XXV Congresso Brasileiro de Engenharia Biomédica, 2016. v. 1. p. 1011-1014.

COSTA, MARLY GUIMARÃES FERNANDES; ROMANGUERA, L. V.; PERDIGON, F.; COSTA, J. P. G. F. COSTA FILHO, CÍCERO F. F. Baciloscopia Automatizada: Uma Revisão sobre os Avanços Tecnológicos. In: XXV Congresso Brasileiro de Engenharia Biomédica - XXV CBEB, 2016, Foz do Iguaçu. Anais do XXV Congresso Brasileiro de Engenharia Biomédica, 2016. v. 1. p. 1115-1118.

LOBATO, B.; COSTA FILHO, CÍCERO F. F.; COSTA, M. G. F. Reconhecimento das Configurações de Mãos da Língua Brasileira de Sinais Utilizando o Classificador de Novidades. In: XXV Congresso Brasileiro de Engenharia Biomédica - CBEB 2016, 2016, Foz do Iguaçu. Anais do XXV Congresso Brasileiro de Engenharia Biomédica, 2016. v. 1. p. 1019-1022.

ROMERO, F. P.; MELENDEZ, E. F. P.; ROMANGUERA, L. V.; COSTA, M. G. F.; SEISDEDOS, R. V.; EVANGELISTA NETO, J. Caracterização Espectral das Flutuações de Linha de Base em Sinais de ECG Durante Provas de Esforço. In XXV Congresso Brasileiro de Engenharia Biomédica - CBEB 2016, 2016, Foz do Iguaçu. Anais do XXV Congresso Brasileiro de Engenharia Biomédica, 2016. v. 1. p. 1019-1022.

MENDES, J. P. C.; COSTA, M. G. F.; PEREIRA, W.C.A.; COSTA FILHO, C. F. F. Segmentação Automática de Lesões de Mama em Imagens de Ultrassom. In: XXV Congresso Brasileiro de Engenharia Biomédica? CBEB 2016, 2016, Foz do Iguaçu. Anais do XXV Congresso Brasileiro de Engenharia Biomédica, 2016. v. 1. p. 1079-1082.

SOUZA, A. S.JANUÁRIO, F. A. P.; CORDEIRO, L. C. Verificação de Programas Multi-Threads Baseados no Framework Multiplataforma Qt. In: IV Encontro Regional de Engenharia, 2016, Manaus, Brasil. ENCOENG'16, 2016. p. 131-140. 

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.