Adaptive correctness monitoring for wireless sensor networks using hierarchical distributed run-time invariant checking

Douglas Herbert, Vinaitheerthan Sundaram, Yung-Hsiang Lu, Saurabh Bagchi, Zhiyuan Li. Adaptive correctness monitoring for wireless sensor networks using hierarchical distributed run-time invariant checking. TAAS, 2(3):8, 2007. [doi]

@article{HerbertSLBL07,
  title = {Adaptive correctness monitoring for wireless sensor networks using hierarchical distributed run-time invariant checking},
  author = {Douglas Herbert and Vinaitheerthan Sundaram and Yung-Hsiang Lu and Saurabh Bagchi and Zhiyuan Li},
  year = {2007},
  doi = {10.1145/1278460.1278462},
  url = {http://doi.acm.org/10.1145/1278460.1278462},
  tags = {wireless sensor networks},
  researchr = {https://researchr.org/publication/HerbertSLBL07},
  cites = {0},
  citedby = {0},
  journal = {TAAS},
  volume = {2},
  number = {3},
  pages = {8},
}