Accepted Papers
Regular Papers
Postman: an Elastic Highly Resilient Publish/Subscribe Framework for Self Sustained Service Independent P2P Networks
Edge coloring despite transient and permanent faults
SMT-based Synthesis of Distributed Self-Stabilizing Systems
Snap-Stabilizing PIF on Non-Oriented Trees and Message Passing Model
On Stabilizing Departures in Overlay Networks
Self-Stabilizing Leader Election in Polynomial Steps
CloudSylla: Detecting Suspicious System Calls in the Cloud
Self-Synchronized Cooperative Beamforming in Ad-Hoc Networks
A self-stabilizing algorithm for edge monitoring problem
Incremental Verication of Computing Policies
Stateless Stabilization Bootstrap
Disconnected components detection and rooted shortest-path tree maintenance in networks
Synthesizing Self-Stabilization Through Superposition and Backtracking
Dependable Decentralized Cooperation with the Help of Reliability Estimation
On the Resilience of Pull-based P2P Streaming Systems against DoS Attacks
On the synthesis of Mobile Robot Protocols : the case of ring gathering
Configuration Hopping : A Secure Communication Protocol without Explicit Key Exchange
Self-Healing Computation
Optimal Gathering on Infinite Grids
Tight Bounds for Uniform Stabilizing Consensus in Mobile Networks
Robots with Lights: Overcoming Obstructed Visibility Without Colliding
Migration Strategies for Self-Adjusting Virtual Networks
Brief Announcements
Designing a Fault Tolerance Algorithm to Optimize Experimental Performance: The Case of Stabilizing Dining Philosophers
A Self-stabilizing Publish/Subscribe Middleware for Wireless Sensor Networks
Introducing Recurrence in Self-Stabilization
Entropy Adaptive On-Line Compression
Tamper-Evident Stabilization
Region-adherent Algorithms: Bounding the Impact of Faults in Space
A Stabilizing Algorithm for Finding Two Node-Disjoint Paths in Arbitrary Networks
Sweep Coverage with Mobile and Static Sensors