| 2007 |
| 5 | EE | Josef Widder,
Günther Gridling,
Bettina Weiss,
Jean-Paul Blanquart:
Synchronous Consensus with Mortal Byzantines.
DSN 2007: 102-112 |
| 2002 |
| 4 | EE | Ulrich Schmid,
Bettina Weiss,
John M. Rushby:
Formally Verified Byzantine Agreement in Presence of Link Faults.
ICDCS 2002: 608-616 |
| 2001 |
| 3 | EE | Bettina Weiss,
Ulrich Schmid:
Consensus with Written Messages Under Link Faults.
SRDS 2001: 194-197 |
| 1999 |
| 2 | EE | Bettina Weiss,
Günther Gridling,
Ulrich Schmid,
Klaus Schossmaier:
The SimUTC Fault-Tolerant Distributed Systems Simulation Toolkit.
MASCOTS 1999: 68-75 |
| 1 | EE | Klaus Schossmaier,
Bettina Weiss:
An Algorithm for Fault-Tolerant Clock State and Rate Synchronization.
Symposium on Reliable Distributed Systems 1999: 36-47 |