Skip to main content
SpringerLink
Log in
Book cover

Stabilization, Safety, and Security of Distributed Systems

14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012, Proceedings

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Andréa W. Richa

    1. School of Computing, Informatics, and Decision Systems Engineering, Arizona State University, Tempe, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Christian Scheideler

    1. Department of Computer Science, University of Paderborn, Paderborn, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • Fast-track conference proceedings
  • State-of-the-art research

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

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

Included in the following conference series:

Conference proceedings info: SSS 2012.

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 (31 papers)

  1. Front Matter

    Download chapter PDF

  2. Communication-Efficient Self-stabilization in Wireless Networks

    • Tomoya Takimoto, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
    Pages 1-15

  3. Self-stabilizing Local k-Placement of Replicas with Minimal Variance

    • Sven Köhler, Volker Turau, Gerhard Mentges
    Pages 16-30

  4. Self-stabilizing Algorithm for Maximal Graph Partitioning into Triangles

    • Brahim Neggazi, Mohammed Haddad, Hamamache Kheddouci
    Pages 31-42

  5. Brief Announcement: Self-stabilizing Synchronization of Arbitrary Digraphs in Presence of Faults

    • Mahyar R. Malekpour
    Pages 43-45

  6. Brief Announcement: Self-stabilizing Silent Disjunction in an Anonymous Network

    • Ajoy K. Datta, Stéphane Devismes, Lawrence L. Larmore
    Pages 46-48

  7. On the Self-stabilization of Mobile Oblivious Robots in Uniform Rings

    • Fukuhito Ooshita, Sébastien Tixeuil
    Pages 49-63

  8. Optimal Grid Exploration by Asynchronous Oblivious Robots

    • Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil
    Pages 64-76

  9. Terminating Population Protocols via Some Minimal Global Knowledge Assumptions

    • Othon Michail, Ioannis Chatzigiannakis, Paul G. Spirakis
    Pages 77-89

  10. Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer

    • Matthias Függer, Alexander Kößler, Thomas Nowak, Martin Zeiner
    Pages 90-91

  11. Brief Announcement: Mobile Agent Rendezvous on Edge Evolving Rings

    • Tomoko Izumi, Yukiko Yamauchi, Sayaka Kamei
    Pages 92-94

  12. High-Level Executable Specifications of Distributed Algorithms

    • Yanhong A. Liu, Scott D. Stoller, Bo Lin
    Pages 95-110

  13. Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud

    • Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi, Ying Zhang, Makan Pourzandi
    Pages 111-125

  14. Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback

    • Jordan Adamek, Mikhail Nesterenko, Sébastien Tixeuil
    Pages 126-132

  15. Self-stabilizing End-to-End Communication in (Bounded Capacity, Omitting, Duplicating and non-FIFO) Dynamic Networks

    • Shlomi Dolev, Ariel Hanemann, Elad Michael Schiller, Shantanu Sharma
    Pages 133-147

  16. Self-stabilizing Distributed Data Fusion

    • Bertrand Ducourthial, Véronique Cherfaoui, Thierry Denoeux
    Pages 148-162

  17. From Self- to Self-stabilizing with Service Guarantee 1-hop Weight-Based Clustering

    • Colette Johnen, Fouzi Mekhaldi
    Pages 163-178

  18. Brief Announcement: Verification of Stabilizing Programs with SMT Solvers

    • Jingshu Chen, Sandeep Kulkarni
    Pages 179-182

  19. Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing Systems

    • Can Arda Muftuoglu, Péter Bokor, Neeraj Suri
    Pages 183-186

  20. Oblivious Assignment with m Slots

    • Giuseppe Ateniese, Roberto Baldoni, Silvia Bonomi, Giuseppe Antonio Di Luna
    Pages 187-201
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 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2012, held in Toronto, Canada, in October 2012. The 21 full papers and 10 brief announcements presented in this volume were carefully reviewed and selected from 75 submissions. The conference provides a wide spectrum of topics, covered in the following tracks: self-stabilization, ad-hoc and sensor networks, fault-tolerance and dependable systems, safety and security, cloud computing, formal methods, social networks, peer-to-peer, self-organizing and autonomic systems.

Editors and Affiliations

  • School of Computing, Informatics, and Decision Systems Engineering, Arizona State University, Tempe, USA

    Andréa W. Richa

  • Department of Computer Science, University of Paderborn, Paderborn, Germany

    Christian Scheideler

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation