Stabilization, Safety, and Security of Distributed Systems

Invited Talks.- Stabilization Enabling Technology.- A General Characterization of Indulgence.- Regular Papers.- Coverage, Connectivity, and Fault Tolerance Measures of Wireless Sensor Networks.- A Case Study on Prototyping Power Management Protocols for Sensor Networks.- Unconscious Eventual Consistency with Gossips.- All k-Bounded Policies Are Equivalent for Self-stabilization.- A 1-Strong Self-stabilizing Transformer.- Optimal Message-Driven Implementation of Omega with Mute Processes.- Incremental Synthesis of Fault-Tolerant Real-Time Programs.- Toward a Time-Optimal Odd Phase Clock Unison in Trees.- Recovery Oriented Programming.- Evaluation of a Tracking Architecture in Wireless Sensor Networks.- Self-protection for Distributed Component-Based Applications.- From Self- to Snap- Stabilization.- Self-stabilizing Philosophers with Generic Conflicts.- Selfish Stabilization.- Reliability and Availability Analysis of Self-stabilizing Systems.- Circle Formation of Weak Mobile Robots.- Self-stabilizing Device Drivers.- Secure Communication for RFIDs Proactive Information Security Within Computational Security.- Fault Masking in Tri-redundant Systems.- Logarithmic Keying of Communication Networks.- Safe Peer-to-Peer Self-downloading.- Best Paper: Stabilizing Clock Synchronization for Wireless Sensor Networks.- Self-stabilizing Byzantine Digital Clock Synchronization.- Distributed Edge Coloration for Bipartite Networks.- A Dependable Intrusion Detection Architecture Based on Agreement Services.- Stabilizing Health Monitoring for Wireless Sensor Networks.- A Byzantine-Fault Tolerant Self-stabilizing Protocol for Distributed Clock Synchronization Systems.- A Memory Efficient Self-stabilizing Algorithm for Maximal k-Packing.- Bounding the Impact of Unbounded Attacks in Stabilization.- On Bootstrapping Topology Knowledge in Anonymous Networks.- Self-adaptive Disk Arrays.- Using Eventually Consistent Compasses to Gather Oblivious Mobile Robots with Limited Visibility.- Self-stabilizing Asynchronous Phase Synchronization in General Graphs.- Composition of Fault-Containing Protocols Based on Recovery Waiting Fault-Containing Composition Framework.- Energy-Efficient and Non-interactive Self-certification in MANETs.- Self-adaptive Worms and Countermeasures.- Brief Announcement.- Brief Announcement: Self-healing Algorithms for Reconfigurable Networks.- Brief Announcement: Distributed Synthesis of Fault-Tolerance.- Brief Announcement: Exploration and Mitigation of Deafness Problems in Directional Antennas Based Wireless Ad-Hoc Networks.- Brief Announcement: A Synthetic Public Key Management Scheme for Large-Scale MANET.- Brief Announcement: Termination Detection in an Asynchronous Distributed System with Crash-Recovery Failures.- Brief Announcement: Self-stabilizing Spanning Tree Algorithm for Large Scale Systems.- Brief Announcement: Chasing the Weakest System Model for Implementing and Consensus.- Brief Announcement: Wait-Free Dining for Eventual Weak Exclusion.- Brief Announcement: An Efficient and Self-stabilizing Link Formation Algorithm.- Brief Announcement: Analyzing the Interactions of Self-propagating Codes in Multi-hop Networks.- Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems.- Brief Announcement: An Adaptive Randomised Searching Protocol in Peer-to-Peer Systems Based on Probabilistic Weak Quorum System.