Seminários

  • Seminários

    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:35 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:35-15:00 JOÃO PAULO VIEIRA COSTA Adapting Multimodal Architectures for Visual Document Understanding Li Weigang 15:00-15:15 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 ALANA PAULA BARBOSA MOTA Motivações formais na evolução de linguagens de programação Rodrigo Bonifácio de Almeida  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 Applying SLM for legal NER Luís Paulo Faina Garcia 14:35-15:00 PEDRO CARVALHO BROM Large Language Model Evaluation Methods Li Weigang 15:00-15:15 HENRIQUE TORRES DE LIMA Implementação de lógica global e local no software de lógica modal 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 A Ferramenta Educacional Chroma 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 A Productivity-Centric Framework for DevOps: Updating Industry KPIs and Assessing Engineering Performance in Large-Scale Banking Edna Dias Canedo 15:30-15:45 ANDRÉ FELIPE BRUSCO TBA Thiago de Paulo Faleiros      

  • Seminários

    As palestras apresentadas no segundo semestre de 2025 foram:

  • Seminários

    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)

  • Seminários

    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)

+

Best paper no SBQS 2020

 

O Programa de Pós-Graduação em Informática parabeniza a professora Edna Dias Canedo e o aluno de doutorado Roberto Avila Paldes pela conquista do best paper no XIX Simpósio Brasileiro de Qualidade de Software (SBQS).

O artigo premiado intitula-se Functional Requirements Elicitation in IoT systems: a follow-up study, sendo 

O paper foi fruto da colaboração de Roberto Ávila Paldês (UnB), Edna Dias Canedo (UnB), Fernando de Albuquerque Guimarães (UniCEUB) e Angélica Toffano Seidel Calazans (UniCEUB).

A premiação pode ser assistida no YouTube.

Resumo do artigo:

As the Internet of Things (IoT) advances, specific views have been proposed for the entire software development cycle and also for Requirements Engineering (RE). The analysis of the use of RE techniques, tools, and models can contribute to obtain better results in this field. This paper presents a Systematic Mapping Study (SMS) to investigate techniques for Functional Requirements (FR) elicitation in IoT software systems, as well as gaps and limitations of current solutions. During the SMS, seventeen articles focused on FR in the IoT were found. The analysis was complemented with an input from the experience of practitioners who have dedicated to this topic, obtained through structured and semi-structured interviews. The results show that FR elicitation has started from the use of traditional techniques, but that these do not fully meet the specificities of the IoT. The majority of the models found are based on UML (Unified Modeling Language) and the most important techniques are based on scenarios. The tools that support these proposals are maturing or under development. In the conclusion, the study shows the advancements already achieved, as well as the challenges and opportunities that are still present.