Elad Michael Schiller

Proceedings of the 25th International Conference on Distributed Computing and Networking, 2024

2023

Self-stabilizing Byzantine fault-tolerant repeated reliable broadcast.

[BibT_eX]

[DOI]

Theor. Comput. Sci., September, 2023

Evaluation of Open-Source Tools for Differential Privacy.

[BibT_eX]

[DOI]

Shiliang Zhang

Anton Hagermalm

Sanjin Slavnic

Magnus Almgren

Sensors, July, 2023

Towards Optimal Communication Byzantine Reliable Broadcast under a Message Adversary.

[BibT_eX]

[DOI]

François Taïani

Vassilis Zikas

CoRR, 2023

Self-stabilizing Byzantine Multivalued Consensus.

[BibT_eX]

[DOI]

CoRR, 2023

Self-Stabilizing and Private Distributed Shared Atomic Memory in Seldomly Fair Message Passing Networks.

[BibT_eX]

[DOI]

Algorithmica, 2023

Self-stabilizing Byzantine-Tolerant Recycling.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2023

2022

<i>Renaissance</i>: A self-stabilizing distributed SDN control plane using in-band communications.

[BibT_eX]

[DOI]

Marco Canini

Liron Schiff

Stefan Schmid

J. Comput. Syst. Sci., 2022

Self-stabilizing Total-order Broadcast.

[BibT_eX]

[DOI]

CoRR, 2022

Self-stabilizing Byzantine-tolerant Broadcast.

[BibT_eX]

[DOI]

CoRR, 2022

Brief Announcement: Self-stabilizing Total-Order Broadcast.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2022

2021

Self-stabilizing Byzantine- and Intrusion-tolerant Consensus.

[BibT_eX]

[DOI]

CoRR, 2021

Loosely-self-stabilizing Byzantine-Tolerant Binary Consensus for Signature-Free Message-Passing Systems.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - 9th International Conference, 2021

Self-Stabilizing Indulgent Zero-degrading Binary Consensus.

[BibT_eX]

[DOI]

Proceedings of the ICDCN '21: International Conference on Distributed Computing and Networking, 2021

Self-stabilizing Multivalued Consensus in Asynchronous Crash-prone Systems.

[BibT_eX]

[DOI]

Proceedings of the 17th European Dependable Computing Conference, 2021

2020

A Self-stabilizing Control Plane for the Edge and Fog Ecosystems.

[BibT_eX]

[DOI]

Zacharias Georgiou

George Pallis

Demetris Trihinas

CoRR, 2020

Self-Stabilizing Automatic Repeat Request Algorithms for (Bounded Capacity, Omitting, Duplicating and non-FIFO) Computer Networks.

[BibT_eX]

[DOI]

Ariel Hanemann

Shantanu Sharma

CoRR, 2020

A Self-stabilizing Control Plane for Fog Ecosystems.

[BibT_eX]

[DOI]

Zacharias Georgiou

George Pallis

Demetris Trihinas

Proceedings of the 13th IEEE/ACM International Conference on Utility and Cloud Computing, 2020

Self-stabilizing Uniform Reliable Broadcast.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - 8th International Conference, 2020

Self-Stabilizing Set-Constrained Delivery Broadcast (extended abstract).

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE International Conference on Distributed Computing Systems, 2020

2019

Self-Stabilizing Snapshot Objects for Asynchronous Fail-Prone Network Systems.

[BibT_eX]

[DOI]

CoRR, 2019

Membership-based Manoeuvre Negotiation in Autonomous and Safety-critical Vehicular Systems.

[BibT_eX]

[DOI]

Emelie Ekenstedt

CoRR, 2019

Self-Stabilizing Manoeuvre Negotiation: The Case of Virtual Traffic Lights.

[BibT_eX]

[DOI]

Emelie Ekenstedt

Proceedings of the 38th Symposium on Reliable Distributed Systems, 2019

Self-stabilizing Snapshot Objects for Asynchronous Failure-Prone Networked Systems.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - 7th International Conference, 2019

Self-stabilization Overhead: A Case Study on Coded Atomic Storage.

[BibT_eX]

[DOI]

Robert Gustafsson

Andreas Lindhé

Proceedings of the Networked Systems - 7th International Conference, 2019

2018

Shared-object system equilibria: Delay and throughput analysis.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2018

How to Stop Disagreeing and Start Cooperatingin the Presence of Asymmetric Packet Loss.

[BibT_eX]

[DOI]

Paolo Falcone

Sensors, 2018

Editorial: Dependable and Real-time Vehicular Communication for Intelligent Transportation Systems (ITS).

[BibT_eX]

[DOI]

Mob. Networks Appl., 2018

Practically-self-stabilizing virtual synchrony.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2018

Self-stabilization Overhead: an Experimental Case Study on Coded Atomic Storage.

[BibT_eX]

[DOI]

Robert Gustafsson

Andreas Lindhe

CoRR, 2018

Practically-Self-stabilizing Vector Clocks in the Absence of Execution Fairness.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - 6th International Conference, 2018

Renaissance: A Self-Stabilizing Distributed SDN Control Plane.

[BibT_eX]

[DOI]

Marco Canini

Liron Schiff

Stefan Schmid

Proceedings of the 38th IEEE International Conference on Distributed Computing Systems, 2018

Self-stabilizing Byzantine Tolerant Replicated State Machine Based on Failure Detectors.

[BibT_eX]

[DOI]

Proceedings of the Cyber Security Cryptography and Machine Learning, 2018

Changing Lanes on a Highway.

[BibT_eX]

[DOI]

Jukka Suomela

Proceedings of the 18th Workshop on Algorithmic Approaches for Transportation Modelling, 2018

2017

Aiding Autonomous Vehicles with Fault-tolerant V2V Communication.

[BibT_eX]

[DOI]

Vladimir Savic

CoRR, 2017

Self-stabilizing Reconfiguration.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - 5th International Conference, 2017

Distributed algorithm for collision avoidance at road intersections in the presence of communication failures.

[BibT_eX]

[DOI]

Vladimir Savic

Proceedings of the IEEE Intelligent Vehicles Symposium, 2017

A Self-Organizing Distributed and In-Band SDN Control Plane.

[BibT_eX]

[DOI]

Marco Canini

Liron Schiff

Stefan Schmid

Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

2016

DecTDMA: A Decentralized-TDMA - With Link Quality Estimation for WSNs.

[BibT_eX]

[DOI]

Olaf Landsiedel

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2016

Static and dynamic performance evaluation of low-cost RTK GPS receivers.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Intelligent Vehicles Symposium, 2016

2015

Practically Stabilizing Virtual Synchrony.

[BibT_eX]

[DOI]

CoRR, 2015

Self-stabilizing Virtual Synchrony.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2015

Brief Announcement: Robust and Private Distributed Shared Atomic Memory in Message Passing Networks.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, 2015

LibReplay: Deterministic Replay for Bug Hunting in Sensor Networks.

[BibT_eX]

[DOI]

Olaf Landsiedel

Salvatore Tomaselli

Proceedings of the Wireless Sensor Networks - 12th European Conference, 2015

Rationality Authority for Provable Rational Behavior.

[BibT_eX]

[DOI]

Panagiota N. Panagopoulou

Mikaël Rabie

Proceedings of the Algorithms, Probability, Networks, and Games, 2015

2014

On the Trade-Off Between Accuracy and Delay in Cooperative UWB Localization: Performance Bounds and Scaling Laws.

[BibT_eX]

[DOI]

Gabriel E. García

L. Srikar Muppirisetty

Henk Wymeersch

IEEE Trans. Wirel. Commun., 2014

A kernel-based architecture for safe cooperative vehicular functions.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, 2014

Driving with Confidence: Local Dynamic Maps That Provide LoS for the Gulliver Test-Bed.

[BibT_eX]

[DOI]

Christian Berger

Proceedings of the Computer Safety, Reliability, and Security, 2014

Cooperation with disagreement correction in the presence of communication failures.

[BibT_eX]

[DOI]

Paolo Falcone

Proceedings of the 17th International IEEE Conference on Intelligent Transportation Systems, 2014

Vehicular Coordination via a Safety Kernel in the Gulliver Test-Bed.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Distributed Computing Systems Workshops (ICDCS 2014 Workshops), Madrid, Spain, June 30, 2014

2013

Self-Stabilizing TDMA Algorithms for Dynamic Wireless Ad Hoc Networks.

[BibT_eX]

[DOI]

Int. J. Distributed Sens. Networks, 2013

Self-stabilizing TDMA Algorithms for Wireless Ad-Hoc Networks without External Reference.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2013

Self-stabilizing Byzantine Resilient Topology Discovery and Message Delivery.

[BibT_eX]

[DOI]

Omri Liba

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2013

Model-based, composable simulation for the development of autonomous miniature vehicles.

[BibT_eX]

[DOI]

Christian Berger

Michel R. V. Chaudron

Rogardt Heldal

Olaf Landsiedel

Proceedings of the 2013 Spring Simulation Multiconference, SpringSim '13, 2013

Self-stabilizing Byzantine Resilient Topology Discovery and Message Delivery - (Extended Abstract).

[BibT_eX]

[DOI]

Omri Liba

Proceedings of the Networked Systems - First International Conference, 2013

Bridging Physical and Digital Traffic System Simulations with the Gulliver Test-Bed.

[BibT_eX]

[DOI]

Christoph Steup

Viktor Swantesson

Proceedings of the Communication Technologies for Vehicles, 5th International Workshop, 2013

The KARYON project: Predictable and safe coordination in cooperative vehicular systems.

[BibT_eX]

[DOI]

Proceedings of the 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, 2013

2012

Gulliver: A Test-Bed for Developing, Demonstrating and Prototyping Vehicular Systems.

[BibT_eX]

[DOI]

Mitra Pahlavan

Proceedings of the 75th IEEE Vehicular Technology Conference, 2012

Autonomous TDMA Alignment for VANETs.

[BibT_eX]

[DOI]

Mohamed Mustafa

Amir Tohidi

Proceedings of the 76th IEEE Vehicular Technology Conference, 2012

Self-stabilizing End-to-End Communication in (Bounded Capacity, Omitting, Duplicating and non-FIFO) Dynamic Networks - (Extended Abstract).

[BibT_eX]

[DOI]

Ariel Hanemann

Shantanu Sharma

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012

Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems.

[BibT_eX]

[DOI]

Jörg Kaiser

Johan Karlsson

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012

2011

Secure and self-stabilizing clock synchronization in sensor networks.

[BibT_eX]

[DOI]

Jaap-Henk Hoepman

Andreas Larsson

Theor. Comput. Sci., 2011

Strategies for repeated games with subsystem takeovers implementable by deterministic and self-stabilising automata.

[BibT_eX]

[DOI]

Int. J. Auton. Adapt. Commun. Syst., 2011

Robust and scalable middleware for selfish-computer systems.

[BibT_eX]

[DOI]

Comput. Sci. Rev., 2011

2010

Game authority for robust and scalable distributed selfish-computer systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2010

When consensus meets self-stabilization.

[BibT_eX]

[DOI]

Ronen I. Kat

J. Comput. Syst. Sci., 2010

Interacting Urns Processes for Clustering of Large-Scale Networks of Tiny Artifacts.

[BibT_eX]

[DOI]

Int. J. Distributed Sens. Networks, 2010

Chameleon-MAC: Adaptive and Self-* Algorithms for Media Access Control in Mobile Ad Hoc Networks.

[BibT_eX]

[DOI]

Gongxi Zhu

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

DRec: exploring indoor navigation with an un-augmented smart phone.

[BibT_eX]

[DOI]

Amnon Dekel

Proceedings of the 12th Conference on Human-Computer Interaction with Mobile Devices and Services, 2010

2009

Relocation Analysis of Stabilizing MAC.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, 2009

Relocation Analysis of Stabilizing MAC Algorithms for Large-Scale Mobile Ad Hoc Networks.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Aspects of Wireless Sensor Networks, 2009

2008

Self-Stabilization from Theory to Practice.

[BibT_eX]

Nir Tzachar

Reuven Yagel

Bull. EATCS, 2008

Strategies for repeated games with subsystem takeovers: implementable by deterministic and self-stabilizing automata (extended abstract).

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems, 2008

2007

Game authority for robust andscalable distributed selfish-computer systems.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007

2006

Random Walk for Self-Stabilizing Group Communication in Ad Hoc Networks.

[BibT_eX]

[DOI]

IEEE Trans. Mob. Comput., 2006

Hovering Data Clouds: A Decentralized and Self-organizing Information System.

[BibT_eX]

[DOI]

Axel Wegener

Horst Hellbrück

Sándor P. Fekete

Stefan Fischer

Proceedings of the Self-Organizing Systems, First International Workshop, 2006

2005

Autonomous virtual mobile nodes.

[BibT_eX]

[DOI]

Seth Gilbert

Alexander A. Shvartsman

Proceedings of the DIALM-POMC Joint Workshop on Foundations of Mobile Computing, 2005

2004

Self-stabilizing group communication in directed networks.

[BibT_eX]

[DOI]

Acta Informatica, 2004

Virtual Mobile Nodes for Mobile Ad Hoc Networks.

[BibT_eX]

[DOI]

Alexander A. Shvartsman

Proceedings of the Distributed Computing, 18th International Conference, 2004

Brief announcement: virtual mobile nodes for mobile ad hoc networks.

[BibT_eX]

[DOI]

Alexander A. Shvartsman

Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004

2003

Communication Adaptive Self-Stabilizing Group Membership Service.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2003

2002

Random walk for self-stabilitzing group communication in ad hoc networks.

[BibT_eX]

[DOI]

Proceedings of the Twenty-First Annual ACM Symposium on Principles of Distributed Computing, 2002

2001

Easy Stabilization with an Agent.

[BibT_eX]

[DOI]

Joffroy Beauquier

Thomas Hérault