Stabilization, Safety, and Security of Distributed Systems: 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

Front Matter....Pages -
Transactional Encoding for Tolerating Transient Hardware Errors....Pages 1-16
Universal Model Simulation: BG and Extended BG as Examples....Pages 17-31
Helical Entanglement Codes: An Efficient Approach for Designing Robust Distributed Storage Systems....Pages 32-44
Concurrent Wait-Free Red Black Trees....Pages 45-60
Self-stabilizing (f,g) -Alliances with Safe Convergence....Pages 61-73
A Self-stabilizing Algorithm for Maximal p -Star Decomposition of General Graphs....Pages 74-85
Space Complexity of Self-Stabilizing Leader Election in Population Protocol Based on k -Interaction....Pages 86-97
Self-Healing of Byzantine Faults....Pages 98-112
Leader Election and Centers and Medians in Tree Networks....Pages 113-132
Local Decision and Verification with Bounded-Size Outputs....Pages 133-147
How Good is Weak-Stabilization?....Pages 148-162
Verifying Livelock Freedom on Parameterized Rings and Chains....Pages 163-177
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots....Pages 178-190
Self-stabilizing Balancing Algorithm for Containment-Based Trees....Pages 191-205
On the Effectiveness of Punishments in a Repeated Epidemic Dissemination Game....Pages 206-220
Linearizing Peer-to-Peer Systems with Oracles....Pages 221-236
Synchronous Counting and Computational Algorithm Design....Pages 237-250
An Asynchronous Self-stabilizing Approximation for the Minimum Connected Dominating Set with Safe Convergence in Unit Disk Graphs....Pages 251-265
Automated Addition of Fault-Tolerance under Synchronous Semantics....Pages 266-280
Naming and Counting in Anonymous Unknown Dynamic Networks....Pages 281-295
Gathering Asynchronous Oblivious Agents with Restricted Vision in an Infinite Line....Pages 296-310
Counting the Number of Homonyms in Dynamic Networks....Pages 311-325
Localizability of Wireless Sensor Networks: Beyond Wheel Extension....Pages 326-340
Memory Efficient Self-Stabilizing k -Independent Dominating Set Construction....Pages 341-343
Modeling and Analyzing Timing Faults in Transaction Level SystemC Programs....Pages 344-347
Low-Communication Self-stabilizing Leader Election in Large Networks....Pages 348-350
Self-stabilizing Byzantine Resilient Topology Discovery and Message Delivery....Pages 351-353
Self-stabilizing TDMA Algorithms for Wireless Ad-Hoc Networks without External Reference....Pages 354-356
Zone-Based Synthesis of Strict 2-Phase Fault Recovery....Pages 357-359
Analyzing Convergence and Reachability of Asynchronous Iterations....Pages 360-362
Ring Exploration by Oblivious Robots with Vision Limited to 2 or 3....Pages 363-366
Scalable Estimation of Network Average Degree....Pages 367-369
Synthesizing Round Based Fault-Tolerant Programs Using Genetic Programming....Pages 370-372
Self-stabilizing DAG-Constructing Protocols with Application to Geocast in MANET....Pages 373-375
An Agile and Stable Neighborhood Protocol for WSNs....Pages 376-378
Back Matter....Pages -