Publications

Filters: Author is Luciano Putruele [Clear All Filters]

2022

L. Putruele, Demasi, R., Castro, P. F., and D'Argenio, P. R., “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, D. Fisman and Rosu, G., Eds. Springer, 2022, pp. 396–403.

paper-818.pdf (453.21 KB)

P. F. Castro, D'Argenio, P. R., Demasi, R., and Putruele, L., “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, S. Shoham and Vizel, Y., Eds. Springer, 2022, pp. 48–69.

paper-820.pdf (455.94 KB)

2019

P. F. Castro, D'Argenio, P. R., Demasi, R., and Putruele, L., “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, T. Vojnar and Zhang, L., Eds. Springer, 2019, pp. 375–392.

paper-790.pdf (509.7 KB)