Click on a search word OR use the drop-down choices to search for a paper.

Show all

2015

Demasi, Ramiro; Castro, Pablo F; Ricci, Nicolas; Maibaum, Thomas SE; Aguirre, Nazareno

syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications Inproceedings

In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 188–193, Springer 2015.

BibTeX | Tags: deontic logics, fault-tolerance, program synthesis, syntMaskFT, temporal logics

2014

Demasi, Ramiro

Synthesizing Fault-Tolerant Programs from Deontic Logic Specifications PhD Thesis

McMaster University, 2014.

Abstract | Links | BibTeX | Tags: dCTL Synthesizer, dCTL- specifications, fault-tolerance