default search action

combined dblp search
author search
venue search
publication search

ask others

9th NETYS 2021: Virtual Event

> Home > Conferences and Workshops > NETYS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/netys/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/2021
Karima Echihabi, Roland Meyer:
Networked Systems - 9th International Conference, NETYS 2021, Virtual Event, May 19-21, 2021, Proceedings. Lecture Notes in Computer Science 12754, Springer 2021, ISBN 978-3-030-91013-6

Distributed Systems

- view
  authority control:
- export record
  dblp key:
  - conf/netys/YanakievaYRB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/YanakievaYRB21
Elena Yanakieva, Michael Youssef, Ahmad Hussein Rezae, Annette Bieniusa:
On the Impossibility of Confidentiality, Integrity and Accessibility in Highly-Available File Systems. 3-18
- view
  authority control:
- export record
  dblp key:
  - conf/netys/OglioHSN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/OglioHSN21
Joseph Oglio, Kendric Hood, Gokarna Sharma, Mikhail Nesterenko:
Byzantine Geoconsensus. 19-35
- view
  authority control:
- export record
  dblp key:
  - conf/netys/GeorgiouMRS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/GeorgiouMRS21
Chryssis Georgiou, Ioannis Marcoullis, Michel Raynal, Elad Michael Schiller:
Loosely-self-stabilizing Byzantine-Tolerant Binary Consensus for Signature-Free Message-Passing Systems. 36-53
- view
  authority control:
- export record
  dblp key:
  - conf/netys/LopezRRV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/LopezRRV21
Carlos López, Sergio Rajsbaum, Michel Raynal, Karla Vargas:
Leader Election in Arbitrarily Connected Networks with Process Crashes and Weak Channel Reliability. 54-70
- view
  authority control:
- export record
  dblp key:
  - conf/netys/KarlosFF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/KarlosFF21
Georgios Karlos, Wan J. Fokkink, Per Fuchs:
Fault-Tolerant Termination Detection with Safra's Algorithm. 71-87
- view
  authority control:
- export record
  dblp key:
  - conf/netys/BayramzadehKMS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/BayramzadehKMS21
Zahra Bayramzadeh, Ajay D. Kshemkalyani, Anisur Rahaman Molla, Gokarna Sharma:
Weak Amnesiac Flooding of Multiple Messages. 88-94
- view
  authority control:
- export record
  dblp key:
  - conf/netys/RauchBDLL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/RauchBDLL21
Arthur Rauch, Quentin Bramas, Stéphane Devismes, Pascal Lafourcade, Anissa Lamani:
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots Without Common Chirality. 95-110
- view
  authority control:
- export record
  dblp key:
  - conf/netys/PiletFT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/PiletFT21
Amaury Bouchra Pilet, Davide Frey, François Taïani:
AUCCCR: Agent Utility Centered Clustering for Cooperation Recommendation. 111-125

Blockchain

- view
  authority control:
- export record
  dblp key:
  - conf/netys/AbeggBN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/AbeggBN21
Jean-Philippe Abegg, Quentin Bramas, Thomas Noël:
Blockchain Using Proof-of-Interaction. 129-143
- view
  authority control:
- export record
  dblp key:
  - conf/netys/AbidBK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/AbidBK21
Imane El Abid, Yahya Benkaouz, Ahmed Khoumsi:
LighTx: A Lightweight Proof-of-Bandwidth Transactions Transfer System. 144-160
- view
  authority control:
- export record
  dblp key:
  - conf/netys/Bramas21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/Bramas21
Quentin Bramas:
Efficient and Secure TSA for the Tangle. 161-166

Verification

- view
  authority control:
- export record
  dblp key:
  - conf/netys/DietschHHNP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/DietschHHNP21
Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski:
Separating Map Variables in a Logic-Based Intermediate Verification Language. 169-186
- view
  authority control:
- export record
  dblp key:
  - conf/netys/ChiniF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/ChiniF21
Peter Chini, Florian Furbach:
Petri Net Invariant Synthesis. 187-205
- view
  authority control:
- export record
  dblp key:
  - conf/netys/HruskaH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/HruskaH21
Martin Hruska, Lukás Holík:
Towards Efficient Shape Analysis with Tree Automata. 206-214
- view
  authority control:
- export record
  dblp key:
  - conf/netys/HavlenaLS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/HavlenaLS21
Vojtech Havlena, Ondrej Lengál, Barbora Smahlíková:
Deciding S1S: Down the Rabbit Hole and Through the Looking Glass. 215-222
- view
  authority control:
- export record
  dblp key:
  - conf/netys/Kokologiannakis21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/Kokologiannakis21
Michalis Kokologiannakis, Viktor Vafeiadis:
BAM: Efficient Model Checking for Barriers. 223-239
- view
  authority control:
- export record
  dblp key:
  - conf/netys/OberhauserOPBFV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/OberhauserOPBFV21
Jonas Oberhauser, Lilith Oberhauser, Antonio Paolillo, Diogo Behrens, Ming Fu, Viktor Vafeiadis:
Verifying and Optimizing the HMCS Lock for Arm Servers. 240-260

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.