Formal verification and analysis of multimedia systems. - Sérgio Vale Aguiar Campos; Berthier A. Ribeiro-Neto; Autran Macedo; Luciano Bertini (ACM Multimedia (1), 1999)

Balancing Quality and Performance of Task Distribution in Workflow Based on Resource Aptitude. - Renê Rodrigues Veloso; Autran Macedo (International Conference on Computational Science (3), 2007)

The mechanics of memory-related software aging. - Autran Macêdo; Taís Borges Ferreira; Rivalino Matias (WoSAR@ISSRE, 2010)

An Experimental Study on Memory Allocators in Multicore and Multithreaded Applications. - Taís Borges Ferreira; Rivalino Matias; Autran Macedo; Lucio Borges de Araujo (PDCAT, 2011)

Performance Analysis of Control Charts Techniques Applied to IP Traffic Forecasts. - Ana Maria; Rivalino Matias; Autran Macedo; Paulo Romero Martins Maciel; Lucio Borges de Araujo (PDCAT, 2011)

Evaluation of Compound System Calls in the Linux Kernel on Physical and Virtual Machines. - Elder Vicente; Rivalino Matias; Autran Macedo; Lucio Borges de Araujo (PDCAT, 2011)

A Comparison of Memory Allocators for Multicore and Multithread Applications: A Quantitative Approach. - Taís Borges Ferreira; Rivalino Matias; Autran Macedo; Lucio Borges de Araujo (SBESC, 2011)

An experimental study on user-level memory allocators in middleware applications. - Rivalino Matias; Taís Borges Ferreira; Autran Macedo (SMC, 2011)

Monitoring Memory-Related Software Aging: An Exploratory Study. - Rivalino Matias; Bruno Evangelista Costa; Autran Macedo (ISSRE Workshops, 2012)

Evaluation of compound system calls in the Linux kernel. - Elder Vicente; Rivalino Matias; Lucio Borges de Araujo; Autran Macedo (ACM SIGOPS Oper. Syst. Rev., 2012)

A survey on research in software reliability engineering in the last decade. - Joicymara S. Xavier; Autran Macedo; Rivalino Matias; Lucio Borges de Araujo (SAC, 2014)

Understanding the popularity of reporters and assignees in the Github. - Joicymara S. Xavier; Autran Macedo; Marcelo de Almeida Maia (SEKE, 2014)

An experimental comparison analysis of kernel-level memory allocators. - Taís Borges Ferreira; Rivalino Matias; Autran Macedo; Bruno Evangelista Costa (SAC, 2015)

A Systematic Mapping Review of the First 20 Years of Software Aging and Rejuvenation Research. - Nathália Assis Valentim; Autran Macedo; Rivalino Matias (ISSRE Workshops, 2016)