Ramiro Demasi

According to our database, Ramiro Demasi authored at least 15 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Quantifying Masking Fault-Tolerance via Fair Stochastic Games.

Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele

Proceedings of the Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, 2023

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

MaskD: A Tool for Measuring Masking Fault-Tolerance.

Luciano Putruele, Ramiro Demasi, Pablo F. Castro, Pedro R. D'Argenio

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Playing Against Fair Adversaries in Stochastic Games with Total Rewards.

Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

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

2019

Measuring Masking Fault-Tolerance.

Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018

Tightening the contract refinements of a system architecture.

Alessandro Cimatti, Ramiro Demasi, Stefano Tonetta

Formal Methods Syst. Des., 2018

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

Proceedings of the 6th IEEE International Conference on Wireless for Space and Extreme Environments, 2018

2017

Simulation relations for fault-tolerance.

Ramiro Demasi, Pablo F. Castro, Thomas Stephen Edward Maibaum, Nazareno Aguirre

Formal Aspects Comput., 2017

2016

Tightening a Contract Refinement.

Alessandro Cimatti, Ramiro Demasi, Stefano Tonetta

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

2015

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2013

Synthesizing fault-tolerant programs from deontic logic specifications.

Ramiro Demasi

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Characterizing Fault-Tolerant Systems by Means of Simulation Relations.

Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications.

Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre

Proceedings of the Automated Technology for Verification and Analysis, 2013

2011

Advanced Theorem Proving Techniques in PVS and Applications.

César A. Muñoz, Ramiro A. Demasi

Proceedings of the Tools for Practical Software Verification, 2011