@InProceedings{DM:SSS09,
  author       = {R. E. Lee DeVille and Sayan Mitra},
  title        = {Stability of Distributed Algorithms in the face of Incessant Faults},
  booktitle    = {Proceedings of 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009)},
  year         = {2009},
  address      = {Lyon, France},
  abstract     = {For large distributed systems built from inexpensive components, one expects to see incessant failures. This paper proposes two models for such faults and analyzes two well-known self-stabilizing algorithms under these fault models. For a small number of processes, the properties of interest are verified automatically using probabilistic model-checking tools. For a large number of processes, these properties are characterized using asymptotic bounds from a direct Markov chain analysis and approximated by numerical simulations.},
  biburl       = {http://users.crhc.illinois.edu/mitras/research.html},
  keywords     = {Distributed systems},
  pdfslidesurl = {research/presentations/SSS09.pdf},
  pdfurl       = {research/2009/DM_SSS09.pdf},
  ppturl       = {research/presentations/SSS09.pdf},
  url          = {http://dl.acm.org/citation.cfm?id=1693564.1693582&coll=DL&dl=GUIDE&CFID=99228380&CFTOKEN=13940715},
}