paperlist

Topic 1 "Fault-tolerant Distributed Algorithms"

[SS01] Ulrich Schmid and Klaus Schossmaier. How to reconcile fault-tolerant interval intersection with the Lipschitz condition. Distributed Computing, 14(2):101 – 111, May 2001. (doi:10.1007/PL00008927)

[HMSZ09] Martin Hutle, Dahlia Malkhi, Ulrich Schmid, and Lidong Zhou. Chasing the weakest system model for implementing omega and consensus. IEEE Transactions on Dependable and Secure Computing, 6(4):269–281, 2009. (doi:10.1109/TDSC.2008.24)

Topic 2 "Knowledge-based approach"

[BM14] Ido Ben-Zvi and Yoram Moses. 2014. Beyond Lamport's Happened-before: On Time Bounds and the Ordering of Events in Distributed Systems. J. ACM 61, 2, Article 13 (April 2014), 26 pages. DOI=10.1145/2542181 http://doi.acm.org/10.1145/2542181

[MDH86] Y. Moses, D. Dolev and J. Y. Halpern. Cheating Husbands and Other Stories: a Case Study of Knowledge, Action and Communication, Distributed Computing, 1:3, pp. 167-176, 1986.

Topic 3 "Dynamic Networks"

[WSS19] Kyrill Winkler, Manfred Schwarz, and Ulrich Schmid. Consensus in directed dynamic networks with short-lived stability. Distributed Computing, 2019. (doi:https://doi.org/10.1007/s00446-019-00348-0)

[SWS16] Manfred Schwarz, Kyrill Winkler, and Ulrich Schmid. Fast consensus under eventually stabilizing message adversaries. In Proceedings of the 17th International Conference on Distributed Computing and Networking, ICDCN '16, pages 7:1–7:10, New York, NY, USA, 2016. ACM. (doi:10.1145/2833312.2833323)

Topic 4 "Distributed Algorithms for Integrated Circuits"

[DFLPSS14] Danny Dolev, Matthias Függer, Christoph Lenzen, Markus Posch, Ulrich Schmid, and Andreas Steininger. Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip. Journal of Computer and System Sciences, 80(4):860–900, 2014. (doi:10.1016/j.jcss.2014.01.001)

[DFLPS16] Danny Dolev, Matthias Függer, Christoph Lenzen, Martin Perner, and Ulrich Schmid. HEX: Scaling honeycombs is easier than scaling clock trees. Journal of Computer and System Sciences, 82(5):929–956, aug 2016. (doi:10.1016/j.jcss.2016.03.001)

[FNS16] Matthias Függer, Thomas Nowak, and Ulrich Schmid. Unfaithful glitch propagation in existing binary circuit models. IEEE Transactions on Computers, 65(3):964–978, March 2016. (doi:10.1109/TC.2015.2435791)