Advertisement

Networked Systems

7th International Conference, NETYS 2019, Marrakech, Morocco, June 19–21, 2019, Revised Selected Papers

  • Mohamed Faouzi Atig
  • Alexander A. Schwarzmann
Conference proceedings NETYS 2019

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

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

Table of contents

  1. Front Matter
    Pages i-xix
  2. Invited Papers

    1. Front Matter
      Pages 1-1
    2. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Tuan Phong Ngo
      Pages 3-18
    3. Dariusz R. Kowalski, Jarosław Mirek
      Pages 19-31
  3. Formal Verification

    1. Front Matter
      Pages 33-33
    2. Rachid Zennou, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi
      Pages 35-51
    3. Peter Chini, Roland Meyer, Prakash Saivasan
      Pages 52-66
    4. Achraf Lyazidi, Salma Mouline
      Pages 67-74
    5. Yu-Fang Chen, Hsiao-Chen Chung, Wen-Chi Hung, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
      Pages 75-92
    6. Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
      Pages 93-109
  4. Distributed Systems

    1. Front Matter
      Pages 111-111
    2. Chryssis Georgiou, Oskar Lundström, Elad Michael Schiller
      Pages 113-130
    3. Chryssis Georgiou, Robert Gustafsson, Andreas Lindhé, Elad Michael Schiller
      Pages 131-147
    4. Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci-Piergiovanni
      Pages 166-182
    5. Samuel Irving, Sui Chen, Lu Peng, Costas Busch, Maurice Herlihy, Christopher J. Michael
      Pages 183-199
    6. Carole Delporte-Gallet, Hugues Fauconnier, Yan Jurski, François Laroussinie, Arnaud Sangnier
      Pages 200-216
    7. Prasad Jayanti, Anup Joshi
      Pages 217-232
  5. Security

    1. Front Matter
      Pages 233-233
    2. Maryem Ait El Hadj, Ahmed Khoumsi, Yahya Benkaouz, Mohammed Erradi
      Pages 250-266
    3. Mohamed Amine Rguibi, Najem Moussa
      Pages 267-274
    4. Vidal Attias, Quentin Bramas
      Pages 275-280
    5. Meryem Cherkaoui Semmouni, Abderrahmane Nitaj, Mostafa Belkasmi
      Pages 281-288
  6. Concurrency

    1. Front Matter
      Pages 289-289
    2. Ved P. Chaudhary, Chirag Juyal, Sandeep Kulkarni, Sweta Kumari, Sathya Peri
      Pages 291-310
    3. Emmanuel Godard, Damien Imbs, Michel Raynal, Gadi Taubenfeld
      Pages 311-326
    4. Sathya Peri, Muktikanta Sa, Nandini Singhal
      Pages 327-344
  7. Networks

    1. Front Matter
      Pages 345-345
    2. Oana Balmau, Rachid Guerraoui, Anne-Marie Kermarrec, Alexandre Maurer, Matej Pavlovic, Willy Zwaenepoel
      Pages 347-364
    3. Quentin Bramas, Toshimitsu Masuzawa, Sébastien Tixeuil
      Pages 365-380
    4. Jabrane Kachaoui, Abdessamad Belangour
      Pages 381-386
  8. Back Matter
    Pages 387-388

About these proceedings

Introduction

This book constitutes the revised selected papers of the 7th International Conference on Networked Systems, NETYS 2019, held in Marrakech, Morocco, in June 2019. The 23 revised full papers and 3 short papers presented were carefully reviewed and selected from 60 submissions. The papers are organized in the following topics: formal verification, distributed systems, security, concurrency, and networks.

Keywords

artificial intelligence authentication cryptography data security databases distributed algorithm distributed computer systems graph theory microprocessor chips model checking multi core network security parallel algorithms parallel processing systems parallel programming self-stabilization shared memories software engineering software evaluation transactional memory

Editors and affiliations

  1. 1.Uppsala UniversityUppsalaSweden
  2. 2.Augusta UniversityAugustaUSA

Bibliographic information

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