Bibliography

2022

Bernadette Charron-Bost, Patrick Lambein-Monette. Computing Outside the Box: Average Consensus over Dynamic Networks. 1st Symposium on Algorithmic Foundations of Dynamic Networks, SAND 2022, Mar 2022, Roma, Italy. ⟨10.4230/LIPIcs.SAND.2022.10⟩. ⟨hal-03717753⟩

Bernadette Charron-Bost. Geometric bounds for convergence rates of averaging algorithms. Information and Computation, 2022, 285, pp.104909. ⟨10.1016/j.ic.2022.104909⟩. ⟨hal-03717768⟩

Bernadette Charron-Bost, Louis Penet de Monterno. Self-Stabilizing Clock Synchronization in Dynamic Networks. 2023. ⟨hal-03940869⟩

2021

Bernadette Charron-Bost, Jean-Marc Notin. Distributed computing. Master. France. 2021. ⟨hal-03721465⟩

Bernadette Charron-Bost, Shlomo Moran. MinMax algorithms for stabilizing consensus. Distributed Computing, 2021, 34 (3), pp.195-206. ⟨10.1007/s00446-021-00392-9⟩. ⟨hal-03283270⟩

Louis Penet de Monterno, Bernadette Charron-Bost, Stephan Merz. Synchronization Modulo k in Dynamic Networks. 13046, pp.425-439, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-91081-5_28⟩. ⟨hal-03451085⟩

2020

Bernadette Charron-Bost, Patrick Lambein-Monette. Average Consensus: A Little Learning Goes A Long Way. 2020. ⟨hal-03044169⟩

Bernadette Charron-Bost. Geometric Bounds for Convergence Rates of Averaging Algorithms. 2020. ⟨hal-03044154⟩

2019

Bernadette Charron-Bost, Shlomo Moran. MinMax Algorithms for Stabilizing Consensus. 2019. ⟨hal-02389555⟩

Bernadette Charron-Bost, Shlomo Moran. Synchronisation dans les Réseaux Dynamiques. ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France. ⟨hal-02122729⟩

Bernadette Charron-Bost, Shlomo Moran. The firing squad problem revisited. Theoretical Computer Science, 2019, 793, pp.100-112. ⟨10.1016/j.tcs.2019.07.023⟩. ⟨hal-02389516⟩

2018

Bernadette Charron-Bost, Patrick Lambein-Monette. Randomization and Quantization for Average Consensus. 2018 IEEE Conference on Decision and Control (CDC), Dec 2018, Miami Beach, United States. pp.3716-3721, ⟨10.1109/CDC.2018.8619817⟩. ⟨hal-02389576⟩

Older publications

Bernadette Charron-Bost, Matthias Függer, Thomas Nowak. New transience bounds for max-plus linear systems. Discrete Applied Mathematics, 2017, 219, pp.83 - 99. ⟨10.1016/j.dam.2016.11.003⟩. ⟨hal-01738257⟩

Bernadette Charron-Bost, Matthias Függer, Thomas Nowak. Fast, Robust, Quantizable Approximate Consensus *. 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), Jul 2016, Rome, Italy. ⟨10.4230/LIPIcs.ICALP.2016.137⟩. ⟨hal-01395576⟩

Bernadette Charron-Bost, Matthias Függer, Thomas Nowak. Multidimensional Asymptotic Consensus in Dynamic Networks. [Research Report] Arxiv. 2016. ⟨hal-01789019⟩

Bernadette Charron-Bost, Matthias Függer, Thomas Nowak. Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms. 42nd International Colloquium on Automata, Languages, and Programming (ICALP 2015), Jul 2015, Kyoto, Japan. pp.528-539, ⟨10.1007/978-3-662-47666-6_42⟩. ⟨hal-01107422v2⟩

Matthias Függer, Thomas Nowak, Bernadette Charron-Bost. Diffusive clock synchronization in highly dynamic networks. 49th Annual Conference on Information Systems and Sciences (CISS 2015), Mar 2015, Baltimore, United States. ⟨10.1109/CISS.2015.7086841⟩. ⟨hal-01231513⟩

Thomas Nowak, Bernadette Charron-Bost. An Overview of Transience Bounds in Max-Plus Algebra. G. L. Litvinov; S. N. Sergeev. Tropical and Idempotent Mathematics and Applications, AMS, pp.277-289, 2014, Contemporary Mathematics, 978-0-8218-9496-5 (print); 978-1-4704-1684-3 (online). ⟨10.1090/conm/616/12306⟩. ⟨hal-00993630⟩

Bernadette Charron-Bost, Stephan Merz, Andrey Rybalchenko, Josef Widder. Formal Verification of Distributed Algorithms. Bernadette Charron-Bost and Stephan Merz and Andrey Rybalchenko and Josef Widder. Dagstuhl, 3, pp.16, 2013, Dagstuhl Reports, ⟨10.4230/DagRep.3.4.1⟩. ⟨hal-00904805⟩

Bernadette Charron-Bost, Matthias Függer, Thomas Nowak. New transience bounds for long walks in weighted digraphs. Eurocomb 2013, Sep 2013, Pise, Italy. pp.623-624, ⟨10.1007/978-88-7642-475-5_103⟩. ⟨hal-00993814⟩

Bernadette Charron-Bost, Matthias Függer, Thomas Nowak. Transience Bounds for Distributed Algorithms. FORMATS 2013 - 11th International Conference Formal Modeling and Analysis of Timed Systems, Aug 2013, Buenos Aires, Argentina. pp.77-90, ⟨10.1007/978-3-642-40229-6_6⟩. ⟨hal-00993785⟩

Bernadette Charron-Bost, Thomas Nowak. General Transience Bounds in Tropical Linear Algebra via Nachtigall Decomposition. TROPICAL-12 - International Workshop Tropical and Idempotent Mathematics, Aug 2012, Moscou, Russia. pp.46-52. ⟨hal-00993902⟩

Bernadette Charron-Bost, Henri Debrat, Stephan Merz. Formal Verification of Consensus Algorithms Tolerating Malicious Faults. 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2011), Oct 2011, Grenoble, France. pp.120-134, ⟨10.1007/978-3-642-24550-3_11⟩. ⟨hal-00639048⟩

Henri Debrat, Bernadette Charron-Bost, Stephan Merz. Formal Verification of Consensus Algorithms in a Proof Assistant. 2010 Grande Region Security and Reliability Day, Mar 2010, Saarbrücken, Germany. ⟨inria-00539899⟩

Mouna Chaouch-Saad, Bernadette Charron-Bost, Stephan Merz. A Reduction Theorem for the Verification of Round-Based Distributed Algorithms. Reachability Problems 2009, Sep 2009, Palaiseau, France. pp.93-106, ⟨10.1007/978-3-642-04420-5_10⟩. ⟨inria-00408908⟩

Bernadette Charron-Bost, Stephan Merz. Formal Verification of a Consensus Algorithm in the Heard-Of Model. International Journal of Software and Informatics (IJSI), 2009, Formal Methods of Program Development, 3 (2-3), pp.273-303. ⟨inria-00426388⟩

Bernadette Charron-Bost, Robert Cori. A Note on Linearizability and the Global Time Axiom. Parallel Processing Letters, 2003, 13, pp.19--24. ⟨hal-00307578⟩

Bernadette Charron-Bost, Fabrice Le Fessant. Validity Conditions in Agreement Problemsand Time Complexity. [Research Report] RR-4526, INRIA. 2002. ⟨inria-00072062⟩

Deepak Tushar Chandra, Vassos Hadzilacos, Sam Toueg, Bernadette Charron-Bost. On the Impossibility of Group Membership. [Research Report] RR-2782, INRIA. 1996. ⟨inria-00073910⟩

Emmanuelle Anceaume, Bernadette Charron-Bost, Pascale Minet, Sam Toueg. On the Formal Specification of Group Membership Services. [Research Report] RR-2695, INRIA. 1995. ⟨inria-00073995⟩