Distributed Computing and
Communication Networks Group

Department of Computer Science

Home People Pictures Research Seminar

Conferences

Stability of Long-lived Consensus
@InProceedings{DR00,
  author =     {S. Dolev and S. Rajsbaum},
  title =      {``Stability of Long-lived Consensus''},
  booktitle =  {Proc. of the 19th Annual ACM Symp. on Principles of Distributed Computing},
  year =       {2000},
  month =      {}
}
Safety Assurance via On-Line Monitoring
@InProceedings{DS01,
  author =     {S Dolev and F. Stomp},
  title =      {``Safety Assurance via On-Line Monitoring''},
  booktitle =  {Proc. of the Fifth International Symposium on Autonomous Decentralized Systems },
   pages =     {101--108},
  year =       {2001},
  month =      {}
}
Dijkstra's Self-Stabilizing Algorithm in Unsupportive Environments
@InProceedings{DH01,
  author =     {S Dolev and T. Herman},
  title =      {``Dijkstra's Self-Stabilizing Algorithm in Unsupportive Environments''},
  booktitle =  {Proc. of the 5th Workshop on Self-Stabilization},
   pages =     {67--81},
  year =       {2001},
  month =      {}
}
Self-Stabilizing Distributed File Systems
@InProceedings{DK02,
  author =     {Shlomi Dolev and Ronen I. Kat},
  title =      {``Self-Stabilizing Distributed File Systems''},
  booktitle =  {Proceedings of the International Workshop on Self-Repairing and Self-Configurable Distributed Systems},
   pages =     {384--389},
  year =       {2002},
  month =      {October}
}
Self-Stabilizing Autonomic Recoverer for Eventual Byzantine Software
@InProceedings{BDK03,
  author =     {Olga Brukman, Shlomi Dolev and Elliot K. Kolodner},
  title =      {``Self-Stabilizing Autonomic Recoverer for Eventual Byzantine Software''},
  booktitle =  {In proceeding of SwSTE 2003},
  year =       {2003},
  month =      {November}
}
GeoQuorum: Implementing Atomic Memory in Ad Hoc Networks
@InProceedings{DGLSW03,
  author =     {S. Dolev, S. Gilbert, N. Lynch, A. Shvartsman and J. Welch},
  title =      {``GeoQuorum: Implementing Atomic Memory in Ad Hoc Networks''},
  booktitle =  {17th International Conference on Principles of DIStributed Computing},
   pages =     {306--320},
  year =       {2003},
  month =      {}
}
Self-Stabilizing Microprocessor Analyzing and Overcoming Soft-Errors (Extended Abstract)
@InProceedings{DH04,
  author =     {Shlomi Dolev and Yinnon Haviv},
  title =      {``Self-Stabilizing Microprocessor Analyzing and Overcoming Soft-Errors (Extended Abstract)''},
  booktitle =  {Organic and Pervasive Computing -- ARCS 2004},
   pages =     {31--46},
  year =       {2004},
  month =      {}
}
Polygonal Broadcast, Secret Maturaty and the Firing Sensors
@InProceedings{DHL04,
  author =     {S. Dolev, T. Herman and L. Lahiani},
  title =      {``Polygonal Broadcast, Secret Maturaty and the Firing Sensors''},
  booktitle =  {Third International Conference on Fun with Algorithms},
   pages =     {41--52},
  year =       {2004},
  month =      {}
}
HyperTree for Self-Stabilizing Peer-to-Peer Systems
@InProceedings{DK04,
  author =     {Shlomi Dolev and Ronen I. Kat},
  title =      {``HyperTree for Self-Stabilizing Peer-to-Peer Systems''},
  booktitle =  {Proceedings of the Network Computing and Applications, Third IEEE International Symposium on (NCA'04)},
   pages =     {25--32},
  year =       {2004},
  month =      {August}
}


CS Website Ben-Gurion Website Webmaster