2 citations · 3 across the 4 of their papers we have counts for
4 papers
On the Limits of Causal Observation in Shared-Memory Systems
Gilde Valeria Rodríguez, Armando Castañeda, Miguel Piña
Reasoning about concurrent system correctness requires detecting real-time operation precedence (<_H). In asynchronous shared-memory systems, real-time precedence and information-f…
Lattice Aggregation in Distributed Verification under Crash and Byzantine Failures
Gilde Valeria Rodríguez, Borzoo Bonakdarpour, Armando Castañeda +1
We introduce c-Lattice Aggregation, a fault-tolerant reconstruction problem for distributed verification under crash and Byzantine failures. In our setting, n asynchronous processe…
Asynchronous Fault-Tolerant Language Decidability for Runtime Verification of Distributed Systems
Armando Castañeda, Gilde Valeria Rodríguez
Implementing correct distributed systems is an error-prone task. Runtime Verification (RV) offers a lightweight formal method to improve reliability by monitoring system executions…
Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
Armando Castañeda, Gilde Valeria Rodríguez
This paper presents a {theoretical study} of the problem of verifying linearizability at runtime, where one seeks for a concurrent algorithm for verifying that the current executio…