Travelled to:1 × United Kingdom
Collaborated with:P.F.Castro N.Aguirre R.Demasi T.S.E.Maibaum R.Degiovanni D.Alrajeh
Talks about:syntmaskft (1) conflict (1) synthes (1) satisfi (1) program (1) deontic (1) tempor (1) specif (1) detect (1) toler (1)
Person: Nicolás Ricci
DBLP: Ricci:Nicol=aacute=s
Contributed to:
2015
2016Wrote 2 papers:
- TACAS-2015-DemasiCRMA #fault tolerance #named #source code #specification
- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications (RD, PFC, NR, TSEM, NA), pp. 188–193.
- ASE-2016-DegiovanniRACA #detection #satisfiability
- Goal-conflict detection based on temporal satisfiability checking (RD, NR, DA, PFC, NA), pp. 507–518.