7. SSS 2005: Barcelona, Spain

Ted Herman, Sébastien Tixeuil (Eds.): Self-Stabilizing Systems, 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005, Proceedings. Lecture Notes in Computer Science 3764 Springer 2005, ISBN 3-540-29814-2 BibTeX

Doina Bein, Ajoy Kumar Datta, Vincent Villain:
Snap-Stabilizing Optimal Binary Search Tree. 1-17
Electronic Edition (link) BibTeX
Christian Boulinier, Franck Petit, Vincent Villain:
Synchronous vs. Asynchronous Unison. 18-32
Electronic Edition (link) BibTeX
Alain Cournier, Stéphane Devismes, Vincent Villain:
A Snap-Stabilizing DFS with a Lower Space Requirement. 33-47
Electronic Edition (link) BibTeX
Ariel Daliot, Danny Dolev:
Self-stabilization of Byzantine Protocols. 48-67
Electronic Edition (link) BibTeX
Sylvie Delaët, Bertrand Ducourthial, Sébastien Tixeuil:
Self-stabilization with r-Operators Revisited. 68-80
Electronic Edition (link) BibTeX
Shlomi Dolev, Yinnon A. Haviv, Mooly Sagiv:
Self-stabilization Preserving Compiler. 81-95
Electronic Edition (link) BibTeX
Shlomi Dolev, Limor Lahiani, Nancy A. Lynch, Tina Nolte:
Self-stabilizing Mobile Node Location Management and Message Routing. 96-112
Electronic Edition (link) BibTeX
Shlomi Dolev, Reuven Yagel:
Memory Management for Self-stabilizing Operating Systems. 113-127
Electronic Edition (link) BibTeX
Felix C. Freiling, Sukumar Ghosh:
Code Stabilization. 128-139
Electronic Edition (link) BibTeX
Mohamed G. Gouda, Eunjin Jung:
Stabilizing Certificate Dispersal. 140-152
Electronic Edition (link) BibTeX
Martin Hutle, Josef Widder:
On the Possibility and the Impossibility of Message-Driven Self-stabilizing Failure Detection. 153-170
Electronic Edition (link) BibTeX
Jun Kiniwa:
Approximation of Self-stabilizing Vertex Cover Less Than 2. 171-182
Electronic Edition (link) BibTeX
Toshimitsu Masuzawa, Hirotsugu Kakugawa:
Self-stabilization in Spite of Frequent Changes of Networks: Case Study of Mutual Exclusion on Dynamic Rings. 183-197
Electronic Edition (link) BibTeX
Jens Oehlerking, Abhishek Dhama, Oliver E. Theel:
Towards Automatic Convergence Verification of Self-stabilizing Algorithms. 198-213
Electronic Edition (link) BibTeX
Fabrice Theoleyre, Fabrice Valois:
About the Self-stabilization of a Virtual Topology for Self-organization in Ad Hoc Networks. 214-228
Electronic Edition (link) BibTeX