Ramiro A. Demasi


Assistant Lecturer (Profesor Asistente)
Researcher CONICET (Asistente)

Ramiro obtained the MsC degree in 2006 from Universidad Nacional de Rio Cuarto, and the Ph.D. degree in 2014 from McMaster University, Canada. He was a postdoctoral researcher in the Fondazione Bruno Kessler, Italy.
His main research focuses on automated and semi-automated formal techniques for software development, including automated verification techniques such as model checking and synthesis from specifications for fault-tolerant systems based on these technologies.

Publications:

P. F. Castro, D'Argenio, P. R. , Demasi, R. , and Putruele, L. , 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, C. Mezzina and Caltais, G. , Eds. Open Publishing Association, 2023, pp. 132-148.PDF icon paper-826.pdf (241.24 KB)
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.PDF icon 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.PDF icon paper-820.pdf (455.94 KB)
F. D. Raverta, Fraire, J. A. , Madoery, P. G. , Demasi, R. , Finochietto, J. M. , and D’Argenio, P. R. , Routing in Delay-Tolerant Networks under uncertain contact plans, Ad Hoc Networks, vol. 123, p. 102663, 2021.PDF icon paper-815.pdf (2.05 MB)
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.PDF icon paper-790.pdf (509.7 KB)
A. Cimatti, Demasi, R. , and Tonetta, S. , Tightening the contract refinements of a system architecture, Formal Methods System Design, vol. 52, pp. 88–116, 2018.PDF icon paper-798.pdf (1.67 MB)

Pages