Ramiro Demasi

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 12

Top Topics

Stochastic Games

Failure Recovery

Data Replication

High Scalability

Top Venues

Formal Aspects Comput.

Publications

Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele
Quantifying Masking Fault-Tolerance via Fair Stochastic Games. EXPRESS/SOS (2023)
Pablo F. Castro, Pedro R. D'Argenio, Luciano Putruele, Ramiro Demasi
A Stochastic Game Approach to Masking Fault-Tolerance: Bisimulation and Quantification. CoRR (2022)
Luciano Putruele, Ramiro Demasi, Pablo F. Castro, Pedro R. D'Argenio
MaskD: A Tool for Measuring Masking Fault-Tolerance. TACAS (1) (2022)
Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele
Playing Against Fair Adversaries in Stochastic Games with Total Rewards. CAV (2) (2022)
Pablo F. Castro, Pedro R. D'Argenio, Luciano Putruele, Ramiro Demasi
Playing Against Fair Adversaries in Stochastic Games with Total Rewards. CoRR (2021)
Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele
Measuring Masking Fault-Tolerance. TACAS (2) (2019)
Alessandro Cimatti, Ramiro Demasi, Stefano Tonetta
Tightening the contract refinements of a system architecture. Formal Methods Syst. Des. 52 (1) (2018)
Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele
Measuring Masking Fault-Tolerance. CoRR (2018)
Fernando D. Raverta, Ramiro Demasi, Pablo G. Madoery, Juan A. Fraire, Jorge M. Finochietto, Pedro R. D'Argenio
A Markov Decision Process for Routing in Space DTNs with Uncertain Contact Plans. WiSEE (2018)
Ramiro Demasi, Pablo F. Castro, Thomas Stephen Edward Maibaum, Nazareno Aguirre
Simulation relations for fault-tolerance. Formal Aspects Comput. 29 (6) (2017)
Alessandro Cimatti, Ramiro Demasi, Stefano Tonetta
Tightening a Contract Refinement. SEFM (2016)
Ramiro Demasi, Pablo F. Castro, Nicolás Ricci, Thomas Stephen Edward Maibaum, Nazareno Aguirre
syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications. TACAS (2015)
Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre
Characterizing Fault-Tolerant Systems by Means of Simulation Relations. IFM (2013)
Ramiro Demasi
Synthesizing fault-tolerant programs from deontic logic specifications. ASE (2013)
Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre
Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications. ATVA (2013)