C. Corrêa, Iago , and Patrı́cia Pitthan Barcelos. " Validação do Mecanismo de Envio de Mensagens Heartbeat do HDFS Através de Programação Orientada a Aspectos." Anais da XIX Escola Regional de Alto Desempenho da Região Sul, Três de Maio, 2019. SBC, 2019, sem paginação.