Programação

Opening
MSSiS 2025 Organizing Committee

AI Safety and Explainability for Robots and Intelligent Systems
Keynote: Koorosh Aslansefat (University of Hull, UK)

Abstract: Artificial Intelligence (AI) has become integral to modern robotics and intelligent systems, but its increasing deployment in critical domains raises significant safety and explainability challenges. In this talk, we explore the limitations of current AI models, including adversarial vulnerabilities, distribution shifts, and failures in safety-critical contexts. We introduce SafeML, a statistical distance–based framework for monitoring concept drift, distribution shifts, and domain adaptation, offering robust safety assurance and human-in-the-loop oversight. Additionally, we present SMILE (Statistical Model-agnostic Interpretability with Local Explanations), a novel model-agnostic explainability approach that enhances robustness against adversarial attacks compared to LIME and SHAP. Case studies across various domains, including intrusion detection, traffic sign recognition, medical diagnosis, and robotics, demonstrate the practical application and reproducibility of these methods. Together, SafeML and SMILE provide a pathway toward safer, more interpretable, and trustworthy AI for critical systems.

[Available]

Technical Session 1

Explorando o Minecraft na Simulação de Sistemas Autoadaptativos: Um Estudo Baseado em Missões de Drones
Authors: Gabryella Rodrigues (UECE), Kalil Rodrigues (UECE), Lucas Holanda (UECE), Vinícius dos Santos Alves (UECE), Luis Benevides (UECE), Matheus Chagas (UECE), Lucas Vieira Alves (UECE) e Paulo Maia (UECE)
[Full Paper]

How Students Perceive Professional Competencies in Software Projects: A Cyclical Study on Human Behavior in Business Process
Authors: Jéssyka Vilela (UFPE)
[Full Paper]

LLMs, Engenharia de Requisitos e Simulação: Desafios e Oportunidades de Pesquisa
Authors: Kauan Oliveira P. Lopes (UFC), Lucas Moura (UFC) e Emanuel Ferreira Coutinho (UFC)
[Short Paper]

Sistema de Recomendação de Pontos de Interesse em Recife com Filtragem Baseada em Conteúdo e Passaporte Pernambuco
Authors: Douglas I. F. Ferreira (ESALQ/USP) e Everton Gomede (FEEC/UNICAMP)
[Full Paper]

Uma Análise sob a Ótica de Simulação do Eixo Segurança de Software do Referencial de Formação do Curso de Bacharelado em CiberSegurança
Authors: Emanuel F. Coutinho (UFC)
[Short Paper]

Uma Análise sobre o Impacto da Quantidade de Transações no Tamanho dos Blocos em Blockchain
Authors: Alan Nascimento Gomes (UFC), Israel Bessa Silva (UFC), Criston Pereira de Souza (UFC) e Emanuel Ferreira Coutinho (UFC)
[Full Paper]

Uma Proposta de Interface Gráfica para Apoiar a Governança Relacional com Blockchain
Authors: Alan Nascimento Gomes (UFC) e Emanuel F. Coutinho (UFC)
[Short Paper]

Uma Solução de Inferência de Culpabilidade em Cenários de Acidentes de Trânsito por Meio de VANETS
Authors: Wagner L. Braga Bezerra (UFC), Alan Nascimento Gomes (UFC) e Emanuel F. Coutinho (UFC)
[Full Paper]