Stabilization, Safety, and Security of Distributed Systems

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

  • Andréa W. Richa
  • Christian Scheideler
Conference proceedings SSS 2012

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

Table of contents

  1. Front Matter
  2. Tomoya Takimoto, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
    Pages 1-15
  3. Sven Köhler, Volker Turau, Gerhard Mentges
    Pages 16-30
  4. Brahim Neggazi, Mohammed Haddad, Hamamache Kheddouci
    Pages 31-42
  5. Ajoy K. Datta, Stéphane Devismes, Lawrence L. Larmore
    Pages 46-48
  6. Fukuhito Ooshita, Sébastien Tixeuil
    Pages 49-63
  7. Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil
    Pages 64-76
  8. Othon Michail, Ioannis Chatzigiannakis, Paul G. Spirakis
    Pages 77-89
  9. Matthias Függer, Alexander Kößler, Thomas Nowak, Martin Zeiner
    Pages 90-91
  10. Tomoko Izumi, Yukiko Yamauchi, Sayaka Kamei
    Pages 92-94
  11. Yanhong A. Liu, Scott D. Stoller, Bo Lin
    Pages 95-110
  12. Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi, Ying Zhang, Makan Pourzandi
    Pages 111-125
  13. Shlomi Dolev, Ariel Hanemann, Elad Michael Schiller, Shantanu Sharma
    Pages 133-147
  14. Bertrand Ducourthial, Véronique Cherfaoui, Thierry Denoeux
    Pages 148-162
  15. Can Arda Muftuoglu, Péter Bokor, Neeraj Suri
    Pages 183-186
  16. Giuseppe Ateniese, Roberto Baldoni, Silvia Bonomi, Giuseppe Antonio Di Luna
    Pages 187-201
  17. Mohammad Alaggan, Sébastien Gambs, Anne-Marie Kermarrec
    Pages 202-216
  18. Johannes Behl, Tobias Distler, Rüdiger Kapitza
    Pages 217-231
  19. António Casimiro, Jörg Kaiser, Johan Karlsson, Elad Michael Schiller, Philippas Tsigas, Pedro Costa et al.
    Pages 232-235
  20. Shlomi Dolev, Niv Gilboa, Ofer Hermoni
    Pages 236-238
  21. Eddy Caron, Florent Chuffart, Anissa Lamani, Franck Petit
    Pages 239-252
  22. Olumuyiwa Oluwasanmi, Jared Saia
    Pages 253-265
  23. Philipp Brandes, Roger Wattenhofer
    Pages 266-278
  24. François Bonnet, Xavier Défago, Franck Petit, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
    Pages 282-284
  25. John F. Bridgman III, Vijay K. Garg
    Pages 285-298
  26. Paola Flocchini, Matthew Kellett, Peter C. Mason, Nicola Santoro
    Pages 299-313
  27. Borzoo Bonakdarpour, Marius Bozga, Gregor Gössler
    Pages 314-328
  28. Back Matter

About these proceedings


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.


dependable systems dynamic networks model checking self-managing systems vehicular networking

Editors and affiliations

  • Andréa W. Richa
    • 1
  • Christian Scheideler
    • 2
  1. 1.School of Computing, Informatics, and Decision Systems EngineeringArizona State UniversityTempeUSA
  2. 2.Department of Computer ScienceUniversity of PaderbornPaderbornGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-33535-8
  • Online ISBN 978-3-642-33536-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site