Publications

  • Ulrich Schmid, Bettina Weiss, and Idit Keidar. Impossibility results and lower bounds for consensus under link failures. SIAM Journal on Computing, 2009. (to appear)

  • 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.
  • Wilfried Elmenreich, Christian Trödhandl, and Bettina Weiss. Embedded systems home experimentation. In 2nd IASTED International Conference on Education and Technology (ICET'06), July17--19, 2006.
  • Bettina Weiss, Günther Gridling, Wilfried Elmenreich, and Christian Trödhandl. Embedded systems exams with true/false questions: A case study. In 2nd IASTED International Conference on Education and Technology (ICET'06), July17--19, 2006.
  • Günther Gridling and Bettina Weiss. A µController lab for distance learning. In 6th European Workshop on Microelectronics Education (EWME'06), June 8-9, 2006.
  • Voin Legourski, Christian Trödhandl, and Bettina Weiss. A system for automatic testing of embedded software in undergraduate study exercises. In Workshop on Embedded Systems Education (WESE'05), pages 44--51, September 22nd, 2005.
  • Bettina Weiss, Günther Gridling, and Markus Proske. A case study in efficient microcontroller education. In Workshop on Embedded Systems Education (WESE'05), pages 36--43, September 22nd, 2005.
  • Bettina Weiss and Günther Gridling. Creating and grading multiple choice tests. Research Report 63/2004, Vienna University of Technology, Institut für Technische Informatik, December 2004.
  • Ulrich Schmid and Bettina Weiss.  FWF project proposal: Fault-tolerant distributed algorithms in sparse ad hoc wireless networks. Research Report 13/2004, Vienna University of Technology, Institut für Technische Informatik, Treitlstr. 1-3/182-2, 1040 Vienna, Austria, 2004.
  • Ulrich Schmid and Bettina Weiss. Synchronous byzantine agreement under hybrid process and link failures. Research Report 1/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria,  2004.
  • Ulrich Schmid and Bettina Weiss. Impossibility results and lower bounds for consensus under link failures. Technical Report 183/1-129, Department of Automation, Technische Universität Wien, April 2003.
  • Ulrich Schmid and Bettina Weiss. Synchronous Byzantine agreement under hybrid process and link failures. Technical Report 183/1-124, Department of Automation, Technische Universität Wien, November 2002.
  • Bettina Weiss. Authentication under denial-of-service attacks. In Proc. IASTED International Conference on Communications and Computer Networks (CCN'02), pages 134--139, Boston, Massachusetts, USA, November 4--6, 2002.
  • Bettina Weiss. Authenticated Consensus. PhD thesis, Vienna University of Technology, Fakultät für Technische Naturwissenschaften und Informatik, October 2002.
  • Ulrich Schmid, Bettina Weiss, and John Rushby. Formally verified byzantine agreement in presence of link faults. In 22nd International Conference on Distributed Computing Systems (ICDCS'02), pages 608--616, Vienna, Austria, July 2-5, 2002.
  • Bettina Weiss and Ulrich Schmid. Consensus with written messages under link faults. In 20th Symposium on Reliable Distributed Systems (SRDS'01), pages 194--197, New Orleans, LA, USA, October 28--31, 2001.
  • Bettina Weiss and Ulrich Schmid. Consensus with written messages under link faults. Technical Report 183/1-114, Department of Automation, Technische Universität Wien, March 2001.
  • Bettina Weiss, Günther Gridling, Ulrich Schmid, and Klaus Schossmaier. The SimUTC fault-tolerant distributed systems simulation toolkit. In Proceedings 7th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'99), pages 68--75, College Park, MD, USA, October 24--28, 1999.