Advertisement

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)

Also part of the Computer Communication Networks and Telecommunications book sub series (LNCCN, 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
    3. Armando Castañeda, Yoram Moses, Michel Raynal, Matthieu Roy
      Pages 206-221
    4. Peva Blanchard, Rachid Guerraoui, Julien Stainer, Igor Zablotchi
      Pages 222-227
  7. Clustering-Based Techniques

    1. Front Matter
      Pages 229-229
    2. Chen Avin, Louis Cohen, Stefan Schmid
      Pages 231-247
    3. Moufida Rahmani, Mahfoud Benchaïba
      Pages 248-252
  8. Verification

    1. Front Matter
      Pages 253-253
    2. Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
      Pages 255-271
    3. Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
      Pages 272-287
    4. Marcio Diaz, Tayssir Touili
      Pages 288-303
  9. Security and Privacy

    1. Front Matter
      Pages 305-305
    2. Shlomi Dolev, Daniel Khankin
      Pages 307-321
    3. Amira Soliman, Sarunas Girdzijauskas
      Pages 338-354
    4. Wafa Neji, Kaouther Blibech, Narjes Ben Rajeb
      Pages 355-369
  10. Software Engineering

    1. Front Matter
      Pages 371-371
    2. Meriem Atifi, Abdelaziz Mamouni, Abdelaziz Marzak
      Pages 373-390
    3. Rachida Hassani, Younés El Bouzekri El Idrissi, Abdellah Abouabdellah
      Pages 391-395
  11. Concurrency and Specifications

    1. Front Matter
      Pages 403-403
    2. Karolos Antoniadis, Rachid Guerraoui, Julien Stainer, Vasileios Trigonakis
      Pages 405-420
    3. Yu-Fang Chen, Chih-Duo Hong, Ondřej Lengál, Shin-Cheng Mu, Nishant Sinha, Bow-Yaw Wang
      Pages 421-438
    4. Armando Castañeda, Sergio Rajsbaum, Michel Raynal
      Pages 439-454
  12. Communication

    1. Front Matter
      Pages 455-455
    2. Driss Ait Omar, M’hamed Outanoute, Mohamed Baslam, Mohamed Fakir, Belaid Bouikhalne
      Pages 457-471
    3. Achraf Ait-Beni-Ifit, Othmane Alaoui-Fdili, Patrick Corlay, François-Xavier Coudoux, Driss Aboutajdine
      Pages 472-482
  13. Back Matter
    Pages 483-484

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
  • Buy this book on publisher's site