default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichel Raynal
Person information
- affiliation: IRISA Rennes
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[c360]Michel Raynal:
Invited Paper: Distributed Computability: A Few Results Masters Students Should Know. ICDCIT 2025: 24-44- 2024
- [j186]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): 121-143 (2024) - [j185]Oskar Lundström, Michel Raynal
, Elad Michael Schiller:
Self-stabilizing indulgent zero-degrading binary consensus. Theor. Comput. Sci. 989: 114387 (2024) - [j184]Davide Frey, Lucie Guillou, Michel Raynal, François Taïani:
Process-commutative distributed objects: From cryptocurrencies to Byzantine-Fault-Tolerant CRDTs. Theor. Comput. Sci. 1017: 114794 (2024) - [j183]Oskar Lundström, Michel Raynal, Elad Michael Schiller:
Self-stabilizing multivalued consensus in asynchronous crash-prone systems. Theor. Comput. Sci. 1022: 114886 (2024) - [c359]Romaric Duvignau, Michel Raynal, Elad Michael Schiller:
Self-stabilizing Byzantine Multivalued Consensus: (extended abstract). ICDCN 2024: 12-21 - [c358]Timothé Albouy, Davide Frey, Ran Gelles, Carmit Hazay, Michel Raynal, Elad Michael Schiller, François Taïani, Vassilis Zikas:
Near-Optimal Communication Byzantine Reliable Broadcast Under a Message Adversary. OPODIS 2024: 14:1-14:29 - [c357]Anaïs Durand, Michel Raynal, Gadi Taubenfeld:
Better Sooner Rather Than Later. SIROCCO 2024: 226-237 - [c356]Michel Raynal:
On Distributed Computing: A View, Physical Versus Logical Objects, and a Look at Fully Anonymous Systems. SSS 2024: 3-19 - [c355]Timothé Albouy, Davide Frey, Ran Gelles, Carmit Hazay, Michel Raynal, Elad Michael Schiller, François Taïani, Vassilis Zikas:
Brief Announcement: Towards Optimal Communication Byzantine Reliable Broadcast Under a Message Adversary. DISC 2024: 41:1-41:7 - [p1]Michel Raynal:
A Short Visit to Distributed Computing Where Simplicity Is Considered a First Class Property. The French School of Programming 2024: 47-67 - [i53]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 abs/2405.18072 (2024) - 2023
- [j182]Armando Castañeda, Sergio Rajsbaum, Michel Raynal:
A Linearizability-based Hierarchy for Concurrent Specifications. Commun. ACM 66(1): 86-97 (2023) - [j181]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): 89-106 (2023) - [j180]Michel Raynal:
Mutual Exclusion vs Consensus: Both Sides of the Same Coin? Bull. EATCS 140 (2023) - [j179]Michel Raynal, Gadi Taubenfeld:
Corrigendum to "Mutual exclusion in fully anonymous shared memory systems" [Inf. Process. Lett. 158 (2020) 105938]. Inf. Process. Lett. 179: 106304 (2023) - [j178]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: 104748 (2023) - [j177]Anaïs Durand, Michel Raynal, Gadi Taubenfeld:
Reaching agreement in the presence of contention-related crash failures. Theor. Comput. Sci. 966-967: 113982 (2023) - [j176]Romaric Duvignau, Michel Raynal, Elad Michael Schiller:
Self-stabilizing Byzantine fault-tolerant repeated reliable broadcast. Theor. Comput. Sci. 972: 114070 (2023) - [j175]Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal, Mouna Safir:
Optimal algorithms for synchronous Byzantine k-set agreement. Theor. Comput. Sci. 973: 114098 (2023) - [j174]Timothé Albouy, Davide Frey, Michel Raynal, François Taïani:
Asynchronous Byzantine reliable broadcast with a message adversary. Theor. Comput. Sci. 978: 114110 (2023) - [j173]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): 788-813 (2023) - [c354]Mathilde Déprés, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal:
Brief Announcement: The MBroadcast Abstraction. PODC 2023: 282-285 - [c353]Michel Raynal:
About Informatics, Distributed Computing, and Our Job: A Personal View. SIROCCO 2023: 33-45 - [c352]Chryssis Georgiou, Michel Raynal, Elad Michael Schiller:
Self-stabilizing Byzantine-Tolerant Recycling. SSS 2023: 518-535 - [c351]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: 16:1-16:24 - [c350]Davide Frey, Mathieu Gestin, Michel Raynal:
The Synchronization Power (Consensus Number) of Access-Control Objects: the Case of AllowList and DenyList. DISC 2023: 21:1-21:23 - [i52]Davide Frey, Mathieu Gestin, Michel Raynal:
The Synchronization Power (Consensus Number) of Access-Control Objects: The Case of AllowList and DenyList. CoRR abs/2302.06344 (2023) - [i51]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 abs/2303.05152 (2023) - [i50]Chryssis Georgiou, Michel Raynal, Elad Michael Schiller:
Self-stabilizing Byzantine-tolerant Recycling. CoRR abs/2307.14801 (2023) - [i49]Anaïs Durand, Michel Raynal, Gadi Taubenfeld:
Better Sooner Rather Than Later. CoRR abs/2309.11350 (2023) - [i48]Timothé Albouy, Davide Frey, Mathieu Gestin, Michel Raynal, François Taïani:
Context Adaptive Cooperation. CoRR abs/2311.08776 (2023) - [i47]Romaric Duvignau, Michel Raynal, Elad Michael Schiller:
Self-stabilizing Byzantine Multivalued Consensus. CoRR abs/2311.09075 (2023) - [i46]Davide Frey, Lucie Guillou, Michel Raynal, François Taïani:
Process-Commutative Distributed Objects: From Cryptocurrencies to Byzantine-Fault-Tolerant CRDTs. CoRR abs/2311.13936 (2023) - [i45]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 abs/2312.16253 (2023) - 2022
- [j172]Michel Raynal, Gadi Taubenfeld:
Symmetry and Anonymity in Shared Memory Concurrent Systems. Bull. EATCS 136 (2022) - [j171]Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal:
Distributed computability: Relating k-immediate snapshot and x-set agreement. Inf. Comput. 285(Part): 104815 (2022) - [j170]Anaïs Durand, Michel Raynal, Gadi Taubenfeld:
Contention-related crash failures: Definitions, agreement algorithms, and impossibility results. Theor. Comput. Sci. 909: 76-86 (2022) - [j169]Michel Raynal, Gadi Taubenfeld:
A visit to mutual exclusion in seven dates. Theor. Comput. Sci. 919: 47-65 (2022) - [c349]Michel Raynal, Jie Wu:
Message from the General Chairs: MSN 2022. MSN 2022: xxvi - [c348]Armando Castañeda, Sergio Rajsbaum, Michel Raynal:
A Snapshot-Based Introduction to the Linearizability Hierarchy. NETYS 2022: 3-15 - [c347]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: 26:1-26:23 - [c346]Damien Imbs, Michel Raynal, Gadi Taubenfeld:
Election in Fully Anonymous Shared Memory Systems: Tight Space Bounds and Algorithms. SIROCCO 2022: 174-190 - [c345]Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal, Mouna Safir:
Optimal Algorithms for Synchronous Byzantine k-Set Agreement. SSS 2022: 178-192 - [c344]Anaïs Durand, Michel Raynal, Gadi Taubenfeld:
Reaching Consensus in the Presence of Contention-Related Crash Failures. SSS 2022: 193-205 - [c343]Romaric Duvignau, Michel Raynal, Elad Michael Schiller:
Self-stabilizing Byzantine Fault-Tolerant Repeated Reliable Broadcast. SSS 2022: 206-221 - [c342]Oskar Lundström, Michel Raynal, Elad Michael Schiller:
Brief Announcement: Self-stabilizing Total-Order Broadcast. SSS 2022: 358-363 - [c341]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: 4:1-4:22 - [i44]Romaric Duvignau, Michel Raynal, Elad Michael Schiller:
Self-stabilizing Byzantine-tolerant Broadcast. CoRR abs/2201.12880 (2022) - [i43]Damien Imbs, Michel Raynal, Gadi Taubenfeld:
Election in Fully Anonymous Shared Memory Systems: Tight Space Bounds and Algorithms. CoRR abs/2203.02988 (2022) - [i42]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 abs/2204.13388 (2022) - [i41]Timothé Albouy, Davide Frey, Michel Raynal, François Taïani:
Asynchronous Byzantine Reliable Broadcast With a Message Adversary. CoRR abs/2205.09992 (2022) - [i40]Oskar Lundström, Michel Raynal, Elad Michael Schiller:
Self-stabilizing Total-order Broadcast. CoRR abs/2209.14685 (2022) - 2021
- [j168]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: 110-118 (2021) - [j167]Michel Raynal:
On the Versatility of Bracha's Byzantine Reliable Broadcast Algorithm. Parallel Process. Lett. 31(3): 2150006:1-2150006:9 (2021) - [j166]Michel Raynal:
Distributed Computability: A Few Results Masters Students Should Know. SIGACT News 52(2): 92-110 (2021) - [j165]Alex Auvolat, Davide Frey, Michel Raynal, François Taïani:
Byzantine-tolerant causal broadcast. Theor. Comput. Sci. 885: 55-68 (2021) - [j164]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: 49-68 (2021) - [c340]Michel Raynal, Jiannong Cao:
From Incomplete to Complete Networks in Asynchronous Byzantine Systems. AINA (1) 2021: 102-112 - [c339]Oskar Lundström, Michel Raynal, Elad Michael Schiller:
Self-stabilizing Multivalued Consensus in Asynchronous Crash-prone Systems. EDCC 2021: 111-118 - [c338]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: 2:1-2:19 - [c337]Oskar Lundström, Michel Raynal, Elad Michael Schiller:
Self-Stabilizing Indulgent Zero-degrading Binary Consensus. ICDCN 2021: 106-115 - [c336]Chryssis Georgiou, Ioannis Marcoullis, Michel Raynal, Elad Michael Schiller:
Loosely-self-stabilizing Byzantine-Tolerant Binary Consensus for Signature-Free Message-Passing Systems. NETYS 2021: 36-53 - [c335]Carlos López, Sergio Rajsbaum, Michel Raynal, Karla Vargas:
Leader Election in Arbitrarily Connected Networks with Process Crashes and Weak Channel Reliability. NETYS 2021: 54-70 - [c334]Davide Frey, Lucie Guillou, Michel Raynal, François Taïani:
Consensus-Free Ledgers When Operations of Distinct Processes are Commutative. PaCT 2021: 359-370 - [c333]Timothé Albouy, Davide Frey, Michel Raynal, François Taïani:
Byzantine-Tolerant Reliable Broadcast in the Presence of Silent Churn. SSS 2021: 21-33 - [i39]Vicent Cholvi, Antonio Fernández Anta, Chryssis Georgiou, Nicolas Nicolaou, Michel Raynal, Antonio Russo:
Byzantine-tolerant Distributed Grow-only Sets: Specification and Applications. CoRR abs/2103.08936 (2021) - [i38]Chryssis Georgiou, Ioannis Marcoullis, Michel Raynal, Elad Michael Schiller:
Loosely-self-stabilizing Byzantine-tolerant Binary Consensus for Signature-free Message-passing Systems. CoRR abs/2103.14649 (2021) - [i37]Oskar Lundström, Michel Raynal, Elad Michael Schiller:
Self-stabilizing Multivalued Consensus in Asynchronous Crash-prone Systems. CoRR abs/2104.03129 (2021) - [i36]Carlos López, Sergio Rajsbaum, Michel Raynal, Karla Vargas:
Leader Election in Arbitrarily Connected Networks with Process Crashes and Weak Channel Reliability. CoRR abs/2105.02972 (2021) - [i35]Romaric Duvignau, Michel Raynal, Elad Michael Schiller:
Self-stabilizing Byzantine- and Intrusion-tolerant Consensus. CoRR abs/2110.08592 (2021) - 2020
- [j163]Sergio Rajsbaum, Michel Raynal:
Mastering concurrent computing through sequential thinking. Commun. ACM 63(1): 78-87 (2020) - [j162]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) - [j161]Michel Raynal, Gadi Taubenfeld:
Mutual exclusion in fully anonymous shared memory systems. Inf. Process. Lett. 158: 105938 (2020) - [j160]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): 2050006:1-2050006:23 (2020) - [j159]Sergio Rajsbaum, Michel Raynal:
60 Years of Mastering Concurrent Computing through Sequential Thinking. SIGACT News 51(2): 59-88 (2020) - [j158]Emmanuel Godard, Damien Imbs, Michel Raynal, Gadi Taubenfeld:
Leader-based de-anonymization of an anonymous read/write memory. Theor. Comput. Sci. 836: 110-123 (2020) - [j157]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): 1544-1554 (2020) - [c332]Vicent Cholvi, Antonio Fernández Anta, Chryssis Georgiou, Nicolas Nicolaou, Michel Raynal:
Atomic Appends in Asynchronous Byzantine Distributed Ledgers. EDCC 2020: 77-84 - [c331]Oskar Lundström, Michel Raynal, Elad Michael Schiller:
Self-Stabilizing Set-Constrained Delivery Broadcast (extended abstract). ICDCS 2020: 617-627 - [c330]Oskar Lundström, Michel Raynal, Elad Michael Schiller:
Self-stabilizing Uniform Reliable Broadcast. NETYS 2020: 296-313 - [c329]Michel Raynal, Gadi Taubenfeld:
Fully Anonymous Consensus and Set Agreement Algorithms. NETYS 2020: 314-328 - [c328]Armando Castañeda, Sergio Rajsbaum, Michel Raynal:
Relaxed Queues and Stacks from Read/Write Operations. OPODIS 2020: 13:1-13:19 - [c327]Emmanuel Godard, Damien Imbs, Michel Raynal, Gadi Taubenfeld:
From Bezout's Identity to Space-Optimal Election in Anonymous Memory Systems. PODC 2020: 41-50 - [c326]Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal:
k-Immediate Snapshot and x-Set Agreement: How Are They Related? SSS 2020: 97-112 - [c325]Sergio Rajsbaum, Michel Raynal, Karla Vargas:
Brief Announcement: Leader Election in the ADD Communication Model. SSS 2020: 229-234 - [i34]Oskar Lundström, Michel Raynal, Elad Michael Schiller:
Self-stabilizing Uniform Reliable Broadcast. CoRR abs/2001.03244 (2020) - [i33]Vicent Cholvi, Antonio Fernández Anta, Chryssis Georgiou, Nicolas C. Nicolaou, Michel Raynal:
Appending Atomically in Byzantine Distributed Ledgers. CoRR abs/2002.11593 (2020) - [i32]Armando Castañeda, Sergio Rajsbaum, Michel Raynal:
What Can Be Done with Consensus Number One: Relaxed Queues and Stacks. CoRR abs/2005.05427 (2020) - [i31]Alex Auvolat, Davide Frey, Michel Raynal, François Taïani:
Money Transfer Made Simple. CoRR abs/2006.12276 (2020) - [i30]Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal:
t-Resilient k-Immediate Snapshot and its Relation with Agreement Problems. CoRR abs/2010.00096 (2020) - [i29]Oskar Lundström, Michel Raynal, Elad Michael Schiller:
Self-Stabilizing Indulgent Zero-degrading Binary Consensus. CoRR abs/2010.05489 (2020)
2010 – 2019
- 2019
- [j156]Achour Mostéfaoui, Michel Raynal, Matthieu Roy:
Time-efficient read/write register in crash-prone asynchronous message-passing systems. Computing 101(1): 3-17 (2019) - [j155]Tyler Crain, Vincent Gramoli, Michel Raynal:
A speculation-friendly binary search tree. Concurr. Comput. Pract. Exp. 31(4) (2019) - [j154]Michel Raynal:
An Informal Visit to the Wonderful Land of Consensus Numbers and Beyond. Bull. EATCS 129 (2019) - [j153]Achour Mostéfaoui, Matthieu Perrin, Michel Raynal, Jiannong Cao:
Crash-tolerant causal broadcast in O(n) messages. Inf. Process. Lett. 151 (2019) - [j152]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): 344-365 (2019) - [j151]Hicham Lakhlef, Michel Raynal, François Taïani:
Vertex Coloring with Communication Constraints in Synchronous Broadcast Networks. IEEE Trans. Parallel Distributed Syst. 30(7): 1672-1686 (2019) - [c324]Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal:
On the Weakest Failure Detector for Read/Write-Based Mutual Exclusion. AINA 2019: 272-285 - [c323]Michel Raynal, Jiannong Cao:
One for All and All for One: Scalable Consensus in a Hybrid Communication Model. ICDCS 2019: 464-471 - [c322]Emmanuel Godard, Damien Imbs, Michel Raynal, Gadi Taubenfeld:
Mutex-Based De-anonymization of an Anonymous Read/Write Memory. NETYS 2019: 311-326 - [c321]Alex Auvolat, Michel Raynal, François Taïani:
Byzantine-Tolerant Set-Constrained Delivery Broadcast. OPODIS 2019: 6:1-6:23 - [c320]Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal:
Participant-Restricted Consensus in Asynchronous Crash-Prone Read/Write Systems and Its Weakest Failure Detector. PaCT 2019: 419-430 - [c319]Zahra Aghazadeh, Damien Imbs, Michel Raynal, Gadi Taubenfeld, Philipp Woelfel:
Optimal Memory-Anonymous Symmetric Deadlock-Free Mutual Exclusion. PODC 2019: 157-166 - [c318]Achour Mostéfaoui, Matthieu Perrin, Michel Raynal:
A New Insight into Local Coin-Based Randomized Consensus. PRDC 2019: 207-216 - [c317]Emmanuel Godard, Damien Imbs, Michel Raynal, Gadi Taubenfeld:
Anonymous Read/Write Memory: Leader Election and De-anonymization. SIROCCO 2019: 246-261 - [c316]Michel Raynal:
The Notion of Universality in Crash-Prone Asynchronous Message-Passing Systems: A Tutorial. SRDS 2019: 334-350 - [c315]Michel Raynal, Gadi Taubenfeld:
Brief Announcement: Fully Anonymous Shared Memory Algorithms. SSS 2019: 301-306 - [i28]Emmanuel Godard, Damien Imbs, Michel Raynal, Gadi Taubenfeld:
Mutex-based Desanonymization of an Anonymous Read/Write Memory. CoRR abs/1903.12204 (2019) - [i27]Michel Raynal, Gadi Taubenfeld:
Fully Anonymous Shared Memory Algorithms. CoRR abs/1909.05576 (2019) - 2018
- [b7]Michel Raynal:
Fault-Tolerant Message-Passing Distributed Systems - An Algorithmic Approach. Springer 2018, ISBN 978-3-319-94140-0, pp. 1-459 - [j150]Hicham Lakhlef, Abdelmadjid Bouabdallah, Michel Raynal, Julien Bourgeois:
Agent-based broadcast protocols for wireless heterogeneous node networks. Comput. Commun. 115: 51-63 (2018) - [j149]Zohir Bouzid, Michel Raynal, Pierre Sutra:
Anonymous obstruction-free (n, k)-set agreement with n-k+1 atomic read/write registers. Distributed Comput. 31(2): 99-117 (2018) - [j148]Achour Mostéfaoui, Matthieu Perrin, Michel Raynal:
Extending Causal Consistency to any Object Defined by a Sequential Specification. Bull. EATCS 125 (2018) - [j147]Weiping Zhu, Jiannong Cao, Michel Raynal:
Energy-Efficient Composite Event Detection in Wireless Sensor Networks. IEEE Commun. Lett. 22(1): 177-180 (2018) - [j146]Armando Castañeda, Sergio Rajsbaum, Michel Raynal:
Unifying Concurrent Objects and Distributed Tasks: Interval-Linearizability. J. ACM 65(6): 45:1-45:42 (2018) - [j145]Achour Mostéfaoui, Matthieu Perrin, Michel Raynal:
A Simple Object that Spans the Whole Consensus Hierarchy. Parallel Process. Lett. 28(2): 1850006:1-1850006:9 (2018) - [j144]Achour Mostéfaoui, Hamouma Moumen, Michel Raynal:
Randomized k-set agreement in crash-prone and Byzantine asynchronous systems. Theor. Comput. Sci. 709: 80-97 (2018) - [j143]Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal:
Implementing Snapshot Objects on Top of Crash-Prone Asynchronous Message-Passing Systems. IEEE Trans. Parallel Distributed Syst. 29(9): 2033-2045 (2018) - [c314]Damien Imbs, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal:
Set-Constrained Delivery Broadcast: Definition, Abstraction Power, and Computability Limits. ICDCN 2018: 7:1-7:10 - [c313]Weiping Zhu, Xing Meng, Xiaolei Peng, Jiannong Cao, Michel Raynal:
Time-Efficient RFID-Based Stocktaking with a Coarse-Grained Inventory List. IWQoS 2018: 1-6 - [c312]Michel Raynal, Jiannong Cao:
A Pleasant Stroll Through the Land of Distributed Machines, Computation, and Universality. MCU 2018: 34-50 - [c311]Tyler Crain, Vincent Gramoli, Mikel Larrea, Michel Raynal:
DBFT: Efficient Leaderless Byzantine Consensus and its Application to Blockchains. NCA 2018: 1-8 - [c310]Michel Raynal, Jiannong Cao:
Anonymity in Distributed Read/Write Systems: An Introductory Survey. NETYS 2018: 122-140 - [c309]Amitay Shaer, Shlomi Dolev, Silvia Bonomi, Michel Raynal, Roberto Baldoni:
Bee's Strategy Against Byzantines Replacing Byzantine Participants - (Extended Abstract). SSS 2018: 139-153 - [c308]Anaïs Durand, Michel Raynal, Gadi Taubenfeld:
Set Agreement and Renaming in the Presence of Contention-Related Crash Failures. SSS 2018: 269-283 - [i26]Achour Mostéfaoui, Matthieu Perrin, Michel Raynal:
A Simple Object that Spans the Whole Consensus Hierarchy. CoRR abs/1802.00678 (2018) - [i25]Achour Mostéfaoui, Matthieu Perrin, Michel Raynal:
Extending Causal Consistency to any Object Defined by a Sequential Specification. CoRR abs/1802.00706 (2018) - [i24]Zahra Aghazadeh, Damien Imbs, Michel Raynal, Gadi Taubenfeld, Philipp Woelfel:
Optimal Memory-Anonymous Symmetric Deadlock-Free Mutual Exclusion. CoRR abs/1810.03723 (2018) - [i23]Sergio Rajsbaum, Michel Raynal:
Mastering Concurrent Computing Through Sequential Thinking: A Half-century Evolution. CoRR abs/1812.06011 (2018) - 2017
- [j142]Achour Mostéfaoui, Michel Raynal:
Signature-free asynchronous Byzantine systems: from multivalued to binary consensus with t< n/3, O(n2) messages, and constant time. Acta Informatica 54(5): 501-520 (2017) - [j141]Michel Raynal:
Distributed Universal Constructions: a Guided Tour. Bull. EATCS 121 (2017) - [j140]Christian Fernández-Campusano, Mikel Larrea, Roberto Cortiñas, Michel Raynal:
A distributed leader election algorithm in crash-recovery and omissive systems. Inf. Process. Lett. 118: 100-104 (2017) - [j139]Achour Mostéfaoui, Matoula Petrolia, Michel Raynal, Claude Jard:
Atomic Read/Write Memory in Signature-Free Byzantine Asynchronous Message-Passing Systems. Theory Comput. Syst. 60(4): 677-694 (2017) - [j138]Maurice Herlihy, Sergio Rajsbaum, Michel Raynal, Julien Stainer:
From wait-free to arbitrary concurrent solo executions in colorless distributed computing. Theor. Comput. Sci. 683: 1-21 (2017) - [c307]Abdelmadjid Bouabdallah, Hicham Lakhlef, Michel Raynal, François Taïani:
Providing Collision-Free and Conflict-Free Communication in General Synchronous Broadcast/Receive Networks. AINA 2017: 399-406 - [c306]Armando Castañeda, Yoram Moses, Michel Raynal, Matthieu Roy:
Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided Tour. NETYS 2017: 206-221 - [c305]Armando Castañeda, Sergio Rajsbaum, Michel Raynal:
Long-Lived Tasks. NETYS 2017: 439-454 - [c304]Damien Imbs, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal:
Which Broadcast Abstraction Captures k-Set Agreement?. DISC 2017: 27:1-27:16 - [i22]Tyler Crain, Vincent Gramoli, Mikel Larrea, Michel Raynal:
(Leader/Randomization/Signature)-free Byzantine Consensus for Consortium Blockchains. CoRR abs/1702.03068 (2017) - [i21]Damien Imbs, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal:
Another Look at the Implementation of Read/write Registers in Crash-prone Asynchronous Message-Passing Systems (Extended Version). CoRR abs/1702.08176 (2017) - [i20]Damien Imbs, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal:
Which Broadcast Abstraction Captures $k$-Set Agreement? CoRR abs/1705.04835 (2017) - [i19]Damien Imbs, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal:
Set-Constrained Delivery Broadcast: Definition, Abstraction Power, and Computability Limits. CoRR abs/1706.05267 (2017) - 2016
- [j137]Michel Raynal, Julien Stainer, Gadi Taubenfeld:
Distributed Universality. Algorithmica 76(2): 502-535 (2016) - [j136]Guevara Noubir, Michel Raynal:
Special issue on NETYS'14 selected papers. Computing 98(8): 775 (2016) - [j135]Zohir Bouzid, Damien Imbs, Michel Raynal:
A necessary condition for Byzantine k-set agreement. Inf. Process. Lett. 116(12): 757-759 (2016) - [j134]Roberto Baldoni, Silvia Bonomi, Michel Raynal:
Implementing set objects in dynamic distributed systems. J. Comput. Syst. Sci. 82(5): 654-689 (2016) - [j133]Damien Imbs, Sergio Rajsbaum, Michel Raynal, Julien Stainer:
Read/write shared memory abstraction on top of asynchronous Byzantine message-passing systems. J. Parallel Distributed Comput. 93-94: 1-9 (2016) - [j132]Tyler Crain, Vincent Gramoli, Michel Raynal:
A Fast Contention-Friendly Binary Search Tree. Parallel Process. Lett. 26(3): 1650015:1-1650015:17 (2016) - [j131]Damien Imbs, Michel Raynal:
Trading off t-Resilience for Efficiency in Asynchronous Byzantine Reliable Broadcast. Parallel Process. Lett. 26(4): 1650017:1-1650017:8 (2016) - [j130]Armando Castañeda, Damien Imbs, Sergio Rajsbaum, Michel Raynal:
Generalized Symmetry Breaking Tasks and Nondeterminism in Concurrent Objects. SIAM J. Comput. 45(2): 379-414 (2016) - [j129]Weiping Zhu, Jiannong Cao, Michel Raynal:
Predicate Detection in Asynchronous Distributed Systems: A Probabilistic Approach. IEEE Trans. Computers 65(1): 173-186 (2016) - [j128]Antonio Fernández Anta, Vincent Gramoli, Ernesto Jiménez, Anne-Marie Kermarrec, Michel Raynal:
Distributed Slicing in Dynamic Systems. IEEE Trans. Parallel Distributed Syst. 27(4): 1030-1043 (2016) - [j127]Achour Mostéfaoui, Michel Raynal:
Intrusion-Tolerant Broadcast and Agreement Abstractions in the Presence of Byzantine Processes. IEEE Trans. Parallel Distributed Syst. 27(4): 1085-1098 (2016) - [c303]Hicham Lakhlef, Michel Raynal, Julien Bourgeois:
Efficient Broadcast Protocol for the Internet of Things. AINA 2016: 998-1005 - [c302]Hicham Lakhlef, Michel Raynal, François Taïani:
Vertex Coloring with Communication and Local Memory Constraints in Synchronous Broadcast Networks. ALGOSENSORS 2016: 29-44 - [c301]Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal:
Implementing Snapshot Objects on Top of Crash-Prone Asynchronous Message-Passing Systems. ICA3PP 2016: 341-355 - [c300]Achour Mostéfaoui, Hamouma Moumen, Michel Raynal:
Modular randomized byzantine k-set agreement in asynchronous message-passing systems. ICDCN 2016: 5:1-5:10 - [c299]Christian Fernández-Campusano, Mikel Larrea, Roberto Cortiñas, Michel Raynal:
A communication-efficient leader election algorithm in partially synchronous systems prone to crash-recovery and omission failures. ICDCN 2016: 8:1-8:4 - [c298]Michel Raynal:
A Look at Basics of Distributed Computing. ICDCS 2016: 1-11 - [c297]Davide Frey, Hicham Lakhlef, Michel Raynal:
Optimal Collision/Conflict-Free Distance-2 Coloring in Wireless Synchronous Broadcast/Receive Tree Networks. ICPP 2016: 350-359 - [c296]Achour Mostéfaoui, Michel Raynal:
Time-Efficient Read/Write Register in Crash-Prone Asynchronous Message-Passing Systems. NETYS 2016: 250-265 - [c295]Achour Mostéfaoui, Michel Raynal:
Two-Bit Messages are Sufficient to Implement Atomic Read/Write Registers in Crash-prone Systems. PODC 2016: 381-389 - [c294]Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal:
t-Resilient Immediate Snapshot Is Impossible. SIROCCO 2016: 177-191 - [c293]Armando Castañeda, Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal:
Making Local Algorithms Wait-Free: The Case of Ring Coloring. SSS 2016: 109-125 - [c292]Damien Imbs, Michel Raynal, Julien Stainer:
Are Byzantine Failures Really Different from Crash Failures? DISC 2016: 215-229 - [r4]Michel Raynal:
Distributed Snapshots. Encyclopedia of Algorithms 2016: 581-586 - [r3]Michel Raynal:
Message Adversaries. Encyclopedia of Algorithms 2016: 1272-1276 - [r2]Michel Raynal:
Set Agreement. Encyclopedia of Algorithms 2016: 1956-1959 - [i18]Davide Frey, Hicham Lakhlef, Michel Raynal:
Optimal Collision/Conflict-free Distance-2 Coloring in Synchronous Broadcast/Receive Tree Networks. CoRR abs/1601.03225 (2016) - [i17]Achour Mostéfaoui, Michel Raynal:
Time-Efficient Read/Write Register in Crash-prone Asynchronous Message-Passing Systems. CoRR abs/1601.04820 (2016) - [i16]Achour Mostéfaoui, Michel Raynal:
Two-Bit Messages are Sufficient to Implement Atomic Read/Write Registers in Crash-prone Systems. CoRR abs/1602.02695 (2016) - [i15]Hicham Lakhlef, Michel Raynal, François Taïani:
Vertex Coloring with Communication and Local Memory Constraints in Synchronous Broadcast Networks. CoRR abs/1604.03356 (2016) - [i14]Achour Mostéfaoui, Matoula Petrolia, Michel Raynal, Claude Jard:
Atomic Read/Write Memory in Signature-free Byzantine Asynchronous Message-passing Systems. CoRR abs/1604.08161 (2016) - 2015
- [j126]Achour Mostéfaoui, Hamouma Moumen, Michel Raynal:
Signature-Free Asynchronous Binary Byzantine Consensus with t < n/3, O(n2) Messages, and O(1) Expected Time. J. ACM 62(4): 31:1-31:21 (2015) - [j125]Sergio Arévalo, Antonio Fernández Anta, Damien Imbs, Ernesto Jiménez, Michel Raynal:
Failure detectors in homonymous distributed systems (with an application to consensus). J. Parallel Distributed Comput. 83: 83-95 (2015) - [j124]Michel Raynal, Franck Petit:
Special Issue on Distributed Computing and Networking. Theor. Comput. Sci. 561: 87 (2015) - [c291]Michel Raynal:
A Simple Predicate to Expedite the Termination of a Randomized Consensus Algorithm. AINA 2015: 106-111 - [c290]Michel Raynal:
Concurrent Systems: Hybrid Object Implementations and Abortable Objects. Euro-Par 2015: 3-15 - [c289]Michel Raynal:
Parallel Computing vs. Distributed Computing: A Great Confusion? (Position Paper). Euro-Par Workshops 2015: 41-53 - [c288]Roy Friedman, Michel Raynal, François Taïani:
Fisheye Consistency: Keeping Data in Synch in a Georeplicated World. NETYS 2015: 246-262 - [c287]Michel Raynal:
Signature-Free Communication and Agreement in the Presence of Byzantine Processes (Tutorial). OPODIS 2015: 1:1-1:10 - [c286]Zohir Bouzid, Michel Raynal, Pierre Sutra:
Anonymous Obstruction-Free (n, k)-Set Agreement with n-k+1 Atomic Read/Write Registers. OPODIS 2015: 18:1-18:17 - [c285]Zohir Bouzid, Achour Mostéfaoui, Michel Raynal:
Minimal Synchrony for Byzantine Consensus. PODC 2015: 461-470 - [c284]Silvia Bonomi, Shlomi Dolev, Maria Potop-Butucaru, Michel Raynal:
Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems: Extended abstract. PODC 2015: 471-479 - [c283]Christian Fernández-Campusano, Mikel Larrea, Roberto Cortiñas, Michel Raynal:
Eventual Leader Election Despite Crash-Recovery and Omission Failures. PRDC 2015: 209-214 - [c282]Michel Raynal:
Communication Patterns and Input Patterns in Distributed Computing - (Invited Talk). SIROCCO 2015: 1-15 - [c281]Achour Mostéfaoui, Michel Raynal:
Signature-Free Asynchronous Byzantine Systems: From Multivalued to Binary Consensus with t < n/3, O(n2) Messages, and Constant Time. SIROCCO 2015: 194-208 - [c280]Armando Castañeda, Sergio Rajsbaum, Michel Raynal:
Specifying Concurrent Problems: Beyond Linearizability and up to Tasks - (Extended Abstract). DISC 2015: 420-435 - [i13]Silvia Bonomi, Shlomi Dolev, Maria Potop-Butucaru, Michel Raynal:
Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems. CoRR abs/1503.00140 (2015) - [i12]Armando Castañeda, Michel Raynal, Sergio Rajsbaum:
Specifying Concurrent Problems: Beyond Linearizability. CoRR abs/1507.00073 (2015) - [i11]Zohir Bouzid, Michel Raynal, Pierre Sutra:
Anonymous Obstruction-free (n, k)-Set Agreement with n-k+1 Atomic Read/Write Registers. CoRR abs/1507.00474 (2015) - [i10]Damien Imbs, Michel Raynal:
Simple and Efficient Reliable Broadcast in the Presence of Byzantine Processes. CoRR abs/1510.06882 (2015) - [i9]Damien Imbs, Michel Raynal, Julien Stainer:
From Byzantine Failures to Crash Failures in Message-Passing Systems: a BG Simulation-based approach. CoRR abs/1510.09119 (2015) - [i8]Zohir Bouzid, Damien Imbs, Michel Raynal:
A Necessary Condition for Byzantine $k$-Set Agreement. CoRR abs/1512.06227 (2015) - 2014
- [c279]Michel Raynal, Julien Stainer, Jiannong Cao, Weigang Wu:
A Simple Broadcast Algorithm for Recurrent Dynamic Systems. AINA 2014: 933-939 - [c278]Michel Raynal:
Simple Deadlock Detection for the And-Communication Model. CISIS 2014: 273-278 - [c277]Michel Raynal:
What Can be Computed in a Distributed System? FPS@ETAPS 2014: 209-224 - [c276]Maurice Herlihy, Sergio Rajsbaum, Michel Raynal, Julien Stainer:
Computing in the Presence of Concurrent Solo Executions. LATIN 2014: 214-225 - [c275]Carole Delporte, Hugues Fauconnier, Michel Raynal:
An Exercise in Concurrency: From Non-blocking Objects to Fair Objects. NBiS 2014: 1-7 - [c274]Michel Raynal, Julien Stainer, Gadi Taubenfeld:
Distributed Universality. OPODIS 2014: 469-484 - [c273]Achour Mostéfaoui, Moumen Hamouma, Michel Raynal:
Signature-free asynchronous byzantine consensus with t 2<n/3 and o(n2) messages. PODC 2014: 2-9 - [c272]Michel Raynal, Julien Stainer, Gadi Taubenfeld:
Brief announcement: distributed universality: contention-awareness; wait-freedom; object progress, and other properties. PODC 2014: 206-208 - [c271]Damien Imbs, Sergio Rajsbaum, Michel Raynal, Julien Stainer:
Reliable Shared Memory Abstraction on Top of Asynchronous Byzantine Message-Passing Systems. SIROCCO 2014: 37-53 - [c270]Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal:
Fair Synchronization in the Presence of Process Crashes and its Weakest Failure Detector. SRDS 2014: 161-170 - [e6]Guevara Noubir, Michel Raynal:
Networked Systems - Second International Conference, NETYS 2014, Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers. Lecture Notes in Computer Science 8593, Springer 2014, ISBN 978-3-319-09580-6 [contents] - [i7]Roy Friedman, Michel Raynal, François Taïani:
Fisheye Consistency: Keeping Data in Synch in a Georeplicated World. CoRR abs/1411.6478 (2014) - 2013
- [b6]Michel Raynal:
Distributed Algorithms for Message-Passing Systems. Springer 2013, ISBN 978-3-642-38122-5, pp. I-XXX, 1-500 - [b5]Michel Raynal:
Concurrent Programming - Algorithms, Principles, and Foundations. Springer 2013, ISBN 978-3-642-32026-2, pp. I-XXXII, 1-515 - [j123]François Bonnet, Michel Raynal:
Anonymous asynchronous systems: the case of failure detectors. Distributed Comput. 26(3): 141-158 (2013) - [j122]Sergio Rajsbaum, Michel Raynal, Panagiota Fatourou:
An Introductory Tutorial to Concurrency-Related Distributed Recursion. Bull. EATCS 111 (2013) - [j121]Tyler Crain, Damien Imbs, Michel Raynal:
Towards a universal construction for transaction-based multiprocess programs. Theor. Comput. Sci. 496: 154-169 (2013) - [j120]Maurice Herlihy, Sergio Rajsbaum, Michel Raynal:
Power and limits of distributed computing shared memory models. Theor. Comput. Sci. 509: 3-24 (2013) - [j119]Davide Frey, Arnaud Jégou, Anne-Marie Kermarrec, Michel Raynal, Julien Stainer:
Trust-aware peer sampling: Performance and privacy tradeoffs. Theor. Comput. Sci. 512: 67-83 (2013) - [j118]Damien Imbs, Michel Raynal:
The weakest failure detector to implement a register in asynchronous systems with hybrid communication. Theor. Comput. Sci. 512: 130-142 (2013) - [c269]Julien Bourgeois, Jiannong Cao, Michel Raynal, Dominique Dhoutaut, Benoît Piranda, Eugen Dedu, Ahmed Mostefaoui, Hakim Mabed:
Coordination and Computation in Distributed Intelligent MEMS. AINA 2013: 129-136 - [c268]Michel Raynal:
A Short Introduction to Synchronous Communication. AINA 2013: 1136-1143 - [c267]Tyler Crain, Vincent Gramoli, Michel Raynal:
A Contention-Friendly Binary Search Tree. Euro-Par 2013: 229-240 - [c266]Tyler Crain, Vincent Gramoli, Michel Raynal:
No Hot Spot Non-blocking Skip List. ICDCS 2013: 196-205 - [c265]Aoxueluo, Weigang Wu, Jiannong Cao, Michel Raynal:
A Generalized Mutual Exclusion Problem and Its Algorithm. ICPP 2013: 300-309 - [c264]Armando Castañeda, Sergio Rajsbaum, Michel Raynal:
Agreement via Symmetry Breaking: On the Structure of Weak Subconsensus Tasks. IPDPS 2013: 1147-1158 - [c263]Armando Castañeda, Michel Raynal:
On the Consensus Number of Non-adaptive Perfect Renaming. NETYS 2013: 1-12 - [c262]François Taïani, Barry Porter, Geoff Coulson, Michel Raynal:
Cliff-Edge Consensus: Agreeing on the Precipice. PaCT 2013: 51-64 - [c261]Michel Raynal, Julien Stainer:
Synchrony weakened by message adversaries vs asynchrony restricted by failure detectors. PODC 2013: 166-175 - [c260]Carlos Gómez-Calzado, Alberto Lafuente, Mikel Larrea, Michel Raynal:
Fault-Tolerant Leader Election in Mobile Dynamic Distributed Systems. PRDC 2013: 78-87 - [c259]Michel Raynal, Julien Stainer:
Simultaneous Consensus vs Set Agreement: A Message-Passing-Sensitive Hierarchy of Agreement Problems. SIROCCO 2013: 298-309 - [e5]Davide Frey, Michel Raynal, Saswati Sarkar, Rudrapatna K. Shyamasundar, Prasun Sinha:
Distributed Computing and Networking, 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings. Lecture Notes in Computer Science 7730, Springer 2013, ISBN 978-3-642-35667-4 [contents] - 2012
- [j117]Yoram Moses, Michel Raynal:
No double discount: Condition-based simultaneity yields limited gain. Inf. Comput. 214: 47-58 (2012) - [j116]Mikel Larrea, Michel Raynal, Iratxe Soraluze Arriola, Roberto Cortiñas:
Specifying and implementing an eventual leader service for dynamic systems. Int. J. Web Grid Serv. 8(3): 204-224 (2012) - [j115]Damien Imbs, Michel Raynal:
Help when needed, but no more: Efficient read/write partial snapshot. J. Parallel Distributed Comput. 72(1): 1-12 (2012) - [j114]Saúl E. Pomares Hernández, Jose Roberto Perez Cruz, Michel Raynal:
From the Happened-Before Relation to the Causal Ordered Set Abstraction. J. Parallel Distributed Comput. 72(6): 791-795 (2012) - [j113]Maurice Herlihy, Sergio Rajsbaum, Michel Raynal:
Computability in distributed computing: a Tutorial. SIGACT News 43(3): 88-110 (2012) - [j112]Damien Imbs, Michel Raynal:
Virtual world consistency: A condition for STM systems (with a versatile protocol with invisible read operations). Theor. Comput. Sci. 444: 113-127 (2012) - [j111]Roberto Baldoni, Silvia Bonomi, Michel Raynal:
Implementing a Regular Register in an Eventually Synchronous Distributed System Prone to Continuous Churn. IEEE Trans. Parallel Distributed Syst. 23(1): 102-109 (2012) - [c258]Damien Imbs, Michel Raynal:
Trying to Unify the LL/SC Synchronization Primitive and the Notion of a Timed Register. AINA 2012: 326-330 - [c257]Itziar Arrieta-Salinas, Federico Fariña, José Ramón González de Mendívil, Michel Raynal:
Leader Election: From Higham-Przytycka's Algorithm to a Gracefully Degrading Algorithm. CISIS 2012: 225-232 - [c256]Michel Raynal, Julien Stainer:
A Simple Asynchronous Shared Memory Consensus Algorithm Based on Omega and Closing Sets. CISIS 2012: 357-364 - [c255]Michel Raynal, Julien Stainer:
From a Store-Collect Object and Ω to Efficient Asynchronous Consensus. Euro-Par 2012: 427-438 - [c254]Tyler Crain, Eleni Kanellou, Michel Raynal:
STM Systems: Enforcing Strong Isolation between Transactions and Non-transactional Code. ICA3PP (1) 2012: 317-331 - [c253]Tyler Crain, Damien Imbs, Michel Raynal:
Towards a Universal Construction for Transaction-Based Multiprocess Programs. ICDCN 2012: 61-75 - [c252]Sergio Arévalo, Antonio Fernández Anta, Damien Imbs, Ernesto Jiménez, Michel Raynal:
Failure Detectors in Homonymous Distributed Systems (with an Application to Consensus). ICDCS 2012: 275-284 - [c251]Armando Castañeda, Damien Imbs, Sergio Rajsbaum, Michel Raynal:
Renaming Is Weaker Than Set Agreement But for Perfect Renaming: A Map of Sub-consensus Tasks. LATIN 2012: 145-156 - [c250]Achour Mostéfaoui, Michel Raynal, Julien Stainer:
Chasing the Weakest Failure Detector for k-Set Agreement in Message-Passing Systems. NCA 2012: 44-51 - [c249]Armando Castañeda, Michel Raynal, Julien Stainer:
When and How Process Groups Can Be Used to Reduce the Renaming Space. OPODIS 2012: 91-105 - [c248]Armando Castañeda, Sergio Rajsbaum, Michel Raynal:
Brief announcement: there are plenty of tasks weaker than perfect renaming and stronger than set agreement. PODC 2012: 97-98 - [c247]Michel Raynal, Julien Stainer:
Brief announcement: increasing the power of the iterated immediate snapshot model with failure detectors. PODC 2012: 337-338 - [c246]Tyler Crain, Vincent Gramoli, Michel Raynal:
A speculation-friendly binary search tree. PPoPP 2012: 161-170 - [c245]Michel Raynal, Julien Stainer:
Increasing the Power of the Iterated Immediate Snapshot Model with Failure Detectors. SIROCCO 2012: 231-242 - [c244]Tyler Crain, Vincent Gramoli, Michel Raynal:
Brief Announcement: A Contention-Friendly, Non-blocking Skip List. DISC 2012: 423-424 - 2011
- [j110]Damien Imbs, Michel Raynal:
A liveness condition for concurrent objects: x-wait-freedom. Concurr. Comput. Pract. Exp. 23(17): 2154-2166 (2011) - [j109]Armando Castañeda, Sergio Rajsbaum, Michel Raynal:
The renaming problem in shared memory systems: An introduction. Comput. Sci. Rev. 5(3): 229-251 (2011) - [j108]Michel Raynal:
Failure Detectors to Solve Asynchronous k-Set Agreement: a Glimpse of Recent Results. Bull. EATCS 103: 74-95 (2011) - [j107]François Bonnet, Michel Raynal:
The Price of Anonymity: Optimal Consensus Despite Asynchrony, Crash, and Anonymity. ACM Trans. Auton. Adapt. Syst. 6(4): 23:1-23:28 (2011) - [j106]François Bonnet, Michel Raynal:
On the road to the weakest failure detector for k-set agreement in message-passing systems. Theor. Comput. Sci. 412(33): 4273-4284 (2011) - [j105]Damien Imbs, Michel Raynal:
Software transactional memories: an approach for multicore programming. J. Supercomput. 57(2): 203-215 (2011) - [c243]Sergio Rajsbaum, Michel Raynal:
A Theory-Oriented Introduction to Wait-Free Synchronization Based on the Adaptive Renaming Problem. AINA 2011: 356-363 - [c242]Michel Raynal:
On the Implementation of Concurrent Objects. Dependable and Historic Computing 2011: 453-478 - [c241]Roberto Baldoni, Silvia Bonomi, Michel Raynal:
k-bounded set objects in eventually synchronous distributed systems with churn and continuous accesses. EWDC 2011: 99-106 - [c240]Tyler Crain, Damien Imbs, Michel Raynal:
Read Invisibility, Virtual World Consistency and Probabilistic Permissiveness are Compatible. ICA3PP (1) 2011: 244-257 - [c239]Olivier Baldellon, Achour Mostéfaoui, Michel Raynal:
A Necessary and Sufficient Synchrony Condition for Solving Byzantine Consensus in Symmetric Networks. ICDCN 2011: 215-226 - [c238]Damien Imbs, Michel Raynal:
A Simple Snapshot Algorithm for Multicore Systems. LADC 2011: 17-24 - [c237]Mikel Larrea, Michel Raynal:
Specifying and Implementing an Eventual Leader Service for Dynamic Systems. NBiS 2011: 243-249 - [c236]Maria Potop-Butucaru, Michel Raynal, Sébastien Tixeuil:
Distributed Computing with Mobile Robots: An Introductory Survey. NBiS 2011: 318-324 - [c235]Achour Mostéfaoui, Michel Raynal:
Looking for Efficient Implementations of Concurrent Objects. PaCT 2011: 74-87 - [c234]Damien Imbs, Sergio Rajsbaum, Michel Raynal:
The universe of symmetry breaking tasks. PODC 2011: 287-288 - [c233]Sergio Rajsbaum, Michel Raynal:
A Survey on Some Recent Advances in Shared Memory Models. SIROCCO 2011: 17-28 - [c232]Damien Imbs, Sergio Rajsbaum, Michel Raynal:
The Universe of Symmetry Breaking Tasks. SIROCCO 2011: 66-77 - [c231]Tyler Crain, Damien Imbs, Michel Raynal:
Brief announcement: read invisibility, virtual world consistency and permissiveness are compatible. SPAA 2011: 315-316 - [c230]Damien Imbs, Michel Raynal:
The Weakest Failure Detector to Implement a Register in Asynchronous Systems with Hybrid Communication. SSS 2011: 268-282 - [c229]Achour Mostéfaoui, Michel Raynal, Julien Stainer:
Relations Linking Failure Detectors Associated with k-Set Agreement in Message-Passing Systems. SSS 2011: 341-355 - [c228]Mikel Larrea, Michel Raynal:
Brief Announcement: ΔΩ: Specifying an Eventual Leader Service for Dynamic Systems. DISC 2011: 328-329 - [i6]Sergio Arévalo, Antonio Fernández Anta, Damien Imbs, Ernesto Jiménez, Michel Raynal:
Failure Detectors in Homonymous Distributed Systems (with an Application to Consensus). CoRR abs/1110.1842 (2011) - 2010
- [b4]Michel Raynal:
Fault-tolerant Agreement in Synchronous Message-passing Systems. Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers 2010, ISBN 978-3-031-00873-3 - [b3]Michel Raynal:
Communication and Agreement Abstractions for Fault-Tolerant Asynchronous Distributed Systems. Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers 2010, ISBN 978-3-031-00872-6 - [j104]Antonio Fernández, Ernesto Jiménez, Michel Raynal, Gilles Trédan:
A Timing Assumption and Two t-Resilient Protocols for Implementing an Eventual Leader Service in Asynchronous Shared Memory Systems. Algorithmica 56(4): 550-576 (2010) - [j103]Vicent Cholvi, Antonio Fernández, Ernesto Jiménez, Pilar Manzano, Michel Raynal:
A Methodological Construction of an Efficient Sequentially Consistent Distributed Shared Memory. Comput. J. 53(9): 1523-1534 (2010) - [j102]Yehuda Afek, Eli Gafni, Sergio Rajsbaum, Michel Raynal, Corentin Travers:
The k-simultaneous consensus problem. Distributed Comput. 22(3): 185-195 (2010) - [j101]François Bonnet, Michel Raynal:
A simple proof of the necessity of the failure detector Sigma to implement an atomic register in asynchronous message-passing systems. Inf. Process. Lett. 110(4): 153-157 (2010) - [j100]Antonio Fernández Anta, Ernesto Jiménez, Michel Raynal:
Eventual Leader Election with Weak Assumptions on Initial Knowledge, Communication Reliability, and Synchrony. J. Comput. Sci. Technol. 25(6): 1267-1281 (2010) - [j99]Philippe Raipin Parvédy, Michel Raynal, Corentin Travers:
Strongly Terminating Early-Stopping k-Set Agreement in Synchronous Systems with General Omission Failures. Theory Comput. Syst. 47(1): 259-287 (2010) - [j98]Achour Mostéfaoui, Michel Raynal, Corentin Travers:
Narrowing power vs efficiency in synchronous set agreement: Relationship, algorithms and lower bound. Theor. Comput. Sci. 411(1): 58-69 (2010) - [j97]Antonio Fernández Anta, Michel Raynal:
From an Asynchronous Intermittent Rotating Star to an Eventual Leader. IEEE Trans. Parallel Distributed Syst. 21(9): 1290-1303 (2010) - [c227]François Bonnet, Michel Raynal:
Consensus in Anonymous Distributed Systems: Is There a Weakest Failure Detector?. AINA 2010: 206-213 - [c226]François Bonnet, Michel Raynal:
Early Consensus in Message-Passing Systems Enriched with a Perfect Failure Detector and Its Application in the Theta Model. EDCC 2010: 107-116 - [c225]Marin Bertier, François Bonnet, Anne-Marie Kermarrec, Vincent Leroy, Sathya Peri, Michel Raynal:
D2HT: The Best of Both Worlds, Integrating RPS and DHT. EDCC 2010: 135-144 - [c224]Roberto Baldoni, Silvia Bonomi, Michel Raynal:
Value-Based Sequential Consistency for Set Objects in Dynamic Distributed Systems. Euro-Par (1) 2010: 523-534 - [c223]Damien Imbs, Michel Raynal:
The x-Wait-Freedom Progress Condition. Euro-Par (1) 2010: 584-595 - [c222]Achour Mostéfaoui, Michel Raynal:
Signature-Free Broadcast-Based Intrusion Tolerance: Never Decide a Byzantine Value. OPODIS 2010: 143-158 - [c221]Damien Imbs, Michel Raynal:
The multiplicative power of consensus numbers. PODC 2010: 26-35 - [c220]Damien Imbs, Michel Raynal, Gadi Taubenfeld:
On asymmetric progress conditions. PODC 2010: 55-64 - [c219]Damien Imbs, Michel Raynal:
On Adaptive Renaming under Eventually Limited Contention. SSS 2010: 377-387 - [c218]Marcos Kawazoe Aguilera, Michel Raynal:
The 2010 Edsger W. Dijkstra Prize in Distributed Computing. DISC 2010: 1-2 - [c217]François Bonnet, Michel Raynal:
Anonymous Asynchronous Systems: The Case of Failure Detectors. DISC 2010: 206-220
2000 – 2009
- 2009
- [j96]Damien Imbs, Michel Raynal:
A note on atomicity: Boosting Test&Set to solve consensus. Inf. Process. Lett. 109(12): 589-591 (2009) - [j95]François Bonnet, Michel Raynal:
Conditions for Set Agreement with an Application to Synchronous Systems. J. Comput. Sci. Technol. 24(3): 418-433 (2009) - [j94]Yoram Moses, Michel Raynal:
Revisiting simultaneous consensus with crash failures. J. Parallel Distributed Comput. 69(4): 400-409 (2009) - [j93]Eli Gafni, Achour Mostéfaoui, Michel Raynal, Corentin Travers:
From adaptive renaming to set agreement. Theor. Comput. Sci. 410(14): 1328-1335 (2009) - [j92]Weigang Wu, Jiannong Cao, Michel Raynal:
Eventual Clusterer: A Modular Approach to Designing Hierarchical Consensus Protocols in MANETs. IEEE Trans. Parallel Distributed Syst. 20(6): 753-765 (2009) - [j91]Achour Mostéfaoui, Michel Raynal, Gilles Trédan:
On the Fly Estimation of the Processes that Are Alive in an Asynchronous Message-Passing System. IEEE Trans. Parallel Distributed Syst. 20(6): 778-787 (2009) - [c216]Michel Raynal:
Shared Memory Synchronization in Presence of Failures: An Exercise-Based. CISIS 2009: 9-18 - [c215]Anne-Marie Kermarrec, Achour Mostéfaoui, Michel Raynal, Gilles Trédan, Aline Carneiro Viana:
Large-Scale Networked Systems: From Anarchy to Geometric Self-structuring. ICDCN 2009: 25-36 - [c214]Damien Imbs, Michel Raynal:
Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort. ICDCN 2009: 67-78 - [c213]Roberto Baldoni, Silvia Bonomi, Anne-Marie Kermarrec, Michel Raynal:
Implementing a Register in a Dynamic Distributed System. ICDCS 2009: 639-647 - [c212]Damien Imbs, Michel Raynal:
Software Transactional Memories: An Approach for Multicore Programming. PaCT 2009: 26-40 - [c211]Damien Imbs, José Ramón González de Mendívil, Michel Raynal:
Brief announcement: virtual world consistency: a new condition for STM systems. PODC 2009: 280-281 - [c210]François Bonnet, Michel Raynal:
Brief announcement: the price of anonymity: optimal consensus despite asynchrony, crash and anonymity. PODC 2009: 294-295 - [c209]Roberto Baldoni, Silvia Bonomi, Michel Raynal:
Joining a Distributed Shared Memory Computation in a Dynamic Distributed System. SEUS 2009: 91-102 - [c208]Roberto Baldoni, Silvia Bonomi, Michel Raynal:
Regular Register: An Implementation in a Churn Prone Environment. SIROCCO 2009: 15-29 - [c207]Damien Imbs, Michel Raynal:
A Versatile STM Protocol with Invisible Read Operations That Satisfies the Virtual World Consistency Condition. SIROCCO 2009: 266-280 - [c206]François Bonnet, Michel Raynal:
Looking for the Weakest Failure Detector for k-Set Agreement in Message-Passing Systems: Is ${\it \Pi}_k${\it \Pi}_k the End of the Road? SSS 2009: 149-164 - [c205]Damien Imbs, Michel Raynal:
Visiting Gafni's Reduction Land: From the BG Simulation to the Extended BG Simulation. SSS 2009: 369-383 - [c204]Damien Imbs, Michel Raynal:
Help When Needed, But No More: Efficient Read/Write Partial Snapshot. DISC 2009: 142-156 - [c203]François Bonnet, Michel Raynal:
The Price of Anonymity: Optimal Consensus Despite Asynchrony, Crash and Anonymity. DISC 2009: 341-355 - [e4]Tarek F. Abdelzaher, Michel Raynal, Nicola Santoro:
Principles of Distributed Systems, 13th International Conference, OPODIS 2009, Nîmes, France, December 15-18, 2009. Proceedings. Lecture Notes in Computer Science 5923, Springer 2009, ISBN 978-3-642-10876-1 [contents] - 2008
- [j90]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers:
On the computability power and the robustness of set agreement-oriented failure detector classes. Distributed Comput. 21(3): 201-222 (2008) - [j89]Sergio Rajsbaum, Michel Raynal, Corentin Travers:
An impossibility about failure detectors in the iterated immediate snapshot model. Inf. Process. Lett. 108(3): 160-164 (2008) - [j88]Roberto Baldoni, François Bonnet, Alessia Milani, Michel Raynal:
Anonymous graph exploration without collision by mobile robots. Inf. Process. Lett. 109(2): 98-103 (2008) - [j87]Weigang Wu, Jiannong Cao, Jin Yang, Michel Raynal:
Using asynchrony and zero degradation to speed up indulgent consensus protocols. J. Parallel Distributed Comput. 68(7): 984-996 (2008) - [j86]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers:
The Combined Power of Conditions and Information on Failures to Solve Asynchronous Set Agreement. SIAM J. Comput. 38(4): 1574-1601 (2008) - [j85]Roy Friedman, Anne-Marie Kermarrec, Michel Raynal:
Modularity: a first class concept to address distributed systems. SIGACT News 39(2): 91-110 (2008) - [c202]Michel Raynal:
Synchronization is Coming Back, But is it the Same? AINA 2008: 1-10 - [c201]Sergio Rajsbaum, Michel Raynal, Corentin Travers:
The Iterated Restricted Immediate Snapshot Model. COCOON 2008: 487-497 - [c200]Achour Mostéfaoui, Michel Raynal, Corentin Travers:
Narrowing Power vs. Efficiency in Synchronous Set Agreement. ICDCN 2008: 99-111 - [c199]François Bonnet, Michel Raynal:
Conditions for Set Agreement with an Application to Synchronous Systems. ICDCS 2008: 663-672 - [c198]Xiaopeng Fan, Jiannong Cao, Weigang Wu, Michel Raynal:
On Modeling Fault Tolerance of Gossip-Based Reliable Multicast Protocols. ICPP 2008: 149-156 - [c197]Damien Imbs, Michel Raynal:
A Lock-Based STM Protocol That Satisfies Opacity and Progressiveness. OPODIS 2008: 226-245 - [c196]Roberto Baldoni, François Bonnet, Alessia Milani, Michel Raynal:
On the Solvability of Anonymous Partial Grids Exploration by Mobile Robots. OPODIS 2008: 428-445 - [c195]Anne-Marie Kermarrec, Achour Mostéfaoui, Michel Raynal, Gilles Trédan, Aline Carneiro Viana:
From anarchy to geometric structuring: the power of virtual coordinates. PODC 2008: 435 - [c194]François Bonnet, Michel Raynal:
Looking for the optimal conditions for solving set agreement. PODC 2008: 446 - [c193]Michel Raynal:
Locks Considered Harmful: A Look at Non-traditional Synchronization. SEUS 2008: 369-380 - [c192]Yoram Moses, Michel Raynal:
No Double Discount: Condition-Based Simultaneity Yields Limited Gain. DISC 2008: 423-437 - [c191]Roberto Baldoni, François Bonnet, Alessia Milani, Michel Raynal:
Brief Announcement: On the Solvability of Anonymous Partial Grids Exploration by Mobile Robots. DISC 2008: 496-497 - [r1]Michel Raynal:
Set Agreement. Encyclopedia of Algorithms 2008 - [i5]Vincent Gramoli, Anne-Marie Kermarrec, Achour Mostéfaoui, Michel Raynal, Bruno Sericola:
Core Persistence in Peer-to-Peer Systems: Relating Size to Lifetime. CoRR abs/0801.1419 (2008) - [i4]Vincent Gramoli, Michel Raynal:
Timed Quorum System for Large-Scale and Dynamic Environments. CoRR abs/0802.0552 (2008) - 2007
- [j84]Rachid Guerraoui, Michel Raynal:
The Alpha of Indulgent Consensus. Comput. J. 50(1): 53-67 (2007) - [j83]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers:
From omega to Omega: A simple bounded quiescent reliable broadcast-based transformation. J. Parallel Distributed Comput. 67(1): 125-129 (2007) - [j82]Roy Friedman, Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal:
Asynchronous Agreement and Its Relation with Error-Correcting Codes. IEEE Trans. Computers 56(7): 865-875 (2007) - [j81]Weigang Wu, Jiannong Cao, Jin Yang, Michel Raynal:
Design and Performance Evaluation of Efficient Consensus Protocols for Mobile Ad Hoc Networks. IEEE Trans. Computers 56(8): 1055-1070 (2007) - [j80]Andrzej Pelc, David Peleg, Michel Raynal:
Preface. Theor. Comput. Sci. 384(2-3): 137-138 (2007) - [j79]Sérgio Gorender, Raimundo José de Araújo Macêdo, Michel Raynal:
An Adaptive Programming Model for Fault-Tolerant Distributed Computing. IEEE Trans. Dependable Secur. Comput. 4(1): 18-31 (2007) - [j78]Roy Friedman, Achour Mostéfaoui, Michel Raynal:
On the Respective Power of *P and *S to Solve One-Shot Agreement Problems. IEEE Trans. Parallel Distributed Syst. 18(5): 589-597 (2007) - [c190]Rachid Guerraoui, Michel Raynal:
A Universal Construction for Concurrent Objects. ARES 2007: 959-966 - [c189]Antonio Fernández, Ernesto Jiménez, Michel Raynal:
Electing an Eventual Leader in an Asynchronous Shared Memory System. DSN 2007: 399-408 - [c188]Paul D. Ezhilchelvan, Michel Raynal, Ajoy Kumar Datta:
Workshop on Dependable Application Support for Self-Organizing Networks (DASSON 2007). DSN 2007: 803 - [c187]Antonio Fernández, Vincent Gramoli, Ernesto Jiménez, Anne-Marie Kermarrec, Michel Raynal:
Distributed Slicing in Dynamic Systems. ICDCS 2007: 66 - [c186]Antonio Fernández, Ernesto Jiménez, Michel Raynal, Gilles Trédan:
A Timing Assumption and a t-Resilient Protocol for Implementing an Eventual Leader Service in Asynchronous Shared Memory Systems. ISORC 2007: 71-78 - [c185]Weigang Wu, Jiannong Cao, Michel Raynal:
A Dual-Token-Based Fault Tolerant Mutual Exclusion Algorithm for MANETs. MSN 2007: 572-583 - [c184]Michel Raynal:
Eventual Leader Service in Unreliable Asynchronous Systems: Why? How? NCA 2007: 11-24 - [c183]Antonio Fernández Anta, Michel Raynal:
From an Intermittent Rotating Star to a Leader. OPODIS 2007: 189-203 - [c182]François Bonnet, Anne-Marie Kermarrec, Michel Raynal:
Small-World Networks: From Theoretical Bounds to Practical Systems. OPODIS 2007: 372-385 - [c181]Vincent Gramoli, Michel Raynal:
Timed Quorum Systems for Large-Scale and Dynamic Environments. OPODIS 2007: 429-442 - [c180]Roberto Baldoni, Marin Bertier, Michel Raynal, Sara Tucci Piergiovanni:
Looking for a Definition of Dynamic Distributed Systems. PaCT 2007: 1-14 - [c179]Rachid Guerraoui, Michel Raynal:
From Unreliable Objects to Reliable Objects: The Case of Atomic Registers and Consensus. PaCT 2007: 47-61 - [c178]Alejandro Cornejo, Sergio Rajsbaum, Michel Raynal, Corentin Travers:
Failure detectors are schedulers. PODC 2007: 308-309 - [c177]Antonio Fernández, Michel Raynal:
From an intermittent rotating star to a leader. PODC 2007: 320-321 - [c176]Jiannong Cao, Michel Raynal, Corentin Travers, Weigang Wu:
The Eventual Leadership in Dynamic Mobile Networking Environments. PRDC 2007: 123-130 - [c175]Achour Mostéfaoui, Michel Raynal, Corentin Travers:
From Renaming to Set Agreement. SIROCCO 2007: 66-80 - [c174]Michel Raynal, Gadi Taubenfeld:
The notion of a timed register and its application to indulgent synchronization. SPAA 2007: 200-209 - [c173]Weigang Wu, Jiannong Cao, Michel Raynal:
The Eventual Clusterer Oracle and Its Application to Consensus in MANETs. SRDS 2007: 23-32 - [c172]Eli Gafni, Michel Raynal, Corentin Travers:
Test & Set, Adaptive Renaming and Set Agreement: a Guided Visit to Asynchronous Computability. SRDS 2007: 93-102 - [c171]Michel Raynal:
A Subjective Visit to Selected Topics in Distributed Computing. DISC 2007: 5-6 - [c170]Michel Raynal, Sam Toueg, Shmuel Zaks:
DISC at Its 20th Anniversary (Stockholm, 2006). DISC 2007: 501-503 - [i3]Antonio Fernández, Vincent Gramoli, Ernesto Jiménez, Anne-Marie Kermarrec, Michel Raynal:
Distributed Slicing in Dynamic Systems. CoRR abs/0712.3980 (2007) - 2006
- [j77]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal:
Synchronous condition-based consensus. Distributed Comput. 18(5): 325-343 (2006) - [j76]Achour Mostéfaoui, Eric Mourgaya, Michel Raynal, Corentin Travers:
A Time-free Assumption to Implement Eventual Leadership. Parallel Process. Lett. 16(2): 189-208 (2006) - [j75]Achour Mostéfaoui, Michel Raynal, Corentin Travers:
Time-Free and Timer-Based Assumptions Can Be Combined to Obtain Eventual Leadership. IEEE Trans. Parallel Distributed Syst. 17(7): 656-666 (2006) - [c169]Achour Mostéfaoui, Michel Raynal, Corentin Travers, Sergio Rajsbaum:
From Failure Detectors with Limited Scope Accuracy to System-wide Leadership. AINA (1) 2006: 81-86 - [c168]Antonio Fernández, Ernesto Jiménez, Michel Raynal:
Eventual Leader Election with Weak Assumptions on Initial Knowledge, Communication Reliability, and Synchrony. DSN 2006: 166-178 - [c167]Yehuda Afek, Eli Gafni, Sergio Rajsbaum, Michel Raynal, Corentin Travers:
Simultaneous Consensus Tasks: A Tighter Characterization of Set-Consensus. ICDCN 2006: 331-341 - [c166]Michel Raynal:
From static distributed systems to dynamic systems: an approach for a first step. ICDCS Workshops 2006 - [c165]Jiannong Cao, Michel Raynal, Xianbing Wang, Weigang Wu:
The Power and Limit of Adding Synchronization Messages for Synchronous Agreement. ICPP 2006: 399-406 - [c164]Eli Gafni, Sergio Rajsbaum, Michel Raynal, Corentin Travers:
The Committee Decision Problem. LATIN 2006: 502-514 - [c163]Michel Raynal, Corentin Travers:
In Search of the Holy Grail: Looking for the Weakest Failure Detector for Wait-Free Set Agreement. OPODIS 2006: 3-19 - [c162]Vincent Gramoli, Anne-Marie Kermarrec, Achour Mostéfaoui, Michel Raynal, Bruno Sericola:
Core Persistence in Peer-to-Peer Systems: Relating Size to Lifetime. OTM Workshops (2) 2006: 1470-1479 - [c161]Weigang Wu, Jiannong Cao, Jin Yang, Michel Raynal:
A Hierarchical Consensus Protocol for Mobile Ad Hoc Networks. PDP 2006: 64-72 - [c160]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers:
Irreducibility and additivity of set agreement-oriented failure detector classes. PODC 2006: 153-162 - [c159]Achour Mostéfaoui, Michel Raynal, Gilles Trédan:
On the fly estimation of the processes that are alive/crashed in an asynchronous message-passing system. PRDC 2006: 259-266 - [c158]Michel Raynal, Corentin Travers:
Synchronous Set Agreement: a Concise Guided Tour (including a new algorithm and a list of open problems). PRDC 2006: 267-274 - [c157]Rachid Guerraoui, Michel Raynal:
A leader election protocol for eventually synchronous shared memory systems. SEUS/WCCIA 2006: 75-80 - [c156]Philippe Raipin Parvédy, Michel Raynal, Corentin Travers:
Strongly Terminating Early-Stopping k-Set Agreement in Synchronous Systems with General Omission Failures. SIROCCO 2006: 182-196 - [c155]Achour Mostéfaoui, Michel Raynal, Corentin Travers:
Exploring Gafni's Reduction Land: From Omegak to Wait-Free Adaptive (2p-[p/k])-Renaming Via k-Set Agreement. DISC 2006: 1-15 - [i2]Antonio Fernández, Vincent Gramoli, Ernesto Jiménez, Anne-Marie Kermarrec, Michel Raynal:
Distributed Slicing in Dynamic Systems. CoRR abs/cs/0612035 (2006) - 2005
- [j74]Michel Raynal:
Wait-free computing: an introductory lecture. Future Gener. Comput. Syst. 21(4): 655-663 (2005) - [j73]Roy Friedman, Achour Mostéfaoui, Michel Raynal:
Asynchronous bounded lifetime failure detectors. Inf. Process. Lett. 94(2): 85-91 (2005) - [j72]Ajoy Kumar Datta, Maria Gradinariu, Michel Raynal:
Stabilizing mobile philosophers. Inf. Process. Lett. 95(1): 299-306 (2005) - [j71]Roy Friedman, Achour Mostéfaoui, Michel Raynal:
$\diamondsuit {\mathcal P}_{mute}$-based Consensus for Asynchronous Byzantine Systems. Parallel Process. Lett. 15(1-2): 169-182 (2005) - [j70]Roy Friedman, Achour Mostéfaoui, Michel Raynal:
Simple and Efficient Oracle-Based Consensus Protocols for Asynchronous Byzantine Systems. IEEE Trans. Dependable Secur. Comput. 2(1): 46-56 (2005) - [c154]Michel Raynal, Matthieu Roy, Ciprian Tutu:
A Simple Protocol Offering Both Atomic Consistent Read Operations and Sequentially Consistent Read Operations. AINA 2005: 961-966 - [c153]Sérgio Gorender, Raimundo A. Macêdo, Michel Raynal:
A Hybrid and Adaptive Model for Fault-Tolerant Distributed Computing. DSN 2005: 412-421 - [c152]Roy Friedman, Achour Mostéfaoui, Michel Raynal:
Building and Using Quorums Despite any Number of Process of Crashes. EDCC 2005: 2-19 - [c151]Zhiyuan Zhan, Mustaque Ahamad, Michel Raynal:
Mixed Consistency Model: Meeting Data Sharing Needs of Heterogeneous Users. ICDCS 2005: 209-218 - [c150]Paul D. Ezhilchelvan, Jean-Michel Hélary, Michel Raynal:
Building Responsive TMR-Based Servers in Presence of Timing Constraints. ISORC 2005: 267-274 - [c149]Rachid Guerraoui, Michel Raynal:
Fault-Tolerant Techniques for Concurrent Objects. LADC 2005: 265 - [c148]Roy Friedman, Michel Raynal, Corentin Travers:
Two Abstractions for Implementing Atomic Objects in Dynamic Systems. OPODIS 2005: 73-87 - [c147]Philippe Raipin Parvédy, Michel Raynal, Corentin Travers:
Early-Stopping k-Set Agreement in Synchronous Systems Prone to Any Number of Process Crashes. PaCT 2005: 49-58 - [c146]Michel Raynal, Matthieu Roy:
Allowing Atomic Objects to Coexist with Sequentially Consistent Objects. PaCT 2005: 59-73 - [c145]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal:
The combined power of conditions and failure detectors to solve asynchronous set agreement. PODC 2005: 179-188 - [c144]Roy Friedman, Michel Raynal, Corentin Travers:
Brief announcement: abstractions for implementing atomic objects in dynamic systems. PODC 2005: 354 - [c143]Roy Friedman, Achour Mostéfaoui, Michel Raynal:
Intersecting Sets: a Basic Abstraction for Asynchronous Agreement Problems. PRDC 2005: 15-22 - [c142]Philippe Raipin Parvédy, Michel Raynal, Corentin Travers:
Decision Optimal Early-Stopping k-set Agreement in Synchronous Systems Prone to Send Omission Failures. PRDC 2005: 23-30 - [c141]Michel Raynal, Matthieu Roy:
A Note on a Simple Equivalence between Round-based Synchronous and Asynchronous Models. PRDC 2005: 387-392 - [c140]Achour Mostéfaoui, Michel Raynal, Corentin Travers, Stacy Patterson, Divyakant Agrawal, Amr El Abbadi:
From Static Distributed Systems to Dynamic Systems. SRDS 2005: 109-118 - [e3]Andrzej Pelc, Michel Raynal:
Structural Information and Communication Complexity, 12th International Colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005, Proceedings. Lecture Notes in Computer Science 3499, Springer 2005, ISBN 3-540-26052-8 [contents] - 2004
- [j69]Tomoya Enokido, Kenichi Hori, Michel Raynal, Makoto Takizawa:
Quorum-Based Multi-Invocation Model for Replicated Objects. Concurr. Eng. Res. Appl. 12(3): 185-194 (2004) - [j68]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy:
Condition-based consensus solvability: a hierarchy of conditions and efficient protocols. Distributed Comput. 17(1): 1-20 (2004) - [j67]Roy Friedman, Achour Mostéfaoui, Michel Raynal:
A weakest failure detector-based asynchronous consensus protocol for f<n. Inf. Process. Lett. 90(1): 39-46 (2004) - [j66]Emmanuelle Anceaume, Antonio Fernández, Achour Mostéfaoui, Gil Neiger, Michel Raynal:
A necessary and sufficient condition for transforming limited accuracy failure detectors. J. Comput. Syst. Sci. 68(1): 123-133 (2004) - [j65]Rachid Guerraoui, Michel Raynal:
The Information Structure of Indulgent Consensus. IEEE Trans. Computers 53(4): 453-466 (2004) - [c139]Michel Raynal, K. Vidyasankar:
A Distributed Implementation of Sequential Consistency with Multi-Object Operations. ICDCS 2004: 544-551 - [c138]Roy Friedman, Achour Mostéfaoui, Michel Raynal:
The Notion of Veto Number for Distributed Agreement Problems. IWDC 2004: 315-325 - [c137]Vicent Cholvi, Antonio Fernández, Ernesto Jiménez, Michel Raynal:
A Methodological Construction of an Efficient Sequential Consistency Protocol. NCA 2004: 141-148 - [c136]Roy Friedman, Achour Mostéfaoui, Michel Raynal:
Brief announcement: veto number and the respective power of eventual failure detectors. PODC 2004: 398 - [c135]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal:
Brief announcement: the synchronous condition-based consensus hierarchy. PODC 2004: 399 - [c134]Achour Mostéfaoui, David Powell, Michel Raynal:
A Hybrid Approach for Building Eventually Accurate Failure Detectors. PRDC 2004: 57-65 - [c133]Philippe Raipin Parvédy, Michel Raynal:
Optimal early stopping uniform consensus in synchronous systems with process omission failures. SPAA 2004: 302-310 - [c132]Achour Mostéfaoui, Michel Raynal, Corentin Travers:
Crash-Resilient Time-Free Eventual Leadership. SRDS 2004: 208-217 - [c131]Roy Friedman, Achour Mostéfaoui, Michel Raynal:
Simple and Efficient Oracle-Based Consensus Protocols for Asynchronous Byzantine Systems. SRDS 2004: 228-237 - [c130]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal:
The Synchronous Condition-Based Consensus Hierarchy. DISC 2004: 1-15 - [c129]Roy Friedman, Achour Mostéfaoui, Michel Raynal:
The Notion of Veto Number and the Respective Power of OP and OS to Solve One-Shot Agreement Problems. DISC 2004: 41-55 - 2003
- [j64]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal:
Conditions on input vectors for consensus solvability in asynchronous distributed systems. J. ACM 50(6): 922-954 (2003) - [j63]Roberto Baldoni, Jean-Michel Hélary, Michel Raynal, Lénaick Tanguy:
Consensus in Byzantine asynchronous systems. J. Discrete Algorithms 1(2): 185-210 (2003) - [j62]Luís E. T. Rodrigues, Michel Raynal:
Atomic Broadcast in Asynchronous Crash-Recovery Distributed Systems and Its Use in Quorum-Based Replication. IEEE Trans. Knowl. Data Eng. 15(5): 1206-1217 (2003) - [j61]Jean-Michel Hélary, Michel Raynal, Giovanna Melideo, Roberto Baldoni:
Efficient Causality-Tracking Timestamping. IEEE Trans. Knowl. Data Eng. 15(5): 1239-1250 (2003) - [j60]Carole Delporte-Gallet, Hugues Fauconnier, Jean-Michel Hélary, Michel Raynal:
Early Stopping in Global Data Computation. IEEE Trans. Parallel Distributed Syst. 14(9): 909-921 (2003) - [c128]Roy Friedman, Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal:
Using Error-Correcting Codes to Solve Distributed Agreement Problems: A Future Direction in Distributed Computing? Future Directions in Distributed Computing 2003: 17-21 - [c127]Mustaque Ahamad, Michel Raynal:
Ordering vs Timeliness: Two Facets of Consistency? Future Directions in Distributed Computing 2003: 73-80 - [c126]Michel Raynal:
Token-Based Sequential Consistency in Asynchronous Distributed Systems. AINA 2003: 421-426 - [c125]Achour Mostéfaoui, Eric Mourgaya, Michel Raynal:
Asynchronous Implementation of Failure Detectors. DSN 2003: 351-360 - [c124]Achour Mostéfaoui, Eric Mourgaya, Philippe Raipin Parvédy, Michel Raynal:
Evaluating the Condition-Based Approach to Solve Consensus. DSN 2003: 541-550 - [c123]Maria Gradinariu, Michel Raynal, Gwendal Simon:
Looking for a Common View for Mobile Worlds. FTDCS 2003: 159- - [c122]Stephen S. Yau, Carl K. Chang, Randy Chow, Luca Limoncini, Michel Raynal:
Challenges of Future Distributed Computing Systems. FTDCS 2003: 376 - [c121]Rachid Guerraoui, Michel Raynal:
A Generic Framework for Indulgent Consensus. ICDCS 2003: 88-95 - [c120]Christof Fetzer, Michel Raynal:
Elastic Vector Time. ICDCS 2003: 284- - [c119]Ajoy Kumar Datta, Maria Gradinariu, Michel Raynal, Gwendal Simon:
Anonymous Publish/Subscribe in P2P Networks. IPDPS 2003: 74 - [c118]Philippe Raipin Parvédy, Michel Raynal:
Uniform Agreement Despite Process Omission Failures. IPDPS 2003: 212 - [c117]Kenichi Hori, Tomoya Enokido, Makoto Takizawa, Michel Raynal:
Nested Invocation Protocol for Object-Based Systems. ISORC 2003: 238-248 - [c116]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy:
A Hierarchy of Conditions for Asynchronous Interactive Consistency. PaCT 2003: 130-140 - [c115]Michel Raynal:
The Renaming Problem as an Introduction to Structures for Wait-Free Computing. PaCT 2003: 151-164 - [c114]Fabrice Le Fessant, Philippe Raipin Parvédy, Michel Raynal:
Brief announcement: early decision despite general process omission failures. PODC 2003: 222 - [c113]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal:
Using Conditions to Expedite Consensus in Synchronous Distributed Systems. DISC 2003: 249-263 - [c112]Paul D. Ezhilchelvan, Doug Palmer, Michel Raynal:
An Optimal Atomic Broadcast Protocol and an Implementation Framework. WORDS 2003: 32- - [c111]Philippe Raipin Parvédy, Michel Raynal:
Reliable Compare & Swap for Fault-Tolerant Synchronization. WORDS 2003: 50-55 - 2002
- [j59]Francisco J. Torres-Rojas, Mustaque Ahamad, Michel Raynal:
Real-time based strong consistency for distributed objects. Comput. Syst. Sci. Eng. 17(2): 133-142 (2002) - [j58]Michel Raynal:
Token-based sequential consistency. Comput. Syst. Sci. Eng. 17(6): 359-365 (2002) - [j57]Roberto Baldoni, Michel Raynal:
Fundamentals of Distributed Computing: A Practical Tour of Vector Clock Systems. IEEE Distributed Syst. Online 3(2) (2002) - [j56]Achour Mostéfaoui, Eric Mourgaya, Michel Raynal:
An introduction to oracles for asynchronous distributed systems. Future Gener. Comput. Syst. 18(6): 757-767 (2002) - [j55]Emmanuelle Anceaume, Jean-Michel Hélary, Michel Raynal:
A Note on the Determination of the Immediate Predecessors in a Distributed Computation. Int. J. Found. Comput. Sci. 13(6): 865-872 (2002) - [j54]Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal:
Interval Consistency of Asynchronous Distributed Computations. J. Comput. Syst. Sci. 64(2): 329-349 (2002) - [j53]Michel Hurfin, Achour Mostéfaoui, Michel Raynal:
A Versatile Family of Consensus Protocols Based on Chandra-Toueg's Unreliable Failure Detectors. IEEE Trans. Computers 51(4): 395-408 (2002) - [c110]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal:
A Versatile and Modular Consensus Protoco. DSN 2002: 364-373 - [c109]Michel Raynal:
Sequential Consistency as Lazy Linearizability. EurAsia-ICT 2002: 866-873 - [c108]Christof Fetzer, Michel Raynal:
Approximate Real-Time Clocks for Scheduled Events. Symposium on Object-Oriented Real-Time Distributed Computing 2002: 54-61 - [c107]Michel Raynal:
Wait-Free Objects for Real-Time Systems? (position paper). Symposium on Object-Oriented Real-Time Distributed Computing 2002: 413-420 - [c106]Paul D. Ezhilchelvan, Jean-Michel Hélary, Michel Raynal:
Building responseive TMR-based servers in presence of timing constraints. PODC 2002: 127 - [c105]Achour Mostéfaoui, Michel Raynal, Matthieu Roy, Divyakant Agrawal, Amr El Abbadi:
Towards a formal model for view maintenance in data warehouses. PODC 2002: 129 - [c104]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal:
Asynchronous interactive consistency and its relation with error-correcting codes. PODC 2002: 253 - [c103]Carole Delporte-Gallet, Hugues Fauconnier, Jean-Michel Hélary, Michel Raynal:
Early stopping in aglobal data computation. PODC 2002: 258 - [c102]Michel Raynal:
An Introduction to the Renaming Problem. PRDC 2002: 121-124 - [c101]Michel Raynal:
Consensus in Synchronous Systems: A Concise Guided Tour. PRDC 2002: 221-228 - [c100]Michel Raynal:
Sequential consistency as lazy linearizability. SPAA 2002: 151-152 - [c99]Emmanuelle Anceaume, Jean-Michel Hélary, Michel Raynal:
Tracking immediate predecessors in distributed computations. SPAA 2002: 210-219 - [c98]Divyakant Agrawal, Amr El Abbadi, Achour Mostéfaoui, Michel Raynal, Matthieu Roy:
The Lord of the Rings: Efficient Maintenance of Views at Data Warehouses. DISC 2002: 33-47 - [c97]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy:
Condition-Based Protocols for Set Agreement Problems. DISC 2002: 48-62 - [c96]Roy Friedman, Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal:
Distributed Agreement and Its Relation with Error-Correcting Codes. DISC 2002: 63-87 - 2001
- [j52]Roberto Baldoni, Francesco Quaglia, Michel Raynal:
Consistent Checkpointing for Transaction Systems. Comput. J. 44(2): 92-100 (2001) - [j51]Roberto Baldoni, Giacomo Cioffi, Jean-Michel Hélary, Michel Raynal:
Direct dependency-based determination of consistent global checkpoints. Comput. Syst. Sci. Eng. 16(1): 43-49 (2001) - [j50]Achour Mostéfaoui, Michel Raynal, Paulo Veríssimo:
The logically instantaneous communication mode: a communication abstraction. Future Gener. Comput. Syst. 17(6): 669-678 (2001) - [j49]Roberto Baldoni, Jean-Michel Hélary, Michel Raynal:
Rollback-Dependency Trackability: A Minimal Characterization and Its Protocol. Inf. Comput. 165(2): 144-173 (2001) - [j48]Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal:
Impossibility of scalar clock-based communication-induced checkpointing protocols ensuring the RDT property. Inf. Process. Lett. 80(2): 105-111 (2001) - [j47]Achour Mostéfaoui, Michel Raynal:
Leader-Based Consensus. Parallel Process. Lett. 11(1): 95-107 (2001) - [j46]Michel Raynal, Mukesh Singhal:
Mastering Agreement Problems in Distributed Systems. IEEE Softw. 18(4): 40-47 (2001) - [j45]Udo Fritzke Jr., Philippe Ingels, Achour Mostéfaoui, Michel Raynal:
Consensus-Based Fault-Tolerant Total Order Multicast. IEEE Trans. Parallel Distributed Syst. 12(2): 147-156 (2001) - [c95]Paul D. Ezhilchelvan, Jean-Michel Hélary, Michel Raynal:
Building TMR-Based Reliable Servers Despite Bounded Input Lifetimes. Euro-Par 2001: 482-485 - [c94]Vijaykumar Krishnaswamy, Mustaque Ahamad, Michel Raynal, David E. Bakken:
Shared State Consistency for Time-Sensitive Distributed Applications. ICDCS 2001: 606-614 - [c93]Achour Mostéfaoui, Michel Raynal:
A Condition for k-Set Agreement in Asynchronous Distributed Systems. IPDPS 2001: 78 - [c92]Fabíola Greve, Michel Hurfin, Michel Raynal, Frederic Tronel:
Primary Component Asynchronous Group Membership as an Instance of a Generic Agreement Framework. ISADS 2001: 93-100 - [c91]Paul D. Ezhilchelvan, Achour Mostéfaoui, Michel Raynal:
Randomized Multivalued Consensus. ISORC 2001: 195-200 - [c90]Francisco Vilar Brasileiro, Fabíola Greve, Achour Mostéfaoui, Michel Raynal:
Consensus in One Communication Step. PaCT 2001: 42-50 - [c89]Michel Raynal:
Quiescent Uniform Reliable Broadcast as an Introduction to Failure Detector Oracles. PaCT 2001: 98-111 - [c88]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy:
A hierarchy of conditions for consensus solvability. PODC 2001: 151-160 - [c87]Christof Fetzer, Michel Raynal, Frederic Tronel:
An Adaptive Failure Detection Protocol. PRDC 2001: 146-153 - [c86]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy:
Efficient Condition-Based Consensus. SIROCCO 2001: 275-292 - [c85]Achour Mostéfaoui, Michel Raynal:
Randomized k-set agreement. SPAA 2001: 291-297 - [c84]Michel Hurfin, Achour Mostéfaoui, Michel Raynal, Raimundo A. Macêdo:
A Consensus Protocol Based on a Weak FailureDetector and a Sliding Round Window. SRDS 2001: 120-129 - [c83]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal:
Conditions on input vectors for consensus solvability in asynchronous distributed systems. STOC 2001: 153-162 - [c82]Francisco J. Torres-Rojas, Mustaque Ahamad, Michel Raynal:
Real-Time Based Strong Consistency for Distributed Objects. WORDS 2001: 161-168 - 2000
- [j44]Jean-Michel Hélary, Achour Mostéfaoui, Robert H. B. Netzer, Michel Raynal:
Communication-Based Prevention of Useless Checkpoints in Fistributed Computations. Distributed Comput. 13(1): 29-43 (2000) - [j43]Achour Mostéfaoui, Michel Raynal, Frederic Tronel:
From Binary Consensus to Multivalued Consensus in asynchronous message-passing systems. Inf. Process. Lett. 73(5-6): 207-212 (2000) - [j42]Jean-Michel Hélary, Michel Hurfin, Achour Mostéfaoui, Michel Raynal, Frederic Tronel:
Computing Global Functions in Asynchronous Distributed Systems with Perfect Failure Detectors. IEEE Trans. Parallel Distributed Syst. 11(9): 897-909 (2000) - [c81]Roberto Baldoni, Jean-Michel Hélary, Michel Raynal:
From Crash Fault-Tolerance to Arbitrary-Fault Tolerance: Towards a Modular Approach. DSN 2000: 273-282 - [c80]Achour Mostéfaoui, Michel Raynal, Frederic Tronel:
The Best of Both Worlds: A Hybrid Approach to Solve Consensus. DSN 2000: 513-522 - [c79]Michel Raynal:
Logical Instantaneity and Causal Order: Two "First Class" Communication Modes for Parallel Computing. Euro-Par 2000: 35-42 - [c78]Luís E. T. Rodrigues, Michel Raynal:
Quorum-Based Replication in Asynchronous Crash-Recovery Distributed Systems (Research Note). Euro-Par 2000: 605-608 - [c77]Luís E. T. Rodrigues, Michel Raynal:
Atomic Broadcast in Asynchronous Crash-Recovery Distributed Systems. ICDCS 2000: 288-295 - [c76]Jean-Michel Hélary, Michel Hurfin, Achour Mostéfaoui, Michel Raynal, Frederic Tronel:
Computing Global Functions in Asynchronous Distributed Systems Prone to Process Crashes. ICDCS 2000: 584-591 - [c75]Achour Mostéfaoui, Michel Raynal:
Consensus Based on Failure Detectors with a Perpetual Accuracy Property. IPDPS 2000: 514-519 - [c74]Fabíola Greve, Michel Hurfin, Raimundo A. Macêdo, Michel Raynal:
Consensus Based on Strong Failure Detectors: A Time and Message-Efficient Protocol. IPDPS Workshops 2000: 1258-1265 - [c73]Luís E. T. Rodrigues, Roberto Baldoni, Emmanuelle Anceaume, Michel Raynal:
Deadline-Constrained Causal Order. ISORC 2000: 234- - [c72]Achour Mostéfaoui, Michel Raynal:
k-set agreement with limited accuracy failure detectors. PODC 2000: 143-152 - [c71]Fabíola Greve, Michel Hurfin, Raimundo A. Macêdo, Michel Raynal:
Time and message-efficient S-based consensus (brief announcement). PODC 2000: 332 - [c70]Achour Mostéfaoui, Michel Raynal:
Low cost consensus-based Atomic Broadcast. PRDC 2000: 45-52 - [c69]Roberto Baldoni, Jean-Michel Hélary, Michel Raynal, Lénaick Tanguy:
Consensus in byzantine asynchronous systems. SIROCCO 2000: 1-15 - [c68]Jean-Michel Hélary, Giovanna Melideo, Michel Raynal:
Tracking causality in distributed systems: a suite of efficient protocols. SIROCCO 2000: 181-195
1990 – 1999
- 1999
- [j41]Michel Hurfin, Michel Raynal:
A Simple and Fast Asynchronous Consensus Protocol Based on a Weak Failure Detector. Distributed Comput. 12(4): 209-223 (1999) - [j40]Mustaque Ahamad, Michel Raynal, Gérard Thia-Kime:
An adaptive architecture for causally consistent distributed services. Distributed Syst. Eng. 6(2): 63-70 (1999) - [j39]Michel Raynal, Frederic Tronel:
Group membership failure detection: a simple protocol and its probabilistic analysis. Distributed Syst. Eng. 6(3): 95-102 (1999) - [j38]Michel Raynal, Frederic Tronel:
Restricted failure detectors: Definition and reduction protocols. Inf. Process. Lett. 72(3-4): 91-97 (1999) - [j37]Vijay K. Garg, Michel Raynal:
Normality: A Consistency Condition for Concurrent Objects. Parallel Process. Lett. 9(1): 123-134 (1999) - [j36]Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal:
Communication-Induced Determination of Consistent Snapshots. IEEE Trans. Parallel Distributed Syst. 10(9): 865-877 (1999) - [j35]Jean-Michel Hélary, Robert H. B. Netzer, Michel Raynal:
Consistency Issues in Distributed Checkpoints. IEEE Trans. Software Eng. 25(2): 274-281 (1999) - [c67]Paulo Veríssimo, Michel Raynal:
Time in Distributed System Models and Algorithms. Advances in Distributed Systems 1999: 1-32 - [c66]Rachid Guerraoui, Michel Hurfin, Achour Mostéfaoui, Rui Carlos Oliveira, Michel Raynal, André Schiper:
Consensus in Asynchronous Distributed Systems: A Concise Guided Tour. Advances in Distributed Systems 1999: 33-47 - [c65]Roberto Baldoni, Francesco Quaglia, Michel Raynal:
Distributed Database Checkpointing. Euro-Par 1999: 450-458 - [c64]Michel Raynal:
Illustrating the Use of Vector Clocks in Property Detection: An Example and a Counter-Example. Euro-Par 1999: 806-814 - [c63]Achour Mostéfaoui, Michel Raynal:
Unreliable Failure Detectors with Limited Scope Accuracy and an Application to Consensus. FSTTCS 1999: 329-340 - [c62]Eddy Fromentin, Michel Raynal, Frederic Tronel:
On Classes of Problems in Asynchronous Distributed Systems with Process Crashes. ICDCS 1999: 470-477 - [c61]Roberto Baldoni, Michel Raynal, Giacomo Cioffi, Jean-Michel Hélary:
Direct Dependency-Based Determination of Consistent GlobalCheckpoints. OPODIS 1999: 11-28 - [c60]Michel Raynal:
Simple Vector Clocks are limited to Solve some Causallity Related Problems. OPODIS 1999: 195-204 - [c59]Achour Mostéfaoui, Michel Raynal, Makoto Takizawa:
Consistent Lamport Clocks for Asynchronous Groups with Process Crashes. PaCT 1999: 98-107 - [c58]Achour Mostéfaoui, Michel Raynal, Paulo Veríssimo:
Logically Instantaneous Communication on Top of Distributed Memory Parallel Machines. PaCT 1999: 258-270 - [c57]Achour Mostéfaoui, Michel Raynal, Makoto Takizawa:
Logical Clocks for Unreliable Process Groups. PDPTA 1999: 2272-2278 - [c56]Roberto Baldoni, Jean-Michel Hélary, Michel Raynal:
Rollback-Dependency Trackability: Visible Characterizations. PODC 1999: 33-42 - [c55]Francisco J. Torres-Rojas, Mustaque Ahamad, Michel Raynal:
Timed Consistency for Shared Distributed Objects. PODC 1999: 163-172 - [c54]Michel Hurfin, Raimundo A. Macêdo, Michel Raynal, Frederic Tronel:
A General Framework to Solve Agreement Problems. SRDS 1999: 56-65 - [c53]Achour Mostéfaoui, Michel Raynal:
Solving Consensus Using Chandra-Toueg's Unreliable Failure Detectors: A General Quorum-Based Approach. DISC 1999: 49-63 - [c52]Roger Bollo, Jean-Pierre Le Narzul, Michel Raynal, Frederic Tronel:
Probabilistic analysis of a group failure detection protocol. WORDS (Jan.) 1999: 156-162 - [i1]Roberto Baldoni, Francesco Quaglia, Michel Raynal:
Consistent Checkpointing in Distributed Databases: Towards a Formal Approach. CoRR cs.DB/9910019 (1999) - 1998
- [j34]Roberto Baldoni, Jean-Michel Hélary, Michel Raynal:
Consistent Records in Asynchronous Computations. Acta Informatica 35(6): 441-455 (1998) - [j33]Michel Raynal:
Consensus-Based Management of Distributed and Replicated Data. IEEE Data Eng. Bull. 21(4): 30-37 (1998) - [j32]Yoshifumi Manabe, Roberto Baldoni, Michel Raynal, Shigemi Aoyagi:
k-Arbiter: A Safe and General Scheme for h-out of-k Mutual Exclusion. Theor. Comput. Sci. 193(1-2): 97-112 (1998) - [j31]Michel Hurfin, Masaaki Mizuno, Michel Raynal, Mukesh Singhal:
Efficient Distributed Detection of Conjunctions of Local Predicates. IEEE Trans. Software Eng. 24(8): 664-677 (1998) - [c51]Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal:
Communication-Induced Determination of Consistent Snapshots. FTCS 1998: 208-217 - [c50]Mustaque Ahamad, Michel Raynal, Gérard Thia-Kime:
An Adaptive Protocol for Implementing Causally Consistent Distributed Services. ICDCS 1998: 86-93 - [c49]Michel Hurfin, Michel Raynal:
Asynchronous Protocols to Meet Real-Time Constraints: Is It Really Sensible? How to Proceed? ISORC 1998: 290-297 - [c48]Michel Raynal, Mustaque Ahamad:
Exploiting write semantics in implementing partially replicated causal objects. PDP 1998: 157-163 - [c47]Udo Fritzke Jr., Philippe Ingels, Achour Mostéfaoui, Michel Raynal:
Fault-Tolerant Total Order Multicast to Asynchronous Groups. SRDS 1998: 228-234 - [c46]Michel Hurfin, Achour Mostéfaoui, Michel Raynal:
Consensus in Asynchronous Systems Where Processes Can Crash and Recover. SRDS 1998: 280-286 - [c45]Francisco J. Torres-Rojas, Mustaque Ahamad, Michel Raynal:
Lifetime Based Consistency Protocols for Distributed Objects. DISC 1998: 378-392 - 1997
- [j30]Michel Raynal, André Schiper:
A suite of definitions for consistency criteria in distributed shared memories. Ann. des Télécommunications 52(11-12): 652-661 (1997) - [j29]Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal:
Adaptive checkpointing in message passing distributed systems. Int. J. Syst. Sci. 28(11): 1145-1161 (1997) - [j28]Eddy Fromentin, Michel Raynal:
Shared Global States in Distributed Computations. J. Comput. Syst. Sci. 55(3): 522-528 (1997) - [j27]Ravi Prakash, Michel Raynal, Mukesh Singhal:
An Adaptive Causal Ordering Algorithm Suited to Mobile Computing Environments. J. Parallel Distributed Comput. 41(2): 190-204 (1997) - [c44]Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal:
Consistent State Restoration in Shared Memory Systems. APDC 1997: 330-337 - [c43]Michel Raynal, Gérard Thia-Kime, Mustaque Ahamad:
From serializable to causal transactions for collaborative applications. EUROMICRO 1997: 314- - [c42]Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal:
A Communication-Induced Checkpointing Protocol that Ensures Rollback-Dependency Trackability. FTCS 1997: 68-77 - [c41]Michel Raynal:
A Case Study of Agreement Problems in Distributed Systems: Non-Blocking Atomic Commitment. HASE 1997: 209-214 - [c40]Oliver E. Theel, Michel Raynal:
Static and Dynamic Adaptation of Transactional Consistency. HICSS (1) 1997: 533-542 - [c39]Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal:
Cycle Prevention in Distributed Checkpointing. OPODIS 1997: 309-318 - [c38]Jean-Michel Hélary, Achour Mostéfaoui, Robert H. B. Netzer, Michel Raynal:
Preventing Useless Checkpoints in Distributed Computations. SRDS 1997: 183-190 - [c37]Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal:
Virtual Precedence in Asynchronous Systems: Cencept and Applications. WDAG 1997: 170-184 - [c36]Michel Raynal:
Real-time dependable decisions in timed asynchronous distributed systems. WORDS 1997: 283-290 - 1996
- [j26]André Schiper, Michel Raynal:
From Group Communication to Transactions in Distributed Systems. Commun. ACM 39(4): 84-87 (1996) - [j25]Michel Raynal, Mukesh Singhal:
Logical Time: Capturing Causality in Distributed Systems. Computer 29(2): 49-56 (1996) - [j24]Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal, Mukesh Singhal:
Erratum: Deadlock Models and a General Algorithm for Distributed Deadlock Detection. J. Parallel Distributed Comput. 32(2): 232 (1996) - [j23]Özalp Babaoglu, Eddy Fromentin, Michel Raynal:
A unified framework for the specification and run-time detection of dynamic properties in distributed computations. J. Syst. Softw. 33(3): 287-298 (1996) - [j22]Masaaki Mizuno, Mitchell L. Neilsen, Michel Raynal:
An Optimistic Protocol for a Linearizable Distributed Shared Memory System. Parallel Process. Lett. 6(2): 265-278 (1996) - [j21]Roberto Baldoni, Achour Mostéfaoui, Michel Raynal:
Causal Delivery of Messages with Real-Time Data in Unreliable Networks. Real Time Syst. 10(3): 245-262 (1996) - [c35]Achour Mostéfaoui, Michel Raynal:
Efficient Message Logging for Uncoordinated Checkpointing Protocols. EDCC 1996: 353-364 - [c34]Roberto Baldoni, Michel Raynal, Ravi Prakash, Mukesh Singhal:
Broadcast with Time and Causality Constraints for Multimedia Applications. EUROMICRO 1996: 617-624 - [c33]Ravi Prakash, Michel Raynal, Mukesh Singhal:
An Efficient Causal Ordering Algorithm for Mobile Computing Environments. ICDCS 1996: 744-751 - [c32]Roberto Baldoni, Jean-Michel Hélary, Michel Raynal:
About State Recording in Asynchronous Computations (Abstract). PODC 1996: 55 - [c31]Roberto Baldoni, Ravi Prakash, Michel Raynal, Mukesh Singhal:
Efficient Delta-Causal Broadcasting of Multimedia Applications (Abstract). PODC 1996: 89 - [c30]Michel Raynal, Gérard Thia-Kime, Mustaque Ahamad:
From Serializable to Causal Transactions (Abstract). PODC 1996: 310 - [c29]Michel Hurfin, Masaaki Mizuno, Michel Raynal, Mukesh Singhal:
On-The-Fly Detection Of Conjunctions Of Local Predicates In Distributed Computations. SPDP 1996: 589-592 - [c28]Michel Hurfin, Michel Raynal:
Detecting Diamond Necklaces in Labeled Dags (A Problem from Distributed Debugging). WG 1996: 211-223 - 1995
- [j20]Ajay D. Kshemkalyani, Michel Raynal, Mukesh Singhal:
An introduction to snapshot algorithms in distributed computing. Distributed Syst. Eng. 2(4): 224-233 (1995) - [j19]Eddy Fromentin, Claude Jard, Guy-Vincent Jourdan, Michel Raynal:
On-The-Fly Analysis of Distributed Computations. Inf. Process. Lett. 54(5): 267-274 (1995) - [j18]Özalp Babaoglu, Michel Raynal:
Specification and Verification of Dynamic Properties in Distributed Computations. J. Parallel Distributed Comput. 28(2): 173-185 (1995) - [j17]Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal, Mukesh Singhal:
Deadlock Models and a General Algorithm for Distributed Deadlock Detection. J. Parallel Distributed Comput. 31(2): 112-125 (1995) - [j16]Mohan Ahuja, Michel Raynal:
An Implementation of Global Flush Primitives Using Counters. Parallel Process. Lett. 5: 171-178 (1995) - [c27]Eddy Fromentin, Noël Plouzeau, Michel Raynal:
Replaying Distributed Executions. AADEBUG 1995: 1-18 - [c26]Eddy Fromentin, Claude Jard, Guy-Vincent Jourdan, Michel Raynal:
Recognition of Patterns on Control Flows for Debugging Distributed Executions. AADEBUG 1995: 221-232 - [c25]Michel Raynal, André Schiper:
From Causal Consistency to Sequential Consistency in Shared Memory Systems. FSTTCS 1995: 180-194 - [c24]Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal:
Deadlocks in Distributed Systems: Request Models and Definitions. FTDCS 1995: 186-193 - [c23]Roberto Baldoni, Jerzy Brzezinski, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal:
Characterization of Consistent Global Checkpoints in Large-Scale Distributed Systems. FTDCS 1995: 314-323 - [c22]Roberto Baldoni, Achour Mostéfaoui, Michel Raynal:
Efficient Causally Ordered Communications for Multimedia Real-Time Applications. HPDC 1995: 140-147 - [c21]Eddy Fromentin, Michel Raynal:
Characterizing and Detecting The Set of Global States Seen by all Observers of a Distributed Computation. ICDCS 1995: 431-438 - [c20]Özalp Babaoglu, Eddy Fromentin, Michel Raynal:
Debugging Distributed Executions by Using Language Recognition. ICPP (2) 1995: 55-62 - [c19]Vijay K. Garg, Alexander I. Tomlinson, Eddy Fromentin, Michel Raynal:
Expressing and detecting control flow properties of distributed computations. SPDP 1995: 432-438 - [e2]Jean-Michel Hélary, Michel Raynal:
Distributed Algorithms, 9th International Workshop, WDAG '95, Le Mont-Saint-Michel, France, September 13-15, 1995, Proceedings. Lecture Notes in Computer Science 972, Springer 1995, ISBN 3-540-60274-7 [contents] - 1994
- [j15]Jean-Michel Hélary, Michel Raynal:
Towards the Construction of Distributed Detection Programs, with an Application to Distributed Termination. Distributed Comput. 7(3): 137-147 (1994) - [j14]Eddy Fromentin, Michel Raynal:
Local States in Distributed Computations: A Few Relations and Formulas. ACM SIGOPS Oper. Syst. Rev. 28(2): 65-72 (1994) - [j13]Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal:
A General Scheme for Token- and Tree-Based Distributed Mutual Exclusion Algorithms. IEEE Trans. Parallel Distributed Syst. 5(11): 1185-1196 (1994) - [c18]Achour Mostéfaoui, Michel Raynal:
Definition and Implementation of a Flexible Communication Primitive for Distributed Programming. Applications in Parallel and Distributed Computing 1994: 115-124 - [c17]Masaaki Mizuno, Michel Raynal, Gurdip Singh, Mitchell L. Neilsen:
An Efficient Implementation of Sequentially Consistent Distributed Shared Memories. Applications in Parallel and Distributed Computing 1994: 145-154 - [c16]Masaaki Mizuno, Michel Raynal, James Z. Zhou:
Sequential Consistency in Distributed Systems. Dagstuhl Seminar on Distributed Systems 1994: 224-241 - [c15]Michel Hurfin, Noël Plouzeau, Michel Raynal:
On Granularity of Events in Distributed Computations. Specification of Parallel Algorithms 1994: 115-124 - [c14]Eddy Fromentin, Michel Raynal, Vijay K. Garg, Alexander I. Tomlinson:
On the Fly Testing of Regular Patterns in Distributed Computations. ICPP (2) 1994: 73-76 - [c13]Eddy Fromentin, Michel Raynal:
Inevitable global states: a concept to detect unstable properties of distributed computations in an observer independent way. SPDP 1994: 242-248 - [c12]Ornan Ori Gerstel, Shmuel Zaks, Michel Hurfin, Noël Plouzeau, Michel Raynal:
On-the-fly replay: a practical paradigm and its implementation for distributed debugging. SPDP 1994: 266-272 - 1993
- [j12]Michel Hurfin, Noël Plouzeau, Michel Raynal:
Debugging tool for distributed Estelle programs. Comput. Commun. 16(5): 328-333 (1993) - [c11]Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal:
Termination Detection in a Very General Distributed Computing Model. ICDCS 1993: 374-381 - [c10]Michel Hurfin, Noël Plouzeau, Michel Raynal:
Detecting Atomic Sequences of Predicates in Distributed Computations. Workshop on Parallel and Distributed Debugging 1993: 32-42 - 1992
- [j11]Noël Plouzeau, Michel Raynal:
Elements for a course on the design of distributed algorithms. ACM SIGCSE Bull. 24(2): 35-40 (1992) - [j10]Michel Raynal:
About Logical Clocks for Distributed Systems. ACM SIGOPS Oper. Syst. Rev. 26(1): 41-48 (1992) - [c9]Philippe Ingels, Carlos Maziero, Michel Raynal:
A Distributed Kernel for Virtual Time Driven Applications. ICCI 1992: 457-460 - [c8]Mitchell L. Neilsen, Masaaki Mizuno, Michel Raynal:
A General Method to Define Quorums. ICDCS 1992: 657-664 - [c7]Michel Raynal, Masaaki Mizuno, Mitchell L. Neilsen:
Synchronization and Concurrency Measures for Distributed Computations. ICDCS 1992: 700-707 - [c6]Jean-Michel Hélary, Michel Raynal:
Distributed Evaluation: A Tool for Constructing Distributed Detection Programs. ISTCS 1992: 184-194 - 1991
- [j9]Michel Raynal, André Schiper, Sam Toueg:
The Causal Ordering Abstraction and a Simple Way to Implement it. Inf. Process. Lett. 39(6): 343-350 (1991) - [j8]Michel Raynal:
A Simple Taxonomy for Distributed Mutual Exclusion Algorithms. ACM SIGOPS Oper. Syst. Rev. 25(2): 47-50 (1991) - [c5]André Couvert, René Pedrono, Michel Raynal:
Implementation and Evaluation of Distributed Synchronization on a Distributed Memory Parallel Machine. EDMCC 1991: 304-314 - [c4]Michel Raynal:
A Distributed Solution to the k-out of-M Resources Allocation Problem. ICCI 1991: 599-609 - 1990
- [b2]Michel Raynal, Jean-Michel Hélary:
Synchronization and control of distributed systems and programs. Wiley series in parallel computing, Wiley 1990, ISBN 978-0-471-92453-1, pp. I-X, 1-124
1980 – 1989
- 1989
- [j7]Michel Raynal:
Prime Numbers as a Tool to Design Distributed Algorithms. Inf. Process. Lett. 33(1): 53-58 (1989) - [e1]Jean-Claude Bermond, Michel Raynal:
Distributed Algorithms, 3rd International Workshop, Nice, France, September 26-28, 1989, Proceedings. Lecture Notes in Computer Science 392, Springer 1989, ISBN 3-540-51687-5 [contents] - 1988
- [b1]Michel Raynal:
Distributed algorithms and protocols. Wiley 1988, ISBN 978-0-471-91754-0, pp. I-XI, 1-163 - [j6]Jean-Michel Hélary, Noël Plouzeau, Michel Raynal:
A Distributed Algorithm for Mutual Exclusion in an Arbitrary Network. Comput. J. 31(4): 289-295 (1988) - 1987
- [j5]Michel Raynal:
A Distributed Algorithm to Prevent Mutual Drift Between n Logical Clocks. Inf. Process. Lett. 24(3): 199-202 (1987) - [j4]Jean-Michel Hélary, Aomar Maddi, Michel Raynal:
Calcul Réparti D'un Extrémum Et Du Routage Associé Dans Un Réseau Quelconque. RAIRO Theor. Informatics Appl. 21(3): 223-244 (1987) - [c3]Jean-Michel Hélary, Claude Jard, Noël Plouzeau, Michel Raynal:
Detection of Stable Properties in Distributed Applications. PODC 1987: 125-136 - [c2]Jean-Claude Bermond, Jean-Claude König, Michel Raynal:
General and Efficient Decentralized Consensus Protocols. WDAG 1987: 41-56 - 1983
- [j3]Gregor von Bochmann, Michel Raynal:
Structured Specification of Communicating Systems. IEEE Trans. Computers 32(2): 120-133 (1983) - 1981
- [j2]Philippe Darondeau, Paul Le Guernic, Michel Raynal:
Types in a Mixed Language System. BIT 21(3): 245-254 (1981) - [j1]Michel Banâtre, André Couvert, D. Herman, Michel Raynal:
An Experience in Implementing Abstract Data Types. Softw. Pract. Exp. 11(3): 315-320 (1981) - 1980
- [c1]D. Herman, Michel Raynal:
Synchronization and Protection Features for Data Abstraction. GI Jahrestagung 1980: 277-291
Coauthor Index