Filters: Author is Ramiro Demasi [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)
, “Routing in Delay-Tolerant Networks under uncertain contact plans”, Ad Hoc Networks, vol. 123, p. 102663, 2021. paper-365.pdf (2.05 MB)
, “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)
, “A Markov Decision Process for Routing in Space DTNs with Uncertain Contact Plans”, in 6th IEEE International Conference on Wireless for Space and Extreme Environments, WiSEE 2018, Huntsville, AL, USA, December 11-13, 2018, IEEE, 2018, pp. 189–194. paper-336.pdf (490.13 KB)
,