Track: Self Stabilization
-
Track Chair:
- Sylvie Delaet LRI, University of Paris-Sud 11, France
- Maria Potop-Butucaru University of Paris 6, France
- Anish Arora Ohio State University, USA
- Shlomi Dolev Ben Gurion University, Israel
- Sukumar Ghosh University of Iowa, USA
- Ted Herman University of Iowa, USA
- Shing-Tsaan Huang National Central University, Taiwan
- Taisuke Izumi Nagoya Institute of Technology, Japan
- Shay Kutten Technion, Israel
- Toshimitsu Masuzawa Osaka University, Japan
- Mikhail Nesterenko Kent State University, USA
- Marina Papatriantafilou Chalmers University, Sweden
- Franck Petit Universit� Paris 6, France
- Elad Schiller Chalmers University, Sweden
- Sebastien Tixeuil University Paris 6, France
- Yukiko Yamauchi Kyushu University, Japan
- stabilization in distributed and networked systems.
- stabilizing and emergent properties in dynamic networks.
- self-managed, self-assembling, self-healing, self-protecting and self-adaptive systems.
- self-* abstractions for implementing fundamental services in static and dynamic distributed systems.
- self-stabilization in decentralized and real-time control applications.
- models of fault-tolerant communication models of fault-tolerant communication.
- fault tolerance, reliability, availability in self-stabilizing systems.
- impossibility results and lower bounds for stabilization.
- performance and complexity analysis of self-stabilization.
- applications of stabilization, experience reports.
- stochastic, physical, and biological models to analyze self-* properties.
Track Program Committee:
Stabilization is the cornerstone of the long series of SSS conferences initiated in 1989. (Self-)Stabilization is the property of an autonomous process to obtain a correct behavior in finite time, regardless of the initial state it was in. In other words, stabilization enables (distributed) systems to automatically recover from unexpected behaviors with respect to an expected behavior. Depending on the system characteristics, such unexpected behaviors can be topological changes, transient faults affecting the process state or the channel content, perturbations of radio waves, etc. Recently, the range of distributed systems, where stabilization offers a promising approach, has largely expanded, e.g., peer-to-peer networks, grid systems, large-scale wireless sensor networks, mobile ad hoc networks, mobile robot networks, nanorobotic, VLSI, etc.
Topics include, but are not limited to: