Skip to main content
SpringerLink
Log in

Stabilization, Safety, and Security of Distributed Systems

17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Andrzej Pelc

    1. Université du Québec en Outaouais, Gatineau, QC, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alexander A. Schwarzmann

    1. University of Connecticut, Storrs, USA

    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 9212)

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

Included in the following conference series:

Conference proceedings info: SSS 2015.

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 44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.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 (17 papers)

  1. Front Matter

    Pages I-XXI
    Download chapter PDF

  2. Keynote Lecture

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. A Fast and Scalable Payment Network with Bitcoin Duplex Micropayment Channels

      • Christian Decker, Roger Wattenhofer
      Pages 3-18

  3. Regular Papers

    1. Front Matter

      Pages 19-19
      Download chapter PDF

    2. Reaching Approximate Byzantine Consensus with Multi-hop Communication

      • Lili Su, Nitin Vaidya
      Pages 21-35

    3. The Complexity of Data Aggregation in Static and Dynamic Wireless Sensor Networks

      • Quentin Bramas, Sébastien Tixeuil
      Pages 36-50

    4. Enabling Minimal Dominating Set in Highly Dynamic Distributed Systems

      • Swan Dubois, Mohamed-Hamza Kaaouachi, Franck Petit
      Pages 51-66

    5. The Match-Maker: Constant-Space Distributed Majority via Random Walks

      • Leszek Gąsieniec, David D. Hamilton, Russell Martin, Paul G. Spirakis
      Pages 67-80

    6. The k-Observer Problem on d-regular Graphs

      • Benjamin Ries, Bernhard Schamberg, Walter Unger
      Pages 81-93

    7. Functional Encryption for Cascade Automata (Extended Abstract)

      • Dan Brownstein, Shlomi Dolev, Niv Gilboa
      Pages 94-108

    8. The Implication Problem of Computing Policies

      • Rezwana Reaz, Muqeet Ali, Mohamed G. Gouda, Marijn J. H. Heule, Ehab S. Elmallah
      Pages 109-123

    9. Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples

      • Oday Jubran, Eike Möhlmann, Oliver Theel
      Pages 124-138

    10. Untangling Partial Agreement: Iterated x-consensus Simulations

      • Damien Imbs, Sergio Rajsbaum, Adrián Valle
      Pages 139-155

    11. Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols

      • Saba Aflaki, Borzoo Bonakdarpour, Sébastien Tixeuil
      Pages 156-170

    12. Efficient and Decentralized Polling Protocol for General Social Networks

      • Bao-Thien Hoang, Abdessamad Imine
      Pages 171-186

    13. Constructing Self-stabilizing Oscillators in Population Protocols

      • Colin Cooper, Anissa Lamani, Giovanni Viglietta, Masafumi Yamashita, Yukiko Yamauchi
      Pages 187-200

    14. Towards a Universal Approach for the Finite Departure Problem in Overlay Networks

      • Andreas Koutsopoulos, Christian Scheideler, Thim Strothmann
      Pages 201-216

    15. Refinement of Probabilistic Stabilizing Programs Using Genetic Algorithms

      • Ling Zhu, Jingshu Chen, Sandeep Kulkarni
      Pages 217-232

    16. Avatar: A Time- and Space-Efficient Self-stabilizing Overlay Network

      • Andrew Berns
      Pages 233-247

    17. Self-stabilizing Virtual Synchrony

      • Shlomi Dolev, Chryssis Georgiou, Ioannis Marcoullis, Elad M. Schiller
      Pages 248-264
Back to top

Other volumes

  1. Stabilization, Safety, and Security of Distributed Systems

Keywords

About this book

This book constitutes the refereed proceedings of the 17 International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2015, held in Edmonton, AB, Canada, in August 2015. The 16 regular papers presented together with 8 brief announcements and 3 keynote lectures were carefully reviewed and selected from 38 submissions. The Symposium is organized in several tracks, reflecting topics to self-*properties. The tracks are self-stabilization; fault-tolerance and dependability; ad-hoc and sensor networks; mobile agents; system security in distributed computing; and formal methods and distributed algorithms.

Editors and Affiliations

  • Université du Québec en Outaouais, Gatineau, QC, Canada

    Andrzej Pelc

  • University of Connecticut, Storrs, USA

    Alexander A. Schwarzmann

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation