Open Systems Laboratory at Illinois

Efficient decentralized monitoring of safety in distributed systems

By Koushik Sen, Abhay Vardhan, Gul Agha, and Grigore Rosu. In Submitted to ACM TOSEM [invited]. 2006.

Full Text:
Download PDF


    author = "Sen, Koushik and Vardhan, Abhay and Agha, Gul and Rosu,
    title = "Efficient Decentralized Monitoring of Safety in
             Distributed Systems",
    booktitle = "Submitted to ACM TOSEM [invited]",
    keywords = "formal methods, software engineering",
    year = "2006",