Bettina Weiss

Publication Activity (10 Years)

Years Active: 1999-2012
Publications (10 Years): 0

Top Topics

Information Technology

Top Venues

Distributed Comput.

Publications

Josef Widder, Martin Biely, Günther Gridling, Bettina Weiss, Jean-Paul Blanquart
Consensus in the presence of mortal Byzantine faulty processes. Distributed Comput. 24 (6) (2012)
Martin Biely, Ulrich Schmid, Bettina Weiss
Synchronous consensus under hybrid process and link failures. Theor. Comput. Sci. 412 (40) (2011)
Ulrich Schmid, Bettina Weiss, Idit Keidar
Impossibility Results and Lower Bounds for Consensus under Link Failures. SIAM J. Comput. 38 (5) (2009)
Josef Widder, Günther Gridling, Bettina Weiss, Jean-Paul Blanquart
Synchronous Consensus with Mortal Byzantines. DSN (2007)
Bettina Weiss, Günther Gridling, Markus Proske
A case study in efficient microcontroller education. SIGBED Rev. 2 (4) (2005)
Voin Legourski, Christian Trödhandl, Bettina Weiss
A system for automatic testing of embedded software in undergraduate study exercises. SIGBED Rev. 2 (4) (2005)
Ulrich Schmid, Bettina Weiss, John M. Rushby
Formally Verified Byzantine Agreement in Presence of Link Faults. ICDCS (2002)
Bettina Weiss, Ulrich Schmid
Consensus with Written Messages Under Link Faults. SRDS (2001)
Klaus Schossmaier, Bettina Weiss
An Algorithm for Fault-Tolerant Clock State and Rate Synchronization. SRDS (1999)
Bettina Weiss, Günther Gridling, Ulrich Schmid, Klaus Schossmaier
The SimUTC Fault-Tolerant Distributed Systems Simulation Toolkit. MASCOTS (1999)