| 2009 |
|---|
| 5 | EE | Martin Biely,
Josef Widder:
Optimal message-driven implementations of omega with mute processes.
TAAS 4(1): (2009) |
| 2007 |
|---|
| 4 | EE | Martin Biely,
Josef Widder,
Bernadette Charron-Bost,
Antoine Gaillard,
Martin Hutle,
André Schiper:
Tolerating corrupted communication.
PODC 2007: 244-253 |
| 3 | EE | Martin Biely,
Martin Hutle,
Lucia Draque Penso,
Josef Widder:
Relating Stabilizing Timing Assumptions to Stabilizing Failure Detectors Regarding Solvability and Efficiency.
SSS 2007: 4-20 |
| 2006 |
|---|
| 2 | EE | Martin Biely,
Josef Widder:
Optimal Message-Driven Implementation of Omega with Mute Processes.
SSS 2006: 110-121 |
| 2005 |
|---|
| 1 | EE | Martin Biely,
Gérard Le Lann,
Ulrich Schmid:
Proof-Based System Engineering Using a Virtual System Model.
ISAS 2005: 164-179 |
