2 citations · 5 across the 9 of their papers we have counts for
5 papers · 1 filter
Topological Characterization of Consensus Solvability in Directed Dynamic Networks
Hugo Rincon Galeana, Ulrich Schmid, Kyrill Winkler +2
Consensus is one of the most fundamental problems in distributed computing. This paper studies the consensus problem in a synchronous dynamic directed network, in which communicati…
On Specifications and Proofs of Timed Circuits
Matthias Fuegger, Christoph Lenzen, Ulrich Schmid
Given a discrete-state continuous-time reactive system, like a digital circuit, the classical approach is to first model it as a state transition system and then prove its properti…
Linear-Time Data Dissemination in Dynamic Networks
Manfred Schwarz, Martin Zeiner, Ulrich Schmid
Broadcasting and convergecasting are pivotal services in distributed systems, in particular, in wireless ad-hoc and sensor networks, which are characterized by time- varying commun…
Gracefully Degrading Consensus and -Set Agreement in Directed Dynamic Networks
Martin Biely, Peter Robinson, Ulrich Schmid +2
We study distributed agreement in synchronous directed dynamic networks, where an omniscient message adversary controls the availability of communication links. We prove that conse…
FATAL+: A Self-Stabilizing Byzantine Fault-tolerant Clocking Scheme for SoCs
Danny Dolev, Matthias Függer, Christoph Lenzen +3
We present concept and implementation of a self-stabilizing Byzantine fault-tolerant distributed clock generation scheme for multi-synchronous GALS architectures in critical applic…