Theta Project Publications

[Widder and Schmid, 2009]: Josef Widder and Ulrich Schmid. The Theta-Model: Achieving synchrony without clocks. Distributed Computing, 22(1):29-47, April 2009.
[Biely and Widder, 2008]: Martin Biely and Josef Widder. Optimal message-driven implementations of omega with mute processes. Transactions on Autonomous and Adaptive Systems, 2008. (to appear).
[Hutle et al., 2008]: 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, 2008. (to appear).
[Moser and Schmid, 2008]: Heinrich Moser and Ulrich Schmid. Optimal deterministic remote clock estimation in real-time systems. In Proceedings of the International Conference on Principles of Distributed Systems (OPODIS), Luxor, Egypt, Dec 2008. (to appear).
[Robinson and Schmid, 2008a]: Peter Robinson and Ulrich Schmid. The Asynchronous Bounded-Cycle Model. In Proceedings of the 10th International Symposium on Stabilizati on, Safety, and Security of Distributed Systems (SSS'08), volume 5340 of LNCS, pages 246-262, Detroit, USA, November 2008. Springer Verlag. (Best Paper Award at SSS'08).
[Robinson and Schmid, 2008b]: Peter Robinson and Ulrich Schmid. Brief announcement: The asynchronous bounded-cycle model. In Proceedings of the 27th ACM Symposium on Principles of Distributed Computing (PODC'08), page 423. ACM Press, August 2008. (extended version to appear at SSS'08).
[Anceaume et al., 2007]: Emmanuelle Anceaume, Carole Delporte-Gallet, Hugues Fauconnier, Michel Hurfin, and Josef Widder. Clock synchronization in the byzantine-recovery failure model. In International Conference On Principles Of DIstributed Systems OPODIS 2007, LNCS, pages 90-104, Guadeloupe, French West Indies, December 2007. Springer Verlag. (to appear).
[Biely et al., 2007a]: Martin Biely, Bernadette Charron-Bost, Antoine Gaillard, Martin Hutle, André Schiper, and Josef Widder. Tolerating corrupted communication. In Proceedings of the 26th ACM Symposium on Principles of Distributed Computing (PODC'07), pages 244-253, Portland, OR, USA, August 2007. ACM.
[Biely et al., 2007b]: Martin Biely, Martin Hutle, Lucia Draque Penso, and Josef Widder. Relating stabilizing timing assumptions to stabilizing failure detectors regarding solvability and efficiency. In 9th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Lecture Notes in Computer Science, pages 4-20, Paris, November 2007. Springer Verlag.
[Moser, 2007]: Heinrich Moser. Towards a real-time distributed computing model. Research Report 17/2007, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 1-3/182-2, 1040 Vienna, Austria, 2007. To appear in: Theoretical Computer Science, Special Issue.
[Widder and Schmid, 2007]: Josef Widder and Ulrich Schmid. Booting clock synchronization in partially synchronous systems with hybrid process and link failures. Distributed Computing, 20(2):115-140, August 2007.
[Widder et al., 2007]: Josef Widder, Günther Gridling, Bettina Weiss, and Jean-Paul Blanquart. Synchronous consensus with mortal byzantines. In Proceedings of the International Conference on Dependable Systems and Networks (DSN'07), pages 102-111, Edinburgh, UK, June 2007.
[Albeseder and Widder, 2006]: Daniel Albeseder and Josef Widder. Simulating distributed real-time systems. In Proceedings of the Junior Scientist Conference 2006, pages 83-84, Vienna, Austria, Apr. 2006.
[Biely and Widder, 2006]: Martin Biely and Josef Widder. Optimal message-driven implementation of omega with mute processes. In Proceedings of the Eighth International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2006), volume 4280 of LNCS, pages 110-121, Dallas, TX, USA, November 2006. Springer Verlag.
[Freiling et al., 2006a]: Felix Freiling, Martin Hutle, Lucia Penso, and Josef Widder. Equivalence of failure detectors and partial synchony. Technical Report 63/2006, Technische Universität Wien, Institut für Technische Informatik, 2006.
[Freiling et al., 2006b]: Felix C. Freiling, Sven Henkel, and Josef Widder. Network synchronization in the crash-recovery model. Joint Technical Report Mannheim: 2006-009 and Vienna 49/2006, Department for Mathematics and Computer Science, University of Mannheim and Technische Universität Wien, Institut für Technische Informatik, 2006.
[Hutle et al., 2006]: Martin Hutle, Dahlia Malkhi, Ulrich Schmid, and Lidong Zhou. Brief announcement: Chasing the weakest system model for implementing omega and consensus. In Proceedings Eighth International Symposium on Stabilization, Safety, and Security of Distributed Systems (formerly Symposium on Self-stabilizing Systems) (SSS 2006), LNCS, pages 576-577, Dallas, USA, Nov. 2006. Springer Verlag.
[Moser and Schmid, 2006a]: Heinrich Moser and Ulrich Schmid. Optimal clock synchronization revisited: Upper and lower bounds in real-time systems. In Proceedings of the International Conference on Principles of Distributed Systems (OPODIS), LNCS 4305, pages 95-109, Bordeaux & Saint-Emilion, France, Dec 2006. Springer Verlag.
[Moser and Schmid, 2006b]: Heinrich Moser and Ulrich Schmid. Reconciling distributed computing models and real-time systems. In Proceedings Work in Progress Session of the 27th IEEE Real-Time Systems Symposium (RTSS'06), pages 73-76, Rio de Janeiro, Brazil, Dec 2006.
[Albeseder, 2005]: Daniel Albeseder. Evaluation of message delay correlation in distributed systems. In Proceedings of the Third Workshop on Intelligent Solutions for Embedded Systems, Hamburg, Germany, May 2005.
[Albeseder and Fuegger, 2005]: Daniel Albeseder and Matthias Fuegger. Small pc-network simulation -- a comprehensive performance case study. Research Report 77/2005, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 1-3/182-2, 1040 Vienna, Austria, 2005.
[Albeseder et al., 2005]: Daniel Albeseder, Matthias Függer, Felix Breitenecker, Thomas Löscher, and Shabnam Tauböck. Small PC-network simulation--a comprehensive performance case study. Simulation News Europe, 44/45:26-32, Dec. 2005.
[Fetzer et al., 2005]: Christof Fetzer, Ulrich Schmid, and Martin Süßkraut. On the possibility of consensus in asynchronous systems with finite average response times. In Proceedings of the 25th International Conference on Distributed Computing Systems (ICDCS'05), pages 271-280, Washington, DC, USA, June 2005. IEEE Computer Society.
[Hermant and Widder, 2005]: Jean-François Hermant and Josef Widder. Implementing reliable distributed real-time systems with the Theta -model. In Proceedings of the 9th International Conference on Principles of Distributed Systems (OPODIS 2005), volume 3974 of LNCS, pages 334-350, Pisa, Italy, December 2005. Springer Verlag.
[Hutle and Widder, 2005a]: Martin Hutle and Josef Widder. Brief announcement: On the possibility and the impossibility of message-driven self-stabilizing failure detection. In Proceedings of the 24th ACM Symposium on Principles of Distributed Computing (PODC'05), page 208, Las Vegas, Nevada, USA, July 2005.
[Hutle and Widder, 2005b]: Martin Hutle and Josef Widder. On the possibility and the impossibility of message-driven self-stabilizing failure detection. In Proceedings of the Seventh International Symposium on Self Stabilizing Systems (SSS 2005), volume 3764 of LNCS, pages 153-170, Barcelona, Spain, October 2005. Springer Verlag.
[Hutle and Widder, 2005c]: Martin Hutle and Josef Widder. Self-stabilizing failure detector algorithms. In Proc. IASTED International Conference on Parallel and Distributed Computing and Networks (PDCN'05), pages 485-490, Innsbruck, Austria, February 2005. IASTED/ACTA Press.
[Widder and Schmid, 2005]: Josef Widder and Ulrich Schmid. Achieving synchrony without clocks. Research Report 49/2005, Technische Universität Wien, Institut für Technische Informatik, 2005. (submitted).
[Widder et al., 2005]: Josef Widder, Gérard Le Lann, and Ulrich Schmid. Failure detection with booting in partially synchronous systems. In Proceedings of the 5th European Dependable Computing Conference (EDCC-5), volume 3463 of LNCS, pages 20-37, Budapest, Hungary, April 2005. Springer Verlag.
[Albeseder, 2004]: Daniel Albeseder. Experimentelle Verifikation von Synchronitätsannahmen für Computernetzwerke. Diplomarbeit, Embedded Computing Systems Group, Technische Universität Wien, May 2004. (in German).
[Fetzer and Schmid, 2004a]: Christof Fetzer and Ulrich Schmid. Brief announcement: On the possibility of consensus in asynchronous systems with finite average response times. In Proceedings of the 23th ACM Symposium on Principles of Distributed Computing (PODC'04), page 402, Boston, Massachusetts, 2004.
[Fetzer and Schmid, 2004b]: Christof Fetzer and Ulrich Schmid. On the possibility of consensus in asynchronous systems with finite average response times. Research Report 14/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004. (Brief announcement appeared at PODC'04).
[Fuchs et al., 2004]: Gottfried Fuchs, Ulrich Schmid, and Andreas Steininger. Ein Verfahren für das verteilte Generieren eines fehlertoleranten adaptiven Taktes in Hardware. Research Report 18/2004, Technische Universität Wien, Institut für Technische Informatik, 2004.
[Hermant and Widder, 2004]: Jean-François Hermant and Josef Widder. Implementing time free designs for distributed real-time systems (a case study). Research Report 23/2004, Technische Universität Wien, Institut für Technische Informatik, May 2004. Joint Research Report with INRIA Rocquencourt. (preliminary version of [HW05:OPODIS]).
[Hutle and Widder, 2004a]: Martin Hutle and Josef Widder. On the possibility and the impossibility of message-driven self-stabilizing failure detection. Research Report 34/2004, Technische Universität Wien, Institut für Technische Informatik, July 2004. (preliminary version of [HW05:SSS]).
[Hutle and Widder, 2004b]: Martin Hutle and Josef Widder. Time free self-stabilizing local failure detection. Research Report 33/2004, Technische Universität Wien, Institut für Technische Informatik, July 2004.
[Schmid and Steininger, 2004]: Ulrich Schmid and Andreas Steininger. Dezentrale Fehlertolerante Taktgenerierung in VLSI Chips. Research Report 69/2004, Technische Universität Wien, Institut für Technische Informatik, 2004. (Österr. Patentanmeldung A 1223/2004).
[Widder, 2004]: Josef Widder. Distributed Computing in the Presence of Bounded Asynchrony. PhD thesis, Vienna University of Technology, Fakultät für Informatik, May 2004.
[Le Lann and Schmid, 2003a]: Gérard Le Lann and Ulrich Schmid. How to implement a timer-free perfect failure detector in partially synchronous systems. Technical Report 183/1-127, Department of Automation, Technische Universität Wien, January 2003. (Replaced by Research Report 28/2005, Institut für Technische Informatik, TU Wien, 2005.).
[Le Lann and Schmid, 2003b]: Gérard Le Lann and Ulrich Schmid. How to maximize computing systems coverage. Technical Report 183/1-128, Department of Automation, Technische Universität Wien, April 2003.
[Schmid, 2003]: Ulrich Schmid. FWF project proposal: Asynchronous distributed algorithms in the Theta-model. Technical Report 183/1-133, Department of Automation, TU Vienna, December 2003.
[Widder, 2003]: Josef Widder. Booting clock synchronization in partially synchronous systems. In Proceedings of the 17th International Symposium on Distributed Computing (DISC'03), volume 2848 of LNCS, pages 121-135, Sorrento, Italy, October 2003. Springer Verlag.
[Widder and Schmid, 2003]: Josef Widder and Ulrich Schmid. Booting clock synchronization in partially synchronous systems with hybrid node and link failures. Technical Report 183/1-126, Department of Automation, Technische Universität Wien, January 2003. (preliminary version of [WS07:DC]).
[Widder et al., 2003]: Josef Widder, Gérard Le Lann, and Ulrich Schmid. Perfect failure detection with booting in partially synchronous systems. Technical Report 183/1-131, Department of Automation, Technische Universität Wien, April 2003. (preliminary version of [WLS05:EDCC]).