UTTOS: A Tool for Testing UEFI Code in OS Environment. - Eder C. M. Gomes; Paulo Roberto Pessoa Amora; Elvis Marques Teixeira; Antonio G. S. Lima; Felipe T. Brito; Juliano F. C. Ciocari; Javam C. Machado (ICTSS, 2016)

FLEXMVCC: uma Abordagem Flexível para Protocolos de Controle de Concorrência Multi-versão. - Eder C. M. Gomes; Joaquim Filipe L. de Sousa; Paulo Roberto Pessoa Amora; Javam C. Machado (SBBD, 2018)