research
∙
07/27/2023
Self-stabilizing Byzantine-tolerant Recycling
Numerous distributed applications, such as cloud computing and distribut...
share
research
∙
05/26/2022
Validated Objects: Specification, Implementation, and Applications
Guaranteeing the validity of concurrent operations on distributed object...
research
∙
01/31/2022
Fragmented ARES: Dynamic Storage for Large Objects
Data availability is one of the most important features in distributed s...
research
∙
08/06/2021
Estimating Active Cases of COVID-19
Having accurate and timely data on confirmed active COVID-19 cases is ch...
research
∙
03/26/2021
Loosely-self-stabilizing Byzantine-tolerant Binary Consensus for Signature-free Message-passing Systems
At PODC 2014, A. Mostéfaoui, H. Moumen, and M. Raynal presented a new an...
research
∙
03/16/2021
Byzantine-tolerant Distributed Grow-only Sets: Specification and Applications
In order to formalize Distributed Ledger Technologies and their intercon...
research
∙
02/25/2021
Fragmented Objects: Boosting Concurrency of Shared Large Objects
This work examines strategies to handle large shared data objects in dis...
research
∙
11/04/2020
A Self-stabilizing Control Plane for the Edge and Fog Ecosystems
Fog Computing is now emerging as the dominating paradigm bridging the co...
research
∙
09/09/2020
(In)Existence of Equilibria for 2-Players, 2-Values Games with Concave Valuations
We consider 2-players, 2-values minimization games where the players' co...
research
∙
05/24/2020
CoronaSurveys: Using Surveys with Indirect Reporting to Estimate the Incidence and Evolution of Epidemics
The world is suffering from a pandemic called COVID-19, caused by the SA...
research
∙
02/26/2020
Appending Atomically in Byzantine Distributed Ledgers
A Distributed Ledger Object (DLO) is a concurrent object that maintains ...
research
∙
06/14/2019
Self-Stabilizing Snapshot Objects for Asynchronous Fail-Prone Network Systems
A snapshot object simulates the behavior of an array of single-writer/mu...
research
∙
03/21/2019
Utilizing Mobile Nodes for Congestion Control in Wireless Sensor Networks
Congestion control and avoidance in Wireless Sensor Networks (WSNs) is a...
research
∙
12/20/2018
Atomic Appends: Selling Cars and Coordinating Armies with Multiple Distributed Ledgers
The various applications using Distributed Ledger Technologies (DLT) or ...
research
∙
07/20/2018
Self-stabilization Overhead: an Experimental Case Study on Coded Atomic Storage
We study the problem of privately emulating shared memory in message-pas...
research
∙
03/29/2018
Unleashing and Speeding Up Readers in Atomic Object Implementations
Providing efficient emulations of atomic read/write objects in asynchron...
research
∙
02/21/2018