Accepted papers & Videos presentations

Authors Talks are Available on the NETYS2020 Youtube Channel

Regular papers:

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Egor Derevenetc, Carl Leonardsson and Roland Meyer. Safety Verification under Power (Talk comming soon)

Yackolley Amoussou-Guenou, Souheib Baarir, Maria Potop-Butucaru, Nathalie Sznajder, Léo Tible and Sebastien Tixeuil. On the Encoding and Solving of Partial Information Games (Video Link)

Parwat Singh Anjana, Hagit Attiya, Sweta Kumari, Sathya Peri and Archit Somani. Efficient Concurrent Execution of Smart Contracts in Blockchains using Object-based Transactional Memory (Video Link)

Boutheina Bannour, Arnault Lapitre and Pascale Le Gall. Exploring IoT Trickle-based Dissemination using Timed Model-checking and Symbolic Execution (Video Link)

Silvia Bonomi, Giovanni Farina and Sebastien Tixeuil. Broadcasting Information in Multi-hop Networks prone to Mobile Byzantine Failures (Video Link)

Quentin Bramas, Stéphane Devismes and Pascal Lafourcade. Infinite Grid Exploration by Disoriented Robots (Video Link)

Gewu Bu, Maria Potop-Butucaru and Mikaël Rabie. Wireless Broadcast with short labels (Video Link)

Georgios Damaskinos, Rachid Guerraoui, Erwan Le Merrer and Christoph Neumann. The Imitation Game: Algorithm Selection by Exploiting Black-Box Recommenders (Video Link)

Carole Delporte-Gallet, Hugues Fauconnier and Safir Mouna. Byzantine k-set agreement (Video Link)

Dave Dice and Alex Kogan. Fissile Locks (Video Link)

Zeinab Ganjei, Ahmed Rezine, Petru Eles and Zebo Peng. Verify Safety of Parameterized Heard-Of Algorithms (Video Link)

Eleni Kanellou, Hagit Attiya, Panagiota Fatourou and Sandeep Hans. Staleness and Local Progress in Transactional Memory (Video Link)

Dariusz Kowalski, Miguel A. Mosteiro and Krutika Wadhwa. Generic Framework for Optimization of Local Dissemination in Wireless Networks (Video Link)

Burcu Kulahcioglu Ozkan. Verifying Weakly Consistent Transactional Programs using Symbolic Execution (Video Link)

Paolo Laffranchini, Luis Rodrigues, Etienne Riviere, Ramin Sadre, Nuno Machado and Joao Miranda. NetSheriff: sheltering software-defined networks from rogue switches (Video Link)

Oskar Lundström, Michel Raynal and Elad Michael Schiller. Self-stabilizing Uniform Reliable Broadcast (Video Link)

Michel Raynal and Gadi Taubenfeld. Fully Anonymous Consensus and Set Agreement Algorithms (Video Link)

Thanh-Hai Tran, Igor Konnov and Josef Widder. Cutoffs for symmetric point-to-point distributed algorithms (Video Link)

Short papers:

François Bonnet, Quentin Bramas and Xavier Défago. Stateless Distributed Ledgers (Video Link)

Vicent Cholvi, Juan Echague, Antonio Fernandez Anta and Christopher Thraves Caro. Stability Under Adversarial Injection of Dependent Tasks (Extended Abstract) (Video Link)

Driss El Alaoui, Jamal Riffi, Aghoutane Badraddine, Abdelouahed Sabri, Yahyaouy Ali and Hamid Tairi. Collaborative filtering: comparative study between Matrix Factorization and Neural Network method (Video Link)

Andres Sevilla and Antonio Fernandez Anta. Routing in Generalized Geometric Inhomogeneous Random Graphs (Video Link)