Skip to main content
SpringerLink
Log in

Networked Systems

8th International Conference, NETYS 2020, Marrakech, Morocco, June 3–5, 2020, Proceedings

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Chryssis Georgiou

    1. University of Cyprus, Nicosia, Cyprus

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Rupak Majumdar

    1. Max Planck Institute for Software Systems, Kaiserslautern, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Computer Communication Networks and Telecommunications (LNCCN)

Included in the following conference series:

Conference proceedings info: NETYS 2020.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (25 papers)

  1. Front Matter

    Pages i-xvii
    Download chapter PDF

  2. Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. On Network Topologies and the Decidability of Reachability Problem

      • C. Aiswarya
      Pages 3-10

    3. Hide Me: Enabling Location Privacy in Heterogeneous Vehicular Networks

      • Tobias Meuser, Oluwasegun Taiwo Ojo, Daniel Bischoff, Antonio Fernández Anta, Ioannis Stavrakakis, Ralf Steinmetz
      Pages 11-27

    4. Blockchains and the Commons

      • Maria Potop-Butucaru
      Pages 28-44

  3. Regular Papers

    1. Front Matter

      Pages 45-45
      Download chapter PDF

    2. On the State Reachability Problem for Concurrent Programs Under Power

      • Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Egor Derevenetc, Carl Leonardsson, Roland Meyer
      Pages 47-59

    3. On the Encoding and Solving of Partial Information Games

      • Yackolley Amoussou-Guenou, Souheib Baarir, Maria Potop-Butucaru, Nathalie Sznajder, Léo Tible, Sébastien Tixeuil
      Pages 60-76

    4. Efficient Concurrent Execution of Smart Contracts in Blockchains Using Object-Based Transactional Memory

      • Parwat Singh Anjana, Hagit Attiya, Sweta Kumari, Sathya Peri, Archit Somani
      Pages 77-93

    5. Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution

      • Boutheina Bannour, Arnault Lapitre, Pascale Le Gall
      Pages 94-111

    6. Broadcasting Information in Multi-hop Networks Prone to Mobile Byzantine Faults

      • Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
      Pages 112-128

    7. Infinite Grid Exploration by Disoriented Robots

      • Quentin Bramas, Stéphane Devismes, Pascal Lafourcade
      Pages 129-145

    8. Wireless Broadcast with Short Labels

      • Gewu Bu, Maria Potop-Butucaru, Mikaël Rabie
      Pages 146-169

    9. The Imitation Game: Algorithm Selection by Exploiting Black-Box Recommenders

      • Georgios Damaskinos, Rachid Guerraoui, Erwan Le Merrer, Christoph Neumann
      Pages 170-182

    10. Byzantine k-Set Agreement

      • Carole Delporte-Gallet, Hugues Fauconnier, Mouna Safir
      Pages 183-191

    11. Fissile Locks

      • Dave Dice, Alex Kogan
      Pages 192-208

    12. Verifying Safety of Parameterized Heard-Of Algorithms

      • Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
      Pages 209-226

    13. Staleness and Local Progress in Transactional Memory

      • Hagit Attiya, Panagiota Fatourou, Sandeep Hans, Eleni Kanellou
      Pages 227-243

    14. Generic Framework for Optimization of Local Dissemination in Wireless Networks

      • Dariusz R. Kowalski, Miguel A. Mosteiro, Krutika Wadhwa
      Pages 244-260

    15. Verifying Weakly Consistent Transactional Programs Using Symbolic Execution

      • Burcu Kulahcioglu Ozkan
      Pages 261-278
Back to top

Other volumes

  1. Networked Systems

Keywords

About this book

This book constitutes the revised selected papers of the 8th International Conference on Networked Systems, NETYS 2020, held in Marrakech, Morocco, in June 2020.*

The 18 revised full papers and 4 short papers presented together with 3 invited papers were carefully reviewed and selected from 46 submissions. The papers cover all aspects related to the design and the development of these systems, including, but not restricted to, concurrent and distributed algorithms, parallel/concurrent/distributed programming, multi-core architectures, formal verification, distributed databases, cloud systems, networks, security, formal verification, etc.

*The conference was held virtually due to the COVID-19 pandemic.

Editors and Affiliations

  • University of Cyprus, Nicosia, Cyprus

    Chryssis Georgiou

  • Max Planck Institute for Software Systems, Kaiserslautern, Germany

    Rupak Majumdar

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation