10 citations · 14 across the 6 of their papers we have counts for
3 papers · 1 filter
Linearizability and State-Machine Replication: Is it a match?
Franz J. Hauck, Alexander Heß
Linearizability is a well-known correctness property for concurrent and distributed systems. In the past, it was also used to prove the design and implementation of replicated stat…
Automatic Integration of BFT State-Machine Replication into IoT Systems
Christian Berger, Hans P. Reiser, Franz J. Hauck +2
Byzantine fault tolerance (BFT) can preserve the availability and integrity of IoT systems where single components may suffer from random data corruption or attacks that can expose…
A Survey on Resilience in the IoT: Taxonomy, Classification and Discussion of Resilience Mechanisms
Christian Berger, Philipp Eichhammer, Hans P. Reiser +3
Internet-of-Things (IoT) ecosystems tend to grow both in scale and complexity as they consist of a variety of heterogeneous devices, which span over multiple architectural IoT laye…