Ramiro Demasi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2013–2022
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CAV | Playing Against Fair Adversaries in Stochastic Games with Total Rewards. | Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele |
| 2022 | TACAS | MaskD: A Tool for Measuring Masking Fault-Tolerance. | Luciano Putruele, Ramiro Demasi, Pablo F. Castro, Pedro R. D'Argenio |
| 2019 | TACAS | Measuring Masking Fault-Tolerance. | Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele |
| 2016 | SEFM | Tightening a Contract Refinement. | Alessandro Cimatti, Ramiro Demasi, Stefano Tonetta |
| 2015 | TACAS | syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications. | Ramiro Demasi, Pablo F. Castro, Nicols Ricci, Thomas Stephen Edward Maibaum, Nazareno Aguirre |
| 2013 | ATVA | Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications. | Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre |
| 2013 | IFM | Characterizing Fault-Tolerant Systems by Means of Simulation Relations. | Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre |