Luciano Putruele

According to our database, Luciano Putruele authored at least 6 papers between 2019 and 2024.

Collaborative distances:

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

2024

Tolerange: Quantifying Fault Masking in Stochastic Systems.

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

Proceedings of the Model Checking Software - 30th International Symposium, 2024

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

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