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