Skip to main content
SpringerLink
Log in

Stabilization, Safety, and Security of Distributed Systems

15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Teruo Higashino

    1. Graduate School of Information Science and Technology, Osaka University, Suita, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Yoshiaki Katayama

    1. Nagoya Institute of Technology, Nagoya, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Toshimitsu Masuzawa

    1. Graduate School of Information Science and Technology, Osaka University, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Maria Potop-Butucaru

    1. LIP6, University Paris 6, Paris, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Masafumi Yamashita

    1. Kyushu University, Fukuoka, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8255)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: SSS 2013.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (35 papers)

  1. Front Matter

    Download chapter PDF

  2. Transactional Encoding for Tolerating Transient Hardware Errors

    • Jons-Tobias Wamhoff, Mario Schwalbe, Rasha Faqeh, Christof Fetzer, Pascal Felber
    Pages 1-16

  3. Universal Model Simulation: BG and Extended BG as Examples

    • Petr Kuznetsov
    Pages 17-31

  4. Helical Entanglement Codes: An Efficient Approach for Designing Robust Distributed Storage Systems

    • Veronica Estrada Galinanes, Pascal Felber
    Pages 32-44

  5. Concurrent Wait-Free Red Black Trees

    • Aravind Natarajan, Lee H. Savoie, Neeraj Mittal
    Pages 45-60

  6. Self-stabilizing (f,g)-Alliances with Safe Convergence

    • Fabienne Carrier, Ajoy K. Datta, Stéphane Devismes, Lawrence L. Larmore, Yvan Rivierre
    Pages 61-73

  7. A Self-stabilizing Algorithm for Maximal p-Star Decomposition of General Graphs

    • Brahim Neggazi, Volker Turau, Mohammed Haddad, Hamamache Kheddouci
    Pages 74-85

  8. Space Complexity of Self-Stabilizing Leader Election in Population Protocol Based on k-Interaction

    • Xiaoguang Xu, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita
    Pages 86-97

  9. Self-Healing of Byzantine Faults

    • Jeffrey Knockel, George Saad, Jared Saia
    Pages 98-112

  10. Leader Election and Centers and Medians in Tree Networks

    • Ajoy K. Datta, Lawrence L. Larmore
    Pages 113-132

  11. Local Decision and Verification with Bounded-Size Outputs

    • Heger Arfaoui, Pierre Fraigniaud, Andrzej Pelc
    Pages 133-147

  12. How Good is Weak-Stabilization?

    • Narges Fallahi, Borzoo Bonakdarpour
    Pages 148-162

  13. Verifying Livelock Freedom on Parameterized Rings and Chains

    • Alex P. Klinkhamer, Ali Ebnenasir
    Pages 163-177

  14. Certified Impossibility Results for Byzantine-Tolerant Mobile Robots

    • Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, Xavier Urbain
    Pages 178-190

  15. Self-stabilizing Balancing Algorithm for Containment-Based Trees

    • Evangelos Bampas, Anissa Lamani, Franck Petit, Mathieu Valero
    Pages 191-205

  16. On the Effectiveness of Punishments in a Repeated Epidemic Dissemination Game

    • Xavier Vilaça, Luís Rodrigues
    Pages 206-220

  17. Linearizing Peer-to-Peer Systems with Oracles

    • Rizal Mohd Nor, Mikhail Nesterenko, Sébastien Tixeuil
    Pages 221-236

  18. Synchronous Counting and Computational Algorithm Design

    • Danny Dolev, Janne H. Korhonen, Christoph Lenzen, Joel Rybicki, Jukka Suomela
    Pages 237-250

  19. An Asynchronous Self-stabilizing Approximation for the Minimum Connected Dominating Set with Safe Convergence in Unit Disk Graphs

    • Sayaka Kamei, Tomoko Izumi, Yukiko Yamauchi
    Pages 251-265

  20. Automated Addition of Fault-Tolerance under Synchronous Semantics

    • Yiyan Lin, Borzoo Bonakdarpour, Sandeep Kulkarni
    Pages 266-280
Back to top

Other volumes

  1. Stabilization, Safety, and Security of Distributed Systems

Keywords

About this book

This book constitutes the thoroughly refereed proceedings of the 15 International Symposium on Stabilization, Safety and Security of Distributed Systems, SSS 2013, held in Osaka, Japan, in November 2013. The 23 regular papers and 12 short papers presented were carefully reviewed and selected from 68 submissions. The Symposium is organized in several tracks, reflecting topics to self-* properties. The tracks are self-stabilization, fault tolerance and dependability; formal methods and distributed systems; ad-hoc, sensors, mobile agents and robot networks and P2P, social, self-organizing, autonomic and opportunistic networks.

Editors and Affiliations

  • Graduate School of Information Science and Technology, Osaka University, Suita, Japan

    Teruo Higashino

  • Nagoya Institute of Technology, Nagoya, Japan

    Yoshiaki Katayama

  • Graduate School of Information Science and Technology, Osaka University, Japan

    Toshimitsu Masuzawa

  • LIP6, University Paris 6, Paris, France

    Maria Potop-Butucaru

  • Kyushu University, Fukuoka, Japan

    Masafumi Yamashita

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation