Seminários

• Seminários

  Série de Seminários - 2026.2

  A Coordenação do Programa de Pós-Graduação em Informática tem o prazer de convidá-los a participar das apresentações de seminários ministrados por discentes de nosso programa. As sessões serão coordenadas pelos Professores Ricardo Lopes de Queiroz e Cláudia Nalon. Todas as palestras irão ocorrer na sala MULTIUSO/CIC no prédio do CIC/EST.   DATA DISCENTE TÍTULO ORIENTADOR/A 14/08/2026 14:05-14:25 PEDRO HENRIQUE TEIXEIRA COSTA Melhorando a Performance de Runtime Verification com o Uso de Geração de Casos de Testes Guiados RODRIGO BONIFÁCIO DE ALMEIDA  14:25-14:45 Jefferson Pereira da Silva An Ordering-Based BFT Protocol for Atomic Cross-Chain Transactions EDUARDO ADILIO PELINSON ALCHIERI 14:45-15:00 ZADYS CARRASCO MEDINA Análise Exploratória de Métricas para Avaliação Automatizada em Sistemas de Geração Aumentada por Recuperação THIAGO DE PAULO FALEIROS  15:00-15:15 MARIA JULIA DIAS LIMA Formalização de Algoritmos de Anti-Unificação em PVS MAURICIO AYALA RINCON  15:15-15:30 MARCELLA QUEIROZ DE CASTRO O Tempo do Acesso à Saúde: Análise Preditiva da Duração de Processos Judiciais CELIA GHEDINI RALHA  15:30-15:45       21/08/2026 14:05-14:25 Mirele Carolina Souza Ferreira Costa Comparing Deep Learning and Homology-based Methods to Predict Non-coding RNAs MARIA EMILIA MACHADO TELLES WALTER  14:25-14:45 Ricardo Regis Cavalcante Chaves Framework Reprodutível para Comparação Paralela de Sequências Biológicas ALBA CRISTINA MAGALHAES ALVES DE MELO  14:45-15:00 THIAGO ARAÚJO GUEDES Proposta e avaliação de um método modular baseado em aprendizado em contexto para tradução de linguagem natural em linguagem formal com modelo de inguagem compacto THIAGO DE PAULO FALEIROS  15:00-15:15 JOAO LUCAS PINTO VASCONCELOS Uma Abordagem Baseada em Fuzzing para Verificação de Princípios Éticos em Sistemas de Inteligência Artificial no Contexto da Engenharia de Software EDNA DIAS CANEDO  15:15-15:30 LETICIA MACHADO MAGALHAES Uma estrutura LLM-MAS para aprendizado ativo na interação humano-IA CELIA GHEDINI RALHA  15:30-15:45       28/08/2026 14:05-14:25 EVERALDO SILVA JÚNIOR Operationalizing Normative Principles in the Requirements Engineering Process of Ethics-Aware Self-Adaptive Systems GENAINA NUNES RODRIGUES  14:25-14:45 MARCOS JOSÉ DOS SANTOS NETO OnceFL: Uma Estrutura de Aprendizagem Federada de Rodada Única para Detecção de Ataques DDoS JACIR LUIZ BORDIM  14:45-15:00 NEWTON MITSUSHIGUE KAMIMURA Um Modelo Integrador: MCC-Open RAN para Otimização da QoE com Ênfase no Near-RIC MARCELO ANTONIO MAROTTA  15:00-15:15 RONALD CESAR DIAS DE OLIVEIRA GuidedMatch: Auto-Destilação com uso de Perturbação de Características Guiada por Atenção para Segmentação Semântica de Imagens DIBIO LEANDRO BORGES  15:15-15:30 Murillo Edson de Carvalho Souza Redocumentação de Sistemas Legados Java Usando uma Arquitetura de Multiagentes RODRIGO BONIFÁCIO DE ALMEIDA  15:30-15:45 ALANA PAULA BARBOSA MOTA Rejuvenescimento de Software: Investigando a Relação entre Intenções de Design e Práticas de Modernização em Python RODRIGO BONIFÁCIO DE ALMEIDA  04/09/2026 14:05-14:25 ÂNGELA BRÍGIDA ALBARELLO Auditoria Pós-Salvaguarda e Promoção de Políticas Adaptativas em um Ciclo Veicular de Borda-Nuvem GERALDO PEREIRA ROCHA FILHO  14:25-14:45 CHARLES ANTÔNIO NASCIMENTO COSTA An Algebraic Structuring of Epistemic States for BDI Agents in Uncertain Environments CELIA GHEDINI RALHA  14:45-15:00 RENNÊ RUAN ALVES OLIVEIRA Pré-treinamento Eficiente de Modelos Encoder para o Português LUIS PAULO FAINA GARCIA  15:00-15:15 AMAURI DORNELES OTTO Aumentando a Segurança em xApps de Traffic Steering em Open RAN EDUARDO ADILIO PELINSON ALCHIERI 15:15-15:30 MATHEUS ARAÚJO FERREIRA Análise da utilização de adaptação de dificuldade em jogos de RPG a partir de perfis de jogadores RICARDO PEZZUOL JACOBI 15:30-15:45       11/09/2026 14:05-14:25 GEOVANA RAMOS SOUSA SILVA A Privacy-Aware Approach to Chatbot Development in Conversation-Driven Development Environments EDNA DIAS CANEDO  14:25-14:45 ALESSANDRO CORDEIRO DE LIMA GraphCausal: Uma Arquitetura Baseada em Inferência Causal e Graph Neural Networks para Detecção de Ataques EDoS EDUARDO ADILIO PELINSON ALCHIERI 14:45-15:00 BRENO BRAGA GALVAO Combinação de Características de Brilho, Bordas e NDVI para Detecção de Árvores Urbanas e Avaliação de Proximidade com Linhas de Energia DIBIO LEANDRO BORGES  15:00-15:15 BORIS MARINHO RAMOS SILVA ARAUJO Avaliação do impacto de algoritmos de Call Graph na qualidade e no desempenho da Taint Analysis em grafos esparsos RODRIGO BONIFÁCIO DE ALMEIDA  15:15-15:30 AMANDA ALINE FIGUEIREDO CARVALHO VICENZI Operacionalização da Ética em Sistemas de IA no Setor Público: um estudo empírico sobre Motivação, Percepção e Expectativa EDNA DIAS CANEDO  15:30-15:45 BRUNO DE BARROS OLIVEIRA Avaliando a influência de imagens faciais sintéticas geradas por difusão estável em modelos de reconhecimento facial FLAVIO DE BARROS VIDAL  18/09/2026 14:05-14:25 ALEXANDRO DE OLIVEIRA PAULA Detecção e Resposta à ataques cibernéticos de negação de controle em Smart Grids GERALDO PEREIRA ROCHA FILHO  14:25-14:40 GUILHERME DANIEL FERNANDES DA SILVA From Prototype to Production: Socio-Technical Enablers and Obstacles in Operationalizing Machine Learning Models CARLA SILVA ROCHA AGUIAR  14:40-14:55 JONATHAN DE MOURA FEITOSA NetOps: Plataforma de Observabilidade SemânticaUnificada para Redes Definidas por Software MARCELO ANTONIO MAROTTA  14:55-15:10 MATHEUS STAUFFER VIANA DE OLIVEIRA Exploring cross-boundaries between decoder and encoder-like models for NER LUIS PAULO FAINA GARCIA  15:10-15:25 RAFAEL HENRIQUE NOGALHA DE LIMA FlameSentinel: A Multi-agent Framework for Wildfire Risk Operational Management CELIA GHEDINI RALHA  15:25-15:40       25/09/2026 - SEMANA UNIVERSITÁRIA 02/10/2026 14:05-14:25 GEORGE FABRÍCIO SANTOS RODRIGUES Modelo Generativo Leve para Classificação Precisa de Anomalias em Culturas Vegetais Otimizado Para Dispositivos de Borda. DIBIO LEANDRO BORGES  14:25-14:40 ELI COELHO MEDEIROS Redução de custo computacional em aprendizado positivo e não rotulado com meta-desambiguação esparça DIBIO LEANDRO BORGES  14:40-14:55 MATHEUS SANTOS ALENCAR Criação de um novo Dataset para ataques LDoS JACIR LUIZ BORDIM  14:55-15:10 VINÍCIUS ASSUMPÇÃO DE ARAUJO Extração e Construção de APIs a partir de Sistemas Legados COBOL com LLMs sob uma Abordagem Specification-Driven: Um Estudo Multi-Caso RODRIGO BONIFÁCIO DE ALMEIDA  15:10-15:25 JOÃO PEDRO DE CAMARGO VAZ Modernização de Sistemas Legados COBOL com LLMs: Geração de Documentação do Código Fonte em um Estudo de Caso no Setor Financeiro RODRIGO BONIFÁCIO DE ALMEIDA  15:25-15:40       09/10/2026 14:05-14:25 JOSÉ BENEDITO DE SOUZA BRITO λ-CADO - Framework de Decisão Causal Adaptativa sob Restrições Dinâmicas para AIOps ALETEIA PATRICIA FAVACHO DE ARAUJO VON PAUMGARTTE 14:25-14:45 PEDRO BORGES PIO Exploring SLM for Legal NER LUIS PAULO FAINA GARCIA  14:45-15:00 MATHEUS MORAIS DO PRADO Detecção de Anomalias em Registros de Acesso e Autenticação Usando Redes Neurais Grafo-Temporais para Mitigação de Fraudes Internas EDNA DIAS CANEDO  15:00-15:15 GABRIEL DE SOUZA BARRETO Um Framework Centrado na Produtividade para DevOps: Avaliação de KPIs e Mensuração do Desempenho em Engenharia de Software em Organizações Bancárias de Grande Porte EDNA DIAS CANEDO  15:15-15:30 HENRIQUE TORRES DE LIMA Implementation of global and local resolution in the modal logic theorem-prover KsP CLAUDIA NALON  15:30-15:45       16/10/2026 14:05-14:25 NIKSON BERNARDES FERNANDES FERREIRA A direct LLM approach to proof-command and lemma suggestion in PVS MAURICIO AYALA RINCON  14:25-14:45 FELIPE EVANGELISTA DOS SANTOS Implementação do modelo de inteligência artificial para aplicação em processos institucionais no setor público. DIBIO LEANDRO BORGES  14:45-15:00 IAN PORTO E MELLO Saliency-Based Local Binary Patterns for 3D Media Quality Assessment PEDRO GARCIA FREITAS 15:00-15:15 RAFAEL DA SILVA OLIVEIRA Abandono escolar na rede pública de ensino do Distrito Federal e o uso de machine learning no processo de busca ativa MARISTELA TERTO DE HOLANDA  15:15-15:30 LUIZA DE ARAÚJO NUNES GOMES Inteligência Artificial Generativa no Ensino de Programação Introdutória: Usos, Percepções e Aprendizagem dos Estudantes MARISTELA TERTO DE HOLANDA  15:30-15:45       23/10/2026 14:05-14:25 CARLOS JOEL TAVARES DA SILVA Augmenting Multi-Robot Systems Focusing on Replanning Techniques with BDI Agents CELIA GHEDINI RALHA  14:25-14:45 MARCOS PAULO CAYRES ROSA Além do Design Estático: Efeitos de Políticas Adaptativas na Experiência do Jogador RICARDO PEZZUOL JACOBI  14:45-15:00 ANTÔNIO VINICIUS DE MOURA RODRIGUES Deep Learning for Skin Cancer Image Analysis: A Systematic Literature Review FLAVIO DE BARROS VIDAL  15:00-15:15 TIAGO GONÇALVES DE SAMPAIO ALVES Topificação de Documentos em Modelos de Linguagem em Larga Escala THIAGO DE PAULO FALEIROS  15:15-15:30 JOÃO CUSTÓDIO DE FARIA FILHO TBA GENAINA NUNES RODRIGUES  15:30-15:45       30/10/2026 14:05-14:25 PEDRO CARVALHO BROM Equalização da Avaliação de Modelos de Linguagem a um Padrão de Referência Humano (Detalhamento Técnico do Desenho Experimental) LI WEIGANG  14:25-14:45 RUBENS MARQUES CHAVES Detecção de desvio de conceito em fluxos de dados via meta-aprendizado LUIS PAULO FAINA GARCIA  14:45-15:00 VICTOR HUGO OLIVEIRA LEÃO LLMs na Recuperação de Informação de Arquivos Digitalmente Esparsos THIAGO DE PAULO FALEIROS  15:00-15:15 GUILHERME OLIVEIRA LOIOLA Gerenciamento Inteligente de Overload e Orquestração Adaptativa em Fog Computing ALETEIA PATRICIA FAVACHO DE ARAUJO VON PAUMGARTTE 15:15-15:30 GUSTAVO TOMÁS DE PAULA Chroma: Uma Ferramenta de Apoio para o Ensino de Shaders RICARDO PEZZUOL JACOBI  15:30-15:45 MARCELO AIACHE POSTIGLIONE A Natural Language-Driven Intent-Based Networking Architecture exploiting Advanced Network Service Management MARCELO ANTONIO MAROTTA  06/11/2026 14:05-14:25 RICARDO CORDEIRO GALVÃO SANT'ANA VAN ERVEN The Lumen framework for generating structurally adapted user interfaces under design-system constraints EDNA DIAS CANEDO  14:25-14:45 MARCELO FERREIRA ORTEGA Impacto dos Problemas de Parsons com distratores no Ensino-Aprendizado de Programação Introdutória: um estudo multi-institucional MARISTELA TERTO DE HOLANDA  14:45-15:00 MATHEUS VIRGÍLIO DA SILVA FERREIRA 3D-SLAM para robôs móveis em ambientes de mineração subterrânea GERALDO PEREIRA ROCHA FILHO  15:00-15:15 GABRIEL FAUSTINO LIMA DA ROCHA Reducing Replica Coordination in BFT Consensus through Dependable and Secure In-Network Message Ordering EDUARDO ADILIO PELINSON ALCHIERI 15:15-15:30 MARIANA GONZAGA DOS SANTOS Multimodal Learning for Selective Logging Detection via Fusion of Sentinel-1 and Sentinel-2 Data PEDRO GARCIA FREITAS 15:30-15:45       13/11/2026 - WPOS 20/11/2026 - DIA DA CONSCIÊNCIA NEGRA 27/11/2026 14:05-14:25 JOÃO PAULO VIEIRA COSTA Adaptando Arquiteturas Multimodais para Compreensão Visual de Documentos LI WEIGANG  14:25-14:40 LUAN ALVES FREITAS Estratégia Adaptativa para Dimensionamento Dinâmico de Recursos em Algoritmos de Alinhamento de Sequências Biológicas ALBA CRISTINA MAGALHAES ALVES DE MELO 14:40-14:55 LUCAS FERREIRA FUKUTA Geração de conteúdo narrativo com LLM em jogo de RPG RICARDO PEZZUOL JACOBI  14:55-15:10 ANDHER PAULO CAPANEMA SANTANA Frescor de informação em aprendizado federado: quando a idade é um bom critério para selecionar clientes sob dados heterogêneos? GERALDO PEREIRA ROCHA FILHO  15:10-15:25 MARCELO DOS SANTOS Escalonamento de Workflows sob Restrições de Prazo e Confiabilidade em Ambientes Computacionais Heterogêneos PRISCILA AMERICA SOLIS MENDEZ BARRETO 15:25-15:45 CHARLES HENRIQUE GONÇALVES SANTOS A Domain-Specific Language for Machine Learning VANDER RAMOS ALVES 04/12/2026 14:05-14:20 NATALIA SOUZA DE JESUS Previsão de demanda de medicamentos na saúde pública: Uma abordagem com modelos híbridos de aprendizado de máquina PRISCILA AMERICA SOLIS MENDEZ BARRETO 14:20-14:35 JANAINA SILVA DE OLIVEIRA Caracterização, Detecção e Prevenção de Spyware, Stalkerware e Aplicativos de Uso Duplo em Contextos de Violência Doméstica: uma Revisão Sistemática daLiteratura EDNA DIAS CANEDO  14:35-14:50 ANA CAROLINE DA ROCHA BRAZ Inteligência Artificial como Suporte à Aprendizagem Personalizada em Robótica Educacional na Educação Básica MARISTELA TERTO DE HOLANDA  14:50-15:05 JOÃO FRANCISCO GOMES TARGINO Papéis, responsabilidades e competências para jornadas de capacitação em segurança da informação e privacidade de dados: Uma revisão de literatura EDNA DIAS CANEDO  15:05-15:20 NATHALIA PIMENTEL DE ASSIS SOC em O-RAN MARCELO ANTONIO MAROTTA  15:20-15:35 MUHTASIM AZAD Using LLMs in the robotic mission engineering process GENAINA NUNES RODRIGUES 
• Seminários

  Série de Seminários - 2026.1

  A Coordenação do Programa de Pós-Graduação em Informática tem o prazer de convidá-los a participar das apresentações de seminários ministrados por discentes de nosso programa. As sessões serão coordenadas pelos Professores Ricardo Lopes de Queiroz e Cláudia Nalon.   Horário Palestrante Título Orientador         20/03/26         Auditório       Aula Inaugural – Apresentação do PPGI - Cláudia Nalon       27/03/26         Seminário (MULTIUSO CIC)       14:10-14:35 Paulo José de Souza Junior Proteção contra falhas duplas em redes SDM-EON explorando bandas de espectro com crosstalk Marcelo Antônio Marotta 14:35-15:00 LUIS HENRIQUE VIEIRA AMARAL From Legacy Designs to Vulnerability Fixes: Understanding SAST Adoption in Non-Technological Companies Rodrigo Bonifácio de Almeida 15:00-15:15 FERNANDO LOUREIRO DE ARAÚJO Estudo Comparativo de Brokers de Mensagens e Serializadores em Arquitetura do Open Finance Rodrigo Bonifácio de Almeida 15:15-15:30 FERNANDO HURIAS LOPES NETO Reconhecimento de Entidades Nomeadas em Documentos Legais Luis Paulo Faina Garcia 15:30-15:45 ZADYS CARRASCO MEDINA Análise Exploratória de Métricas para Avaliação Automatizada em Sistema de Geração Aumentada por Recuperação Thiago de Paulo Faleiros   Seminário 2 (MULTIUSO EST)       14:10-14:35 WALTER LUCAS M. DE MENDONCA A Socio-Technical Grounded Theory about Source Code Rejuvenation Rodrigo Bonifácio de Almeida 14:35-14:50 KAILANY KETULHE GOMES ROCHA Avaliação da Permanência Acadêmica Feminina em Computação associada ao Projeto Meninas.comp na Universidade de Brasília. Maristela Terto de Holanda 14:50-15:05 YURI FAÇANHA BEZERRA Enhancing Retrieval-Augmented Generation Capabilities through the Design of a Quote-Extraction Agent Li Weigang 15:05-15:20 THIAGO ARAÚJO GUEDES Apoio de Modelos de Linguagem de Grande Escala a Modelos Compactos na Tradução de Linguagem Natural para a Linguagem Formal Nile com Utilização de Justificativas Explicitas de Raciocínio Thiago de Paulo Faleiros 15:20-15:50       03/04/26        Sexta-feira Santa       10/04/26         Seminário (MULTIUSO CIC)       14:10-14:35 Mirele Carolina Souza Ferreira Costa Performance comparison of machine learning models with Blast for the identification of non-coding RNAs using taxonomic distances Maria Emília Machado Telles Walter 14:35-15:00 MARCOS JOSÉ DOS SANTOS NETO OnceFL: Federated DDoS Detection in Software-Defined Networks with Once-Learning and Adaptive Kalman Estimation + CUSUM Jacir Luiz Bordim 15:00-15:15 NEWTON MITSUSHIGUE KAMIMURA Proposta de Modelo Integrado MCC-Open RAN-6G para Otimização da QoE em Redes 6G com Ênfase no Controle Near-Real-Time Marcelo Antônio Marotta 15:15-15:30       15:30-15:45 MARIA JULIA DIAS LIMA Mechanical Formalization of Antiunification Mauricio Ayala Rincon   Seminário 2 (MULTIUSO EST) 14:10-14:25       14:25-14:40 MATHEUS STAUFFER V. DE OLIVEIRA Exploring cross-boundaries between decoder and encoder-like models for NER Luís Paulo Faina Garcia 14:40-14:55 MATHEUS SANTOS ALENCAR Uma proposta de dataset para ataques LDoS Jacir Luiz Bordim 14:55-15:10 MATHEUS ARAÚJO FERREIRA Análise da utilização de adaptação de dificuldade em jogos de RPG a partir de perfis de jogadores Ricardo Pezzuol Jacobi 15:10-15:50       17/04/26   Seminário (MULTIUSO CIC) 14:10-14:35 Jefferson Pereira da Silva Execução paralela de transações Eduardo Adilio Pelinson Alchieri 14:35-15:00 EVERALDO SILVA JÚNIOR Operationalizing Normative Principles ​in the Requirements Engineering Process ​of Ethics-Aware Autonomous Systems Genaína Nunes Rodrigues 15:00-15:15 JONATHAN DE MOURA FEITOSA Arcabouço para criação e gestão de aplicações e experimentos em redes SDN Marcelo Antônio Marotta 15:15-15:30 GUSTAVO VIEIRA ROCHA RABELO Detecçao e reconhecimento de áudios sintéticos utilizando modelos de aprendizagem profunda Flávio de Barros Vidal 15:30-15:45 JOAO LUCAS PINTO VASCONCELOS Uma Abordagem Baseada em Fuzzing para Verificação de Princípios Éticos em Sistemas de Inteligência Artificial no Contexto da Engenharia de Software Edna Dias Canedo   Seminário 2 (MULTIUSO EST) 14:10-14:25 RAFAEL HENRIQUE NOGALHA DE LIMA A Framework for Resilient Decision-Making for Wildfire Management Celia Ghedini Ralha 14:25-14:40 RENNÊ RUAN ALVES OLIVEIRA BERTomelo: Avanços na Adaptação da Arquitetura ModernBERT para o Português Brasileiro Luís Paulo Faina Garcia 14:40-14:55 RONALD CESAR DIAS DE OLIVEIRA SoyMatch: A Multi-View Semi-Supervised Semantic Segmentation Strategy for Soybean Seedling Images Dibio Leandro Borges 14:55-15:20 Leonardo Rebouças de Carvalho Orama: Framework para Seleção e Avaliação de Ambientes FaaS em Nuvem Pública por meio de Aprendizado de Máquina Aleteia Patricia Favacho de Araujo von Paumgartten 15:10-15:35   PEDRO HENRIQUE TEIXEIRA COSTA   Melhorando a Performance de Runtime Verification com o Uso de Geração de Casos de Testes Guiados  Rodrigo Bonifácio de Almeida 24/04/26   Seminário (MULTIUSO CIC) 14:10-14:35 Ricardo Regis Cavalcante Chaves Framework Reprodutível para Comparação de Sequências Biológicas Alba Cristina Magalhães Alves de  Melo 14:35-15:00 RICARDO CORDEIRO G. S. VAN ERVEN Beyond "One-Size-Fits-All": A Framework for a Generative AI-Driven User Experience Edna Dias Canedo 15:00-15:15 CLAUDIO HENRIQUE P. DE CASTRO Arquitetura de Microsserviços para Registro, Controle e Auditoria de Consentimento de Usuários em Conformidade com a LGPD e GDPR Edna Dias Canedo 15:15-15:30 ELI COELHO MEDEIROS LaGAM com atualizações meta esparsas: redução de custo computacional em PU Learning Dibio Leandro Borges 15:30-15:45 GUILHERME DANIEL F. DA SILVA From Prototype to Production: Socio-Technical Enablers and Obstacles in Operationalizing Machine Learning Models Carla Silva Rocha Aguiar 01/05/26 Dia do Trabalho 08/05/26   Seminário (MULTIUSO CIC) 14:10-14:35 ALESSANDRO CORDEIRO DE LIMA Detecting LDoS attacks with EDoS characteristics in cloud environments Eduardo Adilio Pelinson Alchieri 14:35-15:00 ÂNGELA BRÍGIDA ALBARELLO Adaptive and Auditable Edge–Cloud Orchestration for Urgent Streaming Inference: Temporal Distillation and Safe Reinforcement Learning Geraldo Rocha Filho 15:00-15:15 BORIS MARINHO RAMOS SILVA ARAUJO Análise estática: algoritmos de montagem de CFG e detecção de reflection Rodrigo Bonifácio de Almeida 15:15-15:30 BRENO BRAGA GALVAO Detecção de Vegetação em Redes de Distribuição utilizando Deep Learning e Visão Computacional para Manutenção Preventiva Dibio Leandro Borges 15:30-15:45 BRUNO DE BARROS OLIVEIRA Synthetic Facial Aging: A Comparative Study of Stable Diffusion and Style GAN Flavio de Barros Vidal 15/05/26   Seminário (MULTIUSO CIC) 14:10-14:35 CHARLES ANTÔNIO N. COSTA An Algebraic Structuring of Epistemic States for BDI Agents in Uncertain Environments Celia Ghedini Ralha 14:35-15:00 NIKSON BERNARDES F. FERREIRA LLM-based recomendation of PVS proof commands Mauricio Ayala Rincon 15:00-15:15 AMANDA ALINE F. CARVALHO Operacionalização da Ética em Sistemas de IA no Setor Público: um estudo empírico sobre Motivação, Percepção e Expectativa Edna Dias Canedo 15:15-15:30 AMAURI DORNELES OTTO Open RAN: Traffic Steering - Soluções de Criptografia em transferência de dados para xApps Eduardo Adilio Pelinson Alchieri 15:30-15:45 VINÍCIUS ASSUMPÇÃO DE ARAUJO Modernização de Sistemas Legados COBOL com LLMs: Geração de Documentação do Código Fonte em um Estudo de Caso no Setor Financeiro Rodrigo Bonifácio 22/05/26   Seminário (MULTIUSO CIC) 14:10-14:25 ALANA PAULA BARBOSA MOTA Evolução da Linguagem Python: uma análise das motivações em PEPs e commits Rodrigo Bonifácio de Almeida  14:25-14:50 JOÃO PAULO VIEIRA COSTA Adaptando Arquiteturas Multimodais para Compreensão Visual de Documentos Li Weigang 14:00-15:05 MATHEUS MORAIS DO PRADO Detecção de Anomalias em Registros de Acesso e Autenticação Usando Redes Neurais Grafo-Temporais para Mitigação de Fraudes Internas Edna Dias Canedo 15:15-15:30       15:30-15:45         29/05/26   Seminário (MULTIUSO CIC) 14:10-14:35 JOSÉ BENEDITO DE SOUZA BRITO λ-CADO - Framework de Decisão Causal Adaptativa com Restrições Lambda para AIOps Aleteia Araújo 14:35-15:00 MARCOS PAULO CAYRES ROSA Adaptatividade em Jogos Digitais para Aprimoramento da Experiência do Jogador Ricardo Pezzuol Jacobi 15:00-15:15 RAFAEL DA SILVA OLIVEIRA Evasão escolar na rede pública de ensino do Distrito Federal e o uso de machine learning no processo de busca ativa Maristela Terto de Holanda 15:15-15:30 TIAGO GONÇALVES DE SAMPAIO ALVES Topificação de documentos com Modelos de Linguagem em Larga Escala Thiago de Paulo Faleiros 15:30-15:45 VICTOR HUGO OLIVEIRA LEÃO Uso de LLMs para Recuperação de Informação em Arquivos Thiago de Paulo Faleiros 05/06/26 Ponto Facultativo (Corpus Christi) 12/06/26   Seminário (MULTIUSO CIC) 14:10-14:35 FELIPE EVANGELISTA DOS SANTOS Implementação do modelo de inteligência artificial para aplicação em processos institucionais no setor público DIBIO LEANDRO BORGES 14:35-14:50 MARCELLA QUEIROZ DE CASTRO O Tempo do Acesso à Saúde: Análise Preditiva da Duração de Processos Judiciais Celia Ghedini Ralha 14:50-15:05 MARCELO AIACHE POSTIGLIONE A Natural Language-Driven Intent-Based Networking Architecture Marcelo Antônio Marotta 15:05-15:20 MARIANA GONZAGA DOS SANTOS Detecção de anomalias de superfície utilizando LiDAR Pedro Garcia Freitas 15:20-15:35   Murillo Edson de Carvalho Souza An experience using Amazon Q (AWS) in Industry under Code Summarization   Rodrigo Bonifácio de Almeida 19/06/26   Seminário (MULTIUSO CIC) 14:10-14:35 ALEXANDRO DE OLIVEIRA PAULA Detecção e resposta a ataques cibernéticos de negação de serviço em Smart Grids Geraldo Rocha Filho 14:35-14:50 JOÃO PEDRO DE CAMARGO VAZ Modernização de Sistemas Legados COBOL com LLMs: Geração de Documentação do Código Fonte em um Estudo de Caso no Setor Financeiro Rodrigo Bonifácio de Almeida 14:50-15:05 LUCAS GRIBEL DOS REIS Protocolo de snapshot distribuído para um microkernel Aleteia Patricia Favacho de Araujo von Paumgartten 15:05-15:20 LUIZA DE ARAÚJO NUNES GOMES Usos pedagógicos, benefícios e desafios de LLMs para estudantes de graduação em Ciência da Computação Maristela Terto de Holanda 15:20-15:35 MATHEUS VIRGÍLIO DA SILVA FERREIRA  3D-SLAM para robôs móveis em ambientes de mineração subterrânea. Geraldo Rocha Filho 26/06/26   Seminário (MULTIUSO CIC) 14:10-14:35 PEDRO BORGES PIO Exploring Small Language Models Capabilities for Legal Named Entities Recognition Luís Paulo Faina Garcia 14:35-15:00 PEDRO CARVALHO BROM Statistical Methods for Large Language Model Evaluation Li Weigang 15:00-15:15 HENRIQUE TORRES DE LIMA Implementation of global and local resolution in the modal logic theorem-prover KsP Cláudia Nalon 15:15-15:30 IAN PORTO E MELLO Saliency Based Local Binary Patterns Pedro Garcia Freitas 15:30-15:45 JOÃO CUSTÓDIO DE FARIA FILHO AI to enhance SAR Missions Genaina Nunes Rodrigues 03/07/26   Seminário (MULTIUSO CIC) 14:10-14:35 GEOVANA RAMOS SOUSA SILVA Augmenting Conversation-Driven Development: A Privacy-Oriented Architectural Extension for Chatbots Edna Dias Canedo 14:35-15:00 RUBENS MARQUES CHAVES MetaDD: Meta Drift Detector Luís Paulo Faina Garcia 15:00-15:15 GABRIEL FAUSTINO LIMA DA ROCHA Reducing Replica Coordination in BFT Consensus through Dependable and Secure In-Network Message Ordering Eduardo Adilio Pelinson Alchieri 15:15-15:30 GUILHERME OLIVEIRA LOIOLA AI-Driven Overload Management in Fog Computing Aleteia Patricia Favacho de Araujo 15:30-15:45 GUSTAVO TOMÁS DE PAULA Chroma: Uma Ferramenta de Apoio para o Ensino de Shaders Ricardo Pezzuol Jacobi 10/07/26   Seminário (MULTIUSO CIC) 14:10-14:35 CARLOS JOEL TAVARES DA SILVA Augmenting Multi-Robot Systems Focusing on Replanning Techniques with BDI Agents Celia Ghedini Ralha 14:35-15:00 MARCELO FERREIRA ORTEGA Problemas de Parsons: Análise da Carga Cognitiva em um Experimento Multi-Institucional no Brasil Maristela Terto de Holanda 15:00-15:15 ANTÔNIO VINICIUS DE M. RODRIGUES Deep Learning for Skin Lesion Analysis: A Systematic Review of Segmentation and Classification Flavio de Barros Vidal 15:15-15:30 GABRIEL DE SOUZA BARRETO Um Framework Centrado na Produtividade para DevOps: Avaliação de KPIs e Mensuração do Desempenho em Engenharia de Software em Organizações Bancárias de Grande Porte Edna Dias Canedo 15:30-15:50 GEORGE FABRÍCIO SANTOS RODRIGUES Modelo Generativo Leve para Classificação Precisa de Anomalias em Culturas Vegetais Otimizado Para Dispositivos de Borda. Dibio Leandro Borges    
• Seminários

  Série de Seminários - 2025.2

  As palestras apresentadas no segundo semestre de 2025 foram:
• Seminários

  Seminário - 05/07/2024 - 14h

  O Departamento de Ciência da Computação convida todos para as palestras da disciplina de Seminário do PPGI, com os temas ( From log4j to mapping vulnerable maven dependencies in a Brazilian institution / Automatic Lifting of Static Taint Analyses for Evolving Product Lines)

+