Measuring Masking Fault-Tolerance. - Pablo F. Castro; Pedro R. D'Argenio; Ramiro Demasi; Luciano Putruele (TACAS (2), 2019)

Playing Against Fair Adversaries in Stochastic Games with Total Rewards. - Pablo F. Castro; Pedro R. D'Argenio; Ramiro Demasi; Luciano Putruele (CAV (2), 2022)

MaskD: A Tool for Measuring Masking Fault-Tolerance. - Luciano Putruele; Ramiro Demasi; Pablo F. Castro; Pedro R. D'Argenio (TACAS (1), 2022)

A Stochastic Game Approach to Masking Fault-Tolerance: Bisimulation and Quantification. - Pablo F. Castro; Pedro R. D'Argenio; Luciano Putruele; Ramiro Demasi (CoRR, 2022)

Quantifying Masking Fault-Tolerance via Fair Stochastic Games. - Pablo F. Castro; Pedro R. D'Argenio; Ramiro Demasi; Luciano Putruele (EXPRESS/SOS, 2023)

Tolerange: Quantifying Fault Masking in Stochastic Systems. - Luciano Putruele; Ramiro Demasi; Pablo F. Castro; Pedro R. D'Argenio (SPIN, 2024)

Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications. - Pablo F. Castro; Luciano Putruele; Renzo Degiovanni; Nazareno Aguirre (CoRR, 2025)