| Routing in delay-tolerant networks under uncertain contact plans FD Raverta, JA Fraire, PG Madoery, RA Demasi, JM Finochietto, ... Ad Hoc Networks 123, 102663, 2021 | 29 | 2021 |
| A Markov decision process for routing in space DTNs with uncertain contact plans FD Raverta, R Demasi, PG Madoery, JA Fraire, JM Finochietto, ... 2018 6th IEEE International Conference on Wireless for Space and Extreme …, 2018 | 17 | 2018 |
| Measuring masking fault-tolerance PF Castro, PR D’Argenio, R Demasi, L Putruele International Conference on Tools and Algorithms for the Construction and …, 2019 | 7 | 2019 |
| Advanced theorem proving techniques in PVS and applications CA Munoz, RA Demasi Tools for Practical Software Verification: LASER, International Summer …, 2012 | 7 | 2012 |
| Synthesizing masking fault-tolerant systems from deontic specifications R Demasi, PF Castro, TSE Maibaum, N Aguirre Automated Technology for Verification and Analysis: 11th International …, 2013 | 6 | 2013 |
| Simulation relations for fault-tolerance R Demasi, PF Castro, TSE Maibaum, N Aguirre Formal Aspects of Computing 29, 1013-1050, 2017 | 5 | 2017 |
| Characterizing fault-tolerant systems by means of simulation relations R Demasi, PF Castro, TSE Maibaum, N Aguirre Integrated Formal Methods: 10th International Conference, IFM 2013, Turku …, 2013 | 4 | 2013 |
| Playing against fair adversaries in stochastic games with total rewards PF Castro, PR D’Argenio, R Demasi, L Putruele International Conference on Computer Aided Verification, 48-69, 2022 | 3 | 2022 |
| Tightening the contract refinements of a system architecture A Cimatti, R Demasi, S Tonetta Formal Methods in System Design 52, 88-116, 2018 | 3 | 2018 |
| Tightening a contract refinement A Cimatti, R Demasi, S Tonetta Software Engineering and Formal Methods: 14th International Conference, SEFM …, 2016 | 3 | 2016 |
| syntmaskft: A tool for synthesizing masking fault-tolerant programs from deontic specifications R Demasi, PF Castro, N Ricci, TSE Maibaum, N Aguirre Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 1 | 2015 |
| Synthesizing fault-tolerant programs from deontic logic specifications R Demasi 2013 28th IEEE/ACM International Conference on Automated Software …, 2013 | 1 | 2013 |
| Quantifying Masking Fault-Tolerance via Fair Stochastic Games PF Castro, PR D'Argenio, R Demasi, L Putruele arXiv preprint arXiv:2309.07309, 2023 | | 2023 |
| A Stochastic Game Approach to Masking Fault-Tolerance: Bisimulation and Quantification PF Castro, P D'Argenio, L Putruele, R Demasi arXiv preprint arXiv:2207.02045, 2022 | | 2022 |
| MaskD: a tool for measuring masking fault-tolerance L Putruele, R Demasi, PF Castro, PR D’Argenio International Conference on Tools and Algorithms for the Construction and …, 2022 | | 2022 |
| Darwin: una herramienta para verificar diseños arquitecturales PF Castro, PD Ponzio, RA Demasi, GA Baum VII Workshop de Investigadores en Ciencias de la Computación, 2005 | | 2005 |
| Verificando diseños BON mediante Alloy PF Castro, PD Ponzio, RA Demasi, GA Baum XI Congreso Argentino de Ciencias de la Computación, 2005 | | 2005 |
| Verifying BON models with Alloy RA Demasi, PD Ponzio, PF Castro, G Baum Journal of Computer Science and Technology 5 (04), 292-298, 2005 | | 2005 |
