Filters: Author is Luciano Putruele [Clear All Filters]
“Quantifying Masking Fault-Tolerance via Fair Stochastic Games”, in Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, Antwerp, Belgium, 18th September 2023, vol. 387, Open Publishing Association, 2023, pp. 132-148. paper-. (241.24 KB)
, “MaskD: A Tool for Measuring Masking Fault-Tolerance”, in Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I, vol. 13243, Springer, 2022, pp. 396–403. paper-375.pdf (453.21 KB)
, “Playing Against Fair Adversaries in Stochastic Games with Total Rewards”, in Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II, vol. 13372, Springer, 2022, pp. 48–69. paper-376.pdf (455.94 KB)
, “Measuring Masking Fault-Tolerance”, in Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II, vol. 11428, Springer, 2019, pp. 375–392. paper-343.pdf (509.7 KB)
,