Shokoufeh Kazemlou, Borzoo Bonakdarpour. Crash-Resilient Decentralized Synchronous Runtime Verification. In 37th IEEE Symposium on Reliable Distributed Systems, SRDS 2018, Salvador, Brazil, October 2-5, 2018. pages 207-212, IEEE, 2018. [doi]
Abstract is missing.