Advertisement

Networked Systems

6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers

  • Andreas Podelski
  • François Taïani
Conference proceedings NETYS 2018

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

Also part of the Computer Communication Networks and Telecommunications book sub series (LNCCN, volume 11028)

Table of contents

  1. Front Matter
    Pages I-XXXIII
  2. Invited Paper

    1. Front Matter
      Pages 1-1
  3. Distribution

    1. Front Matter
      Pages 17-17
    2. Antonio Fernández Anta, Chryssis Georgiou, Kishori Konwar, Nicolas Nicolaou
      Pages 19-35
    3. Rachid Guerraoui, Jingjing Wang
      Pages 36-50
    4. Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay
      Pages 67-84
    5. Masashi Tsuchida, Fukuhito Ooshita, Michiko Inoue
      Pages 85-99
  4. Concurency

    1. Front Matter
      Pages 105-105
    2. Vitaly Aksenov, Petr Kuznetsov, Anatoly Shalyto
      Pages 107-121
    3. Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Nayuta Yanagisawa
      Pages 141-156
    4. Chryssis Georgiou, Theophanis Hadjistasi, Nicolas Nicolaou, Alexander A. Schwarzmann
      Pages 175-190
    5. Prasad Jayanti, Siddhartha Jayanti, Anup Joshi
      Pages 191-206
  5. Verification

    1. Front Matter
      Pages 207-207
    2. Sylvain Conchon, Giorgio Delzanno, Angelo Ferrando
      Pages 209-224
    3. Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Rajarshi Roy
      Pages 225-239
    4. Marcio Diaz, Tayssir Touili
      Pages 240-251
  6. Networking

    1. Front Matter
      Pages 253-253
    2. Youssef Baddi, Mohamed Dafir Ech-cherif El Kettani
      Pages 255-269
    3. Driss Ait Omar, Mohamed El Amrani, Mohamed Baslam, Mohamed Fakir
      Pages 270-285
    4. Hamid Garmani, M’hamed Outanoute, Mohamed Baslam, Mostafa Jourhmane
      Pages 286-300
  7. Self-Stabilization

    1. Front Matter
      Pages 301-301
    2. Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil
      Pages 303-317
  8. Security

    1. Front Matter
      Pages 341-341
    2. Sébastien Vaucher, Valerio Schiavoni, Pascal Felber
      Pages 358-363
    3. Ayidh Alharbi, Tahar M. Kechadi
      Pages 364-368
  9. Graph

    1. Front Matter
      Pages 369-369
    2. Meryam Zeryouh, Mohamed El Marraki, Mohamed Essalih
      Pages 371-381
  10. Middleware

    1. Front Matter
      Pages 389-389
  11. Back Matter
    Pages 411-412

About these proceedings

Introduction

This book constitutes the thoroughly refereed conference proceedings of the 6th International Conference on Networked Systems, NETYS 2018, held in Essaouira, Morocco, in May 2018.

The 22 full and 6 short papers presented together with 11 keynotes and 2 invited papers were carefully reviewed and selected from 85 submissions. They are organized in the following topics: distribution; concurrency; verification; networking; self-stabilization; security; graph; and middleware.


Keywords

distributed algorithms distributed omputer systems verification security middleware self-stabilization networking concurrent systems computer networks computer architecture semantics microprocessor chips telecommunication networks data security telecommunication traffic software engineering cryptography multicasting peer to peer networks

Editors and affiliations

  1. 1.Universität FreiburgFreiburgGermany
  2. 2.University of Rennes 1RennesFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-05529-5
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-05528-8
  • Online ISBN 978-3-030-05529-5
  • 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
Engineering