Mikhail Nesterenko

Gokarna Sharma

CoRR, 2024

2023

Consensus on Unknown Torus with Dense Byzantine Faults.

[BibT_eX]

[DOI]

CoRR, 2023

Consensus on an Unknown Torus with Dense Byzantine Faults.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - 11th International Conference, 2023

2022

Blockchain in Dynamic Networks.

[BibT_eX]

[DOI]

Rachel Bricker

Gokarna Sharma

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

QUANTAS: Quantitative User-friendly Adaptable Networked Things Abstract Simulator.

[BibT_eX]

[DOI]

Proceedings of the ApPLIED '22: Proceedings of the 2022 Workshop on Advanced tools, 2022

2021

Byzantine Geoconsensus.

[BibT_eX]

[DOI]

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

Partitionable Asynchronous Cryptocurrency Blockchain.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2021

2020

Blockguard: Adaptive Blockchain Security (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Blockchain Economics, 2020

Brief Announcement: Byzantine Geoconsensus.

[BibT_eX]

[DOI]

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

2019

Packet Efficient Implementation of the Omega Failure Detector.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2019

Blockguard: Adaptive Blockchain Security.

[BibT_eX]

[DOI]

CoRR, 2019

Brief Announcement Blockguard: Adaptive Blockchain Security.

[BibT_eX]

[DOI]

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

2018

Churn Possibilities and Impossibilities.

[BibT_eX]

[DOI]

Dianne Foreback

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

Concurrent Geometric Multicasting.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Distributed Computing and Networking, 2018

2017

Evaluating and optimizing stabilizing dining philosophers.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2017

Stateless Reliable Geocasting.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems, 2017

2016

Infinite Unlimited Churn.

[BibT_eX]

[DOI]

Dianne Foreback

CoRR, 2016

Infinite Unlimited Churn (Short Paper).

[BibT_eX]

[DOI]

Dianne Foreback

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

2015

Stateless Geocasting.

[BibT_eX]

[DOI]

Jordan Adamek

CoRR, 2015

Evaluating and Optimizing Stabilizing Dining Philosophers.

[BibT_eX]

[DOI]

Jordan Adamek

Proceedings of the 11th European Dependable Computing Conference, 2015

2014

On Stabilizing Departures in Overlay Networks.

[BibT_eX]

[DOI]

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

2013

Corona: A stabilizing deterministic message-passing skip list.

[BibT_eX]

[DOI]

Rizal Mohd Nor

Christian Scheideler

Theor. Comput. Sci., 2013

Ideal stabilisation.

[BibT_eX]

[DOI]

Int. J. Grid Util. Comput., 2013

Void traversal for efficient non-planar geometric routing.

[BibT_eX]

[DOI]

Ad Hoc Networks, 2013

Linearizing Peer-to-Peer Systems with Oracles.

[BibT_eX]

[DOI]

Rizal Mohd Nor

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

2012

Tiara: A self-stabilizing deterministic skip list and skip graph.

[BibT_eX]

[DOI]

Christian Scheideler

Theor. Comput. Sci., 2012

Self-stabilizing byzantine asynchronous unison.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2012

Concurrent face traversal for efficient geometric routing.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2012

Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback.

[BibT_eX]

[DOI]

Jordan Adamek

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

2011

Ideal Stabilization.

[BibT_eX]

[DOI]

Maria Gradinariu Potop-Butucaru

Proceedings of the 25th IEEE International Conference on Advanced Information Networking and Applications, 2011

2010

Snap-stabilization in message-passing systems.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2010

Self-stabilizing Byzantine Asynchronous Unison<sup>, </sup>.

[BibT_eX]

[DOI]

Swan Dubois

Proceedings of the Principles of Distributed Systems - 14th International Conference, 2010

2009

Discovering Network Topology in the Presence of Byzantine Faults.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2009

Self-stabilizing philosophers with generic conflicts.

[BibT_eX]

[DOI]

Praveen Danturi

ACM Trans. Auton. Adapt. Syst., 2009

Oxybuoy: Constructing a Real-Time Inexpensive Hypoxia Monitoring Platform.

[BibT_eX]

[DOI]

Rizal Mohd Nor

Peter Lavrentyev

Proceedings of the Ad Hoc Networks, First International Conference, 2009

2008

Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, 2008

Tiara: A Self-stabilizing Deterministic Skip List.

[BibT_eX]

[DOI]

Christian Scheideler

Proceedings of the Stabilization, 2008

Emuli: model driven sensor stimuli for experimentation.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Embedded Networked Sensor Systems, 2008

Fast Geometric Routing with Concurrent Face Traversal.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008

2006

Secure Location Verification Using Radio Broadcast.

[BibT_eX]

[DOI]

Adnan Vora

IEEE Trans. Dependable Secur. Comput., 2006

Kansei: A High-Fidelity Sensing Testbed.

[BibT_eX]

[DOI]

IEEE Internet Comput., 2006

2FACE: Bi-Directional Face Traversal for Efficient Geometric Routing

[BibT_eX]

[DOI]

Raquel S. Whittlesey-Harris

CoRR, 2006

DRIFT: Efficient Message Ordering in Ad Hoc Networks Using Virtual Flooding.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), 2006

Kansei: a testbed for sensing at scale.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Information Processing in Sensor Networks, 2006

Fault-Tolerance Verification of the Fluids and Combustion Facility of the International Space Station.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Distributed Computing Systems Workshops (ICDCS 2006 Workshops), 2006

2005

Unifying stabilization and termination in message-passing systems.

[BibT_eX]

[DOI]

Distributed Comput., 2005

RFID security without extensive cryptography.

[BibT_eX]

[DOI]

Sindhu Karthikeyan

Proceedings of the 3rd ACM Workshop on Security of ad hoc and Sensor Networks, 2005

ExScal: Elements of an Extreme Scale Wireless Sensor Network.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005

Void traversal for guaranteed delivery in geometric routing.

[BibT_eX]

[DOI]

Adnan Vora

Proceedings of the IEEE 2nd International Conference on Mobile Adhoc and Sensor Systems, 2005

Visualizing Wireless Sensor Networks: An Experience Report.

[BibT_eX]

Proceedings of the 2005 International Conference on Wireless Networks, 2005

Project ExScal (Short Abstract).

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing in Sensor Systems, 2005

2004

A line in the sand: a wireless sensor network for target detection, classification, and tracking.

[BibT_eX]

[DOI]

Umamaheswaran Arumugam

Adnan Vora

Comput. Networks, 2004

2002

A Quorum-Based Self-Stabilizing Distributed Mutual Exclusion Algorithm.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2002

Stabilization-Preserving Atomicity Refinement.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2002

Finite-State Self-Stabilizing Protocols in Message-Passing Systems.

[BibT_eX]

[DOI]

Rodney R. Howell

J. Parallel Distributed Comput., 2002

Tolerance to Unbounded Byzantine Faults.

[BibT_eX]

[DOI]

Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002

Dining Philosophers that Tolerate Malicious Crashes.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 2002

1998

A Transformation of Self-Stabilizing Serial Model Programs for Asynchronous Parallel Computing Environments.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1998

1997

Development of self-stabilizing distributed algorithms using transformation: case studies.

[BibT_eX]

Hirotsugu Kakugawa

Proceedings of the 3rd Workshop on Self-stabilizing Systems, 1997

1996

Lock Based Self-Stabilizing Distributed Mutual Exclusion Algorithms.

[BibT_eX]

[DOI]