Efficient decentralized monitoring of safety in distributed systems

By Koushik Sen, Abhay Vardhan, Gul Agha, and Grigore Rosu. In ICSE, 418–427. IEEE Computer Society, 2004.

Full Text:

Download PDF

Publisher Link:

http://doi.ieeecomputersociety.org/10.1109/ICSE.2004.1317464

BibTeX

@inproceedings{conf/icse/SenVAR04,
    author = "Sen, Koushik and Vardhan, Abhay and Agha, Gul and Rosu,
              Grigore",
    editor = "Finkelstein, Anthony and Estublier, Jacky and
              Rosenblum, David S.",
    title = "Efficient Decentralized Monitoring of Safety in
             Distributed Systems",
    booktitle = "ICSE",
    crossref = "conf/icse/2004",
    ee = "http://doi.ieeecomputersociety.org/10.1109/ICSE.2004.1317464",
    keywords = "formal methods, sensor networks, real-time systems,
                software engineering",
    pages = "418-427",
    year = "2004",
}

@proceedings{conf/icse/2004,
    editor = "Finkelstein, Anthony and Estublier, Jacky and
              Rosenblum, David S.",
    title = "26th International Conference on Software Engineering
             (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom",
    ee = "http://dl.acm.org/citation.cfm?id=998675",
    isbn = "0-7695-2163-0",
    publisher = "IEEE Computer Society",
    year = "2004",
}