© 2013

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
Conference proceedings SSS 2013

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

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

Industry Sectors
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences