Track: Self-Stabilization
-
Track Chairs:
- Colette Johnen, University of Bordeaux 1, France
- Joffroy Beauquier, Univ. Paris-Sud, France
- Doina Bein, Pennsylvania State University, USA
- Lélia Blin, Univ. val d'Essonne, France
- Jorge Arturo Cobb, University of Texas at Dallas, USA
- Ajoy Kumar Datta, University of Nevada, Las Vegas, USA
- Stéphane Devismes, Univ. Joseph Fourier, France
- Danny Dolev, Hebrew University of Jerusalem, Israel
- Sukumar Ghosh, University of Iowa, USA
- Ted Herman, University of Iowa, USA
- Mehmet H. Karaata, Kuwait University, Kuwait
- Fukuhito Ooshita, Osaka University, Japan
- Laurence Pilard, Univ. de Versailles, France
- Elad Michael Schiller, Chalmers University of Technology, Sweden
- Masafumi Yamashita, 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: