Enforcing current-state opacity through shuffle and deletions of event observations. - Raphael Julio Barcelos; João Carlos Basilio (Autom., 2021)

Disjunctive fault prediction of decentralized discrete event systems: Verification, predictor design and K-copredictability. - Raphael Julio Barcelos; João Carlos Basilio (Autom., 2023)