Stabilization, Safety, and Security of Distributed Systems

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

  • Teruo Higashino
  • Yoshiaki Katayama
  • Toshimitsu Masuzawa
  • Maria Potop-Butucaru
  • Masafumi Yamashita

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

Table of contents

  1. Front Matter
  2. Jons-Tobias Wamhoff, Mario Schwalbe, Rasha Faqeh, Christof Fetzer, Pascal Felber
    Pages 1-16
  3. Aravind Natarajan, Lee H. Savoie, Neeraj Mittal
    Pages 45-60
  4. Fabienne Carrier, Ajoy K. Datta, Stéphane Devismes, Lawrence L. Larmore, Yvan Rivierre
    Pages 61-73
  5. Brahim Neggazi, Volker Turau, Mohammed Haddad, Hamamache Kheddouci
    Pages 74-85
  6. Xiaoguang Xu, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita
    Pages 86-97
  7. Jeffrey Knockel, George Saad, Jared Saia
    Pages 98-112
  8. Ajoy K. Datta, Lawrence L. Larmore
    Pages 113-132
  9. Heger Arfaoui, Pierre Fraigniaud, Andrzej Pelc
    Pages 133-147
  10. Narges Fallahi, Borzoo Bonakdarpour
    Pages 148-162
  11. Alex P. Klinkhamer, Ali Ebnenasir
    Pages 163-177
  12. Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, Xavier Urbain
    Pages 178-190
  13. Evangelos Bampas, Anissa Lamani, Franck Petit, Mathieu Valero
    Pages 191-205
  14. Rizal Mohd Nor, Mikhail Nesterenko, Sébastien Tixeuil
    Pages 221-236
  15. Danny Dolev, Janne H. Korhonen, Christoph Lenzen, Joel Rybicki, Jukka Suomela
    Pages 237-250
  16. Yiyan Lin, Borzoo Bonakdarpour, Sandeep Kulkarni
    Pages 266-280
  17. Othon Michail, Ioannis Chatzigiannakis, Paul G. Spirakis
    Pages 281-295
  18. G. A. Di Luna, R. Baldoni, S. Bonomi, Ioannis Chatzigiannakis
    Pages 311-325
  19. Buddhadeb Sau, Krishnendu Mukhopadhyaya
    Pages 326-340
  20. Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
    Pages 344-347
  21. Thamer Alsulaiman, Andrew Berns, Sukumar Ghosh
    Pages 348-350
  22. Shlomi Dolev, Omri Liba, Elad M. Schiller
    Pages 351-353
  23. Thomas Petig, Elad M. Schiller, Philippas Tsigas
    Pages 354-356
  24. Fathiyeh Faghih, Borzoo Bonakdarpour
    Pages 357-359
  25. Ajoy K. Datta, Anissa Lamani, Lawrence L. Larmore, Franck Petit
    Pages 363-366
  26. Taisuke Izumi, Hironobu Kanzaki
    Pages 367-369
  27. Koichi Ito, Yoshiaki Katayama, Koichi Wada, Naohisa Takahashi
    Pages 373-375
  28. Gerry Siegemund, Volker Turau, Christoph Weyer, Stefan Lohs, Jörg Nolte
    Pages 376-378
  29. Back Matter

About these proceedings


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.


dynamic networks game theory mobile computing model checking wireless sensor networks

Editors and affiliations

  • Teruo Higashino
    • 1
  • Yoshiaki Katayama
    • 2
  • Toshimitsu Masuzawa
    • 3
  • Maria Potop-Butucaru
    • 4
  • Masafumi Yamashita
    • 5
  1. 1.Graduate School of Information Science and TechnologyOsaka UniversitySuitaJapan
  2. 2.Nagoya Institute of TechnologyNagoyaJapan
  3. 3.Graduate School of Information Science and TechnologyOsaka UniversityJapan
  4. 4.LIP6University Paris 6ParisFrance
  5. 5.Kyushu UniversityFukuokaJapan

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2013
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-03088-3
  • Online ISBN 978-3-319-03089-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment