© 2016

Networked Systems

4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers

  • Parosh Aziz Abdulla
  • Carole Delporte-Gallet
Conference proceedings NETYS 2016

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

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Muqeet Ali, Rezwana Reaz, Mohamed G. Gouda
    Pages 1-15
  3. Raphaël P. Barazzutti, Yaroslav Hayduk, Pascal Felber, Etienne Rivière
    Pages 16-31
  4. Khaled Ben Hafaiedh, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif Viorel Onut
    Pages 32-47
  5. Yahya Benkaouz, Mohammed Erradi, Anne-Marie Kermarrec
    Pages 48-62
  6. Antoine Blin, Cédric Courtaud, Julien Sopena, Julia Lawall, Gilles Muller
    Pages 71-86
  7. Quentin Bramas, Sébastien Tixeuil
    Pages 87-101
  8. Maria Carpen-Amarie, Dave Dice, Gaël Thomas, Pascal Felber
    Pages 102-116
  9. Maitri Chakraborty, Alessia Milani, Miguel A. Mosteiro
    Pages 131-136
  10. Evgenia Christoforou, Antonio Fernández Anta, Chryssis Georgiou, Miguel A. Mosteiro
    Pages 137-153
  11. Carole Delporte-Gallet, Hugues Fauconnier
    Pages 154-168
  12. Maroua Drissi, Mohammed Oumsis, Driss Aboutajdine
    Pages 169-182
  13. Sara El Aouad, Christophe Dupuy, Renata Teixeira, Francis Bach, Christophe Diot
    Pages 193-201
  14. Asma El Hamzaoui, Hicham Bensaid, Abdeslam En-Nouaary
    Pages 202-208
  15. Oliver Jensen, Tyler O’Meara, Mohamed Gouda
    Pages 214-228
  16. Ahmed Khoumsi, Mohamed Erradi, Meryeme Ayache, Wadie Krombi
    Pages 229-243

About these proceedings


This book constitutes the refereed post-proceedings of the 4th International Conference on Networked Systems, NETYS 2016, held in Marrakech, Morocco, in May 2016.

The 22 full papers and 11 short papers presented together with 19 poster abstracts were carefully reviewed and selected from 121 submissions.They report on best practices and novel algorithms, results and techniques on networked systems and cover topics such as multi-core architectures, concurrent and distributed algorithms, parallel/concurrent/distributed programming, distributed databases, cloud systems, networks, security, and formal verification.



ant colony optimization distributed systems formal methods social networks static analysis cloud systems concurrrent algorithms encryption event-based systems fault tolerance heterogeneous network models of computation multi-core architectures program verification QoS RFID security swarm intelligence Web crawling Web-based architectures

Editors and affiliations

  • Parosh Aziz Abdulla
    • 1
  • Carole Delporte-Gallet
    • 2
  1. 1.Uppsala University UppsalaSweden
  2. 2.Université Paris Diderot ParisFrance

Bibliographic information

Industry Sectors
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences