Ramiro Demasi
TitleCited byYear
Synthesizing masking fault-tolerant systems from deontic specifications
R Demasi, PF Castro, TSE Maibaum, N Aguirre
Automated Technology for Verification and Analysis, 163-177, 2013
62013
Advanced theorem proving techniques in PVS and applications
CA Munoz, RA Demasi
LASER Summer School on Software Engineering, 96-132, 2011
52011
Characterizing fault-tolerant systems by means of simulation relations
R Demasi, PF Castro, TSE Maibaum, N Aguirre
International Conference on Integrated Formal Methods, 428-442, 2013
42013
Tightening a contract refinement
A Cimatti, R Demasi, S Tonetta
International Conference on Software Engineering and Formal Methods, 386-402, 2016
32016
Tightening the contract refinements of a system architecture
A Cimatti, R Demasi, S Tonetta
Formal Methods in System Design 52 (1), 88-116, 2018
22018
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
12018
Simulation relations for fault-tolerance
R Demasi, PF Castro, TSE Maibaum, N Aguirre
Formal Aspects of Computing 29 (6), 1013-1050, 2017
12017
syntmaskft: A tool for synthesizing masking fault-tolerant programs from deontic specifications
R Demasi, PF Castro, N Ricci, TSE Maibaum, N Aguirre
International Conference on Tools and Algorithms for the Construction and …, 2015
12015
Synthesizing fault-tolerant programs from deontic logic specifications
R Demasi
Proceedings of the 28th IEEE/ACM International Conference on Automated …, 2013
12013
Measuring masking fault-tolerance
PF Castro, PR D’Argenio, R Demasi, L Putruele
International Conference on Tools and Algorithms for the Construction and …, 2019
2019
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, GA Baum
Journal of Computer Science & Technology 5, 2005
2005
The system can't perform the operation now. Try again later.
Articles 1–13