default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th NETYS 2019: Marrakech, Morocco
- Mohamed Faouzi Atig, Alexander A. Schwarzmann
:
Networked Systems - 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papers. Lecture Notes in Computer Science 11704, Springer 2019, ISBN 978-3-030-31276-3
Invited Papers
- Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Tuan Phong Ngo:
Dynamic Partial Order Reduction Under the Release-Acquire Semantics (Tutorial). 3-18 - Dariusz R. Kowalski, Jaroslaw Mirek:
On the Complexity of Fault-Tolerant Consensus. 19-31
Formal Verification
- Rachid Zennou, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi:
Checking Causal Consistency of Distributed Databases. 35-51 - Peter Chini, Roland Meyer, Prakash Saivasan:
Liveness in Broadcast Networks. 52-66 - Achraf Lyazidi, Salma Mouline:
Formal Verification of UML State Machine Diagrams Using Petri Nets. 67-74 - Yu-Fang Chen, Hsiao-chen Chung, Wen-Chi Hung, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang:
Synthesize Models for Quantitative Analysis Using Automata Learning. 75-92 - Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain:
Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots. 93-109
Distributed Systems
- Chryssis Georgiou, Oskar Lundström, Elad Michael Schiller:
Self-stabilizing Snapshot Objects for Asynchronous Failure-Prone Networked Systems. 113-130 - Chryssis Georgiou, Robert Gustafsson, Andreas Lindhé, Elad Michael Schiller:
Self-stabilization Overhead: A Case Study on Coded Atomic Storage. 131-147 - Antoine Durand, Emmanuelle Anceaume, Romaric Ludinard:
StakeCube: Combining Sharding and Proof-of-Stake to Build Fork-Free Secure Permissionless Distributed Ledgers. 148-165 - Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci Piergiovanni:
Dissecting Tendermint. 166-182 - Samuel Irving, Sui Chen, Lu Peng, Costas Busch, Maurice Herlihy, Christopher J. Michael:
CUDA-DTM: Distributed Transactional Memory for GPU Clusters. 183-199 - Carole Delporte-Gallet, Hugues Fauconnier, Yan Jurski, François Laroussinie, Arnaud Sangnier:
Towards Synthesis of Distributed Algorithms with SMT Solvers. 200-216 - Prasad Jayanti, Anup Joshi:
Recoverable Mutual Exclusion with Abortability. 217-232
Security
- Zouhair Chiba, Noreddine Abghour, Khalid Moussaid, Amina El Omri, Mohamed Rida:
An Efficient Network IDS for Cloud Environments Based on a Combination of Deep Learning and an Optimized Self-adaptive Heuristic Search Algorithm. 235-249 - Maryem Ait El Hadj, Ahmed Khoumsi, Yahya Benkaouz, Mohammed Erradi:
Efficient Security Policy Management Using Suspicious Rules Through Access Log Analysis. 250-266 - Mohamed Amine Rguibi, Najem Moussa:
A Vaccination Game for Mitigation Active Worms Propagation in P2P Networks. 267-274 - Vidal Attias, Quentin Bramas:
How to Choose Its Parents in the Tangle. 275-280 - Meryem Cherkaoui Semmouni, Abderrahmane Nitaj, Mostafa Belkasmi:
Bitcoin Security with Post Quantum Cryptography. 281-288
Concurrency
- Ved Prakash Chaudhary, Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri:
Achieving Starvation-Freedom in Multi-version Transactional Memory Systems. 291-310 - Emmanuel Godard, Damien Imbs, Michel Raynal, Gadi Taubenfeld:
Mutex-Based De-anonymization of an Anonymous Read/Write Memory. 311-326 - Sathya Peri, Muktikanta Sa, Nandini Singhal:
A Pragmatic Non-blocking Concurrent Directed Acyclic Graph. 327-344
Networks
- Oana Balmau, Rachid Guerraoui, Anne-Marie Kermarrec, Alexandre Maurer, Matej Pavlovic, Willy Zwaenepoel:
The Fake News Vaccine - A Content-Agnostic System for Preventing Fake News from Becoming Viral. 347-364 - Quentin Bramas, Toshimitsu Masuzawa, Sébastien Tixeuil:
Distributed Online Data Aggregation in Dynamic Graphs. 365-380 - Jabrane Kachaoui, Abdessamad Belangour:
A Multi-criteria Group Decision Making Method for Big Data Storage Selection. 381-386
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-04 11:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
