The SimUTC Fault-Tolerant Distributed Systems Simulation Toolkit. - Bettina Weiss; Günther Gridling; Ulrich Schmid 001; Klaus Schossmaier (MASCOTS, 1999)

An Algorithm for Fault-Tolerant Clock State and Rate Synchronization. - Klaus Schossmaier; Bettina Weiss (SRDS, 1999)

Consensus with Written Messages Under Link Faults. - Bettina Weiss; Ulrich Schmid 001 (SRDS, 2001)

Formally Verified Byzantine Agreement in Presence of Link Faults. - Ulrich Schmid 001; Bettina Weiss; John M. Rushby (ICDCS, 2002)

A system for automatic testing of embedded software in undergraduate study exercises. - Voin Legourski; Christian Trödhandl; Bettina Weiss (SIGBED Rev., 2005)

A case study in efficient microcontroller education. - Bettina Weiss; Günther Gridling; Markus Proske (SIGBED Rev., 2005)

Synchronous Consensus with Mortal Byzantines. - Josef Widder; Günther Gridling; Bettina Weiss; Jean-Paul Blanquart (DSN, 2007)

Impossibility Results and Lower Bounds for Consensus under Link Failures. - Ulrich Schmid 001; Bettina Weiss; Idit Keidar (SIAM J. Comput., 2009)

Synchronous consensus under hybrid process and link failures. - Martin Biely; Ulrich Schmid 001; Bettina Weiss (Theor. Comput. Sci., 2011)

Consensus in the presence of mortal Byzantine faulty processes. - Josef Widder; Martin Biely; Günther Gridling; Bettina Weiss; Jean-Paul Blanquart (Distributed Comput., 2012)