Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability. - Armando Castañeda; Gilde Valeria Rodríguez (PODC, 2023)

Towards Efficient Runtime Verified Linearizable Algorithms. - Gilde Valeria Rodríguez; Armando Castañeda (RV, 2024)

Asynchronous Fault-Tolerant Language Decidability for Runtime Verification of Distributed Systems. - Armando Castañeda; Gilde Valeria Rodríguez (PODC, 2025)