Martin Biely

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