Publicações em 2023

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.