Abstract is missing.
- Transactional Encoding for Tolerating Transient Hardware ErrorsJons-Tobias Wamhoff, Mario Schwalbe, Rasha Faqeh, Christof Fetzer, Pascal Felber. 1-16 [doi]
- Universal Model Simulation: BG and Extended BG as ExamplesPetr Kuznetsov. 17-31 [doi]
- Helical Entanglement Codes: An Efficient Approach for Designing Robust Distributed Storage SystemsVeronica Estrada Galinanes, Pascal Felber. 32-44 [doi]
- Concurrent Wait-Free Red Black TreesAravind Natarajan, Lee Savoie, Neeraj Mittal. 45-60 [doi]
- Self-stabilizing (f, g)-Alliances with Safe ConvergenceFabienne Carrier, Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, Yvan Rivierre. 61-73 [doi]
- A Self-stabilizing Algorithm for Maximal p-Star Decomposition of General GraphsBrahim Neggazi, Volker Turau, Mohammed Haddad, Hamamache Kheddouci. 74-85 [doi]
- Space Complexity of Self-Stabilizing Leader Election in Population Protocol Based on k-InteractionXiaoguang Xu, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita. 86-97 [doi]
- Self-Healing of Byzantine FaultsJeffrey Knockel, George Saad, Jared Saia. 98-112 [doi]
- Leader Election and Centers and Medians in Tree NetworksAjoy Kumar Datta, Lawrence L. Larmore. 113-132 [doi]
- Local Decision and Verification with Bounded-Size OutputsHeger Arfaoui, Pierre Fraigniaud, Andrzej Pelc. 133-147 [doi]
- How Good is Weak-Stabilization?Narges Fallahi, Borzoo Bonakdarpour. 148-162 [doi]
- Verifying Livelock Freedom on Parameterized Rings and ChainsAlex Klinkhamer, Ali Ebnenasir. 163-177 [doi]
- Certified Impossibility Results for Byzantine-Tolerant Mobile RobotsCédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, Xavier Urbain. 178-190 [doi]
- Self-stabilizing Balancing Algorithm for Containment-Based TreesEvangelos Bampas, Anissa Lamani, Franck Petit, Mathieu Valero. 191-205 [doi]
- On the Effectiveness of Punishments in a Repeated Epidemic Dissemination GameXavier Vilaça, Luís Rodrigues. 206-220 [doi]
- Linearizing Peer-to-Peer Systems with OraclesRizal Mohd Nor, Mikhail Nesterenko, Sébastien Tixeuil. 221-236 [doi]
- Synchronous Counting and Computational Algorithm DesignDanny Dolev, Janne H. Korhonen, Christoph Lenzen, Joel Rybicki, Jukka Suomela. 237-250 [doi]
- An Asynchronous Self-stabilizing Approximation for the Minimum Connected Dominating Set with Safe Convergence in Unit Disk GraphsSayaka Kamei, Tomoko Izumi, Yukiko Yamauchi. 251-265 [doi]
- Automated Addition of Fault-Tolerance under Synchronous SemanticsYiyan Lin, Borzoo Bonakdarpour, Sandeep S. Kulkarni. 266-280 [doi]
- Naming and Counting in Anonymous Unknown Dynamic NetworksOthon Michail, Ioannis Chatzigiannakis, Paul G. Spirakis. 281-295 [doi]
- Gathering Asynchronous Oblivious Agents with Restricted Vision in an Infinite LineSamuel Guilbault, Andrzej Pelc. 296-310 [doi]
- Counting the Number of Homonyms in Dynamic NetworksGiuseppe Antonio Di Luna, Roberto Baldoni, Silvia Bonomi, Ioannis Chatzigiannakis. 311-325 [doi]
- Localizability of Wireless Sensor Networks: Beyond Wheel ExtensionBuddhadeb Sau, Krishnendu Mukhopadhyaya. 326-340 [doi]
- Memory Efficient Self-Stabilizing k-Independent Dominating Set ConstructionColette Johnen. 341-343 [doi]
- Modeling and Analyzing Timing Faults in Transaction Level SystemC ProgramsReza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni. 344-347 [doi]
- Low-Communication Self-stabilizing Leader Election in Large NetworksThamer Alsulaiman, Andrew Berns, Sukumar Ghosh. 348-350 [doi]
- Self-stabilizing Byzantine Resilient Topology Discovery and Message DeliveryShlomi Dolev, Omri Liba, Elad Michael Schiller. 351-353 [doi]
- Self-stabilizing TDMA Algorithms for Wireless Ad-Hoc Networks without External ReferenceThomas Petig, Elad Michael Schiller, Philippas Tsigas. 354-356 [doi]
- Zone-Based Synthesis of Strict 2-Phase Fault RecoveryFathiyeh Faghih, Borzoo Bonakdarpour. 357-359 [doi]
- Analyzing Convergence and Reachability of Asynchronous IterationsYoshisato Sakai. 360-362 [doi]
- Ring Exploration by Oblivious Robots with Vision Limited to 2 or 3Ajoy Kumar Datta, Anissa Lamani, Lawrence L. Larmore, Franck Petit. 363-366 [doi]
- Scalable Estimation of Network Average DegreeTaisuke Izumi, Hironobu Kanzaki. 367-369 [doi]
- Synthesizing Round Based Fault-Tolerant Programs Using Genetic ProgrammingLing Zhu, Sandeep Kulkarni. 370-372 [doi]
- Self-stabilizing DAG-Constructing Protocols with Application to Geocast in MANETKoichi Ito, Yoshiaki Katayama, Koichi Wada, Naohisa Takahashi. 373-375 [doi]
- An Agile and Stable Neighborhood Protocol for WSNsGerry Siegemund, Volker Turau, Christoph Weyer, Stefan Lohs, Jörg Nolte. 376-378 [doi]