Skip to main content
  • Conference proceedings
  • © 2019

Networked Systems

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

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

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

Conference series link(s): NETYS: International Conference on Networked Systems

Conference proceedings info: NETYS 2019.

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-31277-0
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 79.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (25 papers)

  1. Front Matter

    Pages i-xix
  2. Invited Papers

    1. Front Matter

      Pages 1-1
    2. Dynamic Partial Order Reduction Under the Release-Acquire Semantics (Tutorial)

      • Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Tuan Phong Ngo
      Pages 3-18
    3. On the Complexity of Fault-Tolerant Consensus

      • Dariusz R. Kowalski, Jarosław Mirek
      Pages 19-31
  3. Formal Verification

    1. Front Matter

      Pages 33-33
    2. Checking Causal Consistency of Distributed Databases

      • Rachid Zennou, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi
      Pages 35-51
    3. Liveness in Broadcast Networks

      • Peter Chini, Roland Meyer, Prakash Saivasan
      Pages 52-66
    4. Formal Verification of UML State Machine Diagrams Using Petri Nets

      • Achraf Lyazidi, Salma Mouline
      Pages 67-74
    5. Synthesize Models for Quantitative Analysis Using Automata Learning

      • Yu-Fang Chen, Hsiao-Chen Chung, Wen-Chi Hung, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
      Pages 75-92
    6. Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots

      • 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. Self-stabilizing Snapshot Objects for Asynchronous Failure-Prone Networked Systems

      • Chryssis Georgiou, Oskar Lundström, Elad Michael Schiller
      Pages 113-130
    3. Self-stabilization Overhead: A Case Study on Coded Atomic Storage

      • Chryssis Georgiou, Robert Gustafsson, Andreas Lindhé, Elad Michael Schiller
      Pages 131-147
    4. Dissecting Tendermint

      • Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci-Piergiovanni
      Pages 166-182
    5. CUDA-DTM: Distributed Transactional Memory for GPU Clusters

      • Samuel Irving, Sui Chen, Lu Peng, Costas Busch, Maurice Herlihy, Christopher J. Michael
      Pages 183-199
    6. Towards Synthesis of Distributed Algorithms with SMT Solvers

      • Carole Delporte-Gallet, Hugues Fauconnier, Yan Jurski, François Laroussinie, Arnaud Sangnier
      Pages 200-216
    7. Recoverable Mutual Exclusion with Abortability

      • Prasad Jayanti, Anup Joshi
      Pages 217-232
  5. Security

    1. Front Matter

      Pages 233-233

Other Volumes

  1. Networked Systems

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

About this book

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

  • Uppsala University, Uppsala, Sweden

    Mohamed Faouzi Atig

  • Augusta University, Augusta, USA

    Alexander A. Schwarzmann

Bibliographic Information

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-31277-0
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 79.99
Price excludes VAT (USA)