On the Distribution of an Assertion. - Osvaldo Carvalho; Gérard Roucairol (PODC, 1982)

A Communication Lower Bound for Invariance Preserving on Partitioned Transition Systems. - Osvaldo Carvalho; Antonio Alfredo Ferreira Loureiro (OPODIS, 1998)

Design for testability of communication protocols that support coordination loss. - Antonio A. F. Loureiro; Samuel T. Chanson; Son T. Vuong; Osvaldo Carvalho (ICC, 1999)

A superimposition algorithm for application-aware adaptation in mobile computing. - Antonio A. F. Loureiro; Samuel T. Chanson; Son T. Vuong; Osvaldo Carvalho; Geraldo R. Mateus (ICC, 1999)

AnaGel: A Distributed System for Storage and Analysis of Electrophoretical Records. - Edré Quintão Moreira; Osvaldo Carvalho (WOB, 2002)

Provider-Consumer Anomaly Detection for Healthcare Systems. - Luiz F. M. Carvalho; Carlos H. C. Teixeira; Wagner Meira Jr.; Martin Ester; Osvaldo Carvalho; Maria Helena Brandao (ICHI, 2017)