THEMIS: a tool for decentralized monitoring algorithms.

Antoine El-Hokayem, Ylis Falcone

Browse the full ISSTA paper archive.