15th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2013)

List of Accepted (Regular) Papers

• Narges Fallahi and Borzoo Bonakdarpour. How Weak is Weak-stabilization?
• Fabienne Carrier, Ajoy K. Datta, Stephane Devismes, Lawrence Larmore and Yvan Rivierre. Self-Stabilizing (f,g)-Alliances with Safe Convergence
• Danny Dolev, Janne H. Korhonen, Christoph Lenzen, Joel Rybicki and Jukka Suomela. Synchronous Counting and Computational Algorithm Design
• Othon Michail, Ioannis Chatzigiannakis and Paul Spirakis. Naming and Counting in Anonymous Unknown Dynamic Networks
• Petr Kuznetsov. Universal Model Simulation
• Xiaoguang Xu, Yukiko Yamauchi, Shuji Kijima and Masafumi Yamashita. On Space Complexity of Self-Stabilizing Leader Election in Population Protocol Based on k-interaction
• Sayaka Kamei, Tomoko Izumi and Yukiko Yamauchi. An Asynchronous Self-Stabilizing 6-Approximation for the Minimum Connected Dominating Set with Safe Convergence
• Aravind Natarajan, Lee Savoie and Neeraj Mittal. Concurrent Wait-Free Red-Black Trees
• Jeffrey Knockel, George Saad and Jared Saia. Self-Healing of Byzantine Faults
• Buddhadeb Sau and Krishnendu Mukhopadhyaya. Localizability of Wireless Sensor Networks: Beyond Wheel Extension
• Jons-Tobias Wamhoff, Mario Schwalbe, Rasha Faqeh, Christof Fetzer and Pascal Felber. Transactional Encoding for Tolerating Transient Hardware Errors
• Veronica Del Carmen Estrada Galinanes and Pascal Felber. Helical Entanglement Codes: An Efficient Approach for Designing Robust Distributed Storage Systems
• Brahim Neggazi, Volker Turau, Mohammed Haddad and Hamamache Kheddouci. A Self-Stabilizing Algorithm for Maximal p-Star Decomposition of General Graphs
• Xavier Vilaca and Luis Rodrigues. On the Effectiveness of Punishments in a Repeated Epidemic Dissemination Game
• Evangelos Bampas, Anissa Lamani, Franck Petit and Mathieu Valero. Self-Stabilizing Balancing Algorithm for Containment-Based Trees
• Alex Klinkhamer and Ali Ebnenasir. Verfiying Livelock Freedom of Parameterized Rings
• Giuseppe Antonio Di Luna, Roberto Baldoni, Silvia Bonomi and Ioannis Chatzigiannakis. Counting the Number of Homonyms in Dynamic Networks
• Cedric Auger, Zohir Bouzid, Pierre Courtieu, Xavier Urbain and Sebastien Tixeuil. Certified Impossibility Results for Byzantine-Tolerant Mobile Robots
• Rizal Mohd Nor, Mikhail Nesterenko and Sebastien Tixeuil. Linearizing Peer-to-Peer Systems with Oracles
• Yiyan Lin, Borzoo Bonakdarpour and Sandeep Kulkarni. Automated Addition of Fault-tolerance under Synchronous Semantics
• Ajoy K. Datta and Lawrence Larmore. Leader Election and Finding Centers and Medians in Tree Networks
• Heger Arfaoui, Pierre Fraigniaud and Andrzej Pelc. Local Decision and Verification with Bounded-Size Outputs
• Samuel Guilbault and Andrzej Pelc. Gathering asynchronous oblivious agents with restricted vision in an infinite line

List of Accepted Brief Announcements

• Thamer Alsulaiman, Andrew Berns and Sukumar Ghosh. Low-communication Self-stabilizing Leader Election in Large Networks
• Fathiyeh Faghih and Borzoo Bonakdarpour. Zone-based Synthesis of Timed Models with Strict Phased Fault Recovery
• Shlomi Dolev, Omri Liba and Elad Michael Schiller. Self-Stabilizing Byzantine Resilient Topology Discovery and Message Delivery
• Colette Johnen. Memory Efficient Self-Stabilizing k-Independant Dominating Set Construction
• Yoshisato Sakai. Analyzing Convergence and Reachability of Asynchronous Iterative Computations against Unpredictable Latency in Distributed Systems
• Ajoy K. Datta, Anissa Lamani, Lawrence Larmore and Franck Petit. Ring Exploration by Oblivious Robots having Vision Limited to 2 or 3
• Thomas Petig, Elad Michael Schiller and Philippas Tsigas. Self-stabilizing TDMA Algorithms for Wireless Ad-hoc Networks without External Reference
• Taisuke Izumi and Hironobu Kanzaki. Scalable Estimation of Network Average Degree
• Reza Hajisheykhi, Ali Ebnenasir and Sandeep Kulkarni. Modeling and Analyzing Timing Faults in Transaction Level SystemC Programs
• Ling Zhu and Sandeep Kulkarni. Synthesizing Round Based Fault-Tolerant Programs using Genetic Programming
• Koichi Ito, Yoshiaki Katayama, Koichi Wada and Naohisa Takahashi. Self-stabilizing DAG-constructing Protocols with Application to Geocast in MANET
• Gerry Siegemund, Volker Turau, Christoph Weyer, Stefan Lohs and Joerg Nolte. Agile and Stable Neighborhood Protocol for Wireless Sensor Networks