Bernadette Charron-Bost

78 papers A* 5A 4B 10C 4Misc 1Journal 38Unranked 12
YearRankTypeTitle / Venue / Authors
2024 A* conf
Brief Announcement: Know Your Audience: Communication model and computability in anonymous networks.
PODC
Bernadette Charron-Bost, Patrick Lambein-Monette
2024 J jnl
Clock Synchronization Is Almost Impossible with Bounded Memory.
CoRR
Bernadette Charron-Bost, Louis Penet de Monterno
2023 J jnl
Know your audience.
CoRR
Bernadette Charron-Bost, Patrick Lambein-Monette
2023 A conf
Self-Stabilizing Clock Synchronization in Probabilistic Networks.
DISC
Bernadette Charron-Bost, Louis Penet de Monterno
2023 J jnl
Synchronization modulo
Theor. Comput. Sci.
Louis Penet de Monterno, Bernadette Charron-Bost, Stephan Merz
2022 — conf
Computing Outside the Box: Average Consensus over Dynamic Networks.
SAND
Bernadette Charron-Bost, Patrick Lambein-Monette
2022 J jnl
Geometric bounds for convergence rates of averaging algorithms.
Inf. Comput.
Bernadette Charron-Bost
2022 B conf
Self-Stabilizing Clock Synchronization in Dynamic Networks.
OPODIS
Bernadette Charron-Bost, Louis Penet de Monterno
2022 J jnl
Self-Stabilizing Clock Synchronization in Dynamic Networks.
CoRR
Bernadette Charron-Bost, Louis Penet de Monterno
2021 J jnl
MinMax algorithms for stabilizing consensus.
Distributed Comput.
Bernadette Charron-Bost, Shlomo Moran
2021 C conf
Synchronization Modulo k in Dynamic Networks.
SSS
Louis Penet de Monterno, Bernadette Charron-Bost, Stephan Merz
2020 J jnl
Average Consensus: A Little Learning Goes A Long Way.
CoRR
Bernadette Charron-Bost, Patrick Lambein-Monette
2020 J jnl
Geometric Bounds for Convergence Rates of Averaging Algorithms.
CoRR
Bernadette Charron-Bost
2019 J jnl
MinMax Algorithms for Stabilizing Consensus.
CoRR
Bernadette Charron-Bost, Shlomo Moran
2019 J jnl
The firing squad problem revisited.
Theor. Comput. Sci.
Bernadette Charron-Bost, Shlomo Moran
2018 — conf
Randomization and Quantization for Average Consensus.
CDC
Bernadette Charron-Bost, Patrick Lambein-Monette
2018 J jnl
Randomization and quantization for average consensus.
CoRR
Bernadette Charron-Bost, Patrick Lambein-Monette
2018 A conf
The Firing Squad Problem Revisited.
STACS
Bernadette Charron-Bost, Shlomo Moran
2017 J jnl
New transience bounds for max-plus linear systems.
Discret. Appl. Math.
Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
2017 J jnl
Synchronization in Dynamic Networks.
CoRR
Bernadette Charron-Bost, Shlomo Moran
2016 — ch.
Consensus with Partial Synchrony.
Encyclopedia of Algorithms
Bernadette Charron-Bost, André Schiper
2016 A* conf
Fast, Robust, Quantizable Approximate Consensus.
ICALP
Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
2016 J jnl
Multidimensional Asymptotic Consensus in Dynamic Networks.
CoRR
Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
2015 J jnl
A Proof of the Convergence of the Hegselmann-Krause Dynamics on the Circle.
CoRR
Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
2015 J jnl
Amortized Averaging Algorithms for Approximate Consensus.
CoRR
Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
2015 — conf
Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms.
ICALP (2)
Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
2015 Misc conf
Diffusive clock synchronization in highly dynamic networks.
CISS
Matthias Függer, Thomas Nowak, Bernadette Charron-Bost
2015 J jnl
Time Complexity of Link Reversal Routing.
ACM Trans. Algorithms
Bernadette Charron-Bost, Matthias Függer, Jennifer L. Welch, Josef Widder
2014 J jnl
An Overview of Transience Bounds in Max-Plus Algebra.
CoRR
Thomas Nowak, Bernadette Charron-Bost
2014 J jnl
Approximate Consensus in Highly Dynamic Networks.
CoRR
Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
2013 J jnl
Formal Verification of Distributed Algorithms (Dagstuhl Seminar 13141).
Dagstuhl Reports
Bernadette Charron-Bost, Stephan Merz, Andrey Rybalchenko, Josef Widder
2013 J jnl
Link Reversal Routing with Binary Link Labels: Work Complexity.
SIAM J. Comput.
Bernadette Charron-Bost, Antoine Gaillard, Jennifer L. Welch, Josef Widder
2013 J jnl
Orientation and Connectivity Based Criteria for Asymptotic Consensus
CoRR
Bernadette Charron-Bost
2013 — conf
Transience Bounds for Distributed Algorithms.
FORMATS
Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
2012 J jnl
New Transience Bounds for Long Walks
CoRR
Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
2011 B conf
Brief announcement: full reversal routing as a linear dynamical system.
SPAA
Bernadette Charron-Bost, Matthias Függer, Jennifer L. Welch, Josef Widder
2011 C conf
Formal Verification of Consensus Algorithms Tolerating Malicious Faults.
SSS
Bernadette Charron-Bost, Henri Debrat, Stephan Merz
2011 B conf
Full Reversal Routing as a Linear Dynamical System.
SIROCCO
Bernadette Charron-Bost, Matthias Függer, Jennifer L. Welch, Josef Widder
2011 J jnl
On the Transience of Linear Max-Plus Dynamical Systems
CoRR
Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
2011 B conf
Partial is Full.
SIROCCO
Bernadette Charron-Bost, Matthias Függer, Jennifer L. Welch, Josef Widder
2010 J jnl
In search of lost time.
Inf. Process. Lett.
Bernadette Charron-Bost, Martin Hutle, Josef Widder
2010 — ed.
Replication: Theory and Practice
Replication
Bernadette Charron-Bost, Fernando Pedone, André Schiper
2009 — conf
A Reduction Theorem for the Verification of Round-Based Distributed Algorithms.
RP
Mouna Chaouch-Saad, Bernadette Charron-Bost, Stephan Merz
2009 J jnl
Formal Verification of a Consensus Algorithm in the Heard-Of Model.
Int. J. Softw. Informatics
Bernadette Charron-Bost, Stephan Merz
2009 C conf
Link Reversal: How to Play Better to Work Less.
ALGOSENSORS
Bernadette Charron-Bost, Jennifer L. Welch, Josef Widder
2009 B conf
Routing without ordering.
SPAA
Bernadette Charron-Bost, Antoine Gaillard, Jennifer L. Welch, Josef Widder
2009 J jnl
The Heard-Of model: computing in distributed systems with benign faults.
Distributed Comput.
Bernadette Charron-Bost, André Schiper
2008 — conf
08371 Abstracts Collection - Fault-Tolerant Distributed Algorithms on VLSI Chips.
Fault-Tolerant Distributed Algorithms on VLSI Chips
Bernadette Charron-Bost, Shlomi Dolev, Jo C. Ebergen, Ulrich Schmid
2008 — conf
08371 Summary - Fault-Tolerant Distributed Algorithms on VLSI Chips.
Fault-Tolerant Distributed Algorithms on VLSI Chips
Bernadette Charron-Bost, Shlomi Dolev, Jo C. Ebergen, Ulrich Schmid
2008 — ch.
Consensus with Partial Synchrony.
Encyclopedia of Algorithms
Bernadette Charron-Bost, André Schiper
2008 — ed.
Fault-Tolerant Distributed Algorithms on VLSI Chips, 07.09. - 10.09.2008
Fault-Tolerant Distributed Algorithms on VLSI Chips
Bernadette Charron-Bost, Shlomi Dolev, Jo C. Ebergen, Ulrich Schmid
2007 J jnl
Harmful dogmas in fault tolerant distributed computing.
SIGACT News
Bernadette Charron-Bost, André Schiper
2007 A* conf
Tolerating corrupted communication.
PODC
Martin Biely, Josef Widder, Bernadette Charron-Bost, Antoine Gaillard, Martin Hutle, André Schiper
2006 C conf
Improving Fast Paxos: being optimistic with no overhead.
PRDC
Bernadette Charron-Bost, André Schiper
2005 B ed.
SOFSEM 2005: Theory and Practice of Computer Science, 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Proceedings
SOFSEM
Peter Vojtás, Mária Bieliková, Bernadette Charron-Bost, Ondrej Sýkora
2004 J jnl
Reductions in Distributed Computing Part I: Consensus and Atomic Commitment Tasks
CoRR
Bernadette Charron-Bost
2004 J jnl
Reductions in Distributed Computing Part II: k-Threshold Agreement Tasks
CoRR
Bernadette Charron-Bost
2004 J jnl
Uniform consensus is harder than consensus.
J. Algorithms
Bernadette Charron-Bost, André Schiper
2004 B conf
Validity Conditions in Agreement Problems and Time Complexity.
SOFSEM
Bernadette Charron-Bost, Fabrice Le Fessant
2003 J jnl
A Note on Linearizability and the Global Time Axiom.
Parallel Process. Lett.
Bernadette Charron-Bost, Robert Cori
2003 — conf
Comparing the Atomic Commitment and Consensus Problems.
Future Directions in Distributed Computing
Bernadette Charron-Bost
2002 B conf
Broadcasting Messages in Fault-Tolerant Distributed Systems: The Benefit of Handling Input-Triggered and Output-Triggered Suspicions Differently.
SRDS
Bernadette Charron-Bost, Xavier Défago, André Schiper
2001 B conf
Agreement Problems in Fault-Tolerant Distributed Systems.
SOFSEM
Bernadette Charron-Bost
2001 — conf
Time vs. Space in Fault-Tolerant Distributed Systems.
WORDS
Bernadette Charron-Bost, Xavier Défago, André Schiper
2000 B conf
Revisiting Safety and Liveness in the Context of Failures.
CONCUR
Bernadette Charron-Bost, Sam Toueg, Anindya Basu
2000 A conf
Synchronous System and Perfect Failure Detector: Solvability and Efficiency Issue.
DSN
Bernadette Charron-Bost, Rachid Guerraoui, André Schiper
1997 J jnl
Calculs approchés de la borne inférieure de valeurs réparties.
RAIRO Theor. Informatics Appl.
Bernadette Charron-Bost, Gerard Tel
1997 J jnl
Introduction à l'algorithmique des objets partagés.
RAIRO Theor. Informatics Appl.
Bernadette Charron-Bost, Robert Cori, Antoine Petit
1996 A* conf
Crash Failures vs. Crash + Link Failures (Abstract).
PODC
Anindya Basu, Bernadette Charron-Bost, Sam Toueg
1996 A* conf
On the Impossibility of Group Membership.
PODC
Tushar Deepak Chandra, Vassos Hadzilacos, Sam Toueg, Bernadette Charron-Bost
1996 — conf
Simulating Reliable Links with Unreliable Links in the Presence of Process Crashes.
WDAG
Anindya Basu, Bernadette Charron-Bost, Sam Toueg
1996 J jnl
Synchronous, Asynchronous, and Causally Ordered Communication.
Distributed Comput.
Bernadette Charron-Bost, Friedemann Mattern, Gerard Tel
1995 J jnl
Local and Temporal Predicates In Distributed Systems.
ACM Trans. Program. Lang. Syst.
Bernadette Charron-Bost, Carole Delporte-Gallet, Hugues Fauconnier
1993 J jnl
Coupling Coefficients of a Distributed Execution.
Theor. Comput. Sci.
Bernadette Charron-Bost
1991 J jnl
Concerning the Size of Logical Clocks in Distributed Systems.
Inf. Process. Lett.
Bernadette Charron-Bost
1990 — conf
Concerning the Size of Clocks.
Semantics of Systems of Concurrent Processes
Bernadette Charron-Bost
1989 — conf
Combinatorics and Geometry of Consistent Cuts: Application to Concurrency Theory.
WDAG
Bernadette Charron-Bost
1989 A conf
Measure of Parallelism of Distributed Computations.
STACS
Bernadette Charron-Bost