Advertisement

Stabilization, Safety, and Security of Distributed Systems

13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings

  • Xavier Défago
  • Franck Petit
  • Vincent Villain
Conference proceedings SSS 2011

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

Table of contents

  1. Front Matter
  2. Nicola Santoro
    Pages 4-4
  3. H. B. Acharya, Taehwan Choi, Rida A. Bazzi, Mohamed G. Gouda
    Pages 5-18
  4. Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil
    Pages 19-31
  5. Roberto Baldoni, Silvia Bonomi, Amir Soltani Nezhad
    Pages 32-46
  6. Joffroy Beauquier, Peva Blanchard, Janna Burman, Sylvie Delaët
    Pages 47-61
  7. Andrew Berns, Sukumar Ghosh, Sriram V. Pemmaraju
    Pages 62-76
  8. Borzoo Bonakdarpour, Sandeep S. Kulkarni
    Pages 77-91
  9. Zohir Bouzid, Anissa Lamani
    Pages 92-107
  10. Hagit Attiya, Armando Castañeda
    Pages 108-119
  11. Bernadette Charron-Bost, Henri Debrat, Stephan Merz
    Pages 120-134
  12. Ioannis Chatzigiannakis, Othon Michail, Stavros Nikolaou, Paul G. Spirakis
    Pages 135-147
  13. Ajoy K. Datta, Stéphane Devismes, Lawrence L. Larmore, Yvan Rivierre
    Pages 148-162
  14. Danny Dolev, Matthias Függer, Christoph Lenzen, Ulrich Schmid
    Pages 163-177
  15. M. C. Dourado, L. D. Penso, D. Rautenbach, J. L. Szwarcfiter
    Pages 178-192
  16. Davide Frey, Arnaud Jégou, Anne-Marie Kermarrec
    Pages 193-207
  17. Christian Gorecki, Felix C. Freiling, Marc Kührer, Thorsten Holz
    Pages 208-222
  18. Ofer Hermoni, Niv Gilboa, Eyal Felstaine, Yuval Elovici, Shlomi Dolev
    Pages 223-237
  19. Mohamed M. Saad, Binoy Ravindran
    Pages 238-252
  20. Tatsuro Iida, Atsuko Miyaji, Kazumasa Omote
    Pages 253-267
  21. Andreas Klappenecker, Hyunyoung Lee, Jennifer L. Welch
    Pages 296-310
  22. Sven Köhler, Volker Turau
    Pages 311-325
  23. William Leal, Micah McCreery, Daniel Faria
    Pages 326-340
  24. Achour Mostéfaoui, Michel Raynal, Julien Stainer
    Pages 341-355
  25. Rizal Mohd Nor, Mikhail Nesterenko, Christian Scheideler
    Pages 356-370
  26. Marc Shapiro, Nuno Preguiça, Carlos Baquero, Marek Zawirski
    Pages 386-400
  27. Dominique Méry, Neeraj Kumar Singh
    Pages 401-415
  28. Andréa Richa, Christian Scheideler, Phillip Stevens
    Pages 416-430
  29. H. B. Acharya, Anil K. Katti, Mohamed G. Gouda
    Pages 431-432
  30. Richard Anthony, Mariusz Pelc, Haffiz Suahib
    Pages 435-436
  31. Roberto Beraldi, Adriano Cerocchi, Fabio Papale, Leonardo Querzoni
    Pages 437-438
  32. Jacek Cichoń, Rafał Kapelko, Karol Marchwicki
    Pages 439-440
  33. Ajoy K. Datta, A. -M. Kermarrec, Lawrence L. Larmore, E. Le Merrer
    Pages 441-442
  34. Ajoy K. Datta, Stéphane Devismes, Lawrence L. Larmore
    Pages 443-444
  35. Yonghwan Kim, Tadashi Araragi, Junya Nakamura, Toshimitsu Masuzawa
    Pages 445-446
  36. Björn Saballus, Stephan-Alexander Posselt, Thomas Fuhrmann
    Pages 447-448
  37. Back Matter

About these proceedings

Introduction

This book constitutes the proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2011, held in Grenoble, France, in October 2011.
The 29 papers presented were carefully reviewed and selected from 79 submissions. They cover the following areas: ad-hoc, sensor, and peer-to-peer networks; safety and verification; security; self-organizing and autonomic systems; and self-stabilization.

Keywords

dynamic networks fault-tolerance formal methods reactive systems zero-knowledge

Editors and affiliations

  • Xavier Défago
    • 1
  • Franck Petit
    • 2
  • Vincent Villain
    • 3
  1. 1.School of Information ScienceJapan Advanced Institute of Science and Technology (JAIST)IshikawaJapan
  2. 2.LIP6/INRIA/UPMC Sorbonne UniversitiesParisFrance
  3. 3.University of Picardie Jules VernePicardieFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-24550-3
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-24549-7
  • Online ISBN 978-3-642-24550-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering