Advanced Theorem Proving Techniques in PVS and Applications. - César A. Muñoz; Ramiro A. Demasi (LASER Summer School, 2011)

Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications. - Ramiro Demasi; Pablo F. Castro; T. S. E. Maibaum; Nazareno Aguirre (ATVA, 2013)

Characterizing Fault-Tolerant Systems by Means of Simulation Relations. - Ramiro Demasi; Pablo F. Castro; T. S. E. Maibaum; Nazareno Aguirre (IFM, 2013)

Synthesizing fault-tolerant programs from deontic logic specifications. - Ramiro Demasi (ASE, 2013)

syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications. - Ramiro Demasi; Pablo F. Castro; Nicolás Ricci; Thomas Stephen Edward Maibaum; Nazareno Aguirre (TACAS, 2015)

Tightening a Contract Refinement. - Alessandro Cimatti; Ramiro Demasi; Stefano Tonetta (SEFM, 2016)

Simulation relations for fault-tolerance. - Ramiro Demasi; Pablo F. Castro; Thomas Stephen Edward Maibaum; Nazareno Aguirre (Formal Aspects Comput., 2017)

A Markov Decision Process for Routing in Space DTNs with Uncertain Contact Plans. - Fernando D. Raverta; Ramiro Demasi; Pablo G. Madoery; Juan A. Fraire; Jorge M. Finochietto; Pedro R. D'Argenio (WiSEE, 2018)

Tightening the contract refinements of a system architecture. - Alessandro Cimatti; Ramiro Demasi; Stefano Tonetta (Formal Methods Syst. Des., 2018)

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

Routing in Delay-Tolerant Networks under uncertain contact plans. - Fernando D. Raverta; Juan A. Fraire; Pablo G. Madoery; Ramiro A. Demasi; Jorge M. Finochietto; Pedro R. D'Argenio (Ad Hoc Networks, 2021)

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)