| 2013 | A Self-stabilizing Algorithm for Maximal p-Star Decomposition of General Graphs. Brahim Neggazi, Volker Turau, Mohammed Haddad, Hamamache Kheddouci |
| 2013 | An Agile and Stable Neighborhood Protocol for WSNs. Gerry Siegemund, Volker Turau, Christoph Weyer, Stefan Lohs, Jörg Nolte |
| 2013 | An Asynchronous Self-stabilizing Approximation for the Minimum Connected Dominating Set with Safe Convergence in Unit Disk Graphs. Sayaka Kamei, Tomoko Izumi, Yukiko Yamauchi |
| 2013 | Analyzing Convergence and Reachability of Asynchronous Iterations. Yoshisato Sakai |
| 2013 | Automated Addition of Fault-Tolerance under Synchronous Semantics. Yiyan Lin, Borzoo Bonakdarpour, Sandeep S. Kulkarni |
| 2013 | Certified Impossibility Results for Byzantine-Tolerant Mobile Robots. Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, Xavier Urbain |
| 2013 | Concurrent Wait-Free Red Black Trees. Aravind Natarajan, Lee Savoie, Neeraj Mittal |
| 2013 | Counting the Number of Homonyms in Dynamic Networks. Giuseppe Antonio Di Luna, Roberto Baldoni, Silvia Bonomi, Ioannis Chatzigiannakis |
| 2013 | Gathering Asynchronous Oblivious Agents with Restricted Vision in an Infinite Line. Samuel Guilbault, Andrzej Pelc |
| 2013 | Helical Entanglement Codes: An Efficient Approach for Designing Robust Distributed Storage Systems. Veronica Estrada Galiñanes, Pascal Felber |
| 2013 | How Good is Weak-Stabilization? Narges Fallahi, Borzoo Bonakdarpour |
| 2013 | Leader Election and Centers and Medians in Tree Networks. Ajoy Kumar Datta, Lawrence L. Larmore |
| 2013 | Linearizing Peer-to-Peer Systems with Oracles. Rizal Mohd Nor, Mikhail Nesterenko, Sébastien Tixeuil |
| 2013 | Local Decision and Verification with Bounded-Size Outputs. Heger Arfaoui, Pierre Fraigniaud, Andrzej Pelc |
| 2013 | Localizability of Wireless Sensor Networks: Beyond Wheel Extension. Buddhadeb Sau, Krishnendu Mukhopadhyaya |
| 2013 | Low-Communication Self-stabilizing Leader Election in Large Networks. Thamer Alsulaiman, Andrew Berns, Sukumar Ghosh |
| 2013 | Memory Efficient Self-Stabilizing k-Independent Dominating Set Construction. Colette Johnen |
| 2013 | Modeling and Analyzing Timing Faults in Transaction Level SystemC Programs. Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni |
| 2013 | Naming and Counting in Anonymous Unknown Dynamic Networks. Othon Michail, Ioannis Chatzigiannakis, Paul G. Spirakis |
| 2013 | On the Effectiveness of Punishments in a Repeated Epidemic Dissemination Game. Xavier Vilaça, Luís E. T. Rodrigues |
| 2013 | Ring Exploration by Oblivious Robots with Vision Limited to 2 or 3. Ajoy Kumar Datta, Anissa Lamani, Lawrence L. Larmore, Franck Petit |
| 2013 | Scalable Estimation of Network Average Degree. Taisuke Izumi, Hironobu Kanzaki |
| 2013 | Self-Healing of Byzantine Faults. Jeffrey Knockel, George Saad, Jared Saia |
| 2013 | Self-stabilizing (f, g)-Alliances with Safe Convergence. Fabienne Carrier, Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, Yvan Rivierre |
| 2013 | Self-stabilizing Balancing Algorithm for Containment-Based Trees. Evangelos Bampas, Anissa Lamani, Franck Petit, Mathieu Valero |
| 2013 | Self-stabilizing Byzantine Resilient Topology Discovery and Message Delivery. Shlomi Dolev, Omri Liba, Elad Michael Schiller |
| 2013 | Self-stabilizing DAG-Constructing Protocols with Application to Geocast in MANET. Koichi Ito, Yoshiaki Katayama, Koichi Wada, Naohisa Takahashi |
| 2013 | Self-stabilizing TDMA Algorithms for Wireless Ad-Hoc Networks without External Reference. Thomas Petig, Elad Michael Schiller, Philippas Tsigas |
| 2013 | Space Complexity of Self-Stabilizing Leader Election in Population Protocol Based on k-Interaction. Xiaoguang Xu, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita |
| 2013 | Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita |
| 2013 | Synchronous Counting and Computational Algorithm Design. Danny Dolev, Janne H. Korhonen, Christoph Lenzen, Joel Rybicki, Jukka Suomela |
| 2013 | Synthesizing Round Based Fault-Tolerant Programs Using Genetic Programming. Ling Zhu, Sandeep S. Kulkarni |
| 2013 | Transactional Encoding for Tolerating Transient Hardware Errors. Jons-Tobias Wamhoff, Mario Schwalbe, Rasha Faqeh, Christof Fetzer, Pascal Felber |
| 2013 | Universal Model Simulation: BG and Extended BG as Examples. Petr Kuznetsov |
| 2013 | Verifying Livelock Freedom on Parameterized Rings and Chains. Alex P. Klinkhamer, Ali Ebnenasir |
| 2013 | Zone-Based Synthesis of Strict 2-Phase Fault Recovery. Fathiyeh Faghih, Borzoo Bonakdarpour |