Travelled to:1 × Finland
1 × Uruguay
2 × United Kingdom
Collaborated with:T.S.E.Maibaum N.Aguirre R.Demasi N.Ricci C.Kilmurray A.Acosta R.Degiovanni D.Alrajeh V.Cassano R.Fervari G.Hoffmann C.Areces
Talks about:toler (4) fault (4) logic (3) deontic (2) tempor (2) system (2) intuitionist (1) syntmaskft (1) philosoph (1) diarrheic (1)
Person: Pablo F. Castro
DBLP: Castro:Pablo_F=
Contributed to:
2015
2013
20112007
2016
2019Wrote 6 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.
- IFM-2013-DemasiCMA #fault tolerance #simulation
- Characterizing Fault-Tolerant Systems by Means of Simulation Relations (RD, PFC, TSEM, NA), pp. 428–442.
- SEFM-2011-CastroKAA #branch #fault tolerance #logic #named #verification
- dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification (PFC, CK, AA, NA), pp. 106–121.
- SEFM-2007-CastroM #fault tolerance #logic #reasoning
- An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers (PFC, TSEM), pp. 151–160.
- ASE-2016-DegiovanniRACA #detection #satisfiability
- Goal-conflict detection based on temporal satisfiability checking (RD, NR, DA, PFC, NA), pp. 507–518.
- CADE-2019-CassanoFHAC #calculus #logic
- A Tableaux Calculus for Default Intuitionistic Logic (VC, RF, GH, CA, PFC), pp. 161–177.