Bettina Weiss

According to our database, Bettina Weiss authored at least 10 papers between 1999 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Consensus in the presence of mortal Byzantine faulty processes.

Josef Widder, Martin Biely, Günther Gridling, Bettina Weiss, Jean-Paul Blanquart

Distributed Comput., 2012

2011

Synchronous consensus under hybrid process and link failures.

Martin Biely, Ulrich Schmid, Bettina Weiss

Theor. Comput. Sci., 2011

2009

Impossibility Results and Lower Bounds for Consensus under Link Failures.

Ulrich Schmid, Bettina Weiss, Idit Keidar

SIAM J. Comput., 2009

2007

Synchronous Consensus with Mortal Byzantines.

Josef Widder, Günther Gridling, Bettina Weiss, Jean-Paul Blanquart

Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

2005

A case study in efficient microcontroller education.

Bettina Weiss, Günther Gridling, Markus Proske

SIGBED Rev., 2005

A system for automatic testing of embedded software in undergraduate study exercises.

Voin Legourski, Christian Trödhandl, Bettina Weiss

SIGBED Rev., 2005

2002

Formally Verified Byzantine Agreement in Presence of Link Faults.

Ulrich Schmid, Bettina Weiss, John M. Rushby

Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 2002

2001

Consensus with Written Messages Under Link Faults.

Bettina Weiss, Ulrich Schmid

Proceedings of the 20th Symposium on Reliable Distributed Systems (SRDS 2001), 2001

1999

An Algorithm for Fault-Tolerant Clock State and Rate Synchronization.

Klaus Schossmaier, Bettina Weiss

Proceedings of the Eighteenth Symposium on Reliable Distributed Systems, 1999

The SimUTC Fault-Tolerant Distributed Systems Simulation Toolkit.

Bettina Weiss, Günther Gridling, Ulrich Schmid, Klaus Schossmaier

Proceedings of the MASCOTS 1999, 1999