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

Front Matter ....Pages i-xix
Front Matter ....Pages 1-1
 Dynamic Partial Order Reduction Under the Release-Acquire Semantics (Tutorial)  (Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Tuan Phong Ngo)....Pages 3-18
 On the Complexity of Fault-Tolerant Consensus  (Dariusz R. Kowalski, Jarosław Mirek)....Pages 19-31
Front Matter ....Pages 33-33
 Checking Causal Consistency of Distributed Databases  (Rachid Zennou, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi)....Pages 35-51
 Liveness in Broadcast Networks  (Peter Chini, Roland Meyer, Prakash Saivasan)....Pages 52-66
 Formal Verification of UML State Machine Diagrams Using Petri Nets  (Achraf Lyazidi, Salma Mouline)....Pages 67-74
 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
 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
Front Matter ....Pages 111-111
 Self-stabilizing Snapshot Objects for Asynchronous Failure-Prone Networked Systems  (Chryssis Georgiou, Oskar Lundström, Elad Michael Schiller)....Pages 113-130
 Self-stabilization Overhead: A Case Study on Coded Atomic Storage  (Chryssis Georgiou, Robert Gustafsson, Andreas Lindhé, Elad Michael Schiller)....Pages 131-147
 StakeCube: Combining Sharding and Proof-of-Stake to Build Fork-Free Secure Permissionless Distributed Ledgers  (Antoine Durand, Emmanuelle Anceaume, Romaric Ludinard)....Pages 148-165
 Dissecting Tendermint  (Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci-Piergiovanni)....Pages 166-182
 CUDA-DTM: Distributed Transactional Memory for GPU Clusters  (Samuel Irving, Sui Chen, Lu Peng, Costas Busch, Maurice Herlihy, Christopher J. Michael)....Pages 183-199
 Towards Synthesis of Distributed Algorithms with SMT Solvers  (Carole Delporte-Gallet, Hugues Fauconnier, Yan Jurski, François Laroussinie, Arnaud Sangnier)....Pages 200-216
 Recoverable Mutual Exclusion with Abortability  (Prasad Jayanti, Anup Joshi)....Pages 217-232
Front Matter ....Pages 233-233
 An Efficient Network IDS for Cloud Environments Based on a Combination of Deep Learning and an Optimized Self-adaptive Heuristic Search Algorithm  (Zouhair Chiba, Noreddine Abghour, Khalid Moussaid, Amina El Omri, Mohamed Rida)....Pages 235-249
 Efficient Security Policy Management Using Suspicious Rules Through Access Log Analysis  (Maryem Ait El Hadj, Ahmed Khoumsi, Yahya Benkaouz, Mohammed Erradi)....Pages 250-266
 A Vaccination Game for Mitigation Active Worms Propagation in P2P Networks  (Mohamed Amine Rguibi, Najem Moussa)....Pages 267-274
 How to Choose Its Parents in the Tangle  (Vidal Attias, Quentin Bramas)....Pages 275-280
 Bitcoin Security with Post Quantum Cryptography  (Meryem Cherkaoui Semmouni, Abderrahmane Nitaj, Mostafa Belkasmi)....Pages 281-288
Front Matter ....Pages 289-289
 Achieving Starvation-Freedom in Multi-version Transactional Memory Systems  (Ved P. Chaudhary, Chirag Juyal, Sandeep Kulkarni, Sweta Kumari, Sathya Peri)....Pages 291-310
 Mutex-Based De-anonymization of an Anonymous Read/Write Memory  (Emmanuel Godard, Damien Imbs, Michel Raynal, Gadi Taubenfeld)....Pages 311-326
 A Pragmatic Non-blocking Concurrent Directed Acyclic Graph  (Sathya Peri, Muktikanta Sa, Nandini Singhal)....Pages 327-344
Front Matter ....Pages 345-345
 The Fake News Vaccine  (Oana Balmau, Rachid Guerraoui, Anne-Marie Kermarrec, Alexandre Maurer, Matej Pavlovic, Willy Zwaenepoel)....Pages 347-364
 Distributed Online Data Aggregation in Dynamic Graphs  (Quentin Bramas, Toshimitsu Masuzawa, Sébastien Tixeuil)....Pages 365-380
 A Multi-criteria Group Decision Making Method for Big Data Storage Selection  (Jabrane Kachaoui, Abdessamad Belangour)....Pages 381-386
Back Matter ....Pages 387-388