Publicações em 2024

TRABALHOS PUBLICADOS EM PERIÓDICOS INTERNACIONAIS

 

ALEXANDRE K. P. SOUZA ; AUGUSTO DE MORAES CRUZ, CARLOS ; SILVA JUNIOR, E. C. D. E. ; PONTES, F. B. . Current Mirror Improved Potentiostat (CMIPot) for a Three Electrode Electrochemical Cell. SENSORS, v. 24, p. 5897, 2024.

 

ALSHMRANY, KALED ; ALDUGHAIM, MOHANNAD ; BHAYAT, AHMED ; CORDEIRO, LUCAS . FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis. FORMAL ASPECTS OF COMPUTING, v. 36, p. 1-24, 2024.

 

CAMPOS, MICHEL W.S. ; AYRES, FLORINDO A.C. ; DE BESSA, IURY VALENTE ; DE MEDEIROS, RENAN L.P. ; MARTINS, PAULO R.O. ; LENZI, ERVIN KAMINSKI ; FILHO, JOÃO E.C. ; VILCHEZ, JOSÉ R.S. ; LUCENA, VICENTE F. . Fractional-order identification system based on Sundaresan?s technique. CHAOS SOLITONS & FRACTALS, v. 185, p. 115132, 2024.

 

DA COSTA LOPES, ANDREY ; E SILVA, LUIZ EDUARDO SALES ; VIEIRA, JOÃO PAULO ABREU ; DE MEDEIROS, RENAN LANDAU PAIVA ; DE OLIVEIRA, WERBESTON DOUGLAS . A enhanced voltage control method for fair active power curtailment of rooftop PV systems in LV distribution networks. Sustainable Energy Grids & Networks, v. 39, p. 101409, 2024.

 

DA SILVA, CLAUDIA S. M ; DA SILVA, NEI JUNIOR F. ; AYRES JÚNIOR, FLORINDO A. C. ; MEDEIROS, RENAN L. P. ; E SILVA, LUIZ E. S. ; LUCENA, VICENTE F. . Experimental Implementation of Hydraulic Turbine Dynamics and a Fractional Order Speed Governor Controller on a Small-Scale Power System. IEEE Access, v. 1, p. 1-1, 2024.

 

DANTAS, PIERRE VILAR ; SABINO DA SILVA, WALDIR ; CORDEIRO, LUCAS CARVALHO ; CARVALHO, CELSO BARBOSA . A comprehensive review of model compression techniques in machine learning. APPLIED INTELLIGENCE, v. 2024, p. 11804-11844, 2024. Citações:18|5

 

DE BESSA, ISAÍAS VALENTE ; MEDEIROS, RENAN L.P. ; DE CARVALHO, MARENICE M. ; AYRES, FLORINDO A. DE C. ; CHAVES FILHO, JOÃO EDGAR ; DE LUCENA, VICENTE FERREIRA ; BESSA, IURY . Stability evaluation of a multi-stage converter system considering a CPL connected. INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS, v. 159, p. 110011, 2024.

 

ERDAYANDI, KAMIL ; CORDEIRO, LUCAS C. ; MUSTAFA, MUSTAFA A. . Privacy-preserving and accountable billing in peer-to-peer energy trading markets with homomorphic encryption and blockchain. Sustainable Energy Grids & Networks, v. 40, p. 101568, 2024.

 

FERRAG, MOHAMED AMINE ; NDHLOVU, MTHANDAZO ; TIHANYI, NORBERT ; CORDEIRO, LUCAS C. ; DEBBAH, MEROUANE ; LESTABLE, THIERRY ; THANDI, NARINDERJIT SINGH . Revolutionizing Cyber Threat Detection with Large Language Models: A privacy-preserving BERT-based Lightweight Model for IoT/IIoT Devices. IEEE Access, v. 12, p. 1-1, 2024.

 

MARTINS-GOMES, MARCUS C. ; DE C. AYRES JUNIOR, FLORINDO A. ; DA COSTA JUNIOR, CARLOS T. ; DE BESSA, IURY V. ; DA S. FARIAS, NEI JUNIOR ; DE MEDEIROS, RENAN L.P. ; SILVA, LUIZ E.S. ; DE LUCENA JÚNIOR, VICENTE F. . Fractional-Order Robust Control Design under parametric uncertain approach. ISA TRANSACTIONS, v. 153, p. 420-432, 2024.

 

NETA ALBUQUERQUE CHAVES, LUZIA ; ALBUQUERQUE DE OLIVEIRA, MARCELO ; LANDAU PAIVA DE MEDEIROS, RENAN ; DA SILVA MORAES, LEANDRO . Proposta de aplicação de um chatbot para o aprimoramento do programa de integridade em uma universidade pública. PEER REVIEW, v. 6, p. 177-192, 2024.

 

OLIVEIRA, ANNE DE SOUZA ; COSTA, MARLY GUIMARÃES FERNANDES ; COSTA, JOÃO PEDRO GUIMARÃES FERNANDES ; COSTA FILHO, CÍCERO FERREIRA FERNANDES . Comparing Different Data Partitioning Strategies for Segmenting Areas Affected by COVID-19 in CT Scans. Diagnostics, v. 14, p. 2791, 2024.

 

SAAVEDRA, ALVARO CHRISTIAN MONTAÑO ; BARRA JUNIOR, WALTER ; MEDEIROS, RENAN LANDAU PAIVA DE ; JUNIOR, CARLOS ROOZEMBERGH ; GOMES, ALAN SOVANO . Experimental Evaluation of the Robust Controllers Applied on a Single Inductor Multiple Output DC-DC Buck Converter to Minimize Cross Regulation Considering Parametric Uncertainties and CPL Power Variations. Energies, v. 17, p. 3359, 2024.

 

SERRÃO, MIKAELA KALLINE MACIEL ; COSTA, MARLY GUIMARÃES FERNANDES ; FUJIMOTO, LUCIANA BOTINELLY MENDONÇA ; OGUSKU, MAURICIO MORISHI ; COSTA FILHO, CICERO FERREIRA FERNANDES . Automatic bright-field smear microscopy for diagnosis of pulmonary tuberculosis. COMPUTERS IN BIOLOGY AND MEDICINE, v. 1, p. 108167, 2024. Citações:2

 

SILVA, CLAUDIA SABRINA MONTEIRO DA ; SILVA, NEI JUNIOR FARIAS DA ; AYRES JÚNIOR, FLORINDO A. DE C. ; MEDEIROS, R. L. P. ; SILVA, LUIZ EDUARDO SALES E ; LUCENA JR, V. F. . Experimental Implementation of Hydraulic Turbine Dynamics and a Fractional Order Speed Governor Controller on a Small-Scale Power System. IEEE Access, v. 12, p. 40480-40495, 2024.

 

TEIXEIRA, RUAN C. M. ; CARVALHO, CELSO B. ; CALAFATE, CARLOS T. ; MOTA, EDJAIR ; FERNANDES, RUBENS A. ; PRINTES, ANDRE L. ; NASCIMENTO, LENNON B. F. . FloatingBlue: A Delay Tolerant Networks-Enabled Internet of Things Architecture for Remote Areas Combining Data Mules and Low Power Communications. SENSORS, v. 24, p. 6218, 2024.

TRABALHOS PUBLICADOS EM CONGRESSOS CIENTÍFICOS

 

ABACHA, F. ; TEO, S. G. ; CORDEIRO, L. C. ; MUSTAFA, M. O. . Synthetic Data Aided Federated Learning Using Foundation Models. In: International Workshop on Federated Learning in the Age of Foundation Models In Conjunction with IJCAI 2024, 2024, Jeju. FL@FM-IJCAI'24. Heidelberg: Springer, 2024. p. 1-6.

 

AGUILAR, KRISTHIAN ; CAVALCANTE, VICTOR ; CARVALHO, CELSO ; SABINO, WALDIR ; DA SILVA, MATEUS OLIVEIRA . Automatic Glaucoma Classification and Justification Using a Large and Diverse Dataset. In: 2024 20th International Symposium on Medical Information Processing and Analysis (SIPAIM), 2024, Antigua. 2024 20th International Symposium on Medical Information Processing and Analysis (SIPAIM), 2024. p. 1.

 

AGUILAR, KRISTHIAN ; CAVALCANTE, VICTOR ; CARVALHO, CELSO ; SABINO, WALDIR ; OLIVEIRA, MATEUS . Automatic Glaucoma Classification and Feature Detection for the Justraigs Challenge. In: 2024 IEEE International Symposium on Biomedical Imaging (ISBI), 2024, Athens. 2024 IEEE International Symposium on Biomedical Imaging (ISBI), 2024. p. 1.

 

BESSA, ANDREY R. R.; B. S. LINHARES, JOSÉ E. ; UCHÔA, MATHEUS S. ; DOS SANTOS, ADRIEL V. ; AMOEDO, DIEGO A. ; SOUZA, MARIA R. A. ; MATTOS, EDMA V.C.U. ; PEREIRA, ANTÔNIO M. C. ; SILVA, AGEMILSON P. ; BRITO, ALLAN C. ; S.F., RÔMULO ; NUNES, JEAN A. O. ; LEMOS, MADSON R. ; COSTA, MAURA R. A.; JUNIOR, WALDIR S.S. ; CARVALHO, CELSO B. . Architecture for Industrial Asset Sensing using LoRaWAN and Acquisition Microservice. In: 2024 International Conference on Consumer Electronics Taiwan (ICCETaiwan), 2024, Taichung. 2024 International Conference on Consumer Electronics - Taiwan (ICCE-Taiwan), 2024. p. 681.

 

CANTO, A. S. ; ANTUNES C C M ; COELHO, S. M.; JANUÁRIO F.  A. P.; COSTA, M. G. F. ; COSTA FILHO, C. F. F. . Detecting Arrhythmias in Electrocardiogram Signals using Data Augmentation Techniques.. In: XXIX Brazilian Congress of Biomedical Engineering, 2024, Ribeirão Preto. Proceedings of XXIX Brazilian Congress of Biomedical Engineering, 2024. p. 1.

 

CARVALHO, M. M. ; MEDEIROS, R. L. P. ; AYRES, FLORINDO A. DE C. ; BESSA, I. V. ; SILVA, LUIZ EDUARDO SALES E ; DE LUCENA JÚNIOR, VICENTE F. . Projeto de controle robusto baseado na minimização de impedância de saída aplicado a microrredes CC com CPL. In: XXV Congresso Brasileiro de Automática, 2024, Rio de Janeiro. Anais do XXV Congresso Brasileiro de Automática 2024, 2024.

 

CASTRO, LUCAS G. M. ; VALADÃO, MYKE D. M. ; LIMA FILHO, EDDIE B DE ; MAIA, ORLEWILSON BENTES ; CARVALHO, CELSO ; SILVA, WALDIR . Middleware Ginga: Evolution, Challenges, and Future Perspectives - A Systematic Review. In: XLII Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2024, Belém, Pará, Brasil. Anais do XLII Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2024.

 

CASTRO, M. F. ; RENAN L. P. DE MEDEIROS ; LUCENA JR, V. F. ; BESSA, I. V. . Classificação de ataques cibernéticos em redes MQTT com base em aprendizado de máquina. In: Congresso Brasileiro de Automática - CBA 2024, 2024, Rio de Janeiro. Anais do XXV Congresso Brasileiro de Automática. Rio de Janeiro: Sociedade Brasileira de Automática, 2024. v. 1. p. 1-6.

 

CHENG, Z. ; WU, T. ; SCHRAMMEL, P. ; TIHANYI, N. ; LIMA FILHO, E. B. ; CORDEIRO, L. C. . JCWIT: A Correctness-Witness Validator for Java Programs based on Bounded Model Checking. In: The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2024, Vienna, Austria. ISSTA'24. Washington, USA: ACM, 2024. p. 1-5.

 

COLARES, WILLIAN GUERREIRO ; COSTA, MARLY. G. F. ; COSTA FILHO, CÍCERO F. F. . Enhancing Emotion Recognition: A Dual-Input Model for Facial Expression Recognition Using Images and Facial Landmarks. In: 2024 46th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2024, Orlando. 2024 46th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2024. p. 1-4.

 

DE AZEVEDO PERES NETO, ÁLVARO ; NEPOMUCENO, FÁBSON GOMES ; DE SOUZA PICANÇO, WOLLACE ; MACHADO, GUIDO SOPRANO ; DE MEDEIROS, RENAN LANDAU PAIVA ; DE LUCENA, VICENTE FERREIRA . WIP - Application of Serious Games in a University Industrial Related Laboratory Working with Collaborative Robots. In: 2024 IEEE Frontiers in Education Conference (FIE), 2024, Washington. 2024 IEEE Frontiers in Education Conference (FIE), 2024. v. 1. p. 1-5.

 

DE PAULA DA SILVA, MATEUS ; COSTA, MARLY G. F. ; VIEIRA, DIEGO GIOVANI A. ; COSTA FILHO, CÍCERO F. F. . Semantic Segmentation of QRS complex in 12-Lead ECG Signals. In: 2024 46th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2024, Orlando. 2024 46th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2024. p. 1.

 

DE SOUZA PICANÇO, WOLLACE ; MACHADO, GUIDO SOPRANO ; DE CARVALHO, MARENICE MELO ; DA SILVA, CLAUDIA MONTEIRO ; PAIVA DE MEDEIROS, RENAN LANDAU ; DE LUCENA JUNIOR, VICENTE FERREIRA . Hobots: A Remote Teaching Method for Collaborative Robotics Learning. In: 2024 IEEE Frontiers in Education Conference (FIE), 2024, Washington. 2024 IEEE Frontiers in Education Conference (FIE), 2024. v. 1. p. 1-6.

 

DE SOUZA PICANÇO, WOLLACE ; SOPRANO MACHADO, GUIDO ; MELO DE CARVALHO, MARENICE ; MONTEIRO DA SILVA, CLAUDIA SABRINA ; PAIVA DE MEDEIROS, RENAN LANDAU ; Ferreira de Lucena Jr, Vicente . REMOTE TRAINING METHOD TO ASSIST ROBOTIC ACTIVITY IN INDUSTRY. In: 18th International Technology, Education and Development Conference, 2024, Valencia. Valência: IATED, 2024. v. 1. p. 6357-6364.

 

ENCARNACAO, A. ; COUTINHO, P. H. S. ; MEDEIROS, R. L. P. ; BESSA, I. V. . Controle Baseado em Eventos de Conversores CC-CC com Cargas de Potência Constante. In: CBA 2024, 2024, Rio de Janeiro. Controle Baseado em Eventos de Conversores CC-CC com Cargas de Potência Constante, 2024. p. 1-6.

 

FARIAS, B. C. ; MENEZES, R. ; LIMA FILHO, E. B. ; SUN, Y. ; CORDEIRO, L. C. . ESBMC-Python: A Bounded Model Checker for Python Programs. In: The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2024, Vienna, Austria. ISSTA'24. Washington, USA: ACM, 2024. p. 1-5.

 

FIGUEIREDO, M. ; MEDEIROS, R. L. P. ; LUCENA JUNIOR, V. F. ; BESSA, I. V. . Classificação de ataques cibernéticos em redes MQTT com base em aprendizado de máquina. In: CBA 2024, 2024, Rio de Janeiro. Classificação de ataques cibernéticos em redes MQTT com base em aprendizado de máquina, 2024. p. 1-6.

 

FIGUEIREDO, MATHEUS ; SODRE, DAR'C PABLA ; MEDEIROS, RENAN ; LUCENA, VICENTE F. ; BESSA, IURY . Detection of Cyberattacks in IoT Networks Using Artificial Intelligence: A Comparative Study. In: 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA), 2024, Padova. 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA). New York: IEEE, 2024. v. 1. p. 1-4.

 

FILHO, ANEIL DE SOUZA ; LIMA, BRENDON DE ; CARVALHO, CELSO BARBOSA ; JUNIOR, DIOGENES PAZ ; MENDES, OTONIEL ; CASAS, VITORIANO ; ROCHA, WILLIAME . Smart Security: A Biometric Access Control and Tracking Architecture for IIoT Environments. In: EATIS 2024: 12th Euro American Conference on Telematics and Information Systems, 2024, Praia Cape Verde. Proceedings of the 12th Euro American Conference on Telematics and Information Systems. New York: ACM. v. 12. p. 1.

 

HANAOKA, A. ; FLORINDO A. C. AYRES JR ; RENAN L. P. DE MEDEIROS ; CLAUDIA SABRINA M. DA SILVA ; LUCENA JR, V. F. . Análise de Desempenho Dinâmico de Sistemas de Controle de Carga-Frequência em Plantas Térmicas com Turbinas a Gás Aplicando Controle Fracionário. In: Congresso Brasileiro de Automática - CBA 2024, 2024, Rio de Janeiro. Anais do XXV Congresso Brasileiro de Automática. Rio de Janeiro: Sociedade Brasileira de Automática, 2024. v. 1. p. 1-8.

 

ITALIANO, A. ; BEZERRA, T. B. ; ALMEIDA, L. ; PETRAGLIA, M. ; MEDEROS, L. F. O. . EAVREF: An Evolutionary Algorithm Based Tool for Low-Power CMOS Voltage Reference Designs.. In: 37th SBC/SBMicro/IEEE Symposium on Integrated Circuits and Systems Design (SBCCI), 2024, Joao Pessoa.. 37th SBC/SBMicro/IEEE Symposium on Integrated Circuits and Systems Design (SBCCI), 2024. p. 1.

 

JAIN, RIDHI ; TIHANYI, NORBERT ; NDHLOVU, MTHANDAZO ; FERRAG, MOHAMED AMINE ; CORDEIRO, LUCAS C. . Rapid Taint Assisted Concolic Execution (TACE). In: FSE '24: 32nd ACM International Conference on the Foundations of Software Engineering, 2024, Porto de Galinhas Brazil. Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering. New York: ACM. p. 627-6.

 

KLEHM, VOLNEI DA SILVA ; SARDINHA, EDUARDO DRUMOND ; JUNIOR, VICENTE FERREIRA DE LUCENA ; MENDONCA-NETO, RAYOL ; CORDOVIL, LUIZ . A comparative analysis between Lua interpreter variants compiled to WASM, JavaScript and native. In: 2024 IEEE International Conference on Consumer Electronics (ICCE), 2024, Las Vegas. 2024 IEEE International Conference on Consumer Electronics (ICCE). New York: IEEE, 2024. v. 1. p. 1-5.

 

LEÃO, D C ; COSTA FILHO, C. F. F. ; COSTA, M. G. F. . Detecting Beat Arrhythmia Using 2D Convolutional Neural Networks. In: X LATIN AMERICAN CONGRESS OF BIOMEDICAL ENGINEERING, 2024, Panamá. Proceedings of X LATIN AMERICAN CONGRESS OF BIOMEDICAL ENGINEERING. p. 1.

 

LINHARES, JOSÉ E.B.S. ; TORRES, GUSTAVO M. ; UCHÔA, MATHEUS S. ; SANTOS, ADRIEL V. ; VALADÃO, MYKE D.M. ; AMOEDO, DIEGO A. ; ARAÚJO SOUZA, MARIA REGINA ; MATTOS, EDMA V. C.U. ; PEREIRA, ANTÔNIO M.C. ; SILVA, AGEMILSON P. ; BRITO, ALLAN C. ; SILVA, ALLAN R. A. ; S.F., RÔMULO ; NUNES, JEAN A. O. ; LEMOS, MADSON R. ; COSTA, MAURA R. A. ; JÚNIOR, WALDIR S.S. ; CARVALHO, CELSO B. . Asset Administration Shell in Manufacturing: Case Study in Manaus Industrial Complex. In: 2024 International Conference on Consumer Electronics Taiwan (ICCETaiwan), 2024, Taichung. 2024 International Conference on Consumer Electronics - Taiwan (ICCE-Taiwan), 2024. p. 269.

 

MACHADO, GUIDO SOPRANO ; DE SOUZA PICANÇO, WOLLACE ; DE CARVALHO, MARENICE MELO ; DA SILVA, CLAUDIA MONTEIRO ; PAIVA DE MEDEIROS, RENAN LANDAU ; DE LUCENA JUNIOR, VICENTE FERREIRA . An Innovative Approach to Automatically Help Activities Corrections in Remote Laboratories in the Mechatronics Area Using Intelligent Digital Twins. In: 2024 IEEE Frontiers in Education Conference (FIE), 2024, Washington. 2024 IEEE Frontiers in Education Conference (FIE), 2024. v. 1. p. 1-6.

 

MARENICE M. DE CARVALHO ; RENAN L. P. DE MEDEIROS ; FLORINDO A. C. AYRES JR ; BESSA, I. V. ; SILVA, L. E. S. E. ; LUCENA JR, V. F. . Projeto de controle robusto baseado na minimização de impedância de saída aplicado a microrredes CC com CPL. In: Congresso Brasileiro de Automática - CBA 2024, 2024, Rio de Janeiro. Anais do XXV Congresso Brasileiro de Automática. Rio de Janeiro: Sociedade Brasileira de Automática, 2024. v. 1. p. 1-6.

 

MELO, WHEIDIMA ; SILVA, WALDIR ; CARVALHO, CELSO BARBOSA . Uma Técnica de Atenção Inter-Canais para Detecção de Depressão a partir de Expressões Faciais. In: XLII Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2024, Belém, Pará, Brasil. Anais do XLII Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2024.

 

MENDONCA, R. S. ; SANTOS, K. V. ; MEDEIROS, R. L. P. ; SILVA, M. ; LUCENA JUNIOR, V. F. . Proposta de metodologia Retrofit aplicada em um processo Produtivo legado. In: CBA 2024, 2024, Rio de Janeiro. Proposta de metodologia Retrofit aplicada em um processo Produtivo legado, 2024. p. 1-6.

 

MENEZES, R. ; ALDUGHAIM, M. ; FARIAS, B. ; LI, X. ; MANINO, E. ; SHMAROV, F. ; SONG, K. ; BRAUSSE, F. ; GADELHA, M. ; TIHANYI, N. ; KOROVIN, K. ; CORDEIRO, L. C. . ESBMC v7.4: Harnessing the Power of Intervals (Competition Contribution). In: 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2024, Luxembourg. TACAS'24. Heidelberg: Springer, 2024. p. 1-4.

 

PEREIRA, ANTÔNIO M.C. ; SILVA, MATEUS O. ; BESSA, ANDREY R. R. ; LINHARES, JOSÉ E.B.S. ; AMOEDO, DIEGO A. ; MATTOS, EDMA V.C.U. ; SILVA, AGEMILSON P. ; BRITO, ALLAN C. ; BELEM, RUAN J.S. ; S.F., RÔMULO ; NUNES, JEAN A.O. ; LEMOS, MADSON R. ; COSTA, MAURA R. A. ; S. S., WALDIR ; CARVALHO, CELSO B. . Implementing Machine Learning Microservices for Predictive Maintenance of Industrial Assets. In: 2024 International Conference on Consumer Electronics Taiwan (ICCETaiwan), 2024, Taichung. 2024 International Conference on Consumer Electronics - Taiwan (ICCE-Taiwan), 2024. p. 265.

 

PEREIRA, G. H. P. ; MEDEIROS, R. L. P. ; BESSA, I. V. ; AYRES, FLORINDO A. DE C. ; SILVA, LUIZ EDUARDO SALES E . Aplicação de controle robusto ao problema de eletromobilidade em comunidades isoladas na Amazônia. In: XXV Congresso Brasileiro de Automática, 2024, Rio de Janeiro. Anais do XXV Congresso Brasileiro de Automática 2024, 2024.

 

PIRZADA, M. A. A. ; BHAYAT, A. ; CORDEIRO, L. C. ; REGER, G. . LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling. In: 39th IEEE/ACM International Conference on Automated Software Engineering, 2024, Sacramento, California, USA. ASE'24. Washington: IEEE/ACM, 2024. p. 1-12.

 

PRINTES, RODRIGO G. ; MARINHO, GISELLE L. ; DE ALMEIDA, ELIAS A.S. ; BESSA, ANDREY R. R. ; AMOEDO, DIEGO A. ; MATTOS, EDMA V.C.U. ; JÚNIOR, WALDIR S.S. ; CARVALHO, CELSO B. . Wireless IoT System of Identification of Erratic Movement in Tambaqui Through Behavioral Image Monitoring. In: 2024 International Conference on Consumer Electronics Taiwan (ICCETaiwan), 2024, Taichung. 2024 International Conference on Consumer Electronics - Taiwan (ICCE-Taiwan), 2024. p. 407.

 

RAFAEL S MENDONCA ; SANTOS, K. V. ; RENAN L. P. DE MEDEIROS ; SILVA, M. ; LUCENA JR, V. F. . Proposta de metodologia Retrofit aplicada em um processo Produtivo legado. In: Congresso Brasileiro de Automática - CBA 2024, 2024, Rio de Janeiro. Anais do XXV Congresso Brasileiro de Automática - CBA 2022. Rio de Janeiro: Sociedade Brasileira de Automática, 2024. v. 1. p. 1-6.

 

SALGADO, THIAGO RODRIGO MONTEIRO ; DA COSTA FERNANDES, MATTHEUS SMITH ; MACHADO, GUIDO SOPRANO ; DE LUCENA, VICENTE FERREIRA . Platform to Help CNN Training in Manufacturing Teaching Environments. In: 2024 IEEE Frontiers in Education Conference (FIE), 2024, Washington. 2024 IEEE Frontiers in Education Conference (FIE), 2024. v. 1. p. 1-6.

 

SILVA NETO, J P C ; LIMA L P ; BINATTI, F C ; COSTA, M. G. F. ; PENNINI S N ; COSTA FILHO, C. F. F. . Classification of Skin Lesions Using an Ensemble of Deep Convolutional Neural Network Models. In: XXIX Congresso Brasileiro de Engenharia Biomédica, 2024, RIBEIRÃO PRETO. Proceedings of XXIX Brazilian Congress of Biomedical Engineering, 2024. p. 1.

 

SILVA, M. P. ; COSTA, MARLY GUIMARÃES FERNANDES ; VIEIRA, D. G. ; COSTA FILHO, CICERO F F . Semantic Segmentation of QRS complex in 12-Lead ECG Signals. In: 46th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2024, Orlando. Proceedings of 46th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2024. v. 1. p. 1-5.

 

SOARES, RONALDO RODRIGUES ; MONTEIRO, FELIPE PAES ; PINHEIRO, GABRIEL MARTINS ; SERRÃO, MIKAELA KALLINE MACIEL ; COSTA FILHO, CÍCERO F. F. ; COSTA, MARLY G. F. . Evaluation of Depth-wise Separable Convolution and Channel Attention Mechanism to Bacilli Segmentation. In: 2024 46th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2024, Orlando. 2024 46th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2024. p. 1-5.

 

SOPRANO MACHADO, GUIDO ; MONTEIRO SALGADO, T.R. ; DE SOUZA PICANÇO, WOLLACE ; MONTEIRO DA SILVA, CLAUDIA SABRINA ; PAIVA DE MEDEIROS, RENAN LANDAU ; FERREIRA DE LUCENA JR, VICENTE. AN AUTOMATIC CORRECTION MECHANISM FOR PRACTICAL EXPERIMENTS BASED ON DIGITAL TWINS. In: 18th International Technology, Education and Development Conference, 2024, Valencia. Valência: IATED, 2024. v. 1. p. 6372-6380.

 

SOUSA, J. O. ; FARIAS, B. C. ; LIMA FILHO, E. B. ; CORDEIRO, L. C. . Trust, but Verify: Evaluating Developer Behavior in Mitigating Security Vulnerabilities in Open-Source Software Projects. In: 24th Brazilian Symposium on Information and Computational Systems Security, 2024, São José dos Campos, SP. SBSeg'24. São Paulo: SBC, 2024. p. 1-17.

 

SOUSA, L. E. O. ; SILVA, LUIZ EDUARDO SALES E ; BESSA, I. V. ; MOTA, M. H. ; AYRES, FLORINDO A. DE C. ; MEDEIROS, R. L. P. . Estudo Probabilístico da Capacidade de Hospedagem de Eletropostos em Sistemas de Subtransmissão Sob Critérios Operativos da Margem Estabilidade de Tensão. In: XXV Congresso Brasileiro de Automática, 2024, Rio de Janeiro. Anais do XXV Congresso Brasileiro de Automática 2024, 2024.

 

TORRES, GUSTAVO M. ; BESSA, ANDREY R. R. ; LINHARES, JOSÉ E.B.S. ; SILVA, MATEUS O. ; SANTOS, ADRIEL V. ; VALADÃO, MYKE D.M. ; MENEZES, VINICIUS S. ; MATTOS, EDMA V.C.U. ; PEREIRA, ANTÔNIO M.C. ; SILVA, AGEMILSON P. ; BRITO, ALLAN C. ; BELEM, RUAN J.S. ; S.F., ROMULO ; S.S., WALDIR ; CARVALHO, CELSO B. . A Designing Databases Framework for AI Training in Industrial Predictive Maintenance. In: 2024 International Conference on Consumer Electronics Taiwan (ICCETaiwan), 2024, Taichung. 2024 International Conference on Consumer Electronics - Taiwan (ICCE-Taiwan), 2024. p. 263.

 

VALADAO, M. D. M. ; AGUIAR DA COSTA, A. L. ; SILVA, E. R. ; MATEUS, A. C. ; DA SILVA JÚNIOR, WALDIR SABINO . Noise Power Density Estimation Based on Deep Learning Using Spectrograms Extracted from Wireless Signals. In: XLII Simpósio Brasileiro de Telecomunicações e Processamento de Sinais (SBrT2024), 2024, Belém, Pará, Brasil. XLII Simpósio Brasileiro de Telecomunicações e Processamento de Sinais (SBrT2024), 2024. v. 1. p. 1-5.

 

VALADÃO, MYKE D.M. ; SILVA, MATEUS O. ; TORRES, GUSTAVO M. ; UCHÔA, MATHEUS S. ; BESSA, ANDREY R. R. ; AMOEDO, DIEGO A. ; MENEZES, VINICIUS S. ; MATTOS, EDMA V.C.U. ; PEREIRA, ANTÔNIO M.C. ; SILVA, AGEMILSON P. ; BRITO, ALLAN C. ; BELEM, RUAN J. S. ; S.F., ROMULO ; JUNIOR, WALDIR S. S. ; CARVALHO, CELSO B. . Forecast of Anomalies in Vacuum Pump based on HEX@ Sensor using TSMixer Model. In: 2024 International Conference on Consumer Electronics Taiwan (ICCETaiwan), 2024, Taichung. 2024 International Conference on Consumer Electronics - Taiwan (ICCE-Taiwan), 2024. p. 339.

 

VASQUES, ADRIEL ; BESSA, ANDREY R. R. ; LINHARES, JOSÉ E.B.S. ; SILVA, MATEUS O. ; TORRES, GUSTAVO M. ; UCHÔA, MATHEUS S. ; VALADÃO, MYKE D.M. ; MATTOS, EDMA V.C.U. ; PEREIRA, ANTÔNIO M.C. ; SILVA, AGEMILSON P. ; BRITO, ALLAN C. ; S.F., RÔMULO ; S.S., WALDIR ; CARVALHO, CELSO B. . Integrating NVIDIA Jetson Nano as a Data Server in IIoT Ecosystems: A Case Study. In: 2024 International Conference on Consumer Electronics Taiwan (ICCETaiwan), 2024, Taichung. 2024 International Conference on Consumer Electronics - Taiwan (ICCE-Taiwan), 2024. p. 677.

WU, T. ; SONG, S. ; MANINO, E. ; STOCKWELL, G. ; CORDEIRO, L. C. . Verifying components of Arm® Confidential Computing Architecture with ESBMC. In: 31st Static Analysis Symposium (SAS 2024), 2024, Pasadena, California. SAS'24. Heidelberg: LNCS Across, 2024. v. 14995. p. 1-12.