16th International Symposium on Stabilization, Safety,
and Security of Distributed Systems (SSS 2014)

Paderborn, Germany
Sep 28 - Oct 1, 2014

Accepted Papers

Regular Papers

Gil Einziger and Roy Friedman. Postman: an Elastic Highly Resilient Publish/Subscribe Framework for Self Sustained Service Independent P2P Networks
Alexandre Maurer and Toshimitsu Masuzawa. Edge coloring despite transient and permanent faults
Fathiyeh Faghih and Borzoo Bonakdarpour. SMT-based Synthesis of Distributed Self-Stabilizing Systems
Florence Leve, Khaled Mohamed and Vincent Villain. Snap-Stabilizing PIF on Non-Oriented Trees and Message Passing Model
Thim Strothmann, Mikhail Nesterenko, Christian Scheideler, Dianne Foreback and Andreas Koutsopoulos. On Stabilizing Departures in Overlay Networks
Karine Altisen, Alain Cournier, Stephane Devismes, Anais Durand and Franck Petit. Self-Stabilizing Leader Election in Polynomial Steps
Marc K├╝hrer, Johannes Hoffmann and Thorsten Holz. CloudSylla: Detecting Suspicious System Calls in the Cloud
Thomas Janson and Christian Schindelhauer. Self-Synchronized Cooperative Beamforming in Ad-Hoc Networks
Brahim Neggazi, Mohammed Haddad, Volker Turau and Hamamache Kheddouci. A self-stabilizing algorithm for edge monitoring problem
Ehab Elmallah, Hrishikesh B. Acharya and Mohamed Gouda. Incremental Verication of Computing Policies
Shlomi Dolev, Ramzi Martin Kahil and Reuven Yagel. Stateless Stabilization Bootstrap
Christian Glacet, Nicolas Hanusse, David Ilcinkas and Colette Johnen. Disconnected components detection and rooted shortest-path tree maintenance in networks
Alex P. Klinkhamer and Ali Ebnenasir. Synthesizing Self-Stabilization Through Superposition and Backtracking
Seda Davtyan, Kishori Konwar and Alexander Shvartsman. Dependable Decentralized Cooperation with the Help of Reliability Estimation
Giang T. Nguyen, Mathias Fischer and Thorsten Strufe. On the Resilience of Pull-based P2P Streaming Systems against DoS Attacks
Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder and Sebastien Tixeuil. On the synthesis of Mobile Robot Protocols : the case of ring gathering
Yue Qiao, Kannan Srinivasan and Anish Arora. Configuration Hopping : A Secure Communication Protocol without Explicit Key Exchange
George Saad and Jared Saia. Self-Healing Computation
Gabriele Di Stefano and Alfredo Navarra. Optimal Gathering on Infinite Grids
Hung Tran-The and Luis Rodrigues. Tight Bounds for Uniform Stabilizing Consensus in Mobile Networks
Giuseppe Antonio Di Luna, Paola Flocchini, Sruti Gan Chaudhuri, Nicola Santoro and Giovanni Viglietta. Robots with Lights: Overcoming Obstructed Visibility Without Colliding
Chen Avin, Omer Dunay and Stefan Schmid. Migration Strategies for Self-Adjusting Virtual Networks

Brief Announcements

Jordan Adamek, Mikhail Nesterenko and Sebastien Tixeuil. Designing a Fault Tolerance Algorithm to Optimize Experimental Performance: The Case of Stabilizing Dining Philosophers
Gerry Siegemund, Khaled Maamra and Volker Turau. A Self-stabilizing Publish/Subscribe Middleware for Wireless Sensor Networks
Oday Jubran and Oliver Theel. Introducing Recurrence in Self-Stabilization
Shlomi Dolev, Sergey Frenkel and Marina Kopeetsky. Entropy Adaptive On-Line Compression
Reza Hajisheykhi, Ali Ebnenasir and Sandeep Kulkarni. Tamper-Evident Stabilization
Jan Steffen Becker, Dilshod Rahmatov and Oliver Theel. Region-adherent Algorithms: Bounding the Impact of Faults in Space
Hadid Rachid, Mehmet Karaata and Vincent Villain. A Stabilizing Algorithm for Finding Two Node-Disjoint Paths in Arbitrary Networks
Barun Gorain and Partha Sarathi Mandal. Sweep Coverage with Mobile and Static Sensors
© Copyright 2014 - SSS 2014