Ramiro Demasi - RankMe

16 papers A* 1A 1B 3Journal 5Unranked 6

Year	Rank	Type	Title / 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