7. SSS 2005: Barcelona, Spain

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