Ramiro Demasi

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