Follow
Ramiro Demasi
Title
Cited by
Cited by
Year
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
292021
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
172018
Measuring masking fault-tolerance
PF Castro, PR D’Argenio, R Demasi, L Putruele
International Conference on Tools and Algorithms for the Construction and …, 2019
72019
Advanced theorem proving techniques in PVS and applications
CA Munoz, RA Demasi
Tools for Practical Software Verification: LASER, International Summer …, 2012
72012
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
62013
Simulation relations for fault-tolerance
R Demasi, PF Castro, TSE Maibaum, N Aguirre
Formal Aspects of Computing 29, 1013-1050, 2017
52017
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
42013
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
32022
Tightening the contract refinements of a system architecture
A Cimatti, R Demasi, S Tonetta
Formal Methods in System Design 52, 88-116, 2018
32018
Tightening a contract refinement
A Cimatti, R Demasi, S Tonetta
Software Engineering and Formal Methods: 14th International Conference, SEFM …, 2016
32016
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
12015
Synthesizing fault-tolerant programs from deontic logic specifications
R Demasi
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
12013
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
The system can't perform the operation now. Try again later.
Articles 1–18