Publications

Export 3 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Ramiro Demasi  [Clear All Filters]
2015
R. Demasi, P. F. Castro, N. Ricci, T. S. E. Maibaum, and N. Aguirre, “syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications”, in Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, {TACAS} 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015. Proceedings, 2015.
2013
R. Demasi, P. F. Castro, T. S. E. Maibaum, and N. Aguirre, “Characterizing Fault-Tolerant Systems by Means of Simulation Relations”, in Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, 2013.
R. Demasi, P. F. Castro, T. S. E. Maibaum, and N. Aguirre, “Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications”, in Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, 2013.