Networked Systems

5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings

  • Amr El Abbadi
  • Benoît Garbinato
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10299)

Table of contents

  1. Front Matter
    Pages I-XVIII
  2. Networking

    1. Front Matter
      Pages 1-1
    2. Raihana Mokhlissi, Dounia Lotfi, Joyati Debnath, Mohamed El Marraki
      Pages 3-14
    3. Mohammed Gabli, Soufiane Dahmani, El Bekkaye Mermri, Abdelhafid Serghini
      Pages 15-26
    4. Hassan Faouzi, Mohamed Er-rouidi, Houda Moudni, Hicham Mouncif, Mohamed Lamsaadi
      Pages 27-39
    5. Mohamed Er-rouidi, Houda Moudni, Hassan Faouzi, Hicham Mouncif, Abdelkrim Merbouha
      Pages 40-48
  3. Distributed Algorithms

    1. Front Matter
      Pages 49-49
    2. Shlomi Dolev, Chryssis Georgiou, Ioannis Marcoullis, Elad M. Schiller
      Pages 51-68
    3. Debasish Pattanayak, Kaushik Mondal, Partha Sarathi Mandal, Stefan Schmid
      Pages 69-85
    4. Maryem Ait El Hadj, Yahya Benkaouz, Bernd Freisleben, Mohammed Erradi
      Pages 86-100
    5. Khalil Laghmari, Christophe Marsala, Mohammed Ramdani
      Pages 101-108
    6. Anne-Marie Kermarrec, Nupur Mittal, Javier Olivares
      Pages 109-114
  4. Atomicity

    1. Front Matter
      Pages 115-115
    2. Theophanis Hadjistasi, Nicolas Nicolaou, Alexander A. Schwarzmann
      Pages 117-132
    3. Egor Derevenetc, Roland Meyer, Sebastian Schweizer
      Pages 133-148
  5. Policies

    1. Front Matter
      Pages 149-149
    2. Rezwana Reaz, H. B. Acharya, Ehab S. Elmallah, Jorge A. Cobb, Mohamed G. Gouda
      Pages 151-165
    3. Meryeme Ayache, Mohammed Erradi, Bernd Freisleben, Ahmed Khoumsi
      Pages 166-171
  6. Agreement and Consensus

    1. Front Matter
      Pages 173-173
    2. Petr Kuznetsov, Thibault Rieutord
      Pages 175-190

About these proceedings

Introduction

This book constitutes the thoroughly refereed conference proceedings of the 5th International Conference on Networked Systems, NETYS 2017, held in Marrakech, Morocco, in May 2017.

The 28 full and 6 short papers presented together with 3 keynotes were carefully reviewed and selected from 81 submissions. They are organized around the following topics: networking; distributed algorithms; atomicity; security and privacy; software engineering; concurrency and specifications;  policies; agreement and consensus; clustering based techniques; verification; communication.

 

Keywords

distributed systems distributed algorithms concurrent algorithms parallel systems computer networks formal methods cloud systems concurrent algorithms event-based systems fault tolerance heterogenous networks models of computation program verification security and privacy web-based architectures software engineering self-stabilizing systems

Editors and affiliations

  1. 1.Department of Computer ScienceUniversity of California, Santa BarbaraSanta BarbaraUSA
  2. 2.Université de LausanneLausanneSwitzerland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-59647-1
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-59646-4
  • Online ISBN 978-3-319-59647-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book