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
[j187]Romaric Duvignau, Michel Raynal, Elad Michael Schiller:
Self-stabilizing multivalued consensus in the presence of Byzantine faults and asynchrony. Theor. Comput. Sci. 1039: 115184 (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
Carole Delporte-Gallet
aka: Carole Delporte
aka: Carole Delporte
Antonio Fernández 0001
aka: Antonio Fernández Anta
aka: Antonio Fernández Anta
[c346] [i43] [j164] [j158] [c327] [c322] [c319] [c317] [i28] [c314] [i24] [c304] [i21] [i20] [i19] [j135] [j133] [j131] [j130] [c292] [j125] [i10] [i9] [i8] [c271] [j121] [j118] [j115] [j112] [c258] [c253] [c252] [c251] [j110] [j105] [c240] [c238] [c234] [c232] [c231] [c230] [i6] [c223] [c221] [c220] [c219] [j96] [c214] [c212] [c211] [c207] [c205] [c204] [c197]
[c354] [c351] [j164] [j156] [j153] [c318] [j148] [j145] [j144] [c314] [i26] [i25] [j142] [j139] [c304] [i21] [i20] [i19] [j127] [c300] [c296] [c295] [i17] [i16] [i14] [j126] [c285] [c281] [c273] [c250] [c239] [c235] [c229] [j98] [c222] [j93] [j91] [c215] [j90] [j86] [c200] [c195] [i5] [j83] [j82] [j78] [c175] [j77] [j76] [j75] [c169] [c162] [c160] [c159] [c155] [j73] [j71] [j70] [c152] [c145] [c143] [c140] [j68] [j67] [j66] [c138] [c136] [c135] [c134] [c132] [c131] [c130] [c129] [j64] [c128] [c125] [c124] [c116] [c113] [j56] [j54] [j53] [c110] [c105] [c104] [c98] [c97] [c96] [j50] [j48] [j47] [j45] [c93] [c91] [c90] [c88] [c86] [c85] [c84] [c83] [j44] [j43] [j42] [c80] [c76] [c75] [c72] [c70] [j36] [c66] [c63] [c59] [c58] [c57] [c53] [c51] [c47] [c46] [j29] [c44] [c42] [c39] [c38] [c37] [j21] [c35] [c23] [c22] [j13] [c18]
[j182] [j181] [j171] [c348] [c335] [i36] [j163] [j160] [j159] [c328] [c326] [c325] [i32] [i30] [j152] [j146] [j143] [i23] [j138] [c305] [j133] [j130] [c301] [c294] [c293] [c280] [i12] [c276] [c271] [j122] [j120] [c264] [j113] [c251] [c248] [j109] [c243] [c234] [c233] [c232] [j102] [j90] [j89] [j86] [c201] [j83] [j82] [c178] [j77] [c169] [c167] [c164] [c160] [c145] [j68] [c135] [c130] [j64] [c128] [c116] [c113] [c110] [c104] [c97] [c96] [c88] [c86] [c83]
Frédéric Tronel
aka: Frederic Tronel
aka: Frederic Tronel
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-04-08 20:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
