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.-