Proof-Based System Engineering Using a Virtual System Model. - Martin Biely; Gérard Le Lann; Ulrich Schmid 001 (ISAS, 2005)

Optimal Message-Driven Implementation of Omega with Mute Processes. - Martin Biely; Josef Widder (SSS, 2006)

Tolerating corrupted communication. - Martin Biely; Josef Widder; Bernadette Charron-Bost; Antoine Gaillard; Martin Hutle; André Schiper (PODC, 2007)

Relating Stabilizing Timing Assumptions to Stabilizing Failure Detectors Regarding Solvability and Efficiency. - Martin Biely; Martin Hutle; Lucia Draque Penso; Josef Widder (SSS, 2007)

Weak Synchrony Models and Failure Detectors for Message Passing (k-)Set Agreement. - Martin Biely; Peter Robinson 002; Ulrich Schmid 001 (OPODIS, 2009)

Brief Announcement: Weak Synchrony Models and Failure Detectors for Message Passing (k-)Set Agreement. - Martin Biely; Peter Robinson 002; Ulrich Schmid 001 (DISC, 2009)

Optimal message-driven implementations of omega with mute processes. - Martin Biely; Josef Widder (ACM Trans. Auton. Adapt. Syst., 2009)

Solving k-Set Agreement with Stable Skeleton Graphs. - Martin Biely; Peter Robinson 002; Ulrich Schmid 001 (IPDPS Workshops, 2011)

Easy impossibility proofs for k-set agreement in message passing systems. - Martin Biely; Peter Robinson 002; Ulrich Schmid 001 (PODC, 2011)

Consensus when all processes may be Byzantine for some time. - Martin Biely; Martin Hutle (Theor. Comput. Sci., 2011)

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

Agreement in Directed Dynamic Networks. - Martin Biely; Peter Robinson 002; Ulrich Schmid 001 (SIROCCO, 2012)

S-Paxos: Offloading the Leader for High Throughput State Machine Replication. - Martin Biely; Zarko Milosevic 001; Nuno Santos; André Schiper (SRDS, 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)

Distal: A framework for implementing fault-tolerant distributed algorithms. - Martin Biely; Pamela Delgado; Zarko Milosevic 001; André Schiper (DSN, 2013)

Bounded Delay in Byzantine-Tolerant State Machine Replication. - Zarko Milosevic 001; Martin Biely; André Schiper (SRDS, 2013)

Brief announcement: gracefully degrading consensus and k-set agreement under dynamic link failures. - Manfred Schwarz; Kyrill Winkler; Ulrich Schmid 001; Martin Biely; Peter Robinson 002 (PODC, 2014)

On the impact of link faults on Byzantine agreement. - Martin Biely (Inf. Comput., 2014)

The Generalized Loneliness Detector and Weak System Models for k-Set Agreement. - Martin Biely; Peter Robinson 002; Ulrich Schmid 001 (IEEE Trans. Parallel Distributed Syst., 2014)

Gracefully Degrading Consensus and k-Set Agreement in Directed Dynamic Networks. - Martin Biely; Peter Robinson 002; Ulrich Schmid 001; Manfred Schwarz; Kyrill Winkler (NETYS, 2015)

Gracefully degrading consensus and k-set agreement in directed dynamic networks. - Martin Biely; Peter Robinson 002; Ulrich Schmid 001; Manfred Schwarz; Kyrill Winkler (Theor. Comput. Sci., 2018)

On the hardness of the strongly dependent decision problem. - Martin Biely; Peter Robinson 002 (ICDCN, 2019)