Login / Signup
Markus Posch
Publication Activity (10 Years)
Years Active: 2012-2014
Publications (10 Years): 0
Top Topics
Distributed Systems
Fine Grained
Fault Tolerance
High Assurance
Top Venues
J. Comput. Syst. Sci.
CoRR
</>
Publications
</>
Danny Dolev
,
Matthias Függer
,
Markus Posch
,
Ulrich Schmid
,
Andreas Steininger
,
Christoph Lenzen
Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip.
J. Comput. Syst. Sci.
80 (4) (2014)
Danny Dolev
,
Matthias Függer
,
Christoph Lenzen
,
Markus Posch
,
Ulrich Schmid
,
Andreas Steininger
FATAL+: A Self-Stabilizing Byzantine Fault-tolerant Clocking Scheme for SoCs
CoRR
(2012)