Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers. On the Number of Opinions Needed for Fault-Tolerant Run-Time Monitoring in Distributed Systems.
5th International Conference on Runtime Verification (RV), Sep 2014, Toronto, Canada. pp.92-107.
⟨hal-01102121⟩