Ramiro Demasi
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Quantifying masking fault-tolerance via fair stochastic games | 2025-07-24 | Paper |
| Measuring masking fault-tolerance Tools and Algorithms for the Construction and Analysis of Systems | 2023-11-24 | Paper |
| Playing Against Fair Adversaries in Stochastic Games with Total Rewards | 2022-12-07 | Paper |
| Tightening the contract refinements of a system architecture Formal Methods in System Design | 2018-08-08 | Paper |
| Simulation relations for fault-tolerance Formal Aspects of Computing | 2018-01-08 | Paper |
| Synthesizing masking fault-tolerant systems from deontic specifications Automated Technology for Verification and Analysis | 2014-07-08 | Paper |
Research outcomes over time
This page was built for person: Ramiro Demasi
