Publicações em 2025

TRABALHOS PUBLICADOS EM PERIÓDICOS INTERNACIONAIS

BARREDA, ADRIAN EG ; MEDEIROS, RENAN LP ; FILHO, JOÃO EC ; AYRES, FLORINDO AC ; SILVA, LUIZ ES ; LUCENA, VICENTE F . Robust control methodology applied in inverted pendulum system considering polytopic uncertainty. Transactions of the Institute of Measurement and Control (Online), v. 1, p. 1, 2025.

CAMPOS, MICHEL W. DE S. ; PRADO, EDMILSON M. ; DE MEDEIROS, RENAN L. P. ; FANTESIA, MAURÍCIO P. ; DE OLIVEIRA, WERBESTON D. ; CONCEIÇÃO, VENICIO C. ; CORREA, IAGO V. ; DIAS, OZENIR F. DA R. ; AYRES, FLORINDO A. DE C. . Development of a Hybrid Fractional-Order Fuzzy-PID Controller Applied to a DC-DC Buck Converter. IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS, v. 1, p. 1-1, 2025.

CARVALHO, PAULO H. B. ; SANTANA, EWALDO E. C. ; BARROS FILHO, ALLAN K. D. ; SILVA JÚNIOR, PAULO F. ; MARTINS, KEYLL C. R. ; AZEVEDO, TALITA C. ; MARTINS, WALDEMIR P. ; MEDEIROS, MAURO A. ; GONÇALVES, RUBENS S. ; SOUSA FILHO, LOURIVAL M. ; CORREIA, GRICIRENE S. ; FERNANDES, GABRIELLE M. ; PINHEIRO, TALITA C. ; RODRIGUES, BRENDA A. S. ; CRUZ, CARLOS A. M. . Electromagnetic textile absorber applied to 4G and 5G bands. Scientific Reports, v. 15, p. 1, 2025.

DANTAS, PIERRE V. ; CORDEIRO, LUCAS C. ; JUNIOR, WALDIR S. S. . A review of state-of-the-art techniques for large language model compression. COMPLEX & INTELLIGENT SYSTEMS, v. 11, p. 1-40, 2025.

FERRAG, MOHAMED AMINE ; BATTAH, AMMAR ; TIHANYI, NORBERT ; JAIN, RIDHI ; MAIMU', DIANA ; ALWAHEDI, FATIMA ; LESTABLE, THIERRY ; THANDI, NARINDERJIT SINGH ; MECHRI, ABDECHAKOUR ; DEBBAH, MEROUANE ; CORDEIRO, LUCAS C. . SecureFalcon: Are We There Yet in Automated Software Vulnerability Detection with LLMs?. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v. 51, p. 1-18, 2025. Citações:2

ITALIANO, ANA ; ALMEIDA, LUCIANA ; BRITO, THIAGO ; PETRAGLIA, MARIANE ; OLIVERA, FABIÁN . EAVREF: An Evolutionary Algorithm Based Tool for Low-Power CMOS Voltage Reference Designs. IEEE Design & Test, v. 1, p. 1-1, 2025.

LI, XIANZHIYU ; SONG, KUNJIAN ; GADELHA, MIKHAIL R. ; BRAUßE, FRANZ ; MENEZES, RAFAEL S. ; KOROVIN, KONSTANTIN ; CORDEIRO, LUCAS C. . ESBMC v7.6: Enhanced Model Checking of C++ Programs with Clang AST. SCIENCE OF COMPUTER PROGRAMMING, v. 246, p. 103336, 2025.

MACHADO, G. S. ; SALGADO, T. R. M. ; AYRES Jr., A. A. C. ; Bessa, I. V. ; MEDEIROS, R. L. P. ; LUCENA JUNIOR, V. F. . Automatic Correction System for Learning Activities in Remote-Access Laboratories in the Mechatronics Area. Applied Sciences-Basel, v. 15, p. 2574, 2025.

MADADI, YEGANEH ; RAJA, HINA ; VERMEER, KOENRAAD A. ; LEMIJ, HANS G. ; HUANG, XIAOQIN ; KIM, EUNJIN ; LEE, SEUNGHOON ; KWON, GITAEK ; KIM, HYUNWOO ; KIM, JAEYOUNG ; GALDRAN, ADRIAN ; GONZÁLEZ BALLESTER, MIGUEL A. ; PRESIL, DAN ; AGUILAR, KRISTHIAN ; CAVALCANTE, VICTOR ; CARVALHO, CELSO ; SABINO, WALDIR ; OLIVEIRA, MATEUS ; LIN, HUI ; APOSTOLIDIS, CHARILAOS ; et.al . JustRAIGS: Justified Referral in AI Glaucoma Screening Challenge. IEEE Transactions on Medical Imaging, v. 1, p. 1-1, 2025.

MENDONCA, RAFAEL S. ; DA SILVA, MARIÉLIO ; AYRES, FLORINDO A. C. ; BESSA, IURY V. ; MEDEIROS, RENAN L. P. ; LUCENA, VICENTE F. . Development of a Novel Retrofit Framework Considering Industry 4.0 Concepts: A Case Study of a Modular Production System. PROCESSES, v. 13, p. 136, 2025. Citações:4

MENDONCA, RAFAEL S. ; MEDEIROS, RENAN L. P. ; SILVA, LUIZ EDUARDO SALES E ; SILVA, RENATO G. G. ; SANTOS, LUIS G. S. ; DE LUCENA, VICENTE FERREIRA . Enabling Technologies of Industry 4.0 for the Modernization of an Industrial Process. PROCESSES, v. 13, p. 2488, 2025.

RODRIGUES, MARLOS ; DOS SANTOS, ALYSON ; LIMA, HILLERMANN ; NOGUEIRA, WARLEY ; DE LUCENA JUNIOR, VICENTE . Tracking Boats on Amazon Rivers-A Case Study with the LoRa/LoRaWAN. SENSORS, v. 25, p. 496, 2025. Citações:1

SILVA JUNIOR, E. C. D. E. ; DE MORAES CRUZ, CARLOS A. ; SARAIVA, I. A. L. ; SANTOS, F. G. ; SANTOS JUNIOR, C. R. P. ; INDRUSIAK, L. S. ; FINAMORE, W. A. ; GLESNER, M. . Chaos-Based S-Boxes as a Source of Confusion in Cryptographic Primitives. ELECTRONICS, v. 14, p. 1, 2025.

SOARES ARAÚJO, FABIO ARTHUR ; OLIVEIRA DE AMORIM, ROBSON LUIS ; FERNANDES COSTA, MARLY GUIMARÃES ; MARTINS, HENRIQUE OLIVEIRA ; FERNANDES COSTA FILHO, CICERO FERREIRA . Evaluating the generalization of machine learning models for predicting 14-day mortality in traumatic brain injury patients. Biocybernetics and Biomedical Engineering, v. 45, p. 560-571, 2025.

TIHANYI, NORBERT ; BISZTRAY, TAMAS ; FERRAG, MOHAMED AMINE ; JAIN, RIDHI ; CORDEIRO, LUCAS C. . How secure is AI-generated code: a large-scale comparison of large language models. EMPIRICAL SOFTWARE ENGINEERING, v. 30, p. 47, 2025. Citações:7

VALADÃO, MYKE ; AMOEDO, DIEGO ; COSTA, ANDRÉ ; CARVALHO, CELSO ; SABINO, WALDIR . Predicting Noise and User Distances from Spectrum Sensing Signals Using Transformer and Regression Models. Applied Sciences-Basel, v. 15, p. 4296, 2025.

TRABALHOS PUBLICADOS EM CONGRESSOS CIENTÍFICOS

ACIOLI E SILVA, WALMIR ; ARNEZ, J. J. A. ; LIMA DAMASCENO, MARIA GABRIELA ; MEDEIROS SILVA, WEDERSON ; RYLO, MARCOS N. ; LUCENA JR, V. F. . Legacy IoV: On-board device to integrate old vehicles into the internet. In: 2025 IEEE 14th International Conference on Consumer Electronics - Berlin (ICCE-Berlin), 2025, Berlim. Proceedings of the 2025 IEEE 14th International Conference on Consumer Electronics - Berlin (ICCE-Berlin), 2025. v. 1. p. 1-6.

ACIOLI E SILVA, WALMIR ; JUNIOR ABULARACH ARNEZ, JUSSIF ; LIMA DAMASCENO, MARIA GABRIELA ; LANDAU PAIVA DE MEDEIROS, RENAN ; DE BESSA, IURY VALENTE ; FERREIRA DE LUCENA JUNIOR, VICENTE . Intelligent Maintenance System for Legacy Vehicles. In: 2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA), 2025, Porto. 2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA), 2025. v. 1. p. 1-4.

ACIOLI E SILVA, WALMIR ; JUNIOR ABULARACH ARNEZ, JUSSIF ; LIMA DAMASCENO, MARIA GABRIELA ; MEDEIROS SILVA, WEDERSON ; DA SILVA, VANDERMI JOÃO ; FERREIRA DE LUCENA JUNIOR, VICENTE . Retrofitting Legacy Vehicles to Acquire IoV Capability. In: 2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA), 2025, Porto. 2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA), 2025. v. 1. p. 1-4.

ALMEIDA DO NASCIMENTO, EDSON WESLLEY ; KIMURA, PETRINA ; SOUZA, TIAGO ; OLIVEIRA, SERGILLAM BARROSO ; MACHADO, HAYDÊ ; CORDEIRO, LUCAS C. ; FABRÍCIO, RÔMULO ; DE LIMA FILHO, EDDIE B. . Natural Language Processing Models for Named Entity Recognition in Digital TV Audio. In: 2025 IEEE International Conference on Consumer Electronics (ICCE), 2025, Las Vegas. 2025 IEEE International Conference on Consumer Electronics (ICCE), 2025. p. 1.

ANDRADE, ROBSON R. ; NOZAWA, MASAKI ; SILVA, ADRIANA D. ; FERREIRA, SAMUEL B. ; SOARES, DANIELLE S. ; CRUZ, KEITIA A. ; SILVEIRA, PEDRO H. ; SILVA, JOSE S. ; PEREIRA, LUCAS P. ; ORTEGA, ANDERSON B. ; ANDRADE, DOUGLAS R. ; OLIVEIRA, WILSON D. ; CRUZ, CARLOS A. M. . Tokenização de Árvores da Amazônia em Blockchain: Um estudo de caso. In: Conferência de Tecnologia do ICET, 2025, Brasil. Anais da II Conferência de Tecnologia do ICET (CONNECTech 2025). p. 125.

BEZERRA MENDES, PEDRO LUCAS ; RODRIGUES SOARES, RONALDO ; SERRÃO, MIKAELA KALLINE M. ; CARVALHO, DAVI ISRAEL ABTIBOL ; COSTA, MARLY. G. F. ; COSTA FILHO, CÍCERO F. F. . Prediction of Glucose Level Using Temporal and Frequency Parameters of ECG Signal. In: 2025 21st International Symposium on Biomedical Image Processing and Analysis (SIPAIM), 2025, Pasto. 2025 21st International Symposium on Biomedical Image Processing and Analysis (SIPAIM), 2025. p. 1.

CARVALHO, D. S. ; MANINO, E. ; ROZANOVA, J. ; CORDEIRO, L. C. ; FREITAS, A. . Montague semantics and modifier consistency measurement in neural language models. In: 31st International Conference on Computational Linguistics, 2025, Abu Dhabi, UAE. COLING'25, 2025. p. 5515-5529.

CARVALHO, DAVI ISRAEL ABTIBOL ; CAVALCANTE BINATTI, FÁBIO ; COSTA, MARLY. G. F. ; FILHO, CÍCERO F.F. COSTA . Skin Cancer Detection Using Convolutional Networks and Vision Transformers. In: 2025 21st International Symposium on Biomedical Image Processing and Analysis (SIPAIM), 2025, Pasto. 2025 21st International Symposium on Biomedical Image Processing and Analysis (SIPAIM), 2025. p. 1-5.

CASTRO, LUCAS G.M. ; VALADÃO, MYKE D.M. ; BESSA, ANDREY R.R. ; AGUILAR, KRISTHIAN A.O. ; MARINHO, GISELLE L. ; UCHOA, MATHEUS S. ; CAVALCANTE, VICTOR R.M. ; SILVA, KRISTHIAN A. ; DE LIMA FILHO, EDDIE B. ; MAIA, ORLEWILSON B. ; FABRÍCIO, RÔMULO ; JÚNIOR, WALDIR S. S. ; CARVALHO, CELSO B. . Correcting Blocking Artifacts and Lost Slices with UNet and Optical Flow. In: 2025 IEEE International Conference on Consumer Electronics (ICCE), 2025, Las Vegas. 2025 IEEE International Conference on Consumer Electronics (ICCE), 2025. p. 1.

CASTRO, M. F. ; ROSSETTI, H. ; SILVA, A. D. ; GONZALEZ, D. ; VITORIO, A. E. ; SILVA FILHO, C. D. ; AYRES JÚNIOR, F. A. C. ; OTANI, M. ; MEDEIROS, J. N. L. ; NUNES, R. C. ; AZEVEDO, K. ; VARELA, J. A. ; MOURA, D. R. C. ; SANTOS, K. V. ; COSTA, J. B. ; BESSA, I. . Plataforma Robotica Movel para Desenvolvimento de Estrategias de Seguranca Cibernetica. In: XVII Simpósio Brasileiro de Automação Inteligente, 2025, São João Del Rei. Anais do XVII Simpósio Brasileiro de Automação Inteligente, 2025.

CASTRO, M. F. ; ROSSETTI, H. ; SILVA, A. D. ; SILVA FILHO, C. D. ; VITORIO, A. E. ; AYRES JR., F. A. C. ; OTANI, M. ; MEDEIROS, J. N. L. ; NUNES, R. C. ; SILVA, R. ; VARELA, J. A. ; MOURA, D. R. C. ; SANTOS, K. V. ; COSTA, J. B. ; MENDONCA, RAFAEL S. ; BESSA, I. V. . Detecção de Ataques Cibernéticos em Robôs Móveis Baseada em Inteligência Artificial. In: XVII Simpósio Brasileiro de Automação Inteligente, 2025, São João Del Rei. Anais do XVII Simpósio Brasileiro de Automação Inteligente, 2025.

CHARALAMBOUS, Y. ; COELHO JR, C. ; LAMB, L. ; CORDEIRO, L. C. . UnitTenX: Generating Tests for Legacy Packages with AI Agents Powered by Formal Verification. In: Generative Code Intelligence Workshop 2025, 2025, Bologna, Italy. GeCoIn'25, 2025. p. 1-10.

CORDEIRO, L. C.; DAGGITT, M. L. ; GIRARD-SATABIN, J. ; ISAC, O. ; JOHNSON, T. T. ; KATZ, G. ; KOMENDANTSKAYA, E. ; LEMESLE, A. ; MANINO, E. ; ?INKAROVS, A. ; WU, H. . Neural Network Verification is a Programming Language Challenge. In: 34th European Symposium on Programming, 2025, Hamilton, Canada. ESOP'25. Heidelberg: Springer, 2025. p. 206-235.

DE SOUZA PINTO, MARCOS AUGUSTO ; SPITALE, FELIPE ROCHA ; ARAUJO, FABIO ARTHUR SOARES ; FILHO, CICERO FERREIRA FERNANDES COSTA ;COSTA, MARLY GUIMARAES FERNANDES. Pain Detection Using Deep Networks and Visual Transformers. In: 2025 15th IEEE International Conference on Pattern Recognition Systems (ICPRS), 2025, Valparaiso. 2025 15th IEEE International Conference on Pattern Recognition Systems (ICPRS), 2025. p. 1-7.

DUBNICZKY, R. A. ; HORVAT, K. Z. ; BISZTRAY, T. ; FERRAG, M. A. ; CORDEIRO, L. C. ; TIHANYI, N. . CASTLE: Benchmarking Dataset for Static Code Analyzers and LLMs towards CWE Detection. In: The 19th International Symposium on Theoretical Aspects of Software Engineering, 2025, Limassol, Cyprus. TASE'25. Heidelberg: Springer, 2025. p. 1-18.

LEON, A. S. ; MEDEIROS, R. L. P. ; SILVA, L. E. S. E. ; BESSA, I. V. ; AYRES JÚNIOR, F. A. C. ; CHAVES FILHO, JOÃO EDGAR . Avaliação de uma Arquitetura de Microrrede CC como Solução Energética Sustentável para Comunidades Isoladas no Amazonas. In: Simpósio Brasileiro de Sistemas Elétricos, 2025, São João Del Rei. Anais do Simpósio Brasileiro de Sistemas Elétricos 2025, 2025.

MENEZES, RAFAEL SÁ ; TIHANYI, NORBERT ; JAIN, RIDHI ; LEVIN, ALEXANDER ; DE FREITAS, ROSIANE ; CORDEIRO, LUCAS C. . VO-GCSE: Verification Optimization through Global Common Subexpression Elimination. In: FSE Companion '25: 33rd ACM International Conference on the Foundations of Software Engineering, 2025, Clarion Hotel Trondheim Trondh. Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering. New York: ACM, 2025. p. 1060-5.

MENEZES, V. G. ; NASCIMENTO, I. M. ; LIMA, J. I. S. ; AYRES JÚNIOR, F. A. C. ; CAMPOS, M. W. S. . Desenvolvimento, identificação e controle de um sistema pêndulo Hélice. In: XVII Simpósio Brasileiro de Automação Inteligente, 2025, São João Del Rei. Anais do XVII Simpósio Brasileiro de Automação Inteligente, 2025.

NEPOMUCENO, F. G. ; PERES NETO, A. A. ; LUCENA JR, V. F. ; SILVA, WALMIR A.. Investigation of Inverse Kinematics Algorithms for Trajectory Resolution in ROS-based Cobot Pick-and-Place Systems. In: WorldCIST'25 - 13rd World Conference on Information Systems and Technologies, 2025, Florianópolis - SC. Proceedings of the WorldCIST'25 - 13rd World Conference on Information Systems and Technologies, 2025. v. 1. p. 1-6.

NUNES, R. S. ; SILVA, L. E. S. E. ; MEDEIROS, R. L. P. ; BESSA, I. ; AYRES JÚNIOR, F. A. C. . Estudo Probabilístico dos Custos Gerados em RDBTs para Concessionárias de Energia sob Operação Conjunta de GDFV e VE Sujeitos aos Controles Volt-Watt e Volt-VAr. In: Simpósio Brasileiro de Sistemas Elétricos, 2025, São João Del Rei. Anais do Simpósio Brasileiro de Sistemas Elétricos 2025, 2025.

OLIVEIRA, S. B. ; LIMA FILHO, E. B. ; CORDEIRO, L. C. . Modular Architecture for Robustness Assessment in AI Using Smart Inference. In: IEEE 14th Global Conference on Consumer Electronics, 2025, Osaka. GCCE'25. Washington, USA: IEEE, 2025. p. 1-2.

OLIVEIRA, S. B. ; PINHEIRO, C. F. M. ; KIMURA, P. ; XAVIER, D. ; MAIA, O. ; CAL, M. S. R. ; OLIVEIRA, M. ; Lima Filho, E. B. ; CORDEIRO, L. C. . Layered Middleware Architecture for Integrating Digital TV with External Applications. In: IEEE 14th Global Conference on Consumer Electronics, 2025, Osaka. GCCE'25. Washington, USA: IEEE, 2025. p. 1-2.

OLIVEIRA, SERGILLAM B. ; DE LIMA FILHO, EDDIE B. ; MAIA, ORLEWILSON B. ; CORDEIRO, LUCAS C. . Automated Evaluation of Digital TV Middleware: Using Fuzzing and Pairwise for Test Generation. In: 2025 IEEE International Conference on Consumer Electronics (ICCE), 2025, Las Vegas. 2025 IEEE International Conference on Consumer Electronics (ICCE), 2025. p. 1.

OLIVEIRA, SERGILLAM B. ; SOUZA, TIAGO ; KIMURA, PETRINA ; MACHADO, HAYDÊ ; MAIA, ORLEWILSON ; DE L. FILHO, EDDIE B. ; DO NASCIMENTO, EDSON W. A. ; NEGREIROS, LEANDRO ; SANTANA, RAFAELL GUIMARÃES ; CORDEIRO, LUCAS C. . Enhanced User Experience in Digital TV: Recommending Content in Free-to-Air TV Contexts. In: 2025 IEEE International Conference on Consumer Electronics (ICCE), 2025, Las Vegas. 2025 IEEE International Conference on Consumer Electronics (ICCE), 2025. p. 1.

OLIVEIRA, SERGILLAM BARROSO ; SOUZA, TIAGO ; KIMURA, PETRINA ; MACHADO, HAYDÊ ; MAIA, ORLEWILSON ; DE LIMA FILHO, EDDIE B. ; DO NASCIMENTO, EDSON WESLLEY ALMEIDA ; CORDEIRO, LUCAS C. . Optimizing User Experience: A Feedback-Based Performance Evaluation Methodology for Recommendation Systems. In: 2025 IEEE International Conference on Consumer Electronics (ICCE), 2025, Las Vegas. 2025 IEEE International Conference on Consumer Electronics (ICCE), 2025. p. 1.

RODRIGUES, CLÁUDIO H. A. ; MAIA, ORLEWILSON B. ; BESSA, ANDREY R. R. ; JÚNIOR, WALDIR S. S. ; CARVALHO, CELSO B. . Communication Protocols for Digital Twins. In: 2025 IEEE International Conference on Consumer Electronics (ICCE), 2025, Las Vegas. 2025 IEEE International Conference on Consumer Electronics (ICCE), 2025. p. 1.

RYLO, M. N. ; LUCENA JR, V. F. . Adherence Monitoring via Wearable Devices: An IoT Architecture Integrating Edge Computing and Blockchain. In: IBERDISCAP 2025 - XIII CONGRESO IBEROAMERICANO DE TECNOLOGÍAS DE APOYO A LA DISCAPACIDAD, 2025, Sevilla - ES. Proceedings of the IBERDISCAP 2025 - XIII CONGRESO IBEROAMERICANO DE TECNOLOGÍAS DE APOYO A LA DISCAPACIDAD, 2025. v. 1. p. 1-6.

RYLO, MARCOS N. ; DA SILVA FEDERAL, WALMIR ACIOLE; ALCANTARA, J.A. ; SILVA, M. S. ; BESSA, I. V. ; LUCENA JR, V. F. . LSTM Networks for Fine Gesture Classification. In: 2025 IEEE 14th International Conference on Consumer Electronics - Berlin (ICCE-Berlin), 2025, Berlim. Proceedings of the 2025 IEEE 14th International Conference on Consumer Electronics - Berlin (ICCE-Berlin), 2025. v. 1. p. 1-6.

SILVA FILHO, C. D. ; MARTINIANO, A. L. ; VITORIO, A. E. ; AYRES JR., F. A. C. ; OTANI, M. ; MEDEIROS, J. N. L. ; NUNES, R. C. ; SILVA, R. ; VARELA, J. A. ; MOURA, D. R. C. ; SANTOS, K. V. ; COSTA, J. B. ; MENDONCA, R. S. ; BESSA, I. . Progn´ostico de falhas em rolamentos baseado em modelos granulares evolutivos. In: XVII Simpósio Brasileiro de Automação Inteligente, 2025, São João Del Rei. Anais do XVII Simpósio Brasileiro de Automação Inteligente, 2025.

SKAPARS, A. ; MANINO, E. ; SUN, Y. ; CORDEIRO, L. C. . GPT, But Backwards: Exactly Inverting Language Model Outputs. In: ICML 2025 Workshop on Reliable and Responsible Foundation Models, 2025, Vancouver. ICML 2025 R2-FM, 2025. p. 1-15.

SOARES ARAÚJO, FABIO ARTHUR ; OLIVEIRA DE AMORIM, ROBSON L ; FERNANDES COSTA, MARLY GUIMARÃES; OLIVEIRA MARTINS, HENRIQUE ; FERNANDES COSTA FILHO, CICERO FERREIRA . Deep Learning Models Generalization for Predicting 14-day Mortality in Traumatic Brain Injury Patients*. In: 2025 47th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2025, Copenhagen. 2025 47th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2025. p. 1.

SOUZA CANTO, ARIS ; ASSIS PEREIRA JANUÁRIO, FRANCISCO ; GUIMARAES FERNANDES COSTA, MARLY ; FERREIRA FERNANDES COSTA FILHO, CICERO . Cardiac Arrhythmia Detection Based on R-Peak Centered Segments of ECG Signals Using 1D Convolutional Neural Networks and Explanation Using Grad-CAM Tool. In: 2025 Computing in Cardiology Conference, 2025, São Paulo, 2025. v. 12.

SOUZA, L. E. O. ; RENAN L. P. DE MEDEIROS; LUCENA JR, V. F. ; RAFAEL S. MENDONÇA . Implementação de Visão Computacional usando YOLOv8 para monitoramento em tempo real na plataforma didática MPS. In: XVII Simpósio Brasileiro de Automação Inteligente - SBAI 2025, 2025, São João del-Rei - MG. Anais do XVII Simpósio Brasileiro de Automação Inteligente - SBAI 2025, 2025. v. 1. p. 1-6.

TIHANYI, N. ; BISZTRAY, T. ; DUBNICZKY, R. A. ; TOTH, R. ; BORSOS, B. ; CHERIF, B. ; FERRAG, M. A. ; MUZSAI, L. ; JAIN, R. ; MARINELLI, R. ; CORDEIRO, L. C. ; DEBBAH, M. ; MAVROEIDIS, V. ; JOSANG, A. . Dynamic Intelligence Assessment: Benchmarking LLMs on the Road to AGI with a Focus on Model Confidence. In: 3rd Workshop on Multimodal AI, 2025, Washington, USA. MMAI'24. Washington, USA: IEEE, 2025.

TIHANYI, NORBERT ; CHARALAMBOUS, YIANNIS ; JAIN, RIDHI ; FERRAG, MOHAMED AMINE ; CORDEIRO, LUCAS C. . A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification. In: 2025 IEEE/ACM International Conference on Automation of Software Test (AST), 2025, Ottawa. 2025 IEEE/ACM International Conference on Automation of Software Test (AST), 2025. p. 136-12.

UEDA, C. B. ; TRINDADE, A. B. ; CORDEIRO, L. C. . Comparative Technical and Economic Performance of Four Inverter Architectures in Urban PV Microgeneration System. In: IEEE PES ISGT Latin America 2025, 2025, Panama City, Panama. ISGT'25. Washington, USA: IEEE, 2025. p. 1-5.

VALADÃO, MYKE D. M. ; CASTRO, LUCAS G. M. ; AGUILAR, KRISTHIAN A. O. ; MARINHO, GISELLE L. ; UCHOA, MATHEUS S. ; DE LIMA FILHO, EDDIE B. ; MAIA, ORLEWILSON B. ; FABRÍCIO, RÔMULO ; JÚNIOR, WALDIR S. S. ; CARVALHO, CELSO B. . Real-Time Detection of Free-to-Air Television Commercials in Audio Using Feature Extraction and Machine Learning. In: 2025 IEEE International Conference on Consumer Electronics (ICCE), 2025, Las Vegas. 2025 IEEE International Conference on Consumer Electronics (ICCE), 2025. p. 1.

VIEIRA, THAYLOR ; SILVA MARTINS, EVELLIM MICHELE ; DA SILVA FARIAS, NEI JUNIOR ; DA SILVA BARBOZA, RICARDO ; FERREIRA DE LUCENA JR, VICENTE . TEACHING LLM PROGRAMMING IN INDUSTRIALLY FOCUSED COURSES. In: 18th annual International Conference of Education, Research and Innovation, 2025, Seville. org.crossref.xschema._1.Title@2b385014, 2025. v. 1. p. 8413-6.

VITORIO, A. E. ; COUTINHO, P. H. S. ; AYRES JR., F. A. C. ; OTANI, M. ; MEDEIROS, J. N. L. ; NUNES, R. C. ; AZEVEDO, K. ; VARELA, J. A. ; SANTOS, K. V. ; COSTA, J. B. ; MENDONCA, R. S. ; BESSA, I. ; MEDEIROS, R. L. P. . Controle Baseado em Eventos de Sistemas LPV Sujeitos a Saturações nos Atuadores. In: XVII Simpósio Brasileiro de Automação Inteligente, 2025, São João Del Rei. Anais do XVII Simpósio Brasileiro de Automação Inteligente, 2025.

WANG, W. ; FARRELL, M. ; CORDEIRO, L. C. ; ZHAO, L. . Supporting Formal Software Verification with Large Language Models: An Experimental Study. In: 33rd IEEE International Requirements Engineering, 2025, Valencia, Spain. RE'25. Washington, USA: IEEE, 2025. p. 1-9.

WEI, C. ; CAI, S. ; CHARALAMBOUS, Y. ; WU, T. ; GODBOLEY, S. ; CORDEIRO, L. C. . VeriExploit: Automatic Bug Reproduction in Smart Contracts via LLMs and Fomal Methods. In: 40th IEEE/ACM International Conference on Automated Software Engineering, 2025, Seoul, South Korea. ASE'25. Washington, USA: IEEE/ACM, 2025. p. 1-12.

WEI, C. ; WU, T. ; MENEZES, R. ; SHMAROV, F. ; ALJAAFARI, FATIMAH K. ; GODBOLEY, S. ; ALSHMRANY, K. ; RODRIGUES, R. F. ; CORDEIRO, L. C. . ESBMC v7.7: Automating Branch Coverage Analysis Using CFG-Based Instrumentation and SMT Solving (Competition Contribution). In: 28th International Conference on Fundamental Approaches to Software Engineering, 2025, Hamilton, Canada. FASE'25. Heidelberg: Springer, 2025. p. 1-5.

WU, T. ; SONG, S. ; MANINO, E. ; STOCKWELL, G. ; CORDEIRO, L. C. . ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2025, Hamilton, Canada. TACAS'25. Heidelberg: Springer, 2025. p. 1-5.

ZHU, T. ; SUN, Y. ; CORDEIRO, L. C. . REQINONE: A Large Language Model-Based Agent for Software Requirements Specification Generation. In: 33rd IEEE International Requirements Engineering, 2025, Valencia, Spain. RE'25. Washington, USA: IEEE, 2025. p. 1-8.