Stabilization, Safety, and Security of Distributed Systems

Communication-Efficient Self-stabilization in Wireless Networks.- Self-stabilizing Local k-Placement of Replicas with Minimal Variance.- Self-stabilizing Algorithm for Maximal Graph Partitioning into Triangles.- Brief Announcement: Self-stabilizing Synchronization of Arbitrary Digraphs in Presence of Faults.- Brief Announcement: Self-stabilizing Silent Disjunction in an Anonymous Network.- On the Self-stabilization of Mobile Oblivious Robots in Uniform Rings.- Optimal Grid Exploration by Asynchronous Oblivious Robots.- Terminating Population Protocols via Some Minimal Global Knowledge Assumptions.- Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer.- Brief Announcement: Mobile Agent Rendezvous on Edge Evolving Rings.- High-Level Executable Specifications of Distributed Algorithms .- Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud .- Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback .- Self-stabilizing End-to-End Communication in (Bounded Capacity, Omitting, Duplicating and non-FIFO) Dynamic Networks (Extended Abstract) .- Self-stabilizing Distributed Data Fusion .- From Self- to Self-stabilizing with Service Guarantee 1-hopWeight-Based Clustering .- Brief Announcement: Verification of Stabilizing Programs with SMT Solvers .- Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing Systems.- Oblivious Assignment with m Slots.- BLIP: Non-interactive Differentially-Private Similarity Computation on Bloom filters.- DQMP: A Decentralized Protocol to Enforce Global Quotas in Cloud Environments.- Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems.- Brief Announcement: Arbitrators in the Security Infrastructure.- Optimization in a Self-stabilizing Service Discovery Framework for Large Scale Systems.- Scalable Byzantine Agreement with a Random Beacon.- On FindingBetter Friends in Social Networks.- Brief Announcement: Detecting Users' Connectivity on Online Social Networks.- Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols.- All-to-All Gradecast Using Coding with Byzantine Failures.- Fault-Tolerant Exploration of an Unknown Dangerous Graph by Scattered Agents.- A Theory of Fault Recovery for Component-Based Models.