Bernadette Charron-Bost

Publication Activity (10 Years)

Years Active: 1989-2023
Publications (10 Years): 25

Top Topics

Quantization Noise

Formal Verification

Dynamic Networks

Top Venues

Theor. Comput. Sci.

Publications

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