TRABALHOS PUBLICADOS EM PERIÓDICOS INTERNACIONAIS

AQUINO, GUSTAVO ; COSTA, MARLY GUIMARÃES FERNANDES ; FILHO, CÍCERO FERREIRA FERNANDES COSTA. Explaining and Visualizing Embeddings of One-Dimensional Convolutional Models in Human Activity Recognition Tasks. SENSORS, v. 23, p. 4409, 2023. Citações: 2|2

DA SILVA MENDONÇA, RAFAEL ; DE OLIVEIRA LINS, SIDNEY ; DE BESSA, IURY VALENTE ; DE CARVALHO AYRES, FLORINDO ANTÔNIO ; DE MEDEIROS, RENAN LANDAU PAIVA ; DE LUCENA, VICENTE FERREIRA . Digital Twin Applications: A Survey of Recent Advances and Challenges. PROCESSES, v. 10, p. 744-756, 2022. Citações:37|45

FERNANDES, RUBENS A. ; GOMES, RAIMUNDO C. S. ; COSTA, CARLOS T. ; CARVALHO, CELSO ; VILAÇA, NEILSON L. ; NASCIMENTO, LENNON B. F. ; SEPPE, FABRICIO R. ; TORNÉ, ISRAEL G. ; DA SILVA, HEITOR L. N. . A Demand Forecasting Strategy Based on a Retrofit Architecture for Remote Monitoring of Legacy Building Circuits. Sustainability, v. 15, p. 11161, 2023.

FERRAG, M. A. ; FRIHA, O. ; KANTARCI, B. ; TIHANYI, N. ; CORDEIRO, L. C. ; DEBBAH, M. ; HAMOUDA, D. ; AL-HAWAWREH, M. ; CHOO, K. R. . Edge Learning for 6G-enabled Internet of Things: A Comprehensive Survey of Vulnerabilities, Datasets, and Defenses. IEEE Communications Surveys and Tutorials, v. 25, p. 1-61, 2023. Citações:4|7

FREDDI, ALESSANDRO ; MONTERIÙ, ANDREA ; DE LUCENA, VICENTE FERREIRA ; FERRACUTI, FRANCESCO ; IARLORI, SABRINA . Editorial: Robots in assisted living environments: Enhancements, challenges and future perspectives. Frontiers In Robotics And Ai, v. 10, p. 1-2, 2023. Citações:1|1

MANINO, EDOARDO ; BESSA, IURY ; CORDEIRO, LUCAS. Towards global neural network abstractions with locally-exact reconstruction. NEURAL NETWORKS, v. 165, p. 1-38, 2023. Citações:1

MATOS, JOÃO BATISTA P. ; FILHO, EDDIE B. DE LIMA ; BESSA, IURY ; MANINO, EDOARDO ; SONG, XIDAN ; CORDEIRO, LUCAS C. . Counterexample Guided Neural Network Quantization Refinement. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, v. 42, p. 1-1, 2023. Citações:1

MENDONÇA, RAFAEL DA SILVA ; DE CARVALHO, MARENICE MELO ; MACHADO, GUIDO SOPRANO ; DA SILVA, CLAUDIA SABRINA MONTEIRO ; DE MEDEIROS, RENAN LANDAU PAIVA ; DE LUCENA, VICENTE FERREIRA. Development of a Novel Methodology to Retrofit Legacy Systems in the Context of Industry 4.0. IEEE Access, v. 11, p. 123223-123235, 2023. Citações:2|2

SILVA, LUIZ EDUARDO SALES E ; VIEIRA, JOÃO PAULO ABREU ; MEDEIROS, RENAN L.P. ; VERONEZE, GABRIELA DE M. ; FREITAS, PAULO R. RADATZ DE ; AYRES JÚNIOR, FLORINDO A. DE C. ; LOPES, ANDREY DA C. . Probabilistic operational costs assessment of combined PV-PEV connections in LV distribution networks. ELECTRIC POWER SYSTEMS RESEARCH, v. 214, p. 108906, 2023.

VILACA, N. L. ; COSTA, M. G. F. ; COSTA FILHO, CÍCERO F. F. . A Hybrid Deep Neural Network Architecture for Day-Ahead Electricity Forecasting: Post-COVID Paradigm. Energies, v. 16, p. 3546, 2023.

YAGO PEREIRA BATISTA, CARLOS ; ROMAGUERA-BARCELAY, YONNY ; MATOS, ROBERT S. ; DOS SANTOS ATHERLY PEDRAÇA, ALINE ; DO AMARAL AMÂNCIO, MOISÉS ; KOUROUMA, ANSOUMANE ; LEYET RUIZ, YURIMILER ; ADRIANO COTTA, EDUARDO ; RICARDO BRITO, WALTER ; MARÍA DIP GANDARILLA, ARIAMNA ; VALÉRIO BOTELHO DO NASCIMENTO, MARCUS ; XAVIER NOBRE, FRANCISCO ; SANTOS FERREIRA, NILSON ; SALERNO, MARCO ; DUARTE DA FONSECA FILHO, HENRIQUE . Morphology, microstructure, and electrocatalytical properties of sol-gel spin-coated Bi0.5Na0.5Ba(TiO3)2 thin films. APPLIED SURFACE SCIENCE, v. 615, p. 156374, 2023. Citações:2|2

TRABALHOS PUBLICADOS EM CONGRESSOS CIENTÍFICOS

ALDUGHAIM, M. ; ALSHMRANY, K. ; GADELHA, M. Y. R. ; RODRIGUES, R. F. ; CORDEIRO, L. C. . FuSeBMC IA: Interval Analysis and Methods for Test Case Generation (Competition Contribution). In: 26th International Conference on Fundamental Approaches to Software Engineering (FASE), 2023, Paris, France. FASE'23. Heidelberg: Springer, 2023. p. 1-4.

ALJAAFARI, FATIMAH K. ; SHMAROV, F. ; MANINO, E. ; MENEZES, R. ; CORDEIRO, L. C. . EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution). In: 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2023, Paris, France. TACAS'23. Heidelberg: Springer, 2023. p. 1-4.

ARAUJO, F. A. S. ; COLARES, N. D. ; CARVALHO, U. P. ; COSTA FILHO, C. F. F. ; COSTA, M. G. F. . Plasmodium Life Cycle-Stage Classification on Thick Blood Smear Microscopy Images using Deep Learning: A Contribution to Malaria Diagnosis. In: 2023 19th International Symposium on Medical Information Processing and Analysis (SIPAIM), 2023, Mexico City. 2023 19th International Symposium on Medical Information Processing and Analysis (SIPAIM), 2023. p. 1-4.

CABALLERO, M. A. S. ; MARTINS, P. R. O. ; SILVA NETO, G. C. ; AYRES JUNIOR, FLORINDO A. C. . Design Of Rst Digital Controller And Plc Implementation On A Water Level Bench. In: 27 th ABCM International Congress of Mechanical Engineering, 2023, Florianópolis. 27 th ABCM International Congress of Mechanical Engineering, 2023.

CAMPOS DE NEGREIROS, JOÃO VICTOR ; VEIGA MUNIZ, CAIQUE ; DOS SANTOS, DAVID LAUREANO ; SANTOS, FABIO R R ; FERNANDES COSTA, MARLY G ; COSTA FILHO, CICERO F. F. . Identification of Individuals Using Multimodal Data and LSTM Neural Networks. In: 2023 3rd International Conference on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME), 2023, Tenerife. 2023 3rd International Conference on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME), 2023. p. 1-6.

CARVALHO, M. M. ; MENDONCA, R. S. ; MEDEIROS, R. L. P. ; AYRES Jr., A. A. C. ; LUCENA JUNIOR, V. F. . Comparação de abordagens de controle via LMI usando diferentes modelagens aplicado a microrrede CC com carga CPL. In: Simpósio Brasileiro de Automação Inteligente - SBAI 2023, 2023, Manaus. Comparação de abordagens de controle via LMI usando diferentes modelagens aplicado a microrrede CC com carga CPL, 2023.

CARVALHO, M. M. ; MENDONCA, R. S. ; MEDEIROS, R. L. P. ; AYRES Jr., A. A. C. ; LUCENA JUNIOR, V. F. . Digitalização de uma planta industrial utilizando o protocolo de comunicação OPC-UA e aplicação Node-red. In: Simpósio Brasileiro de Automação Inteligente - SBAI 2023, 2023, Manaus. Digitalização de uma planta industrial utilizando o protocolo de comunicação OPC-UA e aplicação Node-red, 2023.

CASTRO, LUCAS G. M. ; SILVA, WALDIR ; CARVALHO, CELSO. Identificação de Incêndios Florestais Utilizando Segmentação de Imagens e Aprendizado de Máquina. In: XLI Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2023, São Paulo. Anais do XLI Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2023.

CLAUDIA SABRINA M. DA SILVA ; FLORINDO A. DE C. AYRES JÚNIOR ; RENAN L. P. DE MEDEIROS ; JOÃO E. C. FILHO ; VICENTE F. DE LUCENA JUNIOR. Investigação de Metodologias de Sintonia de Controladores Fracionários Aplicados ao Problema de Amortecimento de Oscilações Eletromecânicas. In: Simpósio Brasileiro de Automação Inteligente SBAI / Simpósio Brasileiro de Sistemas Elétricos SBSE, 2023, Manaus, 2023. v. 1.

COSTA FILHO, CICERO FERREIRA FERNANDES ; SOUZA BARRETO, LUCAS ; ALVES DE OLIVEIRA, JULIANA ; VITOR DE CASTRO FREITAS, PAULO ; GUIMARÃES FERNANDES COSTA, MARLY. Detecting Parkinson disease features with walking activity data. In: 18th International Symposium on Medical Information Processing and Analysis (SIPAIM 2022), 2023, Valparaíso. 18th International Symposium on Medical Information Processing and Analysis, 2022. v. 12567. p. 47.

DA SILVA RIBEIRO CASTRO, DAVI ; DE SALES, ANDRE MATHIAS ALGARANHAES ; DA SILVA FARIAS, NEI JUNIOR ; DE MEDEIROS, RENAN LANDAU PAIVA ; DA SILVA, VANDERMI JOAO ; DE LUCENA JUNIOR, VICENTE FERREIRA. Monitoring and Controlling Industrial Cyber-Physical Systems with Digital Twin and Augmented Reality. In: 2023 IEEE International Conference on Consumer Electronics (ICCE), 2023, Las Vegas. 2023 IEEE International Conference on Consumer Electronics (ICCE), 2023. p. 01.

DE SALES, ANDRE MATHIAS ALGARANHAES ; DA SILVA RIBEIRO CASTRO, DAVI ; DA SILVA FARIAS, NEI JUNIOR ; DE MEDEIROS, RENAN LANDAU PAIVA ; DA SILVA, VANDERMI JOAO ; DE LUCENA JUNIOR, VICENTE FERREIRA. Proposal of fault detection and diagnosis system architecture for residential air conditioners based on the Internet of Things. In: 2023 IEEE International Conference on Consumer Electronics (ICCE), 2023, Las Vegas. 2023 IEEE International Conference on Consumer Electronics (ICCE), 2023. p. 1.

ERDAYANDI, K. ; CORDEIRO, L. C. ; MUSTAFA, M. O. . A Privacy-Preserving and Accountable Billing Protocol for Peer-to-Peer Energy Trading Markets. In: International Conference on Smart Energy Systems and Technologies (SEST 2023), 2023, Mugla, Turkey. A Privacy-Preserving and Accountable Billing Protocol for Peer-to-Peer Energy Trading Markets. Washington: IEEE, 2023. p. 1-10.

FERNANDES, R. ; DIAS, O. ; CARVALHO, CELSO ; COSTA JUNIOR, C. ; GOMES, R. ; TORNE, I. . Uma estratégia de retrofit para detecção de ultrapassagens de demanda em sistemas prediais legados. In: SIMPÓSIO BRASILEIRO DE AUTOMAÇÃO INTELIGENTE - SBAI, 2023, Manaus. SBAI 2023, 2023.

FERRAG, M. A. ; KANTARCI, B. ; CORDEIRO, L. C. ; DEBBAH, M. ; CHOO, K. R. . Poisoning Attacks in Federated Edge Learning for Digital Twin 6G-enabled IoTs: An Anticipatory Study. In: IEEE International Conference on Communications - WORKSHOP ON SCALABLE AND TRUSTWORTHY AI FOR 6G WIRELESS NETWORKS (6GSTRAIN), 2023, Rome. ICC'23. Washington: IEEE, 2023. p. 1-6.

ISAIAS A. L. SARAIVA ; CARLOS R. P. DOS SANTOS JUNIOR ; JACÓ M. DOS SANTOS ; THIAGO M. PEREIRA ; VICENTE F. DE LUCENA JUNIOR ; FABSON GOMES NEPOMUCENO. Desenvolvimento de uma Plataforma IoT para Monitoramento da Qualidade da Água na Piscicultura. In: Simpósio Brasileiro de Automação Inteligente SBAI / Simpósio Brasileiro de Sistemas Elétricos SBSE, 2023, Manaus, 2023. v. 1.

JACÓ MIRANDA DOS SANTOS ; ISAIAS A. L. SARAIVA ; ELSON PESSOA VASQUES ; ÁLVARO DE AZEVEDO PERES NETO ; VICENTE F. DE LUCENA JUNIOR. Monitoramento na cadeia de frio durante o processo de vacinação por meio de sensoriamento baseado em IoT e técnicas de Machine Learning. In: Simpósio Brasileiro de Automação Inteligente SBAI / Simpósio Brasileiro de Sistemas Elétricos SBSE, 2023, Manaus, 2023. v. 1.

LIMA, A. ; TRINDADE, A. B. . Uso de energia solar fotovoltaica e de biodigestor na comunidade indígena Três Unidos: estudo de caso. In: X Simpósio Brasileiro de Sistemas Elétricos (SBSE), 2023, Manaus. Anais do Simpósio Brasileiro de Sistemas Elétricos. Manaus: SBA, 2023. v. 2. p. 1-5.

LIMA, LEONARDO ; SANTOS, PEDRO ; RIBEIRO, BRUNO ; MAGALHÃES, WALLACE ; SERRÃO, MIKAELA KALLINE M. ; COSTA, MARLY.G. F. ; COSTA FILHO, CÍCERO F. F. . Comparison of Convolutional Neural Network Performances in Pain Facial Expression Recognition. In: 2023 19th International Symposium on Medical Information Processing and Analysis (SIPAIM), 2023, Mexico City. 2023 19th International Symposium on Medical Information Processing and Analysis (SIPAIM), 2023. p. 1.

LINHARES, JOSÉ ELISLANDE BRENO DE SOUZA ; SILVA, WALDIR ; PINAGÉ, FREDERICO DA SILVA ; MELO, WHEIDIMA ; COLARES, GEORGIO S. ; GARCIA JUNIOR, LUIZ CARLOS DA SILVA ; JESUS, ANDERSON DE ; BITAR, NEWTON PINHEIRO ; BESSA, ANDREY RUBEN RIBEIRO ; ARAUJO, GABRIEL . Detecção de Placas Veiculares em Ambientes Aéreos utilizando Super Resolução por GAN e Equalização de Histograma. In: XLI Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2023, São Paulo. Anais do XLI Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2023.

MANINO, EDOARDO ; MAGRI, BERNARDO ; MUSTAFA, MUSTAFA ; CORDEIRO, LUCAS. Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement. In: Proceedings of the 6th Workshop on Formal Methods for MLEnabled Autonomous Systems, 2023, Paris, France, 2023. v. 16. p. 35-46.

MENDONCA, R. S. ; CARVALHO, M. M. ; MEDEIROS, R. L. P. ; LUCENA JUNIOR, V. F. . Proposta de metodologia retrofit para atualizar sistemas legados. In: Simpósio Brasileiro de Automação Inteligente - SBAI 2023, 2023, Manaus. Proposta de metodologia retrofit para atualizar sistemas legados, 2023.

NASCIMENTO, L. ; CARVALHO, CELSO ; FERNANDES, R. ; TEIXEIRA, R. ; TORNE, I. . Estimação do Ângulo de chegada utilizando Bluetooth 5.1 e redes neurais profundas. In: SIMPÓSIO BRASILEIRO DE AUTOMAÇÃO INTELIGENTE - SBAI, 2023, Manaus. SBAI 2023, 2023.

NASCIMENTO, M. S. ; COSTA, M. G. F. ; COSTA FILHO, C. F.F. . Detection of Malaria Parasites in Thick Blood Smear Images using Shallow Neural Networks and Digital Image Processing Techniques. In: 2023 19th International Symposium on Medical Information Processing and Analysis (SIPAIM), 2023, Mexico City. 2023 19th International Symposium on Medical Information Processing and Analysis (SIPAIM), 2023. p. 1-4.

NEVES, J. T. ; OLIVEIRA, J. M. C. ; PINHEIRO, T. C. ; OLIVEIRA, M. R. L. ; DE MORAES CRUZ, CARLOS AUGUSTO. Comparative analysis between a Private Network Micro-blockchain IoT and a Public Blockchain in the Data Collection of Decentralized Agents. In: XVI Simpósio Brasileiro de Automação Inteligente (SBAI 2023), 2023, Manaus. XVI Simpósio Brasileiro de Automação Inteligente (SBAI 2023), 2023.

NUNES, R. ; MEDEIROS, R. L. P. ; SILVA, L. E. S. E. . Estudo dos Custos Gerados às Concessionárias com RDBTs sob Operação Conjunta de PV e VE Sujeitos ao Controle Volt-VAr. In: Simpósio Brasileiro de Sistemas Elétricos - SBSE 2023, 2023, Manaus. Estudo dos Custos Gerados às Concessionárias com RDBTs sob Operação Conjunta de PV e VE Sujeitos ao Controle Volt-VAr, 2023.

OLIVEIRA, J. M. C. ; GUEDES, J. V. F. ; PINHEIRO, T. C. ; OLIVEIRA, M. R. L. ; NEVES, J. T. ; DE MORAES CRUZ, CARLOS AUGUSTO. IoT and Automation via Blockchain ? A Simple Solution. In: XVI Simpósio Brasileiro de Automação Inteligente (SBAI 2023), 2023, Manaus. XVI Simpósio Brasileiro de Automação Inteligente (SBAI 2023), 2023.

PEREIRA, P. T. ; LIMA, J. S. ; MENDES, I. N. ; OLIVEIRA, J. A. ; BESSA, A. R. ; AMOEDO, D. A. ; URTIGA, E. V. ; CARVALHO, C. B. ; S.S. JUNIOR, W. . Human resources trainingproject in wireless communication technologies and IoT. In: Symposium on Internet of Things (SIoT), 2023, São Paulo. SIoT 2023, 2023.

PINHEIRO, T. C. ; OLIVEIRA, J. M. C. ; GUEDES, J. V. F. ; OLIVEIRA, M. R. L. ; NEVES, J. T. ; DE MORAES CRUZ, CARLOS AUGUSTO. Acesso e Compartilhamento de Dados de Saúde em Blockchain. In: XVI Simpósio Brasileiro de Automação Inteligente (SBAI 2023), 2023, Manaus. XVI Simpósio Brasileiro de Automação Inteligente (SBAI 2023), 2023.

PRADHAN, DEVASIS ; C, SUMA ; RAJESWARI ; CARVA, CELSO BARBOSA. Implications of Resource Optimization in D2D Communication for Efficient Usage of RF Energy: Practice and Challenges. In: 2023 3rd International Conference on Intelligent Technologies (CONIT), 2023, Hubli. 2023 3rd International Conference on Intelligent Technologies (CONIT), 2023. p. 1-8

QUEIROZ, L. ; TRINDADE, A. B. . Aplicando Mineração de Dados e Aprendizagem de Máquina para Planejamento Energético de Comunidades Ribeirinhas ? Estudo de Caso da Reserva do Tupé no Amazonas. In: X Simpósio Brasileiro de Sistemas Elétricos (SBSE), 2023, Manaus. Anais do Simpósio Brasileiro de Sistemas Elétricos. Manaus: SBA, 2023. v. 2. p. 1-5.

REIS, L. E. ; SOUZA, I. B. ; SILVA, J. D. ; CARVALHO, C. B. ; S.S. JUNIOR, W. ; BESSA, A. R. ; AMOEDO, D. A. ; URTIGA, E. V. . Wireless IoT System forDetection of Fruit Maturation by Color and Ethylene Gas. In: Symposium on the Internet of Things (SIoT), 2023, São Paulo. SIoT 2023, 2023.

ROSA, WILLIAM C. DA ; SILVA, WALDIR ; CARVALHO, CELSO . Cluster-based routing in Wireless Sensor Networks with reduced energy consumption: A Systematic Review. In: XLI Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2023, São Paulo. Anais do XLI Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2023.

ROZANOVA, J. ; VALENTINO, M. ; CORDEIRO, L. C. ; FREITAS, A. . On Interventional Probing in High Dimensions: An NLI Case Study. In: The 17th Conference of the European Chapter of the Association for Computational Linguistics, 2023, Dubrovnik, Croatia. EACL'23, 2023. p. 1-10.

SILVA, C. S. M. ; AYRES JR., A. A. C. ; MEDEIROS, R. L. P. ; FILHO, J. E. C. ; LUCENA JUNIOR, V. F. . Investigação de Metodologias de Sintonia de Controladores Fracionários Aplicados ao Problema de Amortecimento de Oscilações Eletromecânicas. In: Simpósio Brasileiro de Automação Inteligente - SBAI 2023, 2023, Manaus. Investigação de Metodologias de Sintonia de Controladores Fracionários Aplicados ao Problema de Amortecimento de Oscilações Eletromecânicas, 2023.

SILVA, CARLOS AMERICO DE SOUZA ; PALADINI, E. P. ; PENEDO, J. E. S. ; DA SILVA JÚNIOR, WALDIR SABINO. Digital and Smart Production Using Simulation Systems to Improve the Manufacturing Performance. In: XVI Simpósio Brasileiro de Automação Inteligente (SBAI 2023), 2023, Manaus, AM. Anais do XVI Simpósio Brasileiro de Automação Inteligente (SBAI 2023), 2023. p. 1-7.

SILVA, WALDIR; ARAUJO, GABRIEL ; PINAGÉ, FREDERICO DA SILVA ; SANTOS, EULANDA ; ROLIM, LUCIANA . Detecção de Onsets em Notas de Músicas Instrumentais de Piano utilizando Representação Pitch e Aprendizado de Máquina. In: XLI Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2023, São Paulo. Anais do XLI Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2023.

SILVA, WALDIR; SOUSA NETO, JOSIAS LIRA DE ; FURTADO, SILVANIA CONCEIÇÃO ; MELO, WHEIDIMA ; LIMA FILHO, EDDIE B DE. Classificação de Sinais de EEG para Diagnóstico do Transtorno do Espectro Autista utilizando CNN e RNN. In: XLI Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2023, São Paulo. Anais do XLI Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2023.

SILVESTRIM, R. G. ; TRIGO, F. V. ; ROCHA, W. ; VIEIRA, M. R. S. ; V. JUNIOR, J. ; MENDES, O. C. ; MENEZES, R. ; CORDEIRO, L. C. . Towards Integrity and Reliability in Embedded Systems: The Synergy of ESBMC and Arduino Integration. In: XIII Brazilian Symposium on Computing Systems Engineering, 2023, Porto Alegre, RS. SBESC'23. Washington, USA: IEEE, 2023. p. 1-6.

SONG, K. ; GADELHA, M. ; BRAUSSE, F. ; MENEZES, R. ; CORDEIRO, L. C. . ESBMC v7.3: Model Checking C++ Programs using Clang AST. In: 26th Brazilian Symposium on Formal Methods, 2023, Manaus, Amazonas. SBMF'23. Heidelberg: Springer, 2023. p. 1-8.

SONG, X. ; SUN, Y. ; MUSTAFA, M. O. ; CORDEIRO, L. C. . AIREPAIR: A Repair Platform for Neural Networks. In: The 45th IEEE/ACM International Conference on Software Engineering, 2023, Melbourne. ICSE'23. Washington: IEEE, 2023. p. 1-4.

SONG, X. ; SUN, Y. ; MUSTAFA, M. O. ; CORDEIRO, L. C. . QNNRepair: Quantized Neural Network Repair. In: 21st International Conference on Software Engineering and Formal Methods, 2023, Eindhoven, The Netherlands. SEFM'23. Heidelberg: Springer, 2023. p. 1-20.

SOUSA, J. O. ; FARIAS, B. C. ; SILVA, T. A. ; LIMA FILHO, E. B. ; CORDEIRO, L. C. . LSVerifier: A BMC Approach to Identify Security Vulnerabilities in C Open-Source Software Projects. In: XXIII Brazilian Symposium on Information and Computational Systems Security, 2023, Juiz de Fora - MG. SBSeg'23. Porto Alegre: SBC, 2023. p. 1-8.

TEIXEIRA, R. ; CARVALHO, CELSO ; PRADHAN, D. ; FERNANDES, R. ; NASCIMENTO, L. . Desenvolvimento de uma arquitetura de RSSF de baixo consumo e nós concentradores móveis em ambientes industriais. In: SIMPÓSIO BRASILEIRO DE AUTOMAÇÃO INTELIGENTE - SBAI, 2023, Manaus. SBAI 2023, 2023.

TIHANYI, N. ; BISZTRAY, T. ; JAIN, R. ; FERRAG, M. A. ; CORDEIRO, L. C. ; MAVROEIDIS, V. . The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification. In: The 19th International Conference on Predictive Models and Data Analytics in Software Engineering, 2023, San Francisco. PROMISE'23. San Francisco: ACM, 2023. p. 1-12.

TORRES, L. M. ; PESSOA, O. N. ; CORREA, I. V. ; SOARES, E. M. S. ; OLIVEIRA, A. S. ; COSTA, M. G. F. ; COSTA FILHO, C. F.F. . Identification of Digestive Tract Abnormalities on Endoscopic Images. In: 2023 19th International Symposium on Medical Information Processing and Analysis (SIPAIM), 2023, Mexico City. 2023 19th International Symposium on Medical Information Processing and Analysis (SIPAIM), 2023. p. 1-4.

VILACA, N. L. ; COSTA, MARLY G. F. ; COSTA FILHO, CÍCERO F. F. . Aplicando aprendizado de máquinas profundo na predição de demanda de energia elétrica para o dia seguinte, em cenário adverso. In: Simpósio Brasileiro de Sistemas Elétricos,, 2023, Manaus. Proceedings SBAI2023 e SBSE2023, 2023. v. 1.

VILACA, N. L. ; COSTA, MARLY GUIMARÃES FERNANDES ; COSTA FILHO, C.F.F. . Predição de demanda de energia elétrica para o dia seguinte aplicando redes convolutivas e recorrentes, no cenário da COVID-19. In: Simpósio Brasileiro de Sistemas Elétricos, 2023, Manaus. Anais do Simpósio Brasileiro de Sistemas Elétricos, 2023. p. 1-6.

TRABALHOS PUBLICADOS EM PERIÓDICOS INTERNACIONAIS 

AQUINO, G. A. E.; COSTA, M. G. F.; COSTA FILHO, CÍCERO F. F. Explaining One-Dimensional Convolutional Models in Human Activity Recognition and Biometric Identification Tasks. SENSORS , v. 22, p. 1-25, 2022.

BARBOSA, D. S.; VERENOZE, G. M.; OLIVEIRA, M. A.; MEDEIROS, R. L. P.; SOEIRO JUNIOR, J. C.; ALVES, J. L. S. Business intelligence as a decision support tool for the Brazilian public administration. Brazilian Journal of Development, v. 8, p. 45583-45598, 2022.

DA SILVA KLEHM, VOLNEI; DE SOUZA BRAGA, RODRIGO; DE LUCENA, VICENTE FERREIRA. A Survey of Digital Television Interactivity Technologies. SENSORS, v. 22, p. 6542, 2022.

DA SILVA MENDONÇA, RAFAEL; DE OLIVEIRA LINS, SIDNEY; BESSA, I. V.; DE CARVALHO AYRES, FLORINDO ANTÔNIO; MEDEIROS, R. L. P.; DE LUCENA, VICENTE FERREIRA. Digital Twin Applications: A Survey of Recent Advances and Challenges. PROCESSES, v. 10, p. 744, 2022.

DA SILVA, SANDRO LEANDRO M.; COSTA, MARLY G. F.; FILHO, CÍCERO F. F. COSTA. Complementary Training Program in Electrical Engineering and Computer Engineering Undergraduate Courses. IEEE TRANSACTIONS ON EDUCATION , v. 1, p. 1-14, 2022.

DE SOUZA OLIVEIRA, ANNE; GUIMARÃES FERNANDES COSTA, MARLY; DAS GRAÇAS VALE BARBOSA, MARIA; FERREIRA FERNANDES COSTA FILHO, CÍCERO. A new approach for malaria diagnosis in thick blood smear images. Biomedical Signal Processing and Control, v. 78, p. 103931, 2022.

FERNANDES DA SILVA JUNIOR, PAULO; DE MORAES CRUZ, CARLOS AUGUSTO; CASTRO, L. S. O.; DE AQUINO, VIVIANE S. Diagnostic Classification of Cases of Canine Leishmaniasis Using Machine Learning. SENSORS, v. 22, p. 3128, 2022.

FERNANDES, R. A.; GOMES, R. C. S.; DIAS, O.; CARVALHO, CELSO. A Novel Strategy for Smart Building Convergence Based on the SmartLVGrid Metamodel. Energies, v. 15, p. 1-26, 2022.

FERNANDES, RUBENS A.; GOMES, RAIMUNDO C. S.; DIAS, OZENIR; CARVALHO, CELSO; TORNÉ, ISRAEL G.; OLIVEIRA, JOZIAS P.; JÚNIOR, CARLOS T. C. A Retrofit Strategy for Real-Time Monitoring of Building Electrical Circuits Based on the SmartLVGrid Metamodel. Energies, v. 15, p. 9234, 2022.

FERNANDES, RUBENS A.; GOMES, RAIMUNDO C. S.; DIAS, OZENIR; CARVALHO, CELSO. A Novel Strategy for Smart Building Convergence Based on the SmartLVGrid Metamodel. Energies, v. 15, p. 1016, 2022.

FROES, EDUARDA; SILVA JUNIOR, PAULO F.; SANTANA, EWALDO E. C.; SOUSA JUNIOR, CARLOS M.; SILVA, PAULO H. F.; CRUZ, CARLOS A. M.; AQUINO, VIVIANNE S.; CASTRO, LUIS S. O.; FREIRE, RAIMUNDO C. S.; PINTO, MAURO S. S. Monopole directional antenna bioinspired in elliptical leaf with golden ratio for WLAN and 4G applications. Scientific Reports, v. 12, p. 1, 2022.

GATTO, BERNARDO; M. DOS SANTOS, EULANDA; S. S. JÚNIOR, WALDIR. Pattern-set Representations using Linear, Shallow and Tensor Subspaces. CLEI ELECTRONIC JOURNAL, v. 25, p. 1-19, 2022.

GUIMARÃES, K. A. A.; DE AMORIM, R. L. O.; COSTA, M. G. F.; COSTA FILHO, C. F. F. Predicting early traumatic brain injury mortality with 1D convolutional neural networks and conventional machine learning techniques. Informatics in Medicine Unlocked, v. 31, p. 100984, 2022.

JANUARIO, FRANCISCO DE ASSIS PEREIRA; CARVALHO, JOSÉ REGINALDO HUGH. ReSNN-DCT: Methodology for Reduction of the Spiking Neural Network Using Discrete Cosine Transform and Elegant Pairing. IEEE Access, v. 10, p. 64504-64515, 2022.

JIMENEZ, DENNIS F.; DIAS, OZENIR; TAVARES, MARIA CRISTINA. Fault classification and phase selector algorithm for half-wavelength transmission lines. ELECTRIC POWER SYSTEMS RESEARCH, v. 203, p. 107637, 2022.

MACAMBIRA, RENATA DO N. MOTA; CARVALHO, CELSO BARBOSA; DE REZENDE, JOSÉ FERREIRA. Energy-efficient routing in LEO satellite networks for extending satellites lifetime. COMPUTER COMMUNICATIONS, p. 463-475, 2022.

MENDONCA, R. S.; LINS, S.; BESSA, I. V.; AYRES JR., A. A. C.; MEDEIROS, R. L. P.; LUCENA JUNIOR, V. F. Digital Twin Applications: A Survey of Recent Advances and Challenges. PROCESSES, v. 10, p. 1-12, 2022.

MIRANDA, MARCIO N.; FIGUEIREDO, DANIEL R.; LUIZ, DANIEL F.; CARVALHO, CELSO B.; MENASCHE, DANIEL S. Design and analysis of distributed tree growing algorithms. IEEE Access, v. 10, p. 1-1, 2022.

PEREIRA, K. S. S.; MELO, D. R. A.; VILELA JÚNIOR, D. C.; RODRIGUES, L. G.. Factors that influence the acceptance of Artificial Intelligence Technologies in Healthcare. REVISTA GESTÃO & SAÚDE (BRASÍLIA), v. 12, p. 2-20, 2022.

SILVA, L. E. S.; VIEIRA, J. P. A.. Combined PV-PEV Hosting Capacity Analysis in Low-Voltage Distribution Networks. ELECTRIC POWER SYSTEMS RESEARCH, v. 206, p. 107829, 2022.

TRABALHOS PUBLICADOS EM CONGRESSOS CIENTÍFICOS

ALICE A. LIMA; GIANLUCCA DE CRISCI; FÁBIO R. SANTOS; ISABELLA A. CABRAL; RENATA K. G. DOS REIS; MARENICE M. DE CARVALHO; RENAN L. P. DE MEDEIROS; VICENTE F. LUCENA JUNIOR. Sistema de solicitação e monitoramento de estoque em tempo real utilizando Node-RED para ensino remoto. In: XV Simpósio Brasileiro de Automação Inteligente, 2021, Online, 2022. v. 1.

BARBOSA, J.; MEDEIROS, R. L. P.; AYRES JR., A. A. C.; FILHO, J. E. C.; LUCENA JUNIOR, V. F.; BESSA, I. V. Fault Detection for Photovoltaic Systems Using Fuzzy C-Means Clustering. In: ETFA 2022, 2022, Stuttgart. Fault Detection for Photovoltaic Systems Using Fuzzy C-Means Clustering, 2022.

BARBOSA, JADIR; DE MEDEIROS, RENAN L. P.; AYRES, FLORINDO A. C.; FILHO, JOÃO EDGAR CHAVES; LUCENA, VICENTE F.; BESSA, IURY. Fault Detection for Photovoltaic Systems Using Fuzzy C-Means Clustering. In: 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA), 2022, Stuttgart. 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA), 2022. p. 1.

BARREDA, A. E. G.; MEDEIROS, R. L. P.; CHAVES FILHO, JOÃO EDGAR; AYRES JUNIOR, FLORINDO A. C.; BESSA, I. V. Backstepping controller strategy applied in a non-holonomic mobile robot. In: XXIV Congresso Brasileiro de Automática 2022, 2022, Fortaleza. Anais do XXIV CBA 2022, 2022.

BESSA, ANDREY R.R.; SANTOS, MAX S.; LINHARES, JOSE E.B.S.; VALADAO, MYKE D.M.; AMOEDO, DIEGO A.; MATTOS, EDMA V.C.U.; PEREIRA, ANTONIO M.C.; TORRES, LUCAS M.; VALNEY, M.N.; SANTOS, ANDREW M.; SILVA, AGEMILSON P.; CRUZ, CAIO F.S.; ROMULO, S.F.; BELEM, RUAN J.S.; BEZERRA, THIAGO B.; WALDIR, S.S.; CARVALHO, CELSO B. Design. Implementation and Evaluation of a Private LoRaWan Network for Industrial Internet of Things (IIoT) Applications. In: 2022 IEEE International Conference on Consumer Electronics Taiwan, 2022, Taipei. 2022 IEEE International Conference on Consumer Electronics - Taiwan, 2022. p. 513-514.

BESSA, I. V.; COUTINHO, P. H. S.; BESSA, I. V.; MEDEIROS, R. L. P.; PALHARES, REINALDO M. Estabilizadores Virtuais para Conversores CC-CC com Cargas de Potência Constante. In: CBA 2022, 2022, Fortaleza. Estabilizadores Virtuais para Conversores CC-CC com Cargas de Potência Constante, 2022.

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. In: XV Simpósio Brasileiro de Automação Inteligente, 2021, Online, 2022. v. 1.

BESSA, I. V.; MEDEIROS, R. L. P.; BESSA, I. V.; CARVALHO, M. M.; AYRES JUNIOR, FLORINDO A. C.; CHAVES FILHO, JOÃO EDGAR; DE LUCENA, VICENTE FERREIRA. Desenvolvimento de uma malha auxiliar ativa baseada em ESP para mitigação de oscilações em conversores CC-CC. In: XXIV Congresso Brasileiro de Automática 2022, 2022, Fortaleza. Anais do XXIV CBA 2022, 2022.

BRANDAO, ANDRE L.M.; DE MAGALHAES, LUCAS C.C.; CERQUINHO, GABRIEL B.; COSTA, TATIANA F.; SANTOS, ADRIANO E.; LUIZ, DANIEL F.; CARVALHO, CELSO B.; JUNIOR, WALDIR S. S. A low-cost IoT mobile system for sleep quality monitoring. In: 2022 IEEE International Conference on Consumer Electronics Taiwan, 2022, Taipei. 2022 IEEE International Conference on Consumer Electronics - Taiwan, 2022. p. 509-510.

BRITO, F. D.; SILVA, L. E. S.; VIEIRA, J. P. A. Estudo Probabilístico da Capacidade de Hospedagem Combinada de Microgeradores Fotovoltaicos e Veículos Elétricos sob Controle Volt-VAr Local em Redes de Distribuição de Baixa Tensão. In: XXIV Congresso Brasileiro de Automática, 2022, Fortaleza. Anais do XXIV Congresso Brasileiro de Automática, 2022.

CANTO, ARIS S.; MATIAS, PEDRO V.S.; MOREIRA, RAFAEL O.; SAMPAIO, THYAGO A.; SANTOS, ADRIANO E.; LUIZ, DANIEL F.; CARVALHO, CELSO B.; JUNIOR, WALDIR S. S. A mobile IoT system for the detection and prevention of vehicular collisions. In: 2022 IEEE International Conference on Consumer Electronics Taiwan, 2022, Taipei. 2022 IEEE International Conference on Consumer Electronics - Taiwan, 2022. p. 511-512.

CARVALHO, M. M.; BESSA, I. V.; MACHADO, G. S.; MEDEIROS, R. L. P.; LUCENA JUNIOR, V. F. Teaching Industry 4.0 Related topics during the COVID-19 restrictions ? An experience report. In: Frontiers in Education 2022 - FIE 2022, 2022, Uppsala. Teaching Industry 4.0 Related topics during the COVID-19 restrictions ? An experience report, 2022.

CARVALHO, M. M.; BESSA, I. V.; MEDEIROS, R. L. P.; AYRES JUNIOR, FLORINDO A. C.; BESSA, I. V.; E SILVA, LUIZ E. S.; DE LUCENA, VICENTE FERREIRA. Análise de estabilidade de microrredes CC utilizando critérios baseados em região proibida. In: XXIV Congresso Brasileiro de Automática 2022, 2022, Fortaleza. Anais do XXIV CBA 2022, 2022.

COSTA FILHO, C. F. F.; BARRETO, L. S.; OLIVEIRA, J. A.; FREITAS, V. C.; COSTA, M. G. F.; DATA, W. A. Detecting Parkinson Disease Features with Walking Activity Data. In: 18TH INTERNATIONAL SYMPOSIUM ON MEDICAL INFORMATION PROCESSING AND ANALYSIS, 2022, Valparaiso. PROCEEDINGS OF 18TH INTERNATIONAL SYMPOSIUM ON MEDICAL INFORMATION PROCESSING AND ANALYSIS, 2022. v. 1. p. 1-8.

DA ROSA, WILLIAM C.; DANTAS, PIERRE V.; S. S., WALDIR; CARVALHO, CELSO B. Graph Signal Processing and Applications: A Survey. In: 2022 IEEE International Conference on Consumer Electronics (ICCE), 2022, Las Vegas. 2022 IEEE International Conference on Consumer Electronics (ICCE), 2022. p. 1-4.

DA SILVA MENDONÇA, RAFAEL; OLIVEIRA, M. A.; AYRES JUNIOR, FLORINDO A. C.; MEDEIROS, R. L. P.; DE LUCENA, VICENTE FERREIRA. Avaliação de modelo de maturidade RAMI de Industria 4.0: Estudo de caso de um sistema de alocação de recursos. In: XXIV Congresso Brasileiro de Automática 2022, 2022, Fortaleza. Anais do XXIV CBA 2022, 2022.

DE CASTRO, LUCAS G. MUNIZ; SANTOS, ADRIANO E.; LUIZ, DANIEL F.; JUNIOR, WALDIR S.; CARVALHO, CELSO B. A survey of 5G network systems: trends and Deep Learning approaches. In: 2022 IEEE International Conference on Consumer Electronics Taiwan, 2022, Taipei. 2022 IEEE International Conference on Consumer Electronics - Taiwan, 2022. p. 25-26.

FARIAS, N. J. S.; MEDEIROS, R. L. P.; AYRES JUNIOR, FLORINDO A. C.; CHAVES FILHO, JOÃO EDGAR; BESSA, I. V.; DE LUCENA, VICENTE FERREIRA. Aplicação de Controle via Realimentação Dinâmica de Saída Baseado em LMI para Amortecer Oscilações Eletromecânicas no SEP. In: XXIV Congresso Brasileiro de Automática 2022, 2022, Fortaleza. Anais do XXIV CBA 2022, 2022.

FERNANDES, R. A.; CARVALHO, CELSO B.; SILVA, H. L. N.; COSTA, K. S.; TORNE, I. G.; GOMES, R. C. S.; DIAS, O. F. R.; ROCHA, G. S. Uma estratégia de retrofit para monitoramento energético em sistemas prediais legados. In: IX Simpósio Brasileiro de Sistemas Elétricos, 2022, Santa Maria. SBSE 2022, 2022.

FERNANDES, RUBENS A.; GOMES, RAIMUNDO C. S.; DIAS, O. F. R.; CARVALHO, CELSO; TORNE, I. G.; SILVA, H. L. N.; COSTA, K. S.; ROCHA, G. S. Uma estratégia de retrofit para monitoramento energético em sistemas prediais legados. In: Simpósio Brasileiro de Sistemas Elétricos - SBSE 2022, 2022, Santa Maria. Simpósio Brasileiro de Sistemas Elétricos - SBSE 2022, 2022. v. 1. p. 1-7.

GOMES, M. C. M.; COSTA JUNIOR, C. T.; AYRES JUNIOR, FLORINDO A. C.; NEVES, C. C. Detecção e classificação de falta em rede de distribuição de energia conectada em gerador pv usando lógica fuzzy com identificação paramétrica online. In: IX Congresso Brasileiro de Energia Solar 2022, 2022, Florianópolis. Anais do IX Congresso Brasileiro de Energia Solar, 2022.

GONZALEZ BARREDA, ADRIAN EDUARDO; MEDEIROS, R. L. P.; FILHO, J. E. C.; AYRES JR., A. A. C.; BESSA, I. V. Backstepping controller strategy applied in a non-holonomic mobile robot. In: CBA 2022, 2022, Fortaleza. Backstepping controller strategy applied in a non-holonomic mobile robot, 2022.

GUIMARAES, K. A. A.; COSTA, M. G. F.; AMORIM, R. L.; FILHO, C. F. F. COSTA. Comparing Prediction of Early TBI Mortality with Multilayer Perceptron Neural Network and Convolutional Neural Network. In: 2022 44th Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC), 2022, Glasgow. 2022 44th Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC), 2022. v. 1. p. 4457-4460.

HITALO PERSEU DE O. ROSAS; ÍTALO DE M. SALDANHA; VINICIUS M. B. PEREIRA; CAÍQUE V. L. MUNIZ; GUIDO S. MACHADO; VICENTE F. L. JUNIOR; RENAN L. P. DE MEDEIROS. Virtual Setup - Virtualização automática de plantas industriais. In: XV Simpósio Brasileiro de Automação Inteligente, 2021, Online, 2022. v. 1.

ISAÍAS VALENTE DE BESSA; ALESSANDRA MENEZES; DANIEL MODESTO DE SOUZA; JEAN ALESI DA SILVA E SILVA; LUCAS LUIS DE SOUZA BARRETO; OTAVIO NOGUEIRA PESSOA; VICENTE FERREIRA LUCENA JUNIOR; RENAN LANDAU PAIVA DE MEDEIROS. Desenvolvimento de uma ferramenta didática para o ensino de automação e controle de sistemas de tanques industriais. In: XV Simpósio Brasileiro de Automação Inteligente, 2021, Online, 2022. v. 1.

JESUS, ANDERSON DE; SILVA, WALDIR; BITAR, NEWTON PINHEIRO; SANTOS, EULANDA; COLARES, GEORGIO S.; GARCIA JUNIOR, LUIZ CARLOS DA SILVA; LINHARES, JOSÉ ELISLANDE BRENO DE SOUZA; PINAGÉ, FREDERICO DA SILVA; GATTO, BERNARDO. Reconhecimento de Placas Veiculares em Cenários Complexos utilizando o Método do Subespaço Mútuo e Redes Neurais Convolucionais. In: XL Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2022, Santa Rita do Sapucaí, MG. Anais do XL Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2022.

JIMENEZ, DENNIS F.; DIAS, O. F. R.; MARIA CRISTINA TAVARES. Seletor de fases faltosas para linhas de transmissão de um pouco mais de meio comprimento de onda. In: XXVI Seminário Nacional de Produção e Transmissão de Energia Elétrica - XXVI SNPTEE, 2022, Rio de Janeiro. Anais do XXVI Seminário Nacional de Produção e Transmissão de Energia Elétrica - XXVI SNPTEE. Rio de Janeiro: CIGRE, 2022. v. 1. p. 1-7.

LOPES, A. C.; SOUZA, V. C.; VIEIRA, J. P. A.; SILVA, L. E. S.; OLIVEIRA, W. D.  Uma Estratégia de Controle de Tensão Baseada em Sensibilidade para Redução Igualitária das Injeções de Potência Ativa de Geradores FV em Redes de Distribuição de BT. In: XXVI Seminário Nacional de Produção e Transmissão de Energia Elétrica (SNPTEE), 2022, Rio de Janeiro. XXVI Seminário Nacional de Produção e Transmissão de Energia Elétrica (SNPTEE), 2022.

MACHADO, G. S.; PICANCO, W. S.; AYRES Jr., A. A. C.; MEDEIROS, R. L. P.; LUCENA JUNIOR, V. F. Implementation of the System of Remote Laboratories in the Area of Mechatronics for Learning without Human Supervision. In: Frontiers in Education 2022 - FIE 2022, 2022, Uppsala. Implementation of the System of Remote Laboratories in the Area of Mechatronics for Learning without Human Supervision, 2022.

MARENICE M. DE CARVALHO; RENAN LANDAU P. DE MEDEIROS; FLORINDO A.C. AYRES JUNIOR; ISAÍAS VALENTE DE BESSA; VICENTE FERREIRA LUCENA JUNIOR. Comparação de técnicas de controle via LMI aplicadas em microrredes CC com CPL. In: XV Simpósio Brasileiro de Automação Inteligente, 2021, Online, 2022. v. 1.

MATSUO, A. K.; GUTERRES, B. A.; COLARES, N. D.; PESSOA, O. N.; SANTOS, A. E.; LUIZ, D. F.; CARVALHO, C. B.; S.S. JUNIOR, W.. A Low-cost IoT Mobile System for Monitoring Vital Signs of Elderly People. In: Symposium on IoT (SIoT), 2022, São Paulo. SIoT, 2022.

MENDONCA, R. S.; DE OLIVEIRA LINS, SIDNEY; VERENOZE, G. M.; OLIVEIRA, M. A.; MEDEIROS, R. L. P.; LUCENA JUNIOR, V. F. Construction of a Digital Twin for Reliability Analysis: A Case Study of a Storage Process. In: ETFA 2022, 2022, Stuttgart. Construction of a Digital Twin for Reliability Analysis: A Case Study of a Storage Process, 2022.

MENDONCA, R. S.; OLIVEIRA, M. A.; AYRES Jr., A. A. C.; MEDEIROS, R. L. P.; LUCENA JUNIOR, V. F. Avaliação de modelo de maturidade RAMI de Industria 4.0: Estudo de caso de um sistema de alocação de recursos. In: CBA 2022, 2022, Fortaleza. Avaliação de modelo de maturidade RAMI de Indústria 4.0: Estudo de caso de um sistema de alocação de recursos, 2022.

PEREIRA, K. S. S.; MELO, D. R. A.; VILELA JÚNIOR, D. C.; RODRIGUES, L. G. Análise de projetos de pesquisa com foco em inteligência artificial e tecnologias digitais para combater a COVID-19. In: XII PROSPECT&I, 2022, Macéio. Anais do XII PROSPECT&I, 2022.

PICANCO, W. S.; MACHADO, G. S.; AYRES Jr., A. A. C.; MEDEIROS, R. L. P.; LUCENA JUNIOR, V. F. Learniung-IoT: Methodological Framework for remote Robotics Teaching. In: Frontiers in Education 2022 - FIE 2022, 2022, Uppsala. Learniung-IoT: Methodological Framework for remote Robotics Teaching, 2022.

ROOZEMBERGH JUNIOR, C.; SAAVEDRA, A. C.; BARRA JR., W.; MEDEIROS, R. L. P. Estratégias de Controle Aplicadas a um Conversor de Potência do Tipo Buck com Estrutura SIMO. In: CBA 2022, 2022, Fortaleza. Estratégias de Controle Aplicadas a um Conversor de Potência do Tipo Buck com Estrutura SIMO, 2022.

ROSA, W. C.; DANTAS, P. V.; SABINO, W.; CARVALHO, C. B. Graph Signal Processing and Applications: A Survey. In: IEEE International Conference on Consumer Electronics, 2022, Las Vegas. 40th IEEE International Conference on Consumer Electronics, 2022.

RYLO, M. N.; SILVA, W. A. E.; MEDEIROS, R. L. P.; LUCENA JUNIOR, V. F. Gesture recognition of wrist motion using low-frequency PPG. In: IEEE 9th INTERNATIONAL CONFERENCE ON COMMUNICATIONS AND ELECTRONICS (ICCE 2022), 2022, Nha Trang City. Gesture recognition of wrist motion using low-frequency PPG, 2022.

SANTOS, MAX S.; SILVA, NILO E. M.; BESSA, ANDREY R. R.; SANTOS, ANDREW M.; SANTOS, ADRIEL V.; AMOEDO, DIEGO A.; MATTOS, EDMA V. C. U.; PEREIRA, ANTONIO M. C.; M. N. VALNEY; TORRES, GUSTAVO M.; SILVA, AGEMILSON P.; CRUZ, CAIO F. S.; S. F., ROMULO; BELEM, RUAN J. S.; BEZERRA, THIAGO B.; S. S. WALDIR; CARVALHO, CELSO B. Design and Implementation of a Software Library for Industrial IoT Sensor/Actuator Nodes. In: 2022 IEEE International Conference on Consumer Electronics Taiwan, 2022, Taipei. 2022 IEEE International Conference on Consumer Electronics - Taiwan, 2022. p. 515-516.

SANTOS, N. M. L.; MARTINS, P. R. O.; AYRES JUNIOR, FLORINDO A. C.; SILVA NETO, G. C. Projeto e Implementação de um Controlador FOPI em uma Bancada de Controle de Nível. In: XXIV Congresso Brasileiro de Automática 2022, 2022, Fortaleza. Anais do XXIV CBA 2022, 2022.

SERRAO, M. K.; SALDANHA, I. M.; COSTA, M. G. F.; COSTA FILHO, C. F. F. Evaluating Semantic Segmentation of Tuberculosis Bacilli in Bright Field Microscopy Using Different Color Spaces Components and Mosaic Images. In: IX Congresso Latino-Americano de Engenharia Biomédica, 2022, Florianópolis. Anais do IX Congresso Latino-Americano de Engenharia Biomédica, 2022. v. 1. p. 1-5.

SILVA, C. S. M.; AYRES JUNIOR, FLORINDO A. C.; MEDEIROS, R. L. P.; PRADO JUNIOR, J. X.; DE LUCENA, VICENTE FERREIRA; CHAVES FILHO, JOÃO EDGAR. Implementação de um FOPSS via Alocação de Polos de Ordem Fracionária ao Problema de Amortecimento das Oscilações Eletromecânicas de um Sistema em Escala Reduzida. In: XXIV Congresso Brasileiro de Automática 2022, 2022, Fortaleza. Anais do XXIV CBA 2022, 2022.

SILVA, MATEUS O.; TORRES, GUSTAVO M.; VALADÃO, MYKE D. M.; MATTOS, EDMA V. C. U.; PEREIRA, ANTONIO M. C.; UCHOA, MATHEUS S.; TORRES, LUCAS M.; N., VALNEY M.; CAVALCANTE, VICTOR L.G.; LINHARES, JOSE E.B.S.; SANTOS, ADRIEL V.; SILVA, AGEMILSON P.; CRUZ, CAIO F. S.; F., ROMULO S.; BELEM, RUAN J. S.; FUJITA, LUCAS; ARAUJO, FELIPE A. A.; MONTEIRO, CARLOS A.; BEZERRA, THIAGO B.; S., WALDIR S.; CARVALHO, CELSO B. Action and Assembly Time Measurement System of Industry Workers using Jetson Nano. In: 2022 IEEE International Conference on Consumer Electronics Taiwan, 2022, Taipei. 2022 IEEE International Conference on Consumer Electronics - Taiwan, 2022. p. 319-320.

SILVA, MATEUS O.; VALADÃO, MYKE D. M.; CAVALCANTE, VICTOR L. G.; SANTOS, ADRIEL V.; TORRES, GUSTAVO M.; MATTOS, EDMA V. C. U.; PEREIRA, ANTONIO M. C.; UCHOA, MATHEUS S.; TORRES, LUCAS M.; LINHARES, JOSÉ E. B. S.; SILVA, NILO E. M.; SILVA, AGEMILSON P.; CRUZ, CAIO F. S.; RÔMULO, S. F.; BELEM, RUAN J. S.; BEZERRA, THIAGO B.; WALDIR, S. S.; CARVALHO, CELSO B. Action Recognition of Industrial Workers using Detectron2 and AutoML Algorithms. In: 2022 IEEE International Conference on Consumer Electronics Taiwan, 2022, Taipei. 2022 IEEE International Conference on Consumer Electronics - Taiwan, 2022. p. 321-322.

SILVA, NILO E. M.; AMOEDO, DIEGO A.; UCHOA, MATHEUS S.; SANTOS, MAX S.; BESSA, ANDREY R. R.; MATTOS, EDMA V. C. U.; PEREIRA, ANTONIO M. C.; M. N., VALNEY; SANTOS, ANDREW M.; SILVA, AGEMILSON P.; CRUZ, CAIO F. S.; S. F., ROMULO; BELÉM, RUAN J.S.; LIMA, RODRIGO S.; CABRAL, ISABELLA A.; NASCIMENTO, SANDY F.; BEZERRA, THIAGO B.; JUNIOR, WALDIR S.S.; CARVALHO, CELSO B.. Sound Pressure Level Measurement System in an Industrial Production Line using STM32 Platform. In: 2022 IEEE International Conference on Consumer Electronics Taiwan, 2022, Taipei. 2022 IEEE International Conference on Consumer Electronics - Taiwan, 2022. p. 325-326.

SILVA, W. A. E.; RYLO, M. N.; MACHADO, G. S.; MEDEIROS, R. L. P.; LUCENA JUNIOR, V. F.. Continuous Supervision and Diagnostics System for Legacy Vehicles Integrated to Ambient Intelligence. In: IEEE 9th INTERNATIONAL CONFERENCE ON COMMUNICATIONS AND ELECTRONICS (ICCE 2022), 2022, Nha Trang City. Continuous Supervision and Diagnostics System for Legacy Vehicles Integrated to Ambient Intelligence, 2022.

SILVA, WALDIR; COSTA, ANDRÉ L. A.; PEREIRA, ANTONIO M. C.; TAVARES, SAMUEL; CARVALHO, CELSO BARBOSA; AMOEDO, DIEGO A.; VALADÃO, MYKE D. M.; SANTOS, BEATRIZ ALVES DOS. Rede Adversária Generativa Semi-Supervisionada para Falsificação de Sinais Modulados Utilizados em Simulação de Ataque a Modelos de Reconhecimento Automático de Modulações. In: XL Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2022, Santa Rita do Sapucaí, MG. Anais do XL Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2022.

SILVA, WALDIR; LGJ, LUIZ CARLOS DA SILVA GARCIA JUNIOR; COLARES, GEORGIO S.; LINHARES, JOSÉ ELISLANDE BRENO DE SOUZA; JESUS, ANDERSON DE; PINAGÉ, FREDERICO DA SILVA. License Plate Detection System in Uncontrolled Environments using Super Resolution and a Simple Cell Phone Camera attached to a Bicycle Seat. In: XL Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2022, Santa Rita do Sapucaí, MG. Anais do XL Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2022.

VALADAO, M. D. M.; AMOEDO, D. A.; PEREIRA, A. M. C.; TAVARES, S.; FURTADO, R. S.; CARVALHO, C. B.; COSTA, A. L. A.; SABINO, W. Cooperative Spectrum Sensing System Using Residual Convolutional Neural Network. In: IEEE International Conference on Consumer Electronics, 2022, Las Vegas. IEEE 40th International Conference on Consumer Electronics, 2022.

VALADÃO, M. D. M.; AMOEDO, D. A.; TAVARES, S. A.; SANTOS, B. A.; PEREIRA, A. M. C.; FURTADO, R. S.; CARVALHO, C. B.; COSTA, A. L. A.; S. JUNIOR, W. S. Rede Adversária Generativa Semi-Supervisionada para Falsificação de Sinais Modulados Utilizados em Simulação de Ataque a Modelos de Reconhecimento Automático de Modulações. In: XL Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2022, Santa Rita do Sapucaí, MG. (SBrT2022), 2022.

VALADÃO, MYKE D. M.; AMOEDO, DIEGO A.; PEREIRA, ANTONIO M. C.; TAVARES, SAMUEL A.; FURTADO, RAFAEL S.; CARVALHO, CELSO B.; DA COSTA, ANDRE L. A.; JUNIOR, WALDIR S. S. Cooperative Spectrum Sensing System using Residual Convolutional Neural Network. In: 2022 IEEE International Conference on Consumer Electronics (ICCE), 2022, Las Vegas. 2022 IEEE International Conference on Consumer Electronics (ICCE), 2022. p. 1-4.

VALADÃO, MYKE D. M.; AMOEDO, DIEGO A.; TORRES, GUSTAVO M.; MATTOS, EDMA V. C. U.; PEREIRA, ANTONIO M. C.; UCHOA, MATHEUS S.; TORRES, LUCAS M.; CAVALCANTE, VICTOR L. G.; LINHARES, JOSÉ E. B. S.; SILVA, MATEUS O.; SILVA, AGEMILSON P.; CRUZ, CAIO F. S.; RÔMULO, S. F.; BELEM, RUAN J. S.; BEZERRA, THIAGO B.; JUNIOR, WALDIR S. S.; CARVALHO, CELSO B. Automatic Video Labeling with Assembly Actions of Workers on a Production Line Using ResNet. In: 2022 IEEE International Conference on Consumer Electronics Taiwan, 2022, Taipei. 2022 IEEE International Conference on Consumer Electronics - Taiwan, 2022. p. 323-324.

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.