|
|
Distributed Computing and
Communication Networks Group Department of Computer Science |
|
@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 |