Martin Biely

Publication Activity (10 Years)

Years Active: 2005-2019
Publications (10 Years): 3

Top Topics

High Throughput

Dynamic Networks

Top Venues

Publications

Martin Biely, Peter Robinson
On the hardness of the strongly dependent decision problem. ICDCN (2019)
Martin Biely, Peter Robinson, Ulrich Schmid, Manfred Schwarz, Kyrill Winkler
-set agreement in directed dynamic networks. Theor. Comput. Sci. 726 (2018)
Martin Biely, Peter Robinson
On the Hardness of the Strongly Dependent Decision Problem. CoRR (2018)
Martin Biely, Peter Robinson, Ulrich Schmid, Manfred Schwarz, Kyrill Winkler
Gracefully Degrading Consensus and k-Set Agreement in Directed Dynamic Networks. CoRR (2015)
Martin Biely, Peter Robinson, Ulrich Schmid, Manfred Schwarz, Kyrill Winkler
Gracefully Degrading Consensus and k-Set Agreement in Directed Dynamic Networks. NETYS (2015)
Manfred Schwarz, Kyrill Winkler, Ulrich Schmid, Martin Biely, Peter Robinson
Brief announcement: gracefully degrading consensus and k-set agreement under dynamic link failures. PODC (2014)
Martin Biely
On the impact of link faults on Byzantine agreement. Inf. Comput. 239 (2014)
Martin Biely, Peter Robinson, Ulrich Schmid
The Generalized Loneliness Detector and Weak System Models for k-Set Agreement. IEEE Trans. Parallel Distributed Syst. 25 (4) (2014)
Zarko Milosevic, Martin Biely, André Schiper
Bounded Delay in Byzantine-Tolerant State Machine Replication. SRDS (2013)
Martin Biely, Pamela Delgado, Zarko Milosevic, André Schiper
Distal: A framework for implementing fault-tolerant distributed algorithms. DSN (2013)
Martin Biely, Zarko Milosevic, Nuno Santos, André Schiper
S-Paxos: Offloading the Leader for High Throughput State Machine Replication. SRDS (2012)
Josef Widder, Martin Biely, Günther Gridling, Bettina Weiss, Jean-Paul Blanquart
Consensus in the presence of mortal Byzantine faulty processes. Distributed Comput. 24 (6) (2012)
Martin Biely, Peter Robinson, Ulrich Schmid
Agreement in Directed Dynamic Networks. SIROCCO (2012)
Martin Biely, Peter Robinson, Ulrich Schmid
Agreement in Directed Dynamic Networks CoRR (2012)
Martin Biely, Martin Hutle
Consensus when all processes may be Byzantine for some time. Theor. Comput. Sci. 412 (33) (2011)
Martin Biely, Peter Robinson, Ulrich Schmid
Easy impossibility proofs for k-set agreement in message passing systems. PODC (2011)
Martin Biely, Peter Robinson, Ulrich Schmid
Solving k-Set Agreement with Stable Skeleton Graphs. IPDPS Workshops (2011)
Martin Biely, Peter Robinson, Ulrich Schmid
Solving k-Set Agreement with Stable Skeleton Graphs CoRR (2011)
Martin Biely, Peter Robinson, Ulrich Schmid
Easy Impossibility Proofs for k-Set Agreement in Message Passing Systems CoRR (2011)
Martin Biely, Peter Robinson, Ulrich Schmid
Easy Impossibility Proofs for k-Set Agreement in Message Passing Systems. OPODIS (2011)
Martin Biely, Ulrich Schmid, Bettina Weiss
Synchronous consensus under hybrid process and link failures. Theor. Comput. Sci. 412 (40) (2011)
Martin Biely, Peter Robinson, Ulrich Schmid
-)Set Agreement. OPODIS (2009)
Martin Biely, Josef Widder
Optimal message-driven implementations of omega with mute processes. ACM Trans. Auton. Adapt. Syst. 4 (1) (2009)
Martin Biely, Peter Robinson, Ulrich Schmid
-)Set Agreement. DISC (2009)
Martin Biely, Martin Hutle
Consensus When All Processes May Be Byzantine for Some Time. SSS (2009)
Martin Biely, Martin Hutle, Lucia Draque Penso, Josef Widder
Relating Stabilizing Timing Assumptions to Stabilizing Failure Detectors Regarding Solvability and Efficiency. SSS (2007)
Martin Biely, Josef Widder, Bernadette Charron-Bost, Antoine Gaillard, Martin Hutle, André Schiper
Tolerating corrupted communication. PODC (2007)
Martin Biely, Josef Widder
Optimal Message-Driven Implementation of Omega with Mute Processes. SSS (2006)
Martin Biely, Gérard Le Lann, Ulrich Schmid
Proof-Based System Engineering Using a Virtual System Model. ISAS (2005)