Michel Raynal - RankMe

622 papers A* 41A 63B 103C 46Misc 25Journal 241Unranked 88

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Byzantine-tolerant distributed grow-only sets: specification and applications. Distributed Comput. Vicent Cholvi, Antonio Fernández Anta, Chryssis Georgiou, Nicolas Nicolaou, Michel Raynal, Antonio Russo
2025	A*	`conf`	Brief Announcement: Stranger-Free Tasks. PODC Eli Gafni, Giuliano Losa, Michel Raynal, Gadi Taubenfeld
2025	B	`conf`	Contention-Aware Cooperation. OPODIS Timothé Albouy, Davide Frey, Mathieu Gestin, Michel Raynal, François Taïani
2025	Misc	`conf`	Invited Paper: Distributed Computability: A Few Results Masters Students Should Know. ICDCIT Michel Raynal
2025	J	`jnl`	Self-stabilizing multivalued consensus in the presence of Byzantine faults and asynchrony. Theor. Comput. Sci. Romaric Duvignau, Michel Raynal, Elad Michael Schiller
2025	B	`conf`	Solving Tasks with Fewer Registers Than Processes. OPODIS Eli Gafni, Giuliano Losa, Michel Raynal, Gadi Taubenfeld
2024	—	`ch.`	A Short Visit to Distributed Computing Where Simplicity Is Considered a First Class Property. The French School of Programming Michel Raynal
2024	J	`jnl`	Asynchronous BFT Asset Transfer: Quasi-Anonymous, Light, and Consensus-Free. CoRR Timothé Albouy, Emmanuelle Anceaume, Davide Frey, Mathieu Gestin, Arthur Rauch, Michel Raynal, François Taïani
2024	B	`conf`	Better Sooner Rather Than Later. SIROCCO Anaïs Durand, Michel Raynal, Gadi Taubenfeld
2024	A	`conf`	Brief Announcement: Towards Optimal Communication Byzantine Reliable Broadcast Under a Message Adversary. DISC Timothé Albouy, Davide Frey, Ran Gelles, Carmit Hazay, Michel Raynal, Elad Michael Schiller, François Taïani, Vassilis Zikas
2024	J	`jnl`	Good-case early-stopping latency of synchronous byzantine reliable broadcast: the deterministic case. Distributed Comput. Timothé Albouy, Davide Frey, Michel Raynal, François Taïani
2024	B	`conf`	Near-Optimal Communication Byzantine Reliable Broadcast Under a Message Adversary. OPODIS Timothé Albouy, Davide Frey, Ran Gelles, Carmit Hazay, Michel Raynal, Elad Michael Schiller, François Taïani, Vassilis Zikas
2024	C	`conf`	On Distributed Computing: A View, Physical Versus Logical Objects, and a Look at Fully Anonymous Systems. SSS Michel Raynal
2024	J	`jnl`	Process-commutative distributed objects: From cryptocurrencies to Byzantine-Fault-Tolerant CRDTs. Theor. Comput. Sci. Davide Frey, Lucie Guillou, Michel Raynal, François Taïani
2024	Misc	`conf`	Self-stabilizing Byzantine Multivalued Consensus: (extended abstract). ICDCN Romaric Duvignau, Michel Raynal, Elad Michael Schiller
2024	J	`jnl`	Self-stabilizing indulgent zero-degrading binary consensus. Theor. Comput. Sci. Oskar Lundström, Michel Raynal, Elad Michael Schiller
2024	J	`jnl`	Self-stabilizing multivalued consensus in asynchronous crash-prone systems. Theor. Comput. Sci. Oskar Lundström, Michel Raynal, Elad Michael Schiller
2023	J	`jnl`	A Linearizability-based Hierarchy for Concurrent Specifications. Commun. ACM Armando Castañeda, Sergio Rajsbaum, Michel Raynal
2023	B	`conf`	About Informatics, Distributed Computing, and Our Job: A Personal View. SIROCCO Michel Raynal
2023	J	`jnl`	Asynchronous Byzantine reliable broadcast with a message adversary. Theor. Comput. Sci. Timothé Albouy, Davide Frey, Michel Raynal, François Taïani
2023	J	`jnl`	Atomic Appends in Asynchronous Byzantine Distributed Ledgers. J. Parallel Distributed Comput. Vicent Cholvi, Antonio Fernández Anta, Chryssis Georgiou, Nicolas Nicolaou, Michel Raynal, Antonio Russo
2023	J	`jnl`	Better Sooner Rather Than Later. CoRR Anaïs Durand, Michel Raynal, Gadi Taubenfeld
2023	A*	`conf`	Brief Announcement: The MBroadcast Abstraction. PODC Mathilde Déprés, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
2023	J	`jnl`	Context Adaptive Cooperation. CoRR Timothé Albouy, Davide Frey, Mathieu Gestin, Michel Raynal, François Taïani
2023	J	`jnl`	Corrigendum to "Mutual exclusion in fully anonymous shared memory systems" [Inf. Process. Lett. 158 (2020) 105938]. Inf. Process. Lett. Michel Raynal, Gadi Taubenfeld
2023	J	`jnl`	DMCSC: a fully distributed multi-coloring approach for scalable communication in synchronous broadcast networks. J. Supercomput. Youcef Imine, Hicham Lakhlef, Michel Raynal, François Taïani
2023	J	`jnl`	Good-case Early-Stopping Latency of Synchronous Byzantine Reliable Broadcast: The Deterministic Case (Extended Version). CoRR Timothé Albouy, Davide Frey, Michel Raynal, François Taïani
2023	J	`jnl`	Mutual Exclusion vs Consensus: Both Sides of the Same Coin? Bull. EATCS Michel Raynal
2023	J	`jnl`	Optimal algorithms for synchronous Byzantine Theor. Comput. Sci. Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal, Mouna Safir
2023	J	`jnl`	Process-Commutative Distributed Objects: From Cryptocurrencies to Byzantine-Fault-Tolerant CRDTs. CoRR Davide Frey, Lucie Guillou, Michel Raynal, François Taïani
2023	J	`jnl`	Reaching agreement in the presence of contention-related crash failures. Theor. Comput. Sci. Anaïs Durand, Michel Raynal, Gadi Taubenfeld
2023	J	`jnl`	Self-stabilizing Byzantine Multivalued Consensus. CoRR Romaric Duvignau, Michel Raynal, Elad Michael Schiller
2023	J	`jnl`	Self-stabilizing Byzantine fault-tolerant repeated reliable broadcast. Theor. Comput. Sci. Romaric Duvignau, Michel Raynal, Elad Michael Schiller
2023	C	`conf`	Self-stabilizing Byzantine-Tolerant Recycling. SSS Chryssis Georgiou, Michel Raynal, Elad Michael Schiller
2023	J	`jnl`	Self-stabilizing Byzantine-tolerant Recycling. CoRR Chryssis Georgiou, Michel Raynal, Elad Michael Schiller
2023	A	`conf`	Send/Receive Patterns Versus Read/Write Patterns in Crash-Prone Asynchronous Distributed Systems. DISC Mathilde Déprés, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
2023	J	`jnl`	Set-Linearizable Implementations from Read/Write Operations: Sets, Fetch &Increment, Stacks and Queues with Multiplicity. Distributed Comput. Armando Castañeda, Sergio Rajsbaum, Michel Raynal
2023	J	`jnl`	The Synchronization Power (Consensus Number) of Access-Control Objects: The Case of AllowList and DenyList. CoRR Davide Frey, Mathieu Gestin, Michel Raynal
2023	A	`conf`	The Synchronization Power (Consensus Number) of Access-Control Objects: the Case of AllowList and DenyList. DISC Davide Frey, Mathieu Gestin, Michel Raynal
2023	J	`jnl`	Towards Optimal Communication Byzantine Reliable Broadcast under a Message Adversary. CoRR Timothé Albouy, Davide Frey, Ran Gelles, Carmit Hazay, Michel Raynal, Elad Michael Schiller, François Taïani, Vassilis Zikas
2022	B	`conf`	A Modular Approach to Construct Signature-Free BRB Algorithms Under a Message Adversary. OPODIS Timothé Albouy, Davide Frey, Michel Raynal, François Taïani
2022	—	`conf`	A Snapshot-Based Introduction to the Linearizability Hierarchy. NETYS Armando Castañeda, Sergio Rajsbaum, Michel Raynal
2022	J	`jnl`	A visit to mutual exclusion in seven dates. Theor. Comput. Sci. Michel Raynal, Gadi Taubenfeld
2022	J	`jnl`	Asynchronous Byzantine Reliable Broadcast With a Message Adversary. CoRR Timothé Albouy, Davide Frey, Michel Raynal, François Taïani
2022	C	`conf`	Brief Announcement: Self-stabilizing Total-Order Broadcast. SSS Oskar Lundström, Michel Raynal, Elad Michael Schiller
2022	J	`jnl`	Contention-related crash failures: Definitions, agreement algorithms, and impossibility results. Theor. Comput. Sci. Anaïs Durand, Michel Raynal, Gadi Taubenfeld
2022	J	`jnl`	Distributed computability: Relating Inf. Comput. Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal
2022	B	`conf`	Election in Fully Anonymous Shared Memory Systems: Tight Space Bounds and Algorithms. SIROCCO Damien Imbs, Michel Raynal, Gadi Taubenfeld
2022	J	`jnl`	Election in Fully Anonymous Shared Memory Systems: Tight Space Bounds and Algorithms. CoRR Damien Imbs, Michel Raynal, Gadi Taubenfeld
2022	A	`conf`	Good-Case Early-Stopping Latency of Synchronous Byzantine Reliable Broadcast: The Deterministic Case. DISC Timothé Albouy, Davide Frey, Michel Raynal, François Taïani
2022	—	`conf`	Message from the General Chairs: MSN 2022. MSN Michel Raynal, Jie Wu
2022	C	`conf`	Optimal Algorithms for Synchronous Byzantine k-Set Agreement. SSS Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal, Mouna Safir
2022	C	`conf`	Reaching Consensus in the Presence of Contention-Related Crash Failures. SSS Anaïs Durand, Michel Raynal, Gadi Taubenfeld
2022	C	`conf`	Self-stabilizing Byzantine Fault-Tolerant Repeated Reliable Broadcast. SSS Romaric Duvignau, Michel Raynal, Elad Michael Schiller
2022	J	`jnl`	Self-stabilizing Byzantine-tolerant Broadcast. CoRR Romaric Duvignau, Michel Raynal, Elad Michael Schiller
2022	J	`jnl`	Self-stabilizing Total-order Broadcast. CoRR Oskar Lundström, Michel Raynal, Elad Michael Schiller
2022	J	`jnl`	Symmetry and Anonymity in Shared Memory Concurrent Systems. Bull. EATCS Michel Raynal, Gadi Taubenfeld
2022	J	`jnl`	κ𝓁-cast: On the Foundations of Byzantine Reliable Broadcast in the Presence of Message Adversaries. CoRR Timothé Albouy, Davide Frey, Michel Raynal, François Taïani
2021	—	`conf`	Byzantine-Tolerant Distributed Grow-Only Sets: Specification and Applications. FAB Vicent Cholvi, Antonio Fernández Anta, Chryssis Georgiou, Nicolas Nicolaou, Michel Raynal, Antonio Russo
2021	C	`conf`	Byzantine-Tolerant Reliable Broadcast in the Presence of Silent Churn. SSS Timothé Albouy, Davide Frey, Michel Raynal, François Taïani
2021	J	`jnl`	Byzantine-tolerant Distributed Grow-only Sets: Specification and Applications. CoRR Vicent Cholvi, Antonio Fernández Anta, Chryssis Georgiou, Nicolas Nicolaou, Michel Raynal, Antonio Russo
2021	J	`jnl`	Byzantine-tolerant causal broadcast. Theor. Comput. Sci. Alex Auvolat, Davide Frey, Michel Raynal, François Taïani
2021	B	`conf`	Consensus-Free Ledgers When Operations of Distinct Processes are Commutative. PaCT Davide Frey, Lucie Guillou, Michel Raynal, François Taïani
2021	J	`jnl`	Distributed Computability: A Few Results Masters Students Should Know. SIGACT News Michel Raynal
2021	—	`conf`	From Incomplete to Complete Networks in Asynchronous Byzantine Systems. AINA (1) Michel Raynal, Jiannong Cao
2021	—	`conf`	Leader Election in Arbitrarily Connected Networks with Process Crashes and Weak Channel Reliability. NETYS Carlos López, Sergio Rajsbaum, Michel Raynal, Karla Vargas
2021	J	`jnl`	Leader Election in Arbitrarily Connected Networks with Process Crashes and Weak Channel Reliability. CoRR Carlos López, Sergio Rajsbaum, Michel Raynal, Karla Vargas
2021	—	`conf`	Loosely-self-stabilizing Byzantine-Tolerant Binary Consensus for Signature-Free Message-Passing Systems. NETYS Chryssis Georgiou, Ioannis Marcoullis, Michel Raynal, Elad Michael Schiller
2021	J	`jnl`	Loosely-self-stabilizing Byzantine-tolerant Binary Consensus for Signature-free Message-passing Systems. CoRR Chryssis Georgiou, Ioannis Marcoullis, Michel Raynal, Elad Michael Schiller
2021	J	`jnl`	On the Versatility of Bracha's Byzantine Reliable Broadcast Algorithm. Parallel Process. Lett. Michel Raynal
2021	J	`jnl`	On the weakest information on failures to solve mutual exclusion and consensus in asynchronous crash-prone read/write systems. J. Parallel Distributed Comput. Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal
2021	Misc	`conf`	Self-Stabilizing Indulgent Zero-degrading Binary Consensus. ICDCN Oskar Lundström, Michel Raynal, Elad Michael Schiller
2021	J	`jnl`	Self-stabilizing Byzantine- and Intrusion-tolerant Consensus. CoRR Romaric Duvignau, Michel Raynal, Elad Michael Schiller
2021	Misc	`conf`	Self-stabilizing Multivalued Consensus in Asynchronous Crash-prone Systems. EDCC Oskar Lundström, Michel Raynal, Elad Michael Schiller
2021	J	`jnl`	Self-stabilizing Multivalued Consensus in Asynchronous Crash-prone Systems. CoRR Oskar Lundström, Michel Raynal, Elad Michael Schiller
2021	J	`jnl`	Set-constrained delivery broadcast: A communication abstraction for read/write implementable distributed objects. Theor. Comput. Sci. Damien Imbs, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
2020	J	`jnl`	60 Years of Mastering Concurrent Computing through Sequential Thinking. SIGACT News Sergio Rajsbaum, Michel Raynal
2020	J	`jnl`	An Eventually Perfect Failure Detector for Networks of Arbitrary Topology Connected with ADD Channels Using Time-To-Live Values. Parallel Process. Lett. Karla Vargas, Sergio Rajsbaum, Michel Raynal
2020	J	`jnl`	Appending Atomically in Byzantine Distributed Ledgers. CoRR Vicent Cholvi, Antonio Fernández Anta, Chryssis Georgiou, Nicolas C. Nicolaou, Michel Raynal
2020	Misc	`conf`	Atomic Appends in Asynchronous Byzantine Distributed Ledgers. EDCC Vicent Cholvi, Antonio Fernández Anta, Chryssis Georgiou, Nicolas Nicolaou, Michel Raynal
2020	C	`conf`	Brief Announcement: Leader Election in the ADD Communication Model. SSS Sergio Rajsbaum, Michel Raynal, Karla Vargas
2020	J	`jnl`	Collisions Are Preferred: RFID-Based Stocktaking with a High Missing Rate. IEEE Trans. Mob. Comput. Weiping Zhu, Xing Meng, Xiaolei Peng, Jiannong Cao, Michel Raynal
2020	A*	`conf`	From Bezout's Identity to Space-Optimal Election in Anonymous Memory Systems. PODC Emmanuel Godard, Damien Imbs, Michel Raynal, Gadi Taubenfeld
2020	—	`conf`	Fully Anonymous Consensus and Set Agreement Algorithms. NETYS Michel Raynal, Gadi Taubenfeld
2020	J	`jnl`	Leader-based de-anonymization of an anonymous read/write memory. Theor. Comput. Sci. Emmanuel Godard, Damien Imbs, Michel Raynal, Gadi Taubenfeld
2020	J	`jnl`	Mastering concurrent computing through sequential thinking. Commun. ACM Sergio Rajsbaum, Michel Raynal
2020	J	`jnl`	Money Transfer Made Simple. CoRR Alex Auvolat, Davide Frey, Michel Raynal, François Taïani
2020	J	`jnl`	Money Transfer Made Simple: a Specification, a Generic Algorithm, and its Proof. Bull. EATCS Alex Auvolat, Davide Frey, Michel Raynal, François Taïani
2020	J	`jnl`	Mutual exclusion in fully anonymous shared memory systems. Inf. Process. Lett. Michel Raynal, Gadi Taubenfeld
2020	B	`conf`	Relaxed Queues and Stacks from Read/Write Operations. OPODIS Armando Castañeda, Sergio Rajsbaum, Michel Raynal
2020	J	`jnl`	Self-Stabilizing Indulgent Zero-degrading Binary Consensus. CoRR Oskar Lundström, Michel Raynal, Elad Michael Schiller
2020	A	`conf`	Self-Stabilizing Set-Constrained Delivery Broadcast (extended abstract). ICDCS Oskar Lundström, Michel Raynal, Elad Michael Schiller
2020	—	`conf`	Self-stabilizing Uniform Reliable Broadcast. NETYS Oskar Lundström, Michel Raynal, Elad Michael Schiller
2020	J	`jnl`	Self-stabilizing Uniform Reliable Broadcast. CoRR Oskar Lundström, Michel Raynal, Elad Michael Schiller
2020	J	`jnl`	What Can Be Done with Consensus Number One: Relaxed Queues and Stacks. CoRR Armando Castañeda, Sergio Rajsbaum, Michel Raynal
2020	C	`conf`	k-Immediate Snapshot and x-Set Agreement: How Are They Related? SSS Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal
2020	J	`jnl`	t-Resilient k-Immediate Snapshot and its Relation with Agreement Problems. CoRR Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal
2019	C	`conf`	A New Insight into Local Coin-Based Randomized Consensus. PRDC Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
2019	J	`jnl`	A speculation-friendly binary search tree. Concurr. Comput. Pract. Exp. Tyler Crain, Vincent Gramoli, Michel Raynal
2019	J	`jnl`	An Informal Visit to the Wonderful Land of Consensus Numbers and Beyond. Bull. EATCS Michel Raynal
2019	B	`conf`	Anonymous Read/Write Memory: Leader Election and De-anonymization. SIROCCO Emmanuel Godard, Damien Imbs, Michel Raynal, Gadi Taubenfeld
2019	C	`conf`	Brief Announcement: Fully Anonymous Shared Memory Algorithms. SSS Michel Raynal, Gadi Taubenfeld
2019	B	`conf`	Byzantine-Tolerant Set-Constrained Delivery Broadcast. OPODIS Alex Auvolat, Michel Raynal, François Taïani
2019	J	`jnl`	Crash-tolerant causal broadcast in Inf. Process. Lett. Achour Mostéfaoui, Matthieu Perrin, Michel Raynal, Jiannong Cao
2019	J	`jnl`	Fully Anonymous Shared Memory Algorithms. CoRR Michel Raynal, Gadi Taubenfeld
2019	J	`jnl`	Making Local Algorithms Wait-Free: the Case of Ring Coloring. Theory Comput. Syst. Armando Castañeda, Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal
2019	—	`conf`	Mutex-Based De-anonymization of an Anonymous Read/Write Memory. NETYS Emmanuel Godard, Damien Imbs, Michel Raynal, Gadi Taubenfeld
2019	J	`jnl`	Mutex-based Desanonymization of an Anonymous Read/Write Memory. CoRR Emmanuel Godard, Damien Imbs, Michel Raynal, Gadi Taubenfeld
2019	B	`conf`	On the Weakest Failure Detector for Read/Write-Based Mutual Exclusion. AINA Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal
2019	A	`conf`	One for All and All for One: Scalable Consensus in a Hybrid Communication Model. ICDCS Michel Raynal, Jiannong Cao
2019	A*	`conf`	Optimal Memory-Anonymous Symmetric Deadlock-Free Mutual Exclusion. PODC Zahra Aghazadeh, Damien Imbs, Michel Raynal, Gadi Taubenfeld, Philipp Woelfel
2019	B	`conf`	Participant-Restricted Consensus in Asynchronous Crash-Prone Read/Write Systems and Its Weakest Failure Detector. PaCT Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal
2019	B	`conf`	The Notion of Universality in Crash-Prone Asynchronous Message-Passing Systems: A Tutorial. SRDS Michel Raynal
2019	J	`jnl`	Time-efficient read/write register in crash-prone asynchronous message-passing systems. Computing Achour Mostéfaoui, Michel Raynal, Matthieu Roy
2019	J	`jnl`	Vertex Coloring with Communication Constraints in Synchronous Broadcast Networks. IEEE Trans. Parallel Distributed Syst. Hicham Lakhlef, Michel Raynal, François Taïani
2018	C	`conf`	A Pleasant Stroll Through the Land of Distributed Machines, Computation, and Universality. MCU Michel Raynal, Jiannong Cao
2018	J	`jnl`	A Simple Object that Spans the Whole Consensus Hierarchy. CoRR Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
2018	J	`jnl`	A Simple Object that Spans the Whole Consensus Hierarchy. Parallel Process. Lett. Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
2018	J	`jnl`	Agent-based broadcast protocols for wireless heterogeneous node networks. Comput. Commun. Hicham Lakhlef, Abdelmadjid Bouabdallah, Michel Raynal, Julien Bourgeois
2018	—	`conf`	Anonymity in Distributed Read/Write Systems: An Introductory Survey. NETYS Michel Raynal, Jiannong Cao
2018	J	`jnl`	Anonymous obstruction-free (n, k)-set agreement with n-k+1 atomic read/write registers. Distributed Comput. Zohir Bouzid, Michel Raynal, Pierre Sutra
2018	C	`conf`	Bee's Strategy Against Byzantines Replacing Byzantine Participants - (Extended Abstract). SSS Amitay Shaer, Shlomi Dolev, Silvia Bonomi, Michel Raynal, Roberto Baldoni
2018	B	`conf`	DBFT: Efficient Leaderless Byzantine Consensus and its Application to Blockchains. NCA Tyler Crain, Vincent Gramoli, Mikel Larrea, Michel Raynal
2018	J	`jnl`	Energy-Efficient Composite Event Detection in Wireless Sensor Networks. IEEE Commun. Lett. Weiping Zhu, Jiannong Cao, Michel Raynal
2018	J	`jnl`	Extending Causal Consistency to any Object Defined by a Sequential Specification. CoRR Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
2018	J	`jnl`	Extending Causal Consistency to any Object Defined by a Sequential Specification. Bull. EATCS Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
2018	—	`book`	Fault-Tolerant Message-Passing Distributed Systems - An Algorithmic Approach Michel Raynal
2018	J	`jnl`	Implementing Snapshot Objects on Top of Crash-Prone Asynchronous Message-Passing Systems. IEEE Trans. Parallel Distributed Syst. Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal
2018	J	`jnl`	Mastering Concurrent Computing Through Sequential Thinking: A Half-century Evolution. CoRR Sergio Rajsbaum, Michel Raynal
2018	J	`jnl`	Optimal Memory-Anonymous Symmetric Deadlock-Free Mutual Exclusion. CoRR Zahra Aghazadeh, Damien Imbs, Michel Raynal, Gadi Taubenfeld, Philipp Woelfel
2018	J	`jnl`	Randomized k-set agreement in crash-prone and Byzantine asynchronous systems. Theor. Comput. Sci. Achour Mostéfaoui, Hamouma Moumen, Michel Raynal
2018	C	`conf`	Set Agreement and Renaming in the Presence of Contention-Related Crash Failures. SSS Anaïs Durand, Michel Raynal, Gadi Taubenfeld
2018	Misc	`conf`	Set-Constrained Delivery Broadcast: Definition, Abstraction Power, and Computability Limits. ICDCN Damien Imbs, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
2018	B	`conf`	Time-Efficient RFID-Based Stocktaking with a Coarse-Grained Inventory List. IWQoS Weiping Zhu, Xing Meng, Xiaolei Peng, Jiannong Cao, Michel Raynal
2018	J	`jnl`	Unifying Concurrent Objects and Distributed Tasks: Interval-Linearizability. J. ACM Armando Castañeda, Sergio Rajsbaum, Michel Raynal
2017	J	`jnl`	(Leader/Randomization/Signature)-free Byzantine Consensus for Consortium Blockchains. CoRR Tyler Crain, Vincent Gramoli, Mikel Larrea, Michel Raynal
2017	J	`jnl`	A distributed leader election algorithm in crash-recovery and omissive systems. Inf. Process. Lett. Christian Fernández-Campusano, Mikel Larrea, Roberto Cortiñas, Michel Raynal
2017	J	`jnl`	Another Look at the Implementation of Read/write Registers in Crash-prone Asynchronous Message-Passing Systems (Extended Version). CoRR Damien Imbs, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
2017	J	`jnl`	Atomic Read/Write Memory in Signature-Free Byzantine Asynchronous Message-Passing Systems. Theory Comput. Syst. Achour Mostéfaoui, Matoula Petrolia, Michel Raynal, Claude Jard
2017	J	`jnl`	Distributed Universal Constructions: a Guided Tour. Bull. EATCS Michel Raynal
2017	—	`conf`	Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided Tour. NETYS Armando Castañeda, Yoram Moses, Michel Raynal, Matthieu Roy
2017	J	`jnl`	From wait-free to arbitrary concurrent solo executions in colorless distributed computing. Theor. Comput. Sci. Maurice Herlihy, Sergio Rajsbaum, Michel Raynal, Julien Stainer
2017	—	`conf`	Long-Lived Tasks. NETYS Armando Castañeda, Sergio Rajsbaum, Michel Raynal
2017	B	`conf`	Providing Collision-Free and Conflict-Free Communication in General Synchronous Broadcast/Receive Networks. AINA Abdelmadjid Bouabdallah, Hicham Lakhlef, Michel Raynal, François Taïani
2017	J	`jnl`	Set-Constrained Delivery Broadcast: Definition, Abstraction Power, and Computability Limits. CoRR Damien Imbs, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
2017	J	`jnl`	Signature-free asynchronous Byzantine systems: from multivalued to binary consensus with t< n/3, O(n Acta Informatica Achour Mostéfaoui, Michel Raynal
2017	J	`jnl`	Which Broadcast Abstraction Captures $k$-Set Agreement? CoRR Damien Imbs, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
2017	A	`conf`	Which Broadcast Abstraction Captures k-Set Agreement?. DISC Damien Imbs, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
2016	J	`jnl`	A Fast Contention-Friendly Binary Search Tree. Parallel Process. Lett. Tyler Crain, Vincent Gramoli, Michel Raynal
2016	A	`conf`	A Look at Basics of Distributed Computing. ICDCS Michel Raynal
2016	Misc	`conf`	A communication-efficient leader election algorithm in partially synchronous systems prone to crash-recovery and omission failures. ICDCN Christian Fernández-Campusano, Mikel Larrea, Roberto Cortiñas, Michel Raynal
2016	J	`jnl`	A necessary condition for Byzantine k-set agreement. Inf. Process. Lett. Zohir Bouzid, Damien Imbs, Michel Raynal
2016	A	`conf`	Are Byzantine Failures Really Different from Crash Failures? DISC Damien Imbs, Michel Raynal, Julien Stainer
2016	J	`jnl`	Atomic Read/Write Memory in Signature-free Byzantine Asynchronous Message-passing Systems. CoRR Achour Mostéfaoui, Matoula Petrolia, Michel Raynal, Claude Jard
2016	J	`jnl`	Distributed Slicing in Dynamic Systems. IEEE Trans. Parallel Distributed Syst. Antonio Fernández Anta, Vincent Gramoli, Ernesto Jiménez, Anne-Marie Kermarrec, Michel Raynal
2016	—	`ch.`	Distributed Snapshots. Encyclopedia of Algorithms Michel Raynal
2016	J	`jnl`	Distributed Universality. Algorithmica Michel Raynal, Julien Stainer, Gadi Taubenfeld
2016	B	`conf`	Efficient Broadcast Protocol for the Internet of Things. AINA Hicham Lakhlef, Michel Raynal, Julien Bourgeois
2016	J	`jnl`	Generalized Symmetry Breaking Tasks and Nondeterminism in Concurrent Objects. SIAM J. Comput. Armando Castañeda, Damien Imbs, Sergio Rajsbaum, Michel Raynal
2016	C	`conf`	Implementing Snapshot Objects on Top of Crash-Prone Asynchronous Message-Passing Systems. ICA3PP Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal
2016	J	`jnl`	Implementing set objects in dynamic distributed systems. J. Comput. Syst. Sci. Roberto Baldoni, Silvia Bonomi, Michel Raynal
2016	J	`jnl`	Intrusion-Tolerant Broadcast and Agreement Abstractions in the Presence of Byzantine Processes. IEEE Trans. Parallel Distributed Syst. Achour Mostéfaoui, Michel Raynal
2016	C	`conf`	Making Local Algorithms Wait-Free: The Case of Ring Coloring. SSS Armando Castañeda, Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal
2016	—	`ch.`	Message Adversaries. Encyclopedia of Algorithms Michel Raynal
2016	Misc	`conf`	Modular randomized byzantine k-set agreement in asynchronous message-passing systems. ICDCN Achour Mostéfaoui, Hamouma Moumen, Michel Raynal
2016	B	`conf`	Optimal Collision/Conflict-Free Distance-2 Coloring in Wireless Synchronous Broadcast/Receive Tree Networks. ICPP Davide Frey, Hicham Lakhlef, Michel Raynal
2016	J	`jnl`	Optimal Collision/Conflict-free Distance-2 Coloring in Synchronous Broadcast/Receive Tree Networks. CoRR Davide Frey, Hicham Lakhlef, Michel Raynal
2016	J	`jnl`	Predicate Detection in Asynchronous Distributed Systems: A Probabilistic Approach. IEEE Trans. Computers Weiping Zhu, Jiannong Cao, Michel Raynal
2016	J	`jnl`	Read/write shared memory abstraction on top of asynchronous Byzantine message-passing systems. J. Parallel Distributed Comput. Damien Imbs, Sergio Rajsbaum, Michel Raynal, Julien Stainer
2016	—	`ch.`	Set Agreement. Encyclopedia of Algorithms Michel Raynal
2016	J	`jnl`	Special issue on NETYS'14 selected papers. Computing Guevara Noubir, Michel Raynal
2016	—	`conf`	Time-Efficient Read/Write Register in Crash-Prone Asynchronous Message-Passing Systems. NETYS Achour Mostéfaoui, Michel Raynal
2016	J	`jnl`	Time-Efficient Read/Write Register in Crash-prone Asynchronous Message-Passing Systems. CoRR Achour Mostéfaoui, Michel Raynal
2016	J	`jnl`	Trading off Parallel Process. Lett. Damien Imbs, Michel Raynal
2016	A*	`conf`	Two-Bit Messages are Sufficient to Implement Atomic Read/Write Registers in Crash-prone Systems. PODC Achour Mostéfaoui, Michel Raynal
2016	J	`jnl`	Two-Bit Messages are Sufficient to Implement Atomic Read/Write Registers in Crash-prone Systems. CoRR Achour Mostéfaoui, Michel Raynal
2016	C	`conf`	Vertex Coloring with Communication and Local Memory Constraints in Synchronous Broadcast Networks. ALGOSENSORS Hicham Lakhlef, Michel Raynal, François Taïani
2016	J	`jnl`	Vertex Coloring with Communication and Local Memory Constraints in Synchronous Broadcast Networks. CoRR Hicham Lakhlef, Michel Raynal, François Taïani
2016	B	`conf`	t-Resilient Immediate Snapshot Is Impossible. SIROCCO Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal
2015	J	`jnl`	A Necessary Condition for Byzantine $k$-Set Agreement. CoRR Zohir Bouzid, Damien Imbs, Michel Raynal
2015	B	`conf`	A Simple Predicate to Expedite the Termination of a Randomized Consensus Algorithm. AINA Michel Raynal
2015	B	`conf`	Anonymous Obstruction-Free (n, k)-Set Agreement with n-k+1 Atomic Read/Write Registers. OPODIS Zohir Bouzid, Michel Raynal, Pierre Sutra
2015	J	`jnl`	Anonymous Obstruction-free (n, k)-Set Agreement with n-k+1 Atomic Read/Write Registers. CoRR Zohir Bouzid, Michel Raynal, Pierre Sutra
2015	B	`conf`	Communication Patterns and Input Patterns in Distributed Computing - (Invited Talk). SIROCCO Michel Raynal
2015	—	`conf`	Concurrent Systems: Hybrid Object Implementations and Abortable Objects. Euro-Par Michel Raynal
2015	C	`conf`	Eventual Leader Election Despite Crash-Recovery and Omission Failures. PRDC Christian Fernández-Campusano, Mikel Larrea, Roberto Cortiñas, Michel Raynal
2015	J	`jnl`	Failure detectors in homonymous distributed systems (with an application to consensus). J. Parallel Distributed Comput. Sergio Arévalo, Antonio Fernández Anta, Damien Imbs, Ernesto Jiménez, Michel Raynal
2015	—	`conf`	Fisheye Consistency: Keeping Data in Synch in a Georeplicated World. NETYS Roy Friedman, Michel Raynal, François Taïani
2015	J	`jnl`	From Byzantine Failures to Crash Failures in Message-Passing Systems: a BG Simulation-based approach. CoRR Damien Imbs, Michel Raynal, Julien Stainer
2015	A*	`conf`	Minimal Synchrony for Byzantine Consensus. PODC Zohir Bouzid, Achour Mostéfaoui, Michel Raynal
2015	—	`conf`	Parallel Computing vs. Distributed Computing: A Great Confusion? (Position Paper). Euro-Par Workshops Michel Raynal
2015	J	`jnl`	Signature-Free Asynchronous Binary Byzantine Consensus with t < n/3, O(n2) Messages, and O(1) Expected Time. J. ACM Achour Mostéfaoui, Hamouma Moumen, Michel Raynal
2015	B	`conf`	Signature-Free Asynchronous Byzantine Systems: From Multivalued to Binary Consensus with t < n/3, O(n2) Messages, and Constant Time. SIROCCO Achour Mostéfaoui, Michel Raynal
2015	B	`conf`	Signature-Free Communication and Agreement in the Presence of Byzantine Processes (Tutorial). OPODIS Michel Raynal
2015	J	`jnl`	Simple and Efficient Reliable Broadcast in the Presence of Byzantine Processes. CoRR Damien Imbs, Michel Raynal
2015	J	`jnl`	Special Issue on Distributed Computing and Networking. Theor. Comput. Sci. Michel Raynal, Franck Petit
2015	A	`conf`	Specifying Concurrent Problems: Beyond Linearizability and up to Tasks - (Extended Abstract). DISC Armando Castañeda, Sergio Rajsbaum, Michel Raynal
2015	J	`jnl`	Specifying Concurrent Problems: Beyond Linearizability. CoRR Armando Castañeda, Michel Raynal, Sergio Rajsbaum
2015	J	`jnl`	Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems. CoRR Silvia Bonomi, Shlomi Dolev, Maria Potop-Butucaru, Michel Raynal
2015	A*	`conf`	Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems: Extended abstract. PODC Silvia Bonomi, Shlomi Dolev, Maria Potop-Butucaru, Michel Raynal
2014	B	`conf`	A Simple Broadcast Algorithm for Recurrent Dynamic Systems. AINA Michel Raynal, Julien Stainer, Jiannong Cao, Weigang Wu
2014	—	`conf`	An Exercise in Concurrency: From Non-blocking Objects to Fair Objects. NBiS Carole Delporte, Hugues Fauconnier, Michel Raynal
2014	A*	`conf`	Brief announcement: distributed universality: contention-awareness; wait-freedom; object progress, and other properties. PODC Michel Raynal, Julien Stainer, Gadi Taubenfeld
2014	B	`conf`	Computing in the Presence of Concurrent Solo Executions. LATIN Maurice Herlihy, Sergio Rajsbaum, Michel Raynal, Julien Stainer
2014	B	`conf`	Distributed Universality. OPODIS Michel Raynal, Julien Stainer, Gadi Taubenfeld
2014	B	`conf`	Fair Synchronization in the Presence of Process Crashes and its Weakest Failure Detector. SRDS Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal
2014	J	`jnl`	Fisheye Consistency: Keeping Data in Synch in a Georeplicated World. CoRR Roy Friedman, Michel Raynal, François Taïani
2014	—	`ed.`	Networked Systems - Second International Conference, NETYS 2014, Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers NETYS Guevara Noubir, Michel Raynal
2014	B	`conf`	Reliable Shared Memory Abstraction on Top of Asynchronous Byzantine Message-Passing Systems. SIROCCO Damien Imbs, Sergio Rajsbaum, Michel Raynal, Julien Stainer
2014	A*	`conf`	Signature-free asynchronous byzantine consensus with t 2<n/3 and o(n PODC Achour Mostéfaoui, Moumen Hamouma, Michel Raynal
2014	Misc	`conf`	Simple Deadlock Detection for the And-Communication Model. CISIS Michel Raynal
2014	—	`conf`	What Can be Computed in a Distributed System? FPS@ETAPS Michel Raynal
2013	—	`conf`	A Contention-Friendly Binary Search Tree. Euro-Par Tyler Crain, Vincent Gramoli, Michel Raynal
2013	B	`conf`	A Generalized Mutual Exclusion Problem and Its Algorithm. ICPP Aoxueluo, Weigang Wu, Jiannong Cao, Michel Raynal
2013	B	`conf`	A Short Introduction to Synchronous Communication. AINA Michel Raynal
2013	A	`conf`	Agreement via Symmetry Breaking: On the Structure of Weak Subconsensus Tasks. IPDPS Armando Castañeda, Sergio Rajsbaum, Michel Raynal
2013	J	`jnl`	An Introductory Tutorial to Concurrency-Related Distributed Recursion. Bull. EATCS Sergio Rajsbaum, Michel Raynal, Panagiota Fatourou
2013	J	`jnl`	Anonymous asynchronous systems: the case of failure detectors. Distributed Comput. François Bonnet, Michel Raynal
2013	B	`conf`	Cliff-Edge Consensus: Agreeing on the Precipice. PaCT François Taïani, Barry Porter, Geoff Coulson, Michel Raynal
2013	—	`book`	Concurrent Programming - Algorithms, Principles, and Foundations. Michel Raynal
2013	B	`conf`	Coordination and Computation in Distributed Intelligent MEMS. AINA Julien Bourgeois, Jiannong Cao, Michel Raynal, Dominique Dhoutaut, Benoît Piranda, Eugen Dedu, Ahmed Mostefaoui, Hakim Mabed
2013	—	`book`	Distributed Algorithms for Message-Passing Systems. Michel Raynal
2013	Misc	`ed.`	Distributed Computing and Networking, 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings ICDCN Davide Frey, Michel Raynal, Saswati Sarkar, Rudrapatna K. Shyamasundar, Prasun Sinha
2013	C	`conf`	Fault-Tolerant Leader Election in Mobile Dynamic Distributed Systems. PRDC Carlos Gómez-Calzado, Alberto Lafuente, Mikel Larrea, Michel Raynal
2013	A	`conf`	No Hot Spot Non-blocking Skip List. ICDCS Tyler Crain, Vincent Gramoli, Michel Raynal
2013	—	`conf`	On the Consensus Number of Non-adaptive Perfect Renaming. NETYS Armando Castañeda, Michel Raynal
2013	J	`jnl`	Power and limits of distributed computing shared memory models. Theor. Comput. Sci. Maurice Herlihy, Sergio Rajsbaum, Michel Raynal
2013	B	`conf`	Simultaneous Consensus vs Set Agreement: A Message-Passing-Sensitive Hierarchy of Agreement Problems. SIROCCO Michel Raynal, Julien Stainer
2013	A*	`conf`	Synchrony weakened by message adversaries vs asynchrony restricted by failure detectors. PODC Michel Raynal, Julien Stainer
2013	J	`jnl`	The weakest failure detector to implement a register in asynchronous systems with hybrid communication. Theor. Comput. Sci. Damien Imbs, Michel Raynal
2013	J	`jnl`	Towards a universal construction for transaction-based multiprocess programs. Theor. Comput. Sci. Tyler Crain, Damien Imbs, Michel Raynal
2013	J	`jnl`	Trust-aware peer sampling: Performance and privacy tradeoffs. Theor. Comput. Sci. Davide Frey, Arnaud Jégou, Anne-Marie Kermarrec, Michel Raynal, Julien Stainer
2012	Misc	`conf`	A Simple Asynchronous Shared Memory Consensus Algorithm Based on Omega and Closing Sets. CISIS Michel Raynal, Julien Stainer
2012	B	`conf`	A speculation-friendly binary search tree. PPoPP Tyler Crain, Vincent Gramoli, Michel Raynal
2012	A	`conf`	Brief Announcement: A Contention-Friendly, Non-blocking Skip List. DISC Tyler Crain, Vincent Gramoli, Michel Raynal
2012	A*	`conf`	Brief announcement: increasing the power of the iterated immediate snapshot model with failure detectors. PODC Michel Raynal, Julien Stainer
2012	A*	`conf`	Brief announcement: there are plenty of tasks weaker than perfect renaming and stronger than set agreement. PODC Armando Castañeda, Sergio Rajsbaum, Michel Raynal
2012	B	`conf`	Chasing the Weakest Failure Detector for k-Set Agreement in Message-Passing Systems. NCA Achour Mostéfaoui, Michel Raynal, Julien Stainer
2012	J	`jnl`	Computability in distributed computing: a Tutorial. SIGACT News Maurice Herlihy, Sergio Rajsbaum, Michel Raynal
2012	A	`conf`	Failure Detectors in Homonymous Distributed Systems (with an Application to Consensus). ICDCS Sergio Arévalo, Antonio Fernández Anta, Damien Imbs, Ernesto Jiménez, Michel Raynal
2012	—	`conf`	From a Store-Collect Object and Ω to Efficient Asynchronous Consensus. Euro-Par Michel Raynal, Julien Stainer
2012	J	`jnl`	From the Happened-Before Relation to the Causal Ordered Set Abstraction. J. Parallel Distributed Comput. Saúl E. Pomares Hernández, Jose Roberto Perez Cruz, Michel Raynal
2012	J	`jnl`	Help when needed, but no more: Efficient read/write partial snapshot. J. Parallel Distributed Comput. Damien Imbs, Michel Raynal
2012	J	`jnl`	Implementing a Regular Register in an Eventually Synchronous Distributed System Prone to Continuous Churn. IEEE Trans. Parallel Distributed Syst. Roberto Baldoni, Silvia Bonomi, Michel Raynal
2012	B	`conf`	Increasing the Power of the Iterated Immediate Snapshot Model with Failure Detectors. SIROCCO Michel Raynal, Julien Stainer
2012	Misc	`conf`	Leader Election: From Higham-Przytycka's Algorithm to a Gracefully Degrading Algorithm. CISIS Itziar Arrieta-Salinas, Federico Fariña, José Ramón González de Mendívil, Michel Raynal
2012	J	`jnl`	No double discount: Condition-based simultaneity yields limited gain. Inf. Comput. Yoram Moses, Michel Raynal
2012	B	`conf`	Renaming Is Weaker Than Set Agreement But for Perfect Renaming: A Map of Sub-consensus Tasks. LATIN Armando Castañeda, Damien Imbs, Sergio Rajsbaum, Michel Raynal
2012	—	`conf`	STM Systems: Enforcing Strong Isolation between Transactions and Non-transactional Code. ICA3PP (1) Tyler Crain, Eleni Kanellou, Michel Raynal
2012	J	`jnl`	Specifying and implementing an eventual leader service for dynamic systems. Int. J. Web Grid Serv. Mikel Larrea, Michel Raynal, Iratxe Soraluze Arriola, Roberto Cortiñas
2012	Misc	`conf`	Towards a Universal Construction for Transaction-Based Multiprocess Programs. ICDCN Tyler Crain, Damien Imbs, Michel Raynal
2012	B	`conf`	Trying to Unify the LL/SC Synchronization Primitive and the Notion of a Timed Register. AINA Damien Imbs, Michel Raynal
2012	J	`jnl`	Virtual world consistency: A condition for STM systems (with a versatile protocol with invisible read operations). Theor. Comput. Sci. Damien Imbs, Michel Raynal
2012	B	`conf`	When and How Process Groups Can Be Used to Reduce the Renaming Space. OPODIS Armando Castañeda, Michel Raynal, Julien Stainer
2011	Misc	`conf`	A Necessary and Sufficient Synchrony Condition for Solving Byzantine Consensus in Symmetric Networks. ICDCN Olivier Baldellon, Achour Mostéfaoui, Michel Raynal
2011	—	`conf`	A Simple Snapshot Algorithm for Multicore Systems. LADC Damien Imbs, Michel Raynal
2011	B	`conf`	A Survey on Some Recent Advances in Shared Memory Models. SIROCCO Sergio Rajsbaum, Michel Raynal
2011	B	`conf`	A Theory-Oriented Introduction to Wait-Free Synchronization Based on the Adaptive Renaming Problem. AINA Sergio Rajsbaum, Michel Raynal
2011	J	`jnl`	A liveness condition for concurrent objects: Concurr. Comput. Pract. Exp. Damien Imbs, Michel Raynal
2011	A	`conf`	Brief Announcement: ΔΩ: Specifying an Eventual Leader Service for Dynamic Systems. DISC Mikel Larrea, Michel Raynal
2011	B	`conf`	Brief announcement: read invisibility, virtual world consistency and permissiveness are compatible. SPAA Tyler Crain, Damien Imbs, Michel Raynal
2011	—	`conf`	Distributed Computing with Mobile Robots: An Introductory Survey. NBiS Maria Potop-Butucaru, Michel Raynal, Sébastien Tixeuil
2011	J	`jnl`	Failure Detectors in Homonymous Distributed Systems (with an Application to Consensus) CoRR Sergio Arévalo, Antonio Fernández Anta, Damien Imbs, Ernesto Jiménez, Michel Raynal
2011	J	`jnl`	Failure Detectors to Solve Asynchronous k-Set Agreement: a Glimpse of Recent Results. Bull. EATCS Michel Raynal
2011	B	`conf`	Looking for Efficient Implementations of Concurrent Objects. PaCT Achour Mostéfaoui, Michel Raynal
2011	—	`conf`	On the Implementation of Concurrent Objects. Dependable and Historic Computing Michel Raynal
2011	J	`jnl`	On the road to the weakest failure detector for k-set agreement in message-passing systems. Theor. Comput. Sci. François Bonnet, Michel Raynal
2011	—	`conf`	Read Invisibility, Virtual World Consistency and Probabilistic Permissiveness are Compatible. ICA3PP (1) Tyler Crain, Damien Imbs, Michel Raynal
2011	C	`conf`	Relations Linking Failure Detectors Associated with k-Set Agreement in Message-Passing Systems. SSS Achour Mostéfaoui, Michel Raynal, Julien Stainer
2011	J	`jnl`	Software transactional memories: an approach for multicore programming. J. Supercomput. Damien Imbs, Michel Raynal
2011	—	`conf`	Specifying and Implementing an Eventual Leader Service for Dynamic Systems. NBiS Mikel Larrea, Michel Raynal
2011	J	`jnl`	The Price of Anonymity: Optimal Consensus Despite Asynchrony, Crash, and Anonymity. ACM Trans. Auton. Adapt. Syst. François Bonnet, Michel Raynal
2011	B	`conf`	The Universe of Symmetry Breaking Tasks. SIROCCO Damien Imbs, Sergio Rajsbaum, Michel Raynal
2011	C	`conf`	The Weakest Failure Detector to Implement a Register in Asynchronous Systems with Hybrid Communication. SSS Damien Imbs, Michel Raynal
2011	J	`jnl`	The renaming problem in shared memory systems: An introduction. Comput. Sci. Rev. Armando Castañeda, Sergio Rajsbaum, Michel Raynal
2011	A*	`conf`	The universe of symmetry breaking tasks. PODC Damien Imbs, Sergio Rajsbaum, Michel Raynal
2011	—	`conf`	k-bounded set objects in eventually synchronous distributed systems with churn and continuous accesses. EWDC Roberto Baldoni, Silvia Bonomi, Michel Raynal
2010	J	`jnl`	A Methodological Construction of an Efficient Sequentially Consistent Distributed Shared Memory. Comput. J. Vicent Cholvi, Antonio Fernández, Ernesto Jiménez, Pilar Manzano, Michel Raynal
2010	J	`jnl`	A Timing Assumption and Two Algorithmica Antonio Fernández, Ernesto Jiménez, Michel Raynal, Gilles Trédan
2010	J	`jnl`	A simple proof of the necessity of the failure detector Sigma to implement an atomic register in asynchronous message-passing systems. Inf. Process. Lett. François Bonnet, Michel Raynal
2010	A	`conf`	Anonymous Asynchronous Systems: The Case of Failure Detectors. DISC François Bonnet, Michel Raynal
2010	—	`book`	Communication and Agreement Abstractions for Fault-Tolerant Asynchronous Distributed Systems Michel Raynal
2010	B	`conf`	Consensus in Anonymous Distributed Systems: Is There a Weakest Failure Detector?. AINA François Bonnet, Michel Raynal
2010	Misc	`conf`	D2HT: The Best of Both Worlds, Integrating RPS and DHT. EDCC Marin Bertier, François Bonnet, Anne-Marie Kermarrec, Vincent Leroy, Sathya Peri, Michel Raynal
2010	Misc	`conf`	Early Consensus in Message-Passing Systems Enriched with a Perfect Failure Detector and Its Application in the Theta Model. EDCC François Bonnet, Michel Raynal
2010	J	`jnl`	Eventual Leader Election with Weak Assumptions on Initial Knowledge, Communication Reliability, and Synchrony. J. Comput. Sci. Technol. Antonio Fernández Anta, Ernesto Jiménez, Michel Raynal
2010	—	`book`	Fault-tolerant Agreement in Synchronous Message-passing Systems Michel Raynal
2010	J	`jnl`	From an Asynchronous Intermittent Rotating Star to an Eventual Leader. IEEE Trans. Parallel Distributed Syst. Antonio Fernández Anta, Michel Raynal
2010	J	`jnl`	Narrowing power vs efficiency in synchronous set agreement: Relationship, algorithms and lower bound. Theor. Comput. Sci. Achour Mostéfaoui, Michel Raynal, Corentin Travers
2010	C	`conf`	On Adaptive Renaming under Eventually Limited Contention. SSS Damien Imbs, Michel Raynal
2010	A*	`conf`	On asymmetric progress conditions. PODC Damien Imbs, Michel Raynal, Gadi Taubenfeld
2010	B	`conf`	Signature-Free Broadcast-Based Intrusion Tolerance: Never Decide a Byzantine Value. OPODIS Achour Mostéfaoui, Michel Raynal
2010	J	`jnl`	Strongly Terminating Early-Stopping Theory Comput. Syst. Philippe Raipin Parvédy, Michel Raynal, Corentin Travers
2010	—	`conf`	The Euro-Par (1) Damien Imbs, Michel Raynal
2010	J	`jnl`	The Distributed Comput. Yehuda Afek, Eli Gafni, Sergio Rajsbaum, Michel Raynal, Corentin Travers
2010	A	`conf`	The 2010 Edsger W. Dijkstra Prize in Distributed Computing. DISC Marcos Kawazoe Aguilera, Michel Raynal
2010	A*	`conf`	The multiplicative power of consensus numbers. PODC Damien Imbs, Michel Raynal
2010	—	`conf`	Value-Based Sequential Consistency for Set Objects in Dynamic Distributed Systems. Euro-Par (1) Roberto Baldoni, Silvia Bonomi, Michel Raynal
2009	B	`conf`	A Versatile STM Protocol with Invisible Read Operations That Satisfies the Virtual World Consistency Condition. SIROCCO Damien Imbs, Michel Raynal
2009	J	`jnl`	A note on atomicity: Boosting Test&Set to solve consensus. Inf. Process. Lett. Damien Imbs, Michel Raynal
2009	A*	`conf`	Brief announcement: the price of anonymity: optimal consensus despite asynchrony, crash and anonymity. PODC François Bonnet, Michel Raynal
2009	A*	`conf`	Brief announcement: virtual world consistency: a new condition for STM systems. PODC Damien Imbs, José Ramón González de Mendívil, Michel Raynal
2009	J	`jnl`	Conditions for Set Agreement with an Application to Synchronous Systems. J. Comput. Sci. Technol. François Bonnet, Michel Raynal
2009	J	`jnl`	Eventual Clusterer: A Modular Approach to Designing Hierarchical Consensus Protocols in MANETs. IEEE Trans. Parallel Distributed Syst. Weigang Wu, Jiannong Cao, Michel Raynal
2009	J	`jnl`	From adaptive renaming to set agreement. Theor. Comput. Sci. Eli Gafni, Achour Mostéfaoui, Michel Raynal, Corentin Travers
2009	A	`conf`	Help When Needed, But No More: Efficient Read/Write Partial Snapshot. DISC Damien Imbs, Michel Raynal
2009	A	`conf`	Implementing a Register in a Dynamic Distributed System. ICDCS Roberto Baldoni, Silvia Bonomi, Anne-Marie Kermarrec, Michel Raynal
2009	—	`conf`	Joining a Distributed Shared Memory Computation in a Dynamic Distributed System. SEUS Roberto Baldoni, Silvia Bonomi, Michel Raynal
2009	Misc	`conf`	Large-Scale Networked Systems: From Anarchy to Geometric Self-structuring. ICDCN Anne-Marie Kermarrec, Achour Mostéfaoui, Michel Raynal, Gilles Trédan, Aline Carneiro Viana
2009	C	`conf`	Looking for the Weakest Failure Detector for SSS François Bonnet, Michel Raynal
2009	J	`jnl`	On the Fly Estimation of the Processes that Are Alive in an Asynchronous Message-Passing System. IEEE Trans. Parallel Distributed Syst. Achour Mostéfaoui, Michel Raynal, Gilles Trédan
2009	B	`ed.`	Principles of Distributed Systems, 13th International Conference, OPODIS 2009, Nîmes, France, December 15-18, 2009. Proceedings OPODIS Tarek F. Abdelzaher, Michel Raynal, Nicola Santoro
2009	Misc	`conf`	Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort. ICDCN Damien Imbs, Michel Raynal
2009	B	`conf`	Regular Register: An Implementation in a Churn Prone Environment. SIROCCO Roberto Baldoni, Silvia Bonomi, Michel Raynal
2009	J	`jnl`	Revisiting simultaneous consensus with crash failures. J. Parallel Distributed Comput. Yoram Moses, Michel Raynal
2009	Misc	`conf`	Shared Memory Synchronization in Presence of Failures: An Exercise-Based. CISIS Michel Raynal
2009	B	`conf`	Software Transactional Memories: An Approach for Multicore Programming. PaCT Damien Imbs, Michel Raynal
2009	A	`conf`	The Price of Anonymity: Optimal Consensus Despite Asynchrony, Crash and Anonymity. DISC François Bonnet, Michel Raynal
2009	C	`conf`	Visiting Gafni's Reduction Land: From the BG Simulation to the Extended BG Simulation. SSS Damien Imbs, Michel Raynal
2008	B	`conf`	A Lock-Based STM Protocol That Satisfies Opacity and Progressiveness. OPODIS Damien Imbs, Michel Raynal
2008	J	`jnl`	An impossibility about failure detectors in the iterated immediate snapshot model. Inf. Process. Lett. Sergio Rajsbaum, Michel Raynal, Corentin Travers
2008	J	`jnl`	Anonymous graph exploration without collision by mobile robots. Inf. Process. Lett. Roberto Baldoni, François Bonnet, Alessia Milani, Michel Raynal
2008	A	`conf`	Brief Announcement: On the Solvability of Anonymous Partial Grids Exploration by Mobile Robots. DISC Roberto Baldoni, François Bonnet, Alessia Milani, Michel Raynal
2008	A	`conf`	Conditions for Set Agreement with an Application to Synchronous Systems. ICDCS François Bonnet, Michel Raynal
2008	J	`jnl`	Core Persistence in Peer-to-Peer Systems: Relating Size to Lifetime CoRR Vincent Gramoli, Anne-Marie Kermarrec, Achour Mostéfaoui, Michel Raynal, Bruno Sericola
2008	A*	`conf`	From anarchy to geometric structuring: the power of virtual coordinates. PODC Anne-Marie Kermarrec, Achour Mostéfaoui, Michel Raynal, Gilles Trédan, Aline Carneiro Viana
2008	—	`conf`	Locks Considered Harmful: A Look at Non-traditional Synchronization. SEUS Michel Raynal
2008	A*	`conf`	Looking for the optimal conditions for solving set agreement. PODC François Bonnet, Michel Raynal
2008	J	`jnl`	Modularity: a first class concept to address distributed systems. SIGACT News Roy Friedman, Anne-Marie Kermarrec, Michel Raynal
2008	Misc	`conf`	Narrowing Power vs. Efficiency in Synchronous Set Agreement. ICDCN Achour Mostéfaoui, Michel Raynal, Corentin Travers
2008	A	`conf`	No Double Discount: Condition-Based Simultaneity Yields Limited Gain. DISC Yoram Moses, Michel Raynal
2008	B	`conf`	On Modeling Fault Tolerance of Gossip-Based Reliable Multicast Protocols. ICPP Xiaopeng Fan, Jiannong Cao, Weigang Wu, Michel Raynal
2008	B	`conf`	On the Solvability of Anonymous Partial Grids Exploration by Mobile Robots. OPODIS Roberto Baldoni, François Bonnet, Alessia Milani, Michel Raynal
2008	J	`jnl`	On the computability power and the robustness of set agreement-oriented failure detector classes. Distributed Comput. Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers
2008	—	`ch.`	Set Agreement. Encyclopedia of Algorithms Michel Raynal
2008	B	`conf`	Synchronization is Coming Back, But is it the Same? AINA Michel Raynal
2008	J	`jnl`	The Combined Power of Conditions and Information on Failures to Solve Asynchronous Set Agreement. SIAM J. Comput. Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers
2008	Misc	`conf`	The Iterated Restricted Immediate Snapshot Model. COCOON Sergio Rajsbaum, Michel Raynal, Corentin Travers
2008	J	`jnl`	Timed Quorum System for Large-Scale and Dynamic Environments CoRR Vincent Gramoli, Michel Raynal
2008	J	`jnl`	Using asynchrony and zero degradation to speed up indulgent consensus protocols. J. Parallel Distributed Comput. Weigang Wu, Jiannong Cao, Jin Yang, Michel Raynal
2007	—	`conf`	A Dual-Token-Based Fault Tolerant Mutual Exclusion Algorithm for MANETs. MSN Weigang Wu, Jiannong Cao, Michel Raynal
2007	A	`conf`	A Subjective Visit to Selected Topics in Distributed Computing. DISC Michel Raynal
2007	C	`conf`	A Timing Assumption and a t-Resilient Protocol for Implementing an Eventual Leader Service in Asynchronous Shared Memory Systems. ISORC Antonio Fernández, Ernesto Jiménez, Michel Raynal, Gilles Trédan
2007	B	`conf`	A Universal Construction for Concurrent Objects. ARES Rachid Guerraoui, Michel Raynal
2007	J	`jnl`	An Adaptive Programming Model for Fault-Tolerant Distributed Computing. IEEE Trans. Dependable Secur. Comput. Sérgio Gorender, Raimundo José de Araújo Macêdo, Michel Raynal
2007	J	`jnl`	Asynchronous Agreement and Its Relation with Error-Correcting Codes. IEEE Trans. Computers Roy Friedman, Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
2007	A	`conf`	DISC at Its 20th Anniversary (Stockholm, 2006). DISC Michel Raynal, Sam Toueg, Shmuel Zaks
2007	J	`jnl`	Design and Performance Evaluation of Efficient Consensus Protocols for Mobile Ad Hoc Networks. IEEE Trans. Computers Weigang Wu, Jiannong Cao, Jin Yang, Michel Raynal
2007	J	`jnl`	Distributed Slicing in Dynamic Systems CoRR Antonio Fernández, Vincent Gramoli, Ernesto Jiménez, Anne-Marie Kermarrec, Michel Raynal
2007	A	`conf`	Distributed Slicing in Dynamic Systems. ICDCS Antonio Fernández, Vincent Gramoli, Ernesto Jiménez, Anne-Marie Kermarrec, Michel Raynal
2007	A	`conf`	Electing an Eventual Leader in an Asynchronous Shared Memory System. DSN Antonio Fernández, Ernesto Jiménez, Michel Raynal
2007	B	`conf`	Eventual Leader Service in Unreliable Asynchronous Systems: Why? How? NCA Michel Raynal
2007	A*	`conf`	Failure detectors are schedulers. PODC Alejandro Cornejo, Sergio Rajsbaum, Michel Raynal, Corentin Travers
2007	B	`conf`	From Renaming to Set Agreement. SIROCCO Achour Mostéfaoui, Michel Raynal, Corentin Travers
2007	B	`conf`	From Unreliable Objects to Reliable Objects: The Case of Atomic Registers and Consensus. PaCT Rachid Guerraoui, Michel Raynal
2007	B	`conf`	From an Intermittent Rotating Star to a Leader. OPODIS Antonio Fernández Anta, Michel Raynal
2007	A*	`conf`	From an intermittent rotating star to a leader. PODC Antonio Fernández, Michel Raynal
2007	J	`jnl`	From omega to Omega: A simple bounded quiescent reliable broadcast-based transformation. J. Parallel Distributed Comput. Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers
2007	B	`conf`	Looking for a Definition of Dynamic Distributed Systems. PaCT Roberto Baldoni, Marin Bertier, Michel Raynal, Sara Tucci Piergiovanni
2007	J	`jnl`	On the Respective Power of P and S to Solve One-Shot Agreement Problems. IEEE Trans. Parallel Distributed Syst. Roy Friedman, Achour Mostéfaoui, Michel Raynal
2007	J	`jnl`	Preface. Theor. Comput. Sci. Andrzej Pelc, David Peleg, Michel Raynal
2007	B	`conf`	Small-World Networks: From Theoretical Bounds to Practical Systems. OPODIS François Bonnet, Anne-Marie Kermarrec, Michel Raynal
2007	B	`conf`	Test & Set, Adaptive Renaming and Set Agreement: a Guided Visit to Asynchronous Computability. SRDS Eli Gafni, Michel Raynal, Corentin Travers
2007	J	`jnl`	The Alpha of Indulgent Consensus. Comput. J. Rachid Guerraoui, Michel Raynal
2007	B	`conf`	The Eventual Clusterer Oracle and Its Application to Consensus in MANETs. SRDS Weigang Wu, Jiannong Cao, Michel Raynal
2007	C	`conf`	The Eventual Leadership in Dynamic Mobile Networking Environments. PRDC Jiannong Cao, Michel Raynal, Corentin Travers, Weigang Wu
2007	B	`conf`	The notion of a timed register and its application to indulgent synchronization. SPAA Michel Raynal, Gadi Taubenfeld
2007	B	`conf`	Timed Quorum Systems for Large-Scale and Dynamic Environments. OPODIS Vincent Gramoli, Michel Raynal
2007	A	`conf`	Workshop on Dependable Application Support for Self-Organizing Networks (DASSON 2007). DSN Paul D. Ezhilchelvan, Michel Raynal, Ajoy Kumar Datta
2006	C	`conf`	A Hierarchical Consensus Protocol for Mobile Ad Hoc Networks. PDP Weigang Wu, Jiannong Cao, Jin Yang, Michel Raynal
2006	J	`jnl`	A Time-free Assumption to Implement Eventual Leadership. Parallel Process. Lett. Achour Mostéfaoui, Eric Mourgaya, Michel Raynal, Corentin Travers
2006	—	`conf`	A leader election protocol for eventually synchronous shared memory systems. SEUS/WCCIA Rachid Guerraoui, Michel Raynal
2006	—	`conf`	Core Persistence in Peer-to-Peer Systems: Relating Size to Lifetime. OTM Workshops (2) Vincent Gramoli, Anne-Marie Kermarrec, Achour Mostéfaoui, Michel Raynal, Bruno Sericola
2006	J	`jnl`	Distributed Slicing in Dynamic Systems CoRR Antonio Fernández, Vincent Gramoli, Ernesto Jiménez, Anne-Marie Kermarrec, Michel Raynal
2006	A	`conf`	Eventual Leader Election with Weak Assumptions on Initial Knowledge, Communication Reliability, and Synchrony. DSN Antonio Fernández, Ernesto Jiménez, Michel Raynal
2006	A	`conf`	Exploring Gafni's Reduction Land: From DISC Achour Mostéfaoui, Michel Raynal, Corentin Travers
2006	—	`conf`	From Failure Detectors with Limited Scope Accuracy to System-wide Leadership. AINA (1) Achour Mostéfaoui, Michel Raynal, Corentin Travers, Sergio Rajsbaum
2006	—	`conf`	From static distributed systems to dynamic systems: an approach for a first step. ICDCS Workshops Michel Raynal
2006	B	`conf`	In Search of the Holy Grail: Looking for the Weakest Failure Detector for Wait-Free Set Agreement. OPODIS Michel Raynal, Corentin Travers
2006	A*	`conf`	Irreducibility and additivity of set agreement-oriented failure detector classes. PODC Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers
2006	C	`conf`	On the fly estimation of the processes that are alive/crashed in an asynchronous message-passing system. PRDC Achour Mostéfaoui, Michel Raynal, Gilles Trédan
2006	Misc	`conf`	Simultaneous Consensus Tasks: A Tighter Characterization of Set-Consensus. ICDCN Yehuda Afek, Eli Gafni, Sergio Rajsbaum, Michel Raynal, Corentin Travers
2006	B	`conf`	Strongly Terminating Early-Stopping SIROCCO Philippe Raipin Parvédy, Michel Raynal, Corentin Travers
2006	C	`conf`	Synchronous Set Agreement: a Concise Guided Tour (including a new algorithm and a list of open problems). PRDC Michel Raynal, Corentin Travers
2006	J	`jnl`	Synchronous condition-based consensus. Distributed Comput. Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
2006	B	`conf`	The Committee Decision Problem. LATIN Eli Gafni, Sergio Rajsbaum, Michel Raynal, Corentin Travers
2006	B	`conf`	The Power and Limit of Adding Synchronization Messages for Synchronous Agreement. ICPP Jiannong Cao, Michel Raynal, Xianbing Wang, Weigang Wu
2006	J	`jnl`	Time-Free and Timer-Based Assumptions Can Be Combined to Obtain Eventual Leadership. IEEE Trans. Parallel Distributed Syst. Achour Mostéfaoui, Michel Raynal, Corentin Travers
2005	J	`jnl`	$\diamondsuit {\mathcal P}_{mute}$-based Consensus for Asynchronous Byzantine Systems. Parallel Process. Lett. Roy Friedman, Achour Mostéfaoui, Michel Raynal
2005	A	`conf`	A Hybrid and Adaptive Model for Fault-Tolerant Distributed Computing. DSN Sérgio Gorender, Raimundo A. Macêdo, Michel Raynal
2005	C	`conf`	A Note on a Simple Equivalence between Round-based Synchronous and Asynchronous Models. PRDC Michel Raynal, Matthieu Roy
2005	B	`conf`	A Simple Protocol Offering Both Atomic Consistent Read Operations and Sequentially Consistent Read Operations. AINA Michel Raynal, Matthieu Roy, Ciprian Tutu
2005	B	`conf`	Allowing Atomic Objects to Coexist with Sequentially Consistent Objects. PaCT Michel Raynal, Matthieu Roy
2005	J	`jnl`	Asynchronous bounded lifetime failure detectors. Inf. Process. Lett. Roy Friedman, Achour Mostéfaoui, Michel Raynal
2005	A*	`conf`	Brief announcement: abstractions for implementing atomic objects in dynamic systems. PODC Roy Friedman, Michel Raynal, Corentin Travers
2005	C	`conf`	Building Responsive TMR-Based Servers in Presence of Timing Constraints. ISORC Paul D. Ezhilchelvan, Jean-Michel Hélary, Michel Raynal
2005	Misc	`conf`	Building and Using Quorums Despite any Number of Process of Crashes. EDCC Roy Friedman, Achour Mostéfaoui, Michel Raynal
2005	C	`conf`	Decision Optimal Early-Stopping k-set Agreement in Synchronous Systems Prone to Send Omission Failures. PRDC Philippe Raipin Parvédy, Michel Raynal, Corentin Travers
2005	B	`conf`	Early-Stopping PaCT Philippe Raipin Parvédy, Michel Raynal, Corentin Travers
2005	—	`conf`	Fault-Tolerant Techniques for Concurrent Objects. LADC Rachid Guerraoui, Michel Raynal
2005	B	`conf`	From Static Distributed Systems to Dynamic Systems. SRDS Achour Mostéfaoui, Michel Raynal, Corentin Travers, Stacy Patterson, Divyakant Agrawal, Amr El Abbadi
2005	C	`conf`	Intersecting Sets: a Basic Abstraction for Asynchronous Agreement Problems. PRDC Roy Friedman, Achour Mostéfaoui, Michel Raynal
2005	A	`conf`	Mixed Consistency Model: Meeting Data Sharing Needs of Heterogeneous Users. ICDCS Zhiyuan Zhan, Mustaque Ahamad, Michel Raynal
2005	J	`jnl`	Simple and Efficient Oracle-Based Consensus Protocols for Asynchronous Byzantine Systems. IEEE Trans. Dependable Secur. Comput. Roy Friedman, Achour Mostéfaoui, Michel Raynal
2005	J	`jnl`	Stabilizing mobile philosophers. Inf. Process. Lett. Ajoy Kumar Datta, Maria Gradinariu, Michel Raynal
2005	B	`ed.`	Structural Information and Communication Complexity, 12th International Colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005, Proceedings SIROCCO Andrzej Pelc, Michel Raynal
2005	A*	`conf`	The combined power of conditions and failure detectors to solve asynchronous set agreement. PODC Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
2005	B	`conf`	Two Abstractions for Implementing Atomic Objects in Dynamic Systems. OPODIS Roy Friedman, Michel Raynal, Corentin Travers
2005	J	`jnl`	Wait-free computing: an introductory lecture. Future Gener. Comput. Syst. Michel Raynal
2004	A	`conf`	A Distributed Implementation of Sequential Consistency with Multi-Object Operations. ICDCS Michel Raynal, K. Vidyasankar
2004	C	`conf`	A Hybrid Approach for Building Eventually Accurate Failure Detectors. PRDC Achour Mostéfaoui, David Powell, Michel Raynal
2004	B	`conf`	A Methodological Construction of an Efficient Sequential Consistency Protocol. NCA Vicent Cholvi, Antonio Fernández, Ernesto Jiménez, Michel Raynal
2004	J	`jnl`	A necessary and sufficient condition for transforming limited accuracy failure detectors. J. Comput. Syst. Sci. Emmanuelle Anceaume, Antonio Fernández, Achour Mostéfaoui, Gil Neiger, Michel Raynal
2004	J	`jnl`	A weakest failure detector-based asynchronous consensus protocol for f<n. Inf. Process. Lett. Roy Friedman, Achour Mostéfaoui, Michel Raynal
2004	A*	`conf`	Brief announcement: the synchronous condition-based consensus hierarchy. PODC Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
2004	A*	`conf`	Brief announcement: veto number and the respective power of eventual failure detectors. PODC Roy Friedman, Achour Mostéfaoui, Michel Raynal
2004	J	`jnl`	Condition-based consensus solvability: a hierarchy of conditions and efficient protocols. Distributed Comput. Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy
2004	B	`conf`	Crash-Resilient Time-Free Eventual Leadership. SRDS Achour Mostéfaoui, Michel Raynal, Corentin Travers
2004	B	`conf`	Optimal early stopping uniform consensus in synchronous systems with process omission failures. SPAA Philippe Raipin Parvédy, Michel Raynal
2004	J	`jnl`	Quorum-Based Multi-Invocation Model for Replicated Objects. Concurr. Eng. Res. Appl. Tomoya Enokido, Kenichi Hori, Michel Raynal, Makoto Takizawa
2004	B	`conf`	Simple and Efficient Oracle-Based Consensus Protocols for Asynchronous Byzantine Systems. SRDS Roy Friedman, Achour Mostéfaoui, Michel Raynal
2004	J	`jnl`	The Information Structure of Indulgent Consensus. IEEE Trans. Computers Rachid Guerraoui, Michel Raynal
2004	A	`conf`	The Notion of Veto Number and the Respective Power of OP and OS to Solve One-Shot Agreement Problems. DISC Roy Friedman, Achour Mostéfaoui, Michel Raynal
2004	—	`conf`	The Notion of Veto Number for Distributed Agreement Problems. IWDC Roy Friedman, Achour Mostéfaoui, Michel Raynal
2004	A	`conf`	The Synchronous Condition-Based Consensus Hierarchy. DISC Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
2003	A	`conf`	A Generic Framework for Indulgent Consensus. ICDCS Rachid Guerraoui, Michel Raynal
2003	B	`conf`	A Hierarchy of Conditions for Asynchronous Interactive Consistency. PaCT Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy
2003	—	`conf`	An Optimal Atomic Broadcast Protocol and an Implementation Framework. WORDS Paul D. Ezhilchelvan, Doug Palmer, Michel Raynal
2003	A	`conf`	Anonymous Publish/Subscribe in P2P Networks. IPDPS Ajoy Kumar Datta, Maria Gradinariu, Michel Raynal, Gwendal Simon
2003	A	`conf`	Asynchronous Implementation of Failure Detectors. DSN Achour Mostéfaoui, Eric Mourgaya, Michel Raynal
2003	J	`jnl`	Atomic Broadcast in Asynchronous Crash-Recovery Distributed Systems and Its Use in Quorum-Based Replication. IEEE Trans. Knowl. Data Eng. Luís E. T. Rodrigues, Michel Raynal
2003	A*	`conf`	Brief announcement: early decision despite general process omission failures. PODC Fabrice Le Fessant, Philippe Raipin Parvédy, Michel Raynal
2003	—	`conf`	Challenges of Future Distributed Computing Systems. FTDCS Stephen S. Yau, Carl K. Chang, Randy Chow, Luca Limoncini, Michel Raynal
2003	J	`jnl`	Conditions on input vectors for consensus solvability in asynchronous distributed systems. J. ACM Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
2003	J	`jnl`	Consensus in Byzantine asynchronous systems. J. Discrete Algorithms Roberto Baldoni, Jean-Michel Hélary, Michel Raynal, Lénaick Tanguy
2003	J	`jnl`	Early Stopping in Global Data Computation. IEEE Trans. Parallel Distributed Syst. Carole Delporte-Gallet, Hugues Fauconnier, Jean-Michel Hélary, Michel Raynal
2003	J	`jnl`	Efficient Causality-Tracking Timestamping. IEEE Trans. Knowl. Data Eng. Jean-Michel Hélary, Michel Raynal, Giovanna Melideo, Roberto Baldoni
2003	A	`conf`	Elastic Vector Time. ICDCS Christof Fetzer, Michel Raynal
2003	A	`conf`	Evaluating the Condition-Based Approach to Solve Consensus. DSN Achour Mostéfaoui, Eric Mourgaya, Philippe Raipin Parvédy, Michel Raynal
2003	—	`conf`	Looking for a Common View for Mobile Worlds. FTDCS Maria Gradinariu, Michel Raynal, Gwendal Simon
2003	C	`conf`	Nested Invocation Protocol for Object-Based Systems. ISORC Kenichi Hori, Tomoya Enokido, Makoto Takizawa, Michel Raynal
2003	—	`conf`	Ordering vs Timeliness: Two Facets of Consistency? Future Directions in Distributed Computing Mustaque Ahamad, Michel Raynal
2003	—	`conf`	Reliable Compare & Swap for Fault-Tolerant Synchronization. WORDS Philippe Raipin Parvédy, Michel Raynal
2003	B	`conf`	The Renaming Problem as an Introduction to Structures for Wait-Free Computing. PaCT Michel Raynal
2003	B	`conf`	Token-Based Sequential Consistency in Asynchronous Distributed Systems. AINA Michel Raynal
2003	A	`conf`	Uniform Agreement Despite Process Omission Failures. IPDPS Philippe Raipin Parvédy, Michel Raynal
2003	A	`conf`	Using Conditions to Expedite Consensus in Synchronous Distributed Systems. DISC Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
2003	—	`conf`	Using Error-Correcting Codes to Solve Distributed Agreement Problems: A Future Direction in Distributed Computing? Future Directions in Distributed Computing Roy Friedman, Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
2002	J	`jnl`	A Note on the Determination of the Immediate Predecessors in a Distributed Computation. Int. J. Found. Comput. Sci. Emmanuelle Anceaume, Jean-Michel Hélary, Michel Raynal
2002	J	`jnl`	A Versatile Family of Consensus Protocols Based on Chandra-Toueg's Unreliable Failure Detectors. IEEE Trans. Computers Michel Hurfin, Achour Mostéfaoui, Michel Raynal
2002	A	`conf`	A Versatile and Modular Consensus Protoco. DSN Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
2002	C	`conf`	An Introduction to the Renaming Problem. PRDC Michel Raynal
2002	J	`jnl`	An introduction to oracles for asynchronous distributed systems. Future Gener. Comput. Syst. Achour Mostéfaoui, Eric Mourgaya, Michel Raynal
2002	—	`conf`	Approximate Real-Time Clocks for Scheduled Events. Symposium on Object-Oriented Real-Time Distributed Computing Christof Fetzer, Michel Raynal
2002	A*	`conf`	Asynchronous interactive consistency and its relation with error-correcting codes. PODC Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
2002	A*	`conf`	Building responseive TMR-based servers in presence of timing constraints. PODC Paul D. Ezhilchelvan, Jean-Michel Hélary, Michel Raynal
2002	A	`conf`	Condition-Based Protocols for Set Agreement Problems. DISC Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy
2002	C	`conf`	Consensus in Synchronous Systems: A Concise Guided Tour. PRDC Michel Raynal
2002	A	`conf`	Distributed Agreement and Its Relation with Error-Correcting Codes. DISC Roy Friedman, Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
2002	A*	`conf`	Early stopping in aglobal data computation. PODC Carole Delporte-Gallet, Hugues Fauconnier, Jean-Michel Hélary, Michel Raynal
2002	J	`jnl`	Fundamentals of Distributed Computing: A Practical Tour of Vector Clock Systems. IEEE Distributed Syst. Online Roberto Baldoni, Michel Raynal
2002	J	`jnl`	Interval Consistency of Asynchronous Distributed Computations. J. Comput. Syst. Sci. Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
2002	J	`jnl`	Real-time based strong consistency for distributed objects. Comput. Syst. Sci. Eng. Francisco J. Torres-Rojas, Mustaque Ahamad, Michel Raynal
2002	—	`conf`	Sequential Consistency as Lazy Linearizability. EurAsia-ICT Michel Raynal
2002	B	`conf`	Sequential consistency as lazy linearizability. SPAA Michel Raynal
2002	A	`conf`	The Lord of the Rings: Efficient Maintenance of Views at Data Warehouses. DISC Divyakant Agrawal, Amr El Abbadi, Achour Mostéfaoui, Michel Raynal, Matthieu Roy
2002	J	`jnl`	Token-based sequential consistency. Comput. Syst. Sci. Eng. Michel Raynal
2002	A*	`conf`	Towards a formal model for view maintenance in data warehouses. PODC Achour Mostéfaoui, Michel Raynal, Matthieu Roy, Divyakant Agrawal, Amr El Abbadi
2002	B	`conf`	Tracking immediate predecessors in distributed computations. SPAA Emmanuelle Anceaume, Jean-Michel Hélary, Michel Raynal
2002	—	`conf`	Wait-Free Objects for Real-Time Systems? (position paper). Symposium on Object-Oriented Real-Time Distributed Computing Michel Raynal
2001	A	`conf`	A Condition for k-Set Agreement in Asynchronous Distributed Systems. IPDPS Achour Mostéfaoui, Michel Raynal
2001	B	`conf`	A Consensus Protocol Based on a Weak FailureDetector and a Sliding Round Window. SRDS Michel Hurfin, Achour Mostéfaoui, Michel Raynal, Raimundo A. Macêdo
2001	A*	`conf`	A hierarchy of conditions for consensus solvability. PODC Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy
2001	C	`conf`	An Adaptive Failure Detection Protocol. PRDC Christof Fetzer, Michel Raynal, Frederic Tronel
2001	—	`conf`	Building TMR-Based Reliable Servers Despite Bounded Input Lifetimes. Euro-Par Paul D. Ezhilchelvan, Jean-Michel Hélary, Michel Raynal
2001	A*	`conf`	Conditions on input vectors for consensus solvability in asynchronous distributed systems. STOC Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
2001	B	`conf`	Consensus in One Communication Step. PaCT Francisco Vilar Brasileiro, Fabíola Greve, Achour Mostéfaoui, Michel Raynal
2001	J	`jnl`	Consensus-Based Fault-Tolerant Total Order Multicast. IEEE Trans. Parallel Distributed Syst. Udo Fritzke Jr., Philippe Ingels, Achour Mostéfaoui, Michel Raynal
2001	J	`jnl`	Consistent Checkpointing for Transaction Systems. Comput. J. Roberto Baldoni, Francesco Quaglia, Michel Raynal
2001	J	`jnl`	Direct dependency-based determination of consistent global checkpoints. Comput. Syst. Sci. Eng. Roberto Baldoni, Giacomo Cioffi, Jean-Michel Hélary, Michel Raynal
2001	B	`conf`	Efficient Condition-Based Consensus. SIROCCO Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy
2001	J	`jnl`	Impossibility of scalar clock-based communication-induced checkpointing protocols ensuring the RDT property. Inf. Process. Lett. Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
2001	J	`jnl`	Leader-Based Consensus. Parallel Process. Lett. Achour Mostéfaoui, Michel Raynal
2001	J	`jnl`	Mastering Agreement Problems in Distributed Systems. IEEE Softw. Michel Raynal, Mukesh Singhal
2001	C	`conf`	Primary Component Asynchronous Group Membership as an Instance of a Generic Agreement Framework. ISADS Fabíola Greve, Michel Hurfin, Michel Raynal, Frederic Tronel
2001	B	`conf`	Quiescent Uniform Reliable Broadcast as an Introduction to Failure Detector Oracles. PaCT Michel Raynal
2001	C	`conf`	Randomized Multivalued Consensus. ISORC Paul D. Ezhilchelvan, Achour Mostéfaoui, Michel Raynal
2001	B	`conf`	Randomized k-set agreement. SPAA Achour Mostéfaoui, Michel Raynal
2001	—	`conf`	Real-Time Based Strong Consistency for Distributed Objects. WORDS Francisco J. Torres-Rojas, Mustaque Ahamad, Michel Raynal
2001	J	`jnl`	Rollback-Dependency Trackability: A Minimal Characterization and Its Protocol. Inf. Comput. Roberto Baldoni, Jean-Michel Hélary, Michel Raynal
2001	A	`conf`	Shared State Consistency for Time-Sensitive Distributed Applications. ICDCS Vijaykumar Krishnaswamy, Mustaque Ahamad, Michel Raynal, David E. Bakken
2001	J	`jnl`	The logically instantaneous communication mode: a communication abstraction. Future Gener. Comput. Syst. Achour Mostéfaoui, Michel Raynal, Paulo Veríssimo
2000	A	`conf`	Atomic Broadcast in Asynchronous Crash-Recovery Distributed Systems. ICDCS Luís E. T. Rodrigues, Michel Raynal
2000	J	`jnl`	Communication-Based Prevention of Useless Checkpoints in Fistributed Computations. Distributed Comput. Jean-Michel Hélary, Achour Mostéfaoui, Robert H. B. Netzer, Michel Raynal
2000	A	`conf`	Computing Global Functions in Asynchronous Distributed Systems Prone to Process Crashes. ICDCS Jean-Michel Hélary, Michel Hurfin, Achour Mostéfaoui, Michel Raynal, Frederic Tronel
2000	J	`jnl`	Computing Global Functions in Asynchronous Distributed Systems with Perfect Failure Detectors. IEEE Trans. Parallel Distributed Syst. Jean-Michel Hélary, Michel Hurfin, Achour Mostéfaoui, Michel Raynal, Frederic Tronel
2000	A	`conf`	Consensus Based on Failure Detectors with a Perpetual Accuracy Property. IPDPS Achour Mostéfaoui, Michel Raynal
2000	—	`conf`	Consensus Based on Strong Failure Detectors: A Time and Message-Efficient Protocol. IPDPS Workshops Fabíola Greve, Michel Hurfin, Raimundo A. Macêdo, Michel Raynal
2000	B	`conf`	Consensus in byzantine asynchronous systems. SIROCCO Roberto Baldoni, Jean-Michel Hélary, Michel Raynal, Lénaick Tanguy
2000	C	`conf`	Deadline-Constrained Causal Order. ISORC Luís E. T. Rodrigues, Roberto Baldoni, Emmanuelle Anceaume, Michel Raynal
2000	J	`jnl`	From Binary Consensus to Multivalued Consensus in asynchronous message-passing systems. Inf. Process. Lett. Achour Mostéfaoui, Michel Raynal, Frederic Tronel
2000	A	`conf`	From Crash Fault-Tolerance to Arbitrary-Fault Tolerance: Towards a Modular Approach. DSN Roberto Baldoni, Jean-Michel Hélary, Michel Raynal
2000	—	`conf`	Logical Instantaneity and Causal Order: Two "First Class" Communication Modes for Parallel Computing. Euro-Par Michel Raynal
2000	C	`conf`	Low cost consensus-based Atomic Broadcast. PRDC Achour Mostéfaoui, Michel Raynal
2000	—	`conf`	Quorum-Based Replication in Asynchronous Crash-Recovery Distributed Systems (Research Note). Euro-Par Luís E. T. Rodrigues, Michel Raynal
2000	A	`conf`	The Best of Both Worlds: A Hybrid Approach to Solve Consensus. DSN Achour Mostéfaoui, Michel Raynal, Frederic Tronel
2000	A*	`conf`	Time and message-efficient S-based consensus (brief announcement). PODC Fabíola Greve, Michel Hurfin, Raimundo A. Macêdo, Michel Raynal
2000	B	`conf`	Tracking causality in distributed systems: a suite of efficient protocols. SIROCCO Jean-Michel Hélary, Giovanna Melideo, Michel Raynal
2000	A*	`conf`	k-set agreement with limited accuracy failure detectors. PODC Achour Mostéfaoui, Michel Raynal
1999	B	`conf`	A General Framework to Solve Agreement Problems. SRDS Michel Hurfin, Raimundo A. Macêdo, Michel Raynal, Frederic Tronel
1999	J	`jnl`	A Simple and Fast Asynchronous Consensus Protocol Based on a Weak Failure Detector. Distributed Comput. Michel Hurfin, Michel Raynal
1999	J	`jnl`	An adaptive architecture for causally consistent distributed services. Distributed Syst. Eng. Mustaque Ahamad, Michel Raynal, Gérard Thia-Kime
1999	J	`jnl`	Communication-Induced Determination of Consistent Snapshots. IEEE Trans. Parallel Distributed Syst. Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
1999	—	`conf`	Consensus in Asynchronous Distributed Systems: A Concise Guided Tour. Advances in Distributed Systems Rachid Guerraoui, Michel Hurfin, Achour Mostéfaoui, Rui Carlos Oliveira, Michel Raynal, André Schiper
1999	J	`jnl`	Consistency Issues in Distributed Checkpoints. IEEE Trans. Software Eng. Jean-Michel Hélary, Robert H. B. Netzer, Michel Raynal
1999	J	`jnl`	Consistent Checkpointing in Distributed Databases: Towards a Formal Approach CoRR Roberto Baldoni, Francesco Quaglia, Michel Raynal
1999	B	`conf`	Consistent Lamport Clocks for Asynchronous Groups with Process Crashes. PaCT Achour Mostéfaoui, Michel Raynal, Makoto Takizawa
1999	B	`conf`	Direct Dependency-Based Determination of Consistent GlobalCheckpoints. OPODIS Roberto Baldoni, Michel Raynal, Giacomo Cioffi, Jean-Michel Hélary
1999	—	`conf`	Distributed Database Checkpointing. Euro-Par Roberto Baldoni, Francesco Quaglia, Michel Raynal
1999	J	`jnl`	Group membership failure detection: a simple protocol and its probabilistic analysis. Distributed Syst. Eng. Michel Raynal, Frederic Tronel
1999	—	`conf`	Illustrating the Use of Vector Clocks in Property Detection: An Example and a Counter-Example. Euro-Par Michel Raynal
1999	Misc	`conf`	Logical Clocks for Unreliable Process Groups. PDPTA Achour Mostéfaoui, Michel Raynal, Makoto Takizawa
1999	B	`conf`	Logically Instantaneous Communication on Top of Distributed Memory Parallel Machines. PaCT Achour Mostéfaoui, Michel Raynal, Paulo Veríssimo
1999	J	`jnl`	Normality: A Consistency Condition for Concurrent Objects. Parallel Process. Lett. Vijay K. Garg, Michel Raynal
1999	A	`conf`	On Classes of Problems in Asynchronous Distributed Systems with Process Crashes. ICDCS Eddy Fromentin, Michel Raynal, Frederic Tronel
1999	—	`conf`	Probabilistic analysis of a group failure detection protocol. WORDS (Jan.) Roger Bollo, Jean-Pierre Le Narzul, Michel Raynal, Frederic Tronel
1999	J	`jnl`	Restricted failure detectors: Definition and reduction protocols. Inf. Process. Lett. Michel Raynal, Frederic Tronel
1999	A*	`conf`	Rollback-Dependency Trackability: Visible Characterizations. PODC Roberto Baldoni, Jean-Michel Hélary, Michel Raynal
1999	B	`conf`	Simple Vector Clocks are limited to Solve some Causallity Related Problems. OPODIS Michel Raynal
1999	A	`conf`	Solving Consensus Using Chandra-Toueg's Unreliable Failure Detectors: A General Quorum-Based Approach. DISC Achour Mostéfaoui, Michel Raynal
1999	—	`conf`	Time in Distributed System Models and Algorithms. Advances in Distributed Systems Paulo Veríssimo, Michel Raynal
1999	A*	`conf`	Timed Consistency for Shared Distributed Objects. PODC Francisco J. Torres-Rojas, Mustaque Ahamad, Michel Raynal
1999	—	`conf`	Unreliable Failure Detectors with Limited Scope Accuracy and an Application to Consensus. FSTTCS Achour Mostéfaoui, Michel Raynal
1998	A	`conf`	An Adaptive Protocol for Implementing Causally Consistent Distributed Services. ICDCS Mustaque Ahamad, Michel Raynal, Gérard Thia-Kime
1998	C	`conf`	Asynchronous Protocols to Meet Real-Time Constraints: Is It Really Sensible? How to Proceed? ISORC Michel Hurfin, Michel Raynal
1998	—	`conf`	Communication-Induced Determination of Consistent Snapshots. FTCS Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
1998	B	`conf`	Consensus in Asynchronous Systems Where Processes Can Crash and Recover. SRDS Michel Hurfin, Achour Mostéfaoui, Michel Raynal
1998	J	`jnl`	Consensus-Based Management of Distributed and Replicated Data. IEEE Data Eng. Bull. Michel Raynal
1998	J	`jnl`	Consistent Records in Asynchronous Computations. Acta Informatica Roberto Baldoni, Jean-Michel Hélary, Michel Raynal
1998	J	`jnl`	Efficient Distributed Detection of Conjunctions of Local Predicates. IEEE Trans. Software Eng. Michel Hurfin, Masaaki Mizuno, Michel Raynal, Mukesh Singhal
1998	C	`conf`	Exploiting write semantics in implementing partially replicated causal objects. PDP Michel Raynal, Mustaque Ahamad
1998	B	`conf`	Fault-Tolerant Total Order Multicast to Asynchronous Groups. SRDS Udo Fritzke Jr., Philippe Ingels, Achour Mostéfaoui, Michel Raynal
1998	A	`conf`	Lifetime Based Consistency Protocols for Distributed Objects. DISC Francisco J. Torres-Rojas, Mustaque Ahamad, Michel Raynal
1998	J	`jnl`	k-Arbiter: A Safe and General Scheme for h-out of-k Mutual Exclusion. Theor. Comput. Sci. Yoshifumi Manabe, Roberto Baldoni, Michel Raynal, Shigemi Aoyagi
1997	—	`conf`	A Case Study of Agreement Problems in Distributed Systems: Non-Blocking Atomic Commitment. HASE Michel Raynal
1997	—	`conf`	A Communication-Induced Checkpointing Protocol that Ensures Rollback-Dependency Trackability. FTCS Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
1997	J	`jnl`	A suite of definitions for consistency criteria in distributed shared memories. Ann. des Télécommunications Michel Raynal, André Schiper
1997	J	`jnl`	Adaptive checkpointing in message passing distributed systems. Int. J. Syst. Sci. Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
1997	J	`jnl`	An Adaptive Causal Ordering Algorithm Suited to Mobile Computing Environments. J. Parallel Distributed Comput. Ravi Prakash, Michel Raynal, Mukesh Singhal
1997	—	`conf`	Consistent State Restoration in Shared Memory Systems. APDC Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
1997	B	`conf`	Cycle Prevention in Distributed Checkpointing. OPODIS Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
1997	—	`conf`	From serializable to causal transactions for collaborative applications. EUROMICRO Michel Raynal, Gérard Thia-Kime, Mustaque Ahamad
1997	B	`conf`	Preventing Useless Checkpoints in Distributed Computations. SRDS Jean-Michel Hélary, Achour Mostéfaoui, Robert H. B. Netzer, Michel Raynal
1997	—	`conf`	Real-time dependable decisions in timed asynchronous distributed systems. WORDS Michel Raynal
1997	J	`jnl`	Shared Global States in Distributed Computations. J. Comput. Syst. Sci. Eddy Fromentin, Michel Raynal
1997	—	`conf`	Static and Dynamic Adaptation of Transactional Consistency. HICSS (1) Oliver E. Theel, Michel Raynal
1997	—	`conf`	Virtual Precedence in Asynchronous Systems: Cencept and Applications. WDAG Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
1996	J	`jnl`	A unified framework for the specification and run-time detection of dynamic properties in distributed computations. J. Syst. Softw. Özalp Babaoglu, Eddy Fromentin, Michel Raynal
1996	A*	`conf`	About State Recording in Asynchronous Computations (Abstract). PODC Roberto Baldoni, Jean-Michel Hélary, Michel Raynal
1996	A	`conf`	An Efficient Causal Ordering Algorithm for Mobile Computing Environments. ICDCS Ravi Prakash, Michel Raynal, Mukesh Singhal
1996	J	`jnl`	An Optimistic Protocol for a Linearizable Distributed Shared Memory System. Parallel Process. Lett. Masaaki Mizuno, Mitchell L. Neilsen, Michel Raynal
1996	—	`conf`	Broadcast with Time and Causality Constraints for Multimedia Applications. EUROMICRO Roberto Baldoni, Michel Raynal, Ravi Prakash, Mukesh Singhal
1996	J	`jnl`	Causal Delivery of Messages with Real-Time Data in Unreliable Networks. Real Time Syst. Roberto Baldoni, Achour Mostéfaoui, Michel Raynal
1996	B	`conf`	Detecting Diamond Necklaces in Labeled Dags (A Problem from Distributed Debugging). WG Michel Hurfin, Michel Raynal
1996	A*	`conf`	Efficient Delta-Causal Broadcasting of Multimedia Applications (Abstract). PODC Roberto Baldoni, Ravi Prakash, Michel Raynal, Mukesh Singhal
1996	Misc	`conf`	Efficient Message Logging for Uncoordinated Checkpointing Protocols. EDCC Achour Mostéfaoui, Michel Raynal
1996	J	`jnl`	Erratum: Deadlock Models and a General Algorithm for Distributed Deadlock Detection. J. Parallel Distributed Comput. Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal, Mukesh Singhal
1996	J	`jnl`	From Group Communication to Transactions in Distributed Systems. Commun. ACM André Schiper, Michel Raynal
1996	A*	`conf`	From Serializable to Causal Transactions (Abstract). PODC Michel Raynal, Gérard Thia-Kime, Mustaque Ahamad
1996	J	`jnl`	Logical Time: Capturing Causality in Distributed Systems. Computer Michel Raynal, Mukesh Singhal
1996	—	`conf`	On-The-Fly Detection Of Conjunctions Of Local Predicates In Distributed Computations. SPDP Michel Hurfin, Masaaki Mizuno, Michel Raynal, Mukesh Singhal
1995	J	`jnl`	An Implementation of Global Flush Primitives Using Counters. Parallel Process. Lett. Mohan Ahuja, Michel Raynal
1995	J	`jnl`	An introduction to snapshot algorithms in distributed computing. Distributed Syst. Eng. Ajay D. Kshemkalyani, Michel Raynal, Mukesh Singhal
1995	—	`conf`	Characterization of Consistent Global Checkpoints in Large-Scale Distributed Systems. FTDCS Roberto Baldoni, Jerzy Brzezinski, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
1995	A	`conf`	Characterizing and Detecting The Set of Global States Seen by all Observers of a Distributed Computation. ICDCS Eddy Fromentin, Michel Raynal
1995	J	`jnl`	Deadlock Models and a General Algorithm for Distributed Deadlock Detection. J. Parallel Distributed Comput. Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal, Mukesh Singhal
1995	—	`conf`	Deadlocks in Distributed Systems: Request Models and Definitions. FTDCS Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal
1995	—	`conf`	Debugging Distributed Executions by Using Language Recognition. ICPP (2) Özalp Babaoglu, Eddy Fromentin, Michel Raynal
1995	—	`ed.`	Distributed Algorithms, 9th International Workshop, WDAG '95, Le Mont-Saint-Michel, France, September 13-15, 1995, Proceedings WDAG Jean-Michel Hélary, Michel Raynal
1995	A	`conf`	Efficient Causally Ordered Communications for Multimedia Real-Time Applications. HPDC Roberto Baldoni, Achour Mostéfaoui, Michel Raynal
1995	—	`conf`	Expressing and detecting control flow properties of distributed computations. SPDP Vijay K. Garg, Alexander I. Tomlinson, Eddy Fromentin, Michel Raynal
1995	—	`conf`	From Causal Consistency to Sequential Consistency in Shared Memory Systems. FSTTCS Michel Raynal, André Schiper
1995	J	`jnl`	On-The-Fly Analysis of Distributed Computations. Inf. Process. Lett. Eddy Fromentin, Claude Jard, Guy-Vincent Jourdan, Michel Raynal
1995	—	`conf`	Recognition of Patterns on Control Flows for Debugging Distributed Executions. AADEBUG Eddy Fromentin, Claude Jard, Guy-Vincent Jourdan, Michel Raynal
1995	—	`conf`	Replaying Distributed Executions. AADEBUG Eddy Fromentin, Noël Plouzeau, Michel Raynal
1995	J	`jnl`	Specification and Verification of Dynamic Properties in Distributed Computations. J. Parallel Distributed Comput. Özalp Babaoglu, Michel Raynal
1994	J	`jnl`	A General Scheme for Token- and Tree-Based Distributed Mutual Exclusion Algorithms. IEEE Trans. Parallel Distributed Syst. Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
1994	—	`conf`	An Efficient Implementation of Sequentially Consistent Distributed Shared Memories. Applications in Parallel and Distributed Computing Masaaki Mizuno, Michel Raynal, Gurdip Singh, Mitchell L. Neilsen
1994	—	`conf`	Definition and Implementation of a Flexible Communication Primitive for Distributed Programming. Applications in Parallel and Distributed Computing Achour Mostéfaoui, Michel Raynal
1994	—	`conf`	Inevitable global states: a concept to detect unstable properties of distributed computations in an observer independent way. SPDP Eddy Fromentin, Michel Raynal
1994	J	`jnl`	Local States in Distributed Computations: A Few Relations and Formulas. ACM SIGOPS Oper. Syst. Rev. Eddy Fromentin, Michel Raynal
1994	—	`conf`	On Granularity of Events in Distributed Computations. Specification of Parallel Algorithms Michel Hurfin, Noël Plouzeau, Michel Raynal
1994	—	`conf`	On the Fly Testing of Regular Patterns in Distributed Computations. ICPP (2) Eddy Fromentin, Michel Raynal, Vijay K. Garg, Alexander I. Tomlinson
1994	—	`conf`	On-the-fly replay: a practical paradigm and its implementation for distributed debugging. SPDP Ornan Ori Gerstel, Shmuel Zaks, Michel Hurfin, Noël Plouzeau, Michel Raynal
1994	—	`conf`	Sequential Consistency in Distributed Systems. Dagstuhl Seminar on Distributed Systems Masaaki Mizuno, Michel Raynal, James Z. Zhou
1994	J	`jnl`	Towards the Construction of Distributed Detection Programs, with an Application to Distributed Termination. Distributed Comput. Jean-Michel Hélary, Michel Raynal
1993	J	`jnl`	Debugging tool for distributed Estelle programs. Comput. Commun. Michel Hurfin, Noël Plouzeau, Michel Raynal
1993	—	`conf`	Detecting Atomic Sequences of Predicates in Distributed Computations. Workshop on Parallel and Distributed Debugging Michel Hurfin, Noël Plouzeau, Michel Raynal
1993	A	`conf`	Termination Detection in a Very General Distributed Computing Model. ICDCS Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal
1992	C	`conf`	A Distributed Kernel for Virtual Time Driven Applications. ICCI Philippe Ingels, Carlos Maziero, Michel Raynal
1992	A	`conf`	A General Method to Define Quorums. ICDCS Mitchell L. Neilsen, Masaaki Mizuno, Michel Raynal
1992	J	`jnl`	About Logical Clocks for Distributed Systems. ACM SIGOPS Oper. Syst. Rev. Michel Raynal
1992	—	`conf`	Distributed Evaluation: A Tool for Constructing Distributed Detection Programs. ISTCS Jean-Michel Hélary, Michel Raynal
1992	J	`jnl`	Elements for a course on the design of distributed algorithms. ACM SIGCSE Bull. Noël Plouzeau, Michel Raynal
1992	A	`conf`	Synchronization and Concurrency Measures for Distributed Computations. ICDCS Michel Raynal, Masaaki Mizuno, Mitchell L. Neilsen
1991	C	`conf`	A Distributed Solution to the k-out of-M Resources Allocation Problem. ICCI Michel Raynal
1991	J	`jnl`	A Simple Taxonomy for Distributed Mutual Exclusion Algorithms. ACM SIGOPS Oper. Syst. Rev. Michel Raynal
1991	—	`conf`	Implementation and Evaluation of Distributed Synchronization on a Distributed Memory Parallel Machine. EDMCC André Couvert, René Pedrono, Michel Raynal
1991	J	`jnl`	The Causal Ordering Abstraction and a Simple Way to Implement it. Inf. Process. Lett. Michel Raynal, André Schiper, Sam Toueg
1990	—	`book`	Synchronization and control of distributed systems and programs. Michel Raynal, Jean-Michel Hélary
1989	—	`ed.`	Distributed Algorithms, 3rd International Workshop, Nice, France, September 26-28, 1989, Proceedings WDAG Jean-Claude Bermond, Michel Raynal
1989	J	`jnl`	Prime Numbers as a Tool to Design Distributed Algorithms. Inf. Process. Lett. Michel Raynal
1988	J	`jnl`	A Distributed Algorithm for Mutual Exclusion in an Arbitrary Network. Comput. J. Jean-Michel Hélary, Noël Plouzeau, Michel Raynal
1988	—	`book`	Distributed algorithms and protocols. Michel Raynal
1987	J	`jnl`	A Distributed Algorithm to Prevent Mutual Drift Between n Logical Clocks. Inf. Process. Lett. Michel Raynal
1987	J	`jnl`	Calcul Réparti D'un Extrémum Et Du Routage Associé Dans Un Réseau Quelconque. RAIRO Theor. Informatics Appl. Jean-Michel Hélary, Aomar Maddi, Michel Raynal
1987	A*	`conf`	Detection of Stable Properties in Distributed Applications. PODC Jean-Michel Hélary, Claude Jard, Noël Plouzeau, Michel Raynal
1987	—	`conf`	General and Efficient Decentralized Consensus Protocols. WDAG Jean-Claude Bermond, Jean-Claude König, Michel Raynal
1983	J	`jnl`	Structured Specification of Communicating Systems. IEEE Trans. Computers Gregor von Bochmann, Michel Raynal
1981	J	`jnl`	An Experience in Implementing Abstract Data Types. Softw. Pract. Exp. Michel Banâtre, André Couvert, D. Herman, Michel Raynal
1981	J	`jnl`	Types in a Mixed Language System. BIT Philippe Darondeau, Paul Le Guernic, Michel Raynal
1980	—	`conf`	Synchronization and Protection Features for Data Abstraction. GI Jahrestagung D. Herman, Michel Raynal