12 de Agosto de 2026
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ântica Unificada 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 | 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 |
| 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 | AMAURI DORNELES OTTO | Aumentando a Segurança em xApps de Traffic Steering em Open RAN | EDUARDO ADILIO PELINSON ALCHIERI |
| 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 | 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 |
| 14:45-15:00 | 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:00-15:15 | HENRIQUE TORRES DE LIMA | Implementation of global and local resolution in the modal logic theorem-prover KsP | CLAUDIA NALON |
| 15:15-15:35 | MARCELO CARBONI GOMES | Generative Artificial Intelligence Applied to Student Assessment Activities in Undergraduate Programs | MARISTELA TERTO DE HOLANDA |
| 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 | Â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 |
| 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:50 | ÂNGELA MARIA CRISTINA CLARA | Governança de TI e Alinhamento estratégico - mecanismos de apoio à tomada de decisão | CLAUDIA NALON |
| 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:50 | PEDRO BORGES PIO | Exploring SLM for Legal NER | LUIS PAULO FAINA GARCIA |
| 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 da Literatura |
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 |
04 de Julho de 2024
O Departamento de Ciência da Computação convida todos para as palestras da disciplina de Seminário do PPGI, com os temas (Uma Nova Abordagem de Fine Tuning para Aprimorar a Performance Interlinguística de LLMs / Towards a Theory for Source Code Rejuvenation / Quad-Tree Block-Based Variational Autoencoder for Point-Clouds / Avaliação do Reconhecimento de Entidades Nomeadas Utilizando Ensembles em Modelos Transformers para Textos Públicos Brasileiros)
22 de Maio de 2024
O Departamento de Ciência da Computação convida todos para as palestras da disciplina de Seminário do PPGI, com os temas (Orquestração Dinâmica de Workflows Científicos: Uma Abordagem Multi Cloud-Fog / JSVFA: a Static Value Flow Analysis for Java programs / Distinguindo potenciais RNAs não codificadores usando Transfer Learning / Arcabouço com Foco em Processamento de Linguagem Natural para Desambiguação de Nome de Autores em Repositórios Bibliográficos Digitais / Predição de tendência usando modelo CNN-BiLSTM e regressão linear no mercado de criptomoedas)
25 de Março de 2026
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 | |||
13 de Junho de 2024
O Departamento de Ciência da Computação convida todos para as palestras da disciplina de Seminário do PPGI, com os temas (Desenvolvimento de uma solução integrada de detecção e mitigação de ataques para redes definidas por software / Approximate String Matching Irrestrito para Sequências Sintéticas e de DNA: Análise Prática / Performance Evaluation of Large Language Models in Software Rejuvenation: Developing a Comparative Methodology)
15 de Maio de 2024
O Departamento de Ciência da Computação convida todos para as palestras da disciplina de Seminário do PPGI, com os temas (An End-to-End Privacy-Preserving Framework as a Service / DDoS attack detection in SDN: Enhancing entropy-based detection with machine learning / Utilização de Grafos de Nilcatenation na Identificação de Transações para Pruning em Blockchains / Privacy Preserving Techniques for O-RAN Networks / Tópicos em Compressão baseada em Redes Neurais)
04 de Julho de 2024
06 de Junho de 2024
O Departamento de Ciência da Computação convida todos para as palestras da disciplina de Seminário do PPGI, com os temas (Metodologia para Produção de Inteligência de Ameaça Acionável em Nível Tático / Análise Comparativa de Leis de Proteção de Dados e Frameworks de Privacidade: Otimizando Soluções para Conformidade com LGPD)
10 de Maio de 2024
O Departamento de Ciência da Computação convida todos para as palestras da disciplina de Seminário do PPGI, com os temas (O ciclo de vida do professor no ensino superior e recomendação de itens de aprendizagem em ambientes AVA / Análise de Desempenho em Banco de Dados NoSQL Orientado a Documentos: Um Índice para Comparação de Modelos de Dados / Explorando o mapeamento dinâmico em arquiteturas reconfiguráveis através da utilização de escopo de detecção de tamanho variável).
04 de Julho de 2024
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)