Michel Raynal

ORCID

Publication Activity (10 Years)

Years Active: 1980-2024
Publications (10 Years): 184

Top Venues

Publications

Anaïs Durand, Michel Raynal, Gadi Taubenfeld
Better Sooner Rather Than Later. SIROCCO (2024)
Oskar Lundström, Michel Raynal, Elad Michael Schiller
Self-stabilizing indulgent zero-degrading binary consensus. Theor. Comput. Sci. 989 (2024)
Romaric Duvignau, Michel Raynal, Elad Michael Schiller
Self-stabilizing Byzantine Multivalued Consensus: (extended abstract). ICDCN (2024)
Timothé Albouy, Emmanuelle Anceaume, Davide Frey, Mathieu Gestin, Arthur Rauch, Michel Raynal, François Taïani
Asynchronous BFT Asset Transfer: Quasi-Anonymous, Light, and Consensus-Free. CoRR (2024)
Timothé Albouy, Davide Frey, Michel Raynal, François Taïani
Good-case early-stopping latency of synchronous byzantine reliable broadcast: the deterministic case. Distributed Comput. 37 (2) (2024)
Timothé Albouy, Davide Frey, Ran Gelles, Carmit Hazay, Michel Raynal, Elad Michael Schiller, François Taïani, Vassilis Zikas
Towards Optimal Communication Byzantine Reliable Broadcast under a Message Adversary. CoRR (2023)
Mathilde Déprés, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
Send/Receive Patterns Versus Read/Write Patterns in Crash-Prone Asynchronous Distributed Systems. DISC (2023)
Timothé Albouy, Davide Frey, Michel Raynal, François Taïani
Asynchronous Byzantine reliable broadcast with a message adversary. Theor. Comput. Sci. 978 (2023)
Michel Raynal
About Informatics, Distributed Computing, and Our Job: A Personal View. SIROCCO (2023)
Chryssis Georgiou, Michel Raynal, Elad Michael Schiller
Self-stabilizing Byzantine-tolerant Recycling. CoRR (2023)
Michel Raynal
Mutual Exclusion vs Consensus: Both Sides of the Same Coin? Bull. EATCS 140 (2023)
Youcef Imine, Hicham Lakhlef, Michel Raynal, François Taïani
DMCSC: a fully distributed multi-coloring approach for scalable communication in synchronous broadcast networks. J. Supercomput. 79 (1) (2023)
Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal, Mouna Safir
-set agreement. Theor. Comput. Sci. 973 (2023)
Mathilde Déprés, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
Brief Announcement: The MBroadcast Abstraction. PODC (2023)
Anaïs Durand, Michel Raynal, Gadi Taubenfeld
Reaching agreement in the presence of contention-related crash failures. Theor. Comput. Sci. (2023)
Anaïs Durand, Michel Raynal, Gadi Taubenfeld
Better Sooner Rather Than Later. CoRR (2023)
Armando Castañeda, Sergio Rajsbaum, Michel Raynal
Set-Linearizable Implementations from Read/Write Operations: Sets, Fetch &Increment, Stacks and Queues with Multiplicity. Distributed Comput. 36 (2) (2023)
Romaric Duvignau, Michel Raynal, Elad Michael Schiller
Self-stabilizing Byzantine fault-tolerant repeated reliable broadcast. Theor. Comput. Sci. 972 (2023)
Timothé Albouy, Davide Frey, Michel Raynal, François Taïani
Good-case Early-Stopping Latency of Synchronous Byzantine Reliable Broadcast: The Deterministic Case (Extended Version). CoRR (2023)
Armando Castañeda, Sergio Rajsbaum, Michel Raynal
A Linearizability-based Hierarchy for Concurrent Specifications. Commun. ACM 66 (1) (2023)
Vicent Cholvi, Antonio Fernández Anta, Chryssis Georgiou, Nicolas Nicolaou, Michel Raynal, Antonio Russo
Atomic Appends in Asynchronous Byzantine Distributed Ledgers. J. Parallel Distributed Comput. 182 (2023)
Davide Frey, Mathieu Gestin, Michel Raynal
The Synchronization Power (Consensus Number) of Access-Control Objects: the Case of AllowList and DenyList. DISC (2023)
Timothé Albouy, Davide Frey, Mathieu Gestin, Michel Raynal, François Taïani
Context Adaptive Cooperation. CoRR (2023)
Michel Raynal, Gadi Taubenfeld
Corrigendum to "Mutual exclusion in fully anonymous shared memory systems" [Inf. Process. Lett. 158 (2020) 105938]. Inf. Process. Lett. 179 (2023)
Chryssis Georgiou, Michel Raynal, Elad Michael Schiller
Self-stabilizing Byzantine-Tolerant Recycling. SSS (2023)
Davide Frey, Mathieu Gestin, Michel Raynal
The Synchronization Power (Consensus Number) of Access-Control Objects: The Case of AllowList and DenyList. CoRR (2023)
Romaric Duvignau, Michel Raynal, Elad Michael Schiller
Self-stabilizing Byzantine Multivalued Consensus. CoRR (2023)
Davide Frey, Lucie Guillou, Michel Raynal, François Taïani
Process-Commutative Distributed Objects: From Cryptocurrencies to Byzantine-Fault-Tolerant CRDTs. CoRR (2023)
Romaric Duvignau, Michel Raynal, Elad Michael Schiller
Self-stabilizing Byzantine-tolerant Broadcast. CoRR (2022)
Romaric Duvignau, Michel Raynal, Elad Michael Schiller
Self-stabilizing Byzantine Fault-Tolerant Repeated Reliable Broadcast. SSS (2022)
Timothé Albouy, Davide Frey, Michel Raynal, François Taïani
Asynchronous Byzantine Reliable Broadcast With a Message Adversary. CoRR (2022)
Anaïs Durand, Michel Raynal, Gadi Taubenfeld
Reaching Consensus in the Presence of Contention-Related Crash Failures. SSS (2022)
Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal, Mouna Safir
Optimal Algorithms for Synchronous Byzantine k-Set Agreement. SSS (2022)
Damien Imbs, Michel Raynal, Gadi Taubenfeld
Election in Fully Anonymous Shared Memory Systems: Tight Space Bounds and Algorithms. SIROCCO (2022)
Timothé Albouy, Davide Frey, Michel Raynal, François Taïani
κ𝓁-cast: On the Foundations of Byzantine Reliable Broadcast in the Presence of Message Adversaries. CoRR (2022)
Timothé Albouy, Davide Frey, Michel Raynal, François Taïani
Good-Case Early-Stopping Latency of Synchronous Byzantine Reliable Broadcast: The Deterministic Case. DISC (2022)
Michel Raynal, Jie Wu
Message from the General Chairs: MSN 2022. MSN (2022)
Oskar Lundström, Michel Raynal, Elad Michael Schiller
Self-stabilizing Total-order Broadcast. CoRR (2022)
Timothé Albouy, Davide Frey, Michel Raynal, François Taïani
A Modular Approach to Construct Signature-Free BRB Algorithms Under a Message Adversary. OPODIS (2022)
Anaïs Durand, Michel Raynal, Gadi Taubenfeld
Contention-related crash failures: Definitions, agreement algorithms, and impossibility results. Theor. Comput. Sci. 909 (2022)
Damien Imbs, Michel Raynal, Gadi Taubenfeld
Election in Fully Anonymous Shared Memory Systems: Tight Space Bounds and Algorithms. CoRR (2022)
Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal
-set agreement. Inf. Comput. 285 (Part) (2022)
Michel Raynal, Gadi Taubenfeld
Symmetry and Anonymity in Shared Memory Concurrent Systems. Bull. EATCS 136 (2022)
Oskar Lundström, Michel Raynal, Elad Michael Schiller
Brief Announcement: Self-stabilizing Total-Order Broadcast. SSS (2022)
Armando Castañeda, Sergio Rajsbaum, Michel Raynal
A Snapshot-Based Introduction to the Linearizability Hierarchy. NETYS (2022)
Michel Raynal, Gadi Taubenfeld
A visit to mutual exclusion in seven dates. Theor. Comput. Sci. 919 (2022)
Michel Raynal, Jiannong Cao
From Incomplete to Complete Networks in Asynchronous Byzantine Systems. AINA (1) (2021)
Chryssis Georgiou, Ioannis Marcoullis, Michel Raynal, Elad Michael Schiller
Loosely-self-stabilizing Byzantine-Tolerant Binary Consensus for Signature-Free Message-Passing Systems. NETYS (2021)
Vicent Cholvi, Antonio Fernández Anta, Chryssis Georgiou, Nicolas Nicolaou, Michel Raynal, Antonio Russo
Byzantine-Tolerant Distributed Grow-Only Sets: Specification and Applications. FAB (2021)
Vicent Cholvi, Antonio Fernández Anta, Chryssis Georgiou, Nicolas Nicolaou, Michel Raynal, Antonio Russo
Byzantine-tolerant Distributed Grow-only Sets: Specification and Applications. CoRR (2021)
Michel Raynal
On the Versatility of Bracha's Byzantine Reliable Broadcast Algorithm. Parallel Process. Lett. 31 (3) (2021)
Chryssis Georgiou, Ioannis Marcoullis, Michel Raynal, Elad Michael Schiller
Loosely-self-stabilizing Byzantine-tolerant Binary Consensus for Signature-free Message-passing Systems. CoRR (2021)
Damien Imbs, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
Set-constrained delivery broadcast: A communication abstraction for read/write implementable distributed objects. Theor. Comput. Sci. 886 (2021)
Romaric Duvignau, Michel Raynal, Elad Michael Schiller
Self-stabilizing Byzantine- and Intrusion-tolerant Consensus. CoRR (2021)
Oskar Lundström, Michel Raynal, Elad Michael Schiller
Self-stabilizing Multivalued Consensus in Asynchronous Crash-prone Systems. EDCC (2021)
Carlos López, Sergio Rajsbaum, Michel Raynal, Karla Vargas
Leader Election in Arbitrarily Connected Networks with Process Crashes and Weak Channel Reliability. CoRR (2021)
Michel Raynal
Distributed Computability: A Few Results Masters Students Should Know. SIGACT News 52 (2) (2021)
Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal
On the weakest information on failures to solve mutual exclusion and consensus in asynchronous crash-prone read/write systems. J. Parallel Distributed Comput. 153 (2021)
Oskar Lundström, Michel Raynal, Elad Michael Schiller
Self-stabilizing Multivalued Consensus in Asynchronous Crash-prone Systems. CoRR (2021)
Davide Frey, Lucie Guillou, Michel Raynal, François Taïani
Consensus-Free Ledgers When Operations of Distinct Processes are Commutative. PaCT (2021)
Carlos López, Sergio Rajsbaum, Michel Raynal, Karla Vargas
Leader Election in Arbitrarily Connected Networks with Process Crashes and Weak Channel Reliability. NETYS (2021)
Timothé Albouy, Davide Frey, Michel Raynal, François Taïani
Byzantine-Tolerant Reliable Broadcast in the Presence of Silent Churn. SSS (2021)
Alex Auvolat, Davide Frey, Michel Raynal, François Taïani
Byzantine-tolerant causal broadcast. Theor. Comput. Sci. 885 (2021)
Oskar Lundström, Michel Raynal, Elad Michael Schiller
Self-Stabilizing Indulgent Zero-degrading Binary Consensus. ICDCN (2021)
Emmanuel Godard, Damien Imbs, Michel Raynal, Gadi Taubenfeld
Leader-based de-anonymization of an anonymous read/write memory. Theor. Comput. Sci. 836 (2020)
Karla Vargas, Sergio Rajsbaum, Michel Raynal
An Eventually Perfect Failure Detector for Networks of Arbitrary Topology Connected with ADD Channels Using Time-To-Live Values. Parallel Process. Lett. 30 (2) (2020)
Michel Raynal, Gadi Taubenfeld
Fully Anonymous Consensus and Set Agreement Algorithms. NETYS (2020)
Alex Auvolat, Davide Frey, Michel Raynal, François Taïani
Money Transfer Made Simple. CoRR (2020)
Sergio Rajsbaum, Michel Raynal
Mastering concurrent computing through sequential thinking. Commun. ACM 63 (1) (2020)
Michel Raynal, Gadi Taubenfeld
Mutual exclusion in fully anonymous shared memory systems. Inf. Process. Lett. 158 (2020)
Armando Castañeda, Sergio Rajsbaum, Michel Raynal
Relaxed Queues and Stacks from Read/Write Operations. OPODIS (2020)
Alex Auvolat, Davide Frey, Michel Raynal, François Taïani
Money Transfer Made Simple: a Specification, a Generic Algorithm, and its Proof. Bull. EATCS 132 (2020)
Sergio Rajsbaum, Michel Raynal, Karla Vargas
Brief Announcement: Leader Election in the ADD Communication Model. SSS (2020)
Sergio Rajsbaum, Michel Raynal
60 Years of Mastering Concurrent Computing through Sequential Thinking. SIGACT News 51 (2) (2020)
Oskar Lundström, Michel Raynal, Elad Michael Schiller
Self-Stabilizing Set-Constrained Delivery Broadcast (extended abstract). ICDCS (2020)
Weiping Zhu, Xing Meng, Xiaolei Peng, Jiannong Cao, Michel Raynal
Collisions Are Preferred: RFID-Based Stocktaking with a High Missing Rate. IEEE Trans. Mob. Comput. 19 (7) (2020)
Armando Castañeda, Sergio Rajsbaum, Michel Raynal
What Can Be Done with Consensus Number One: Relaxed Queues and Stacks. CoRR (2020)
Vicent Cholvi, Antonio Fernández Anta, Chryssis Georgiou, Nicolas C. Nicolaou, Michel Raynal
Appending Atomically in Byzantine Distributed Ledgers. CoRR (2020)
Emmanuel Godard, Damien Imbs, Michel Raynal, Gadi Taubenfeld
From Bezout's Identity to Space-Optimal Election in Anonymous Memory Systems. PODC (2020)
Oskar Lundström, Michel Raynal, Elad Michael Schiller
Self-stabilizing Uniform Reliable Broadcast. CoRR (2020)
Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal
k-Immediate Snapshot and x-Set Agreement: How Are They Related? SSS (2020)
Oskar Lundström, Michel Raynal, Elad Michael Schiller
Self-stabilizing Uniform Reliable Broadcast. NETYS (2020)
Vicent Cholvi, Antonio Fernández Anta, Chryssis Georgiou, Nicolas Nicolaou, Michel Raynal
Atomic Appends in Asynchronous Byzantine Distributed Ledgers. EDCC (2020)
Oskar Lundström, Michel Raynal, Elad Michael Schiller
Self-Stabilizing Indulgent Zero-degrading Binary Consensus. CoRR (2020)
Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal
t-Resilient k-Immediate Snapshot and its Relation with Agreement Problems. CoRR (2020)
Zahra Aghazadeh, Damien Imbs, Michel Raynal, Gadi Taubenfeld, Philipp Woelfel
Optimal Memory-Anonymous Symmetric Deadlock-Free Mutual Exclusion. PODC (2019)
Michel Raynal, Jiannong Cao
One for All and All for One: Scalable Consensus in a Hybrid Communication Model. ICDCS (2019)
Tyler Crain, Vincent Gramoli, Michel Raynal
A speculation-friendly binary search tree. Concurr. Comput. Pract. Exp. 31 (4) (2019)
Michel Raynal, Gadi Taubenfeld
Brief Announcement: Fully Anonymous Shared Memory Algorithms. SSS (2019)
Emmanuel Godard, Damien Imbs, Michel Raynal, Gadi Taubenfeld
Anonymous Read/Write Memory: Leader Election and De-anonymization. SIROCCO (2019)
Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal
On the Weakest Failure Detector for Read/Write-Based Mutual Exclusion. AINA (2019)
Michel Raynal
An Informal Visit to the Wonderful Land of Consensus Numbers and Beyond. Bull. EATCS 129 (2019)
Emmanuel Godard, Damien Imbs, Michel Raynal, Gadi Taubenfeld
Mutex-based Desanonymization of an Anonymous Read/Write Memory. CoRR (2019)
Achour Mostéfaoui, Matthieu Perrin, Michel Raynal, Jiannong Cao
) messages. Inf. Process. Lett. 151 (2019)
Armando Castañeda, Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal
Making Local Algorithms Wait-Free: the Case of Ring Coloring. Theory Comput. Syst. 63 (2) (2019)
Emmanuel Godard, Damien Imbs, Michel Raynal, Gadi Taubenfeld
Mutex-Based De-anonymization of an Anonymous Read/Write Memory. NETYS (2019)
Michel Raynal, Gadi Taubenfeld
Fully Anonymous Shared Memory Algorithms. CoRR (2019)
Hicham Lakhlef, Michel Raynal, François Taïani
Vertex Coloring with Communication Constraints in Synchronous Broadcast Networks. IEEE Trans. Parallel Distributed Syst. 30 (7) (2019)
Achour Mostéfaoui, Michel Raynal, Matthieu Roy
Time-efficient read/write register in crash-prone asynchronous message-passing systems. Computing 101 (1) (2019)
Alex Auvolat, Michel Raynal, François Taïani
Byzantine-Tolerant Set-Constrained Delivery Broadcast. OPODIS (2019)

Michel Raynal.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michel Raynal