Self-Stabilizing Systems

Snap-Stabilizing Optimal Binary Search Tree.- Synchronous vs. Asynchronous Unison.- A Snap-Stabilizing DFS with a Lower Space Requirement.- Self-stabilization of Byzantine Protocols.- Self-stabilization with r-Operators Revisited.- Self-stabilization Preserving Compiler.- Self-stabilizing Mobile Node Location Management and Message Routing.- Memory Management for Self-stabilizing Operating Systems.- Code Stabilization.- Stabilizing Certificate Dispersal.- On the Possibility and the Impossibility of Message-Driven Self-stabilizing Failure Detection.- Approximation of Self-stabilizing Vertex Cover Less Than 2.- Self-stabilization in Spite of Frequent Changes of Networks: Case Study of Mutual Exclusion on Dynamic Rings.- Towards Automatic Convergence Verification of Self-stabilizing Algorithms.- About the Self-stabilization of a Virtual Topology for Self-organization in Ad Hoc Networks.