Seventh International Symposium on Self Stabilizing Systems (SSS 2005)

• Session One: 16:00-17:30 Wednesday 26 October 2005
  Session Chair: Sebastien Tixeuil
  1. Stabilizing Certificate Dispersal
        Eunjin Jung, Mohamed Gouda
  2. Code Stabilization
        Felix Freiling, Sukumar Ghosh
  3. Self-Stabilization Preserving Compiler
        Shlomi Dolev, Yinnon Haviv, Mooly Sagiv

• Poster Session: 19:30-21:00 Wednesday 26 October 2005
  Session Chair: Shlomi Dolev
  1. Self-stabilizing Coloration in Anonymous Planar Networks
        Shing-Tsaan Huang
  2. Self-Stabilizing Maximum Matching using Multi-Wave Synchronization
        Mehmet Hakan Karaata
  3. Electronic Business with Security Modules
        Lucia Draque Penso
  4. A Formal Model for Snap-Stabilization in Distributed Systems
        Brahim Hamid
  5. Self-stabilizing K-packing and K-domination on tree graphs.
        Morten Mjelde

• Session Two: 09:00-10:30 Thursday 27 October 2005
  Session Chair: Hirotsugu Kakugawa
  1. Synchronous vs. Asynchronous Unison
        Christian Boulinier, Franck Petit, Vincent Villain
  2. Towards Automatic Convergence Verification of Self-Stabilizing Algorithms
        Jens Oehlerking, Abhishek Dhama, Oliver Theel
  3. About Self-Stabilization of a Virtual Topology for Self-Organization in Ad Hoc Networks
        Fabrice Theoleyre, Fabrice Valois

• Session Three: 11:00-12:30 Thursday 27 October 2005
  Session Chair: Felix Freiling
  1. Self-Stabilizing Mobile Node Location Management and Message Routing
        Shlomi Dolev, Limor Lahiani, Nancy Lynch, Tina Nolte
  2. A Snap-Stabilizing DFS with a Lower Space Requirement
        Stephane Devismes, Alain Cournier, Vincent Villain
  3. Self-Stabilization of Byzantine Protocols
        Ariel Daliot, Danny Dolev

• Session Four: 14:00-15:30 Thursday 27 October 2005
  Session Chair: Franck Petit
  1. On the Possibility and the Impossibility of Message-Driven Self-Stabilizing Failure Detection
        Martin Hutle, Josef Widder
  2. Self-stabilizing Vertex Cover for Dynamic Networks
        Jun Kiniwa
  3. Self-stabilization in spite of Frequent Changes of Networks: Case Study of Mutual Exclusion on Dynamic Rings
        Toshimitsu Masuzawa, Hirotsugu Kakugawa

• Session Five: 16:00-17:30 Thursday 27 October 2005
  Session Chair: Ted Herman
  1. Memory Management for Self-Stabilizing Operating Systems
        Shlomi Dolev, Reuven Yagel
  2. Self-stabilization with r-operators revisited
        Sylvie Delaet, Bertrand Ducourthial, Sebastien Tixeuil
  3. Snap-stabilizing Optimal Binary Search Tree
        Doina Bein, Ajoy Datta, Vincent Villain