Thursday
Self-Stabilization is the property of a system, component, process or object to correct itself no matter how its state variables are corrupted.
Self-stabilization is most interesting for distributed and concurrent systems, because local detection of a faulty condition is problematic.
Previous workshops and symposia on the topic (WSS'89, WSS'95, WSS'97, WSS'99, WSS'01, SSS'03) provided forums for presentations on a variety of topics, such as algorithmic techniques, formal methodologies, model theoretic questions, compositionality, and applications of self-stabilization in numerous contexts.
Topics of Interest
The Symposium invites papers on all aspects of self-stabilization, from theoretical contributions to experiences on applying principles of self-stabilization to practical systems. Topics of interest include, but are not limited to:
- stabilization in distributed and networked systems
- stabilizing features of autonomic computing systems
- stabilizing and emergent properties of peer-to-peer networks
- research that weakens classical definitions of self-stabilization
- performance and analysis of the complexity of self-stabilization
- self-stabilization in decentralized, real-time control applications
- self-healing applications of self-stabilization
- stabilization and its relation to fault tolerance and automatic recovery
- stabilization and system security
- stabilization in sensor networks and mobile, ad-hoc networks
- agent-based system self-stabilization
- design, analysis, and implementation methods for stabilization
- impossibility results and lower bounds for stabilization
- applications of stabilization, experience reports