Michel Raynal

From MaRDI portal
(Redirected from Person:269462)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Byzantine-tolerant distributed grow-only sets: specification and applications
Distributed Computing
2026-05-13Paper
Relaxed queues and stacks from read/write operations2026-03-31Paper
Self-stabilizing multivalued consensus in the presence of Byzantine faults and asynchrony
Theoretical Computer Science
2025-04-16Paper
Self-stabilizing multivalued consensus in asynchronous crash-prone systems
Theoretical Computer Science
2024-12-02Paper
Process-commutative distributed objects: from cryptocurrencies to Byzantine-fault-tolerant CRDTs
Theoretical Computer Science
2024-10-07Paper
Good-case early-stopping latency of synchronous Byzantine reliable broadcast: the deterministic case
Distributed Computing
2024-07-26Paper
Detecting diamond necklaces in labeled dags (a problem from distributed debugging)2024-06-05Paper
Brief Announcement: The MBroadcast Abstraction
Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing
2024-03-26Paper
Self-stabilizing indulgent zero-degrading binary consensus
Theoretical Computer Science
2024-02-20Paper
Mutual exclusion vs consensus: both sides of the same coin?2024-02-06Paper
About informatics, distributed computing, and our job: a personal view
Structural Information and Communication Complexity
2024-01-11Paper
Asynchronous Byzantine reliable broadcast with a message adversary
Theoretical Computer Science
2023-10-12Paper
Self-stabilizing Byzantine fault-tolerant repeated reliable broadcast
Theoretical Computer Science
2023-09-07Paper
Optimal algorithms for synchronous Byzantine \(k\)-set agreement
Theoretical Computer Science
2023-09-07Paper
Set agreement and renaming in the presence of contention-related crash failures
Lecture Notes in Computer Science
2023-08-02Paper
Bee's strategy against Byzantines. Replacing Byzantine participants (extended abstract)
Lecture Notes in Computer Science
2023-08-02Paper
Reaching agreement in the presence of contention-related crash failures
Theoretical Computer Science
2023-06-21Paper
Set-linearizable implementations from read/write operations: sets, fetch \& increment, stacks and queues with multiplicity
Distributed Computing
2023-06-19Paper
Reaching consensus in the presence of contention-related crash failures
Lecture Notes in Computer Science
2023-06-12Paper
Self-stabilizing Byzantine fault-tolerant repeated reliable broadcast
Lecture Notes in Computer Science
2023-06-12Paper
Optimal algorithms for synchronous Byzantine \(k\)-set agreement
Lecture Notes in Computer Science
2023-06-12Paper
Byzantine-Tolerant Reliable Broadcast in the Presence of Silent Churn2023-04-21Paper
k-Immediate Snapshot and x-Set Agreement: How Are They Related?2023-03-21Paper
Brief Announcement: Leader Election in the ADD Communication Model2023-03-21Paper
scientific article; zbMATH DE number 7650856 (Why is no real title available?)2023-02-07Paper
Which broadcast abstraction captures \(k\)-set agreement?2023-02-03Paper
Election in fully anonymous shared memory systems: tight space bounds and algorithms
(available as arXiv preprint)
2022-11-11Paper
Corrigendum to: ``Mutual exclusion in fully anonymous shared memory systems''
Information Processing Letters
2022-10-28Paper
On the versatility of Bracha's Byzantine reliable broadcast algorithm
Parallel Processing Letters
2022-07-08Paper
An eventually perfect failure detector for networks of arbitrary topology connected with ADD channels using time-to-live values
Parallel Processing Letters
2022-07-08Paper
A simple object that spans the whole consensus hierarchy
Parallel Processing Letters
2022-07-04Paper
Distributed computability: relating \(k\)-immediate snapshot and \(x\)-set agreement
Information and Computation
2022-06-08Paper
A visit to mutual exclusion in seven dates
Theoretical Computer Science
2022-05-10Paper
scientific article; zbMATH DE number 7515766 (Why is no real title available?)2022-04-28Paper
Concurrent crash-prone shared memory systems. A few theoretical notions
Synthesis Lectures on Distributed Computing Theory
2022-04-19Paper
Contention-related crash failures: definitions, agreement algorithms, and impossibility results
Theoretical Computer Science
2022-03-01Paper
Set-constrained delivery broadcast: a communication abstraction for read/write implementable distributed objects
Theoretical Computer Science
2021-10-06Paper
Byzantine-tolerant causal broadcast
Theoretical Computer Science
2021-09-06Paper
Money transfer made simple: a specification, a generic algorithm, and its proof2021-08-30Paper
Money transfer made simple: a specification, a generic algorithm, and its proof
(available as arXiv preprint)
2021-08-30Paper
From Bezout's Identity to Space-Optimal Election in Anonymous Memory Systems
Proceedings of the 39th Symposium on Principles of Distributed Computing
2021-03-15Paper
Optimal Memory-Anonymous Symmetric Deadlock-Free Mutual Exclusion
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing
2021-01-20Paper
Time-efficient read/write register in crash-prone asynchronous message-passing systems
Computing
2021-01-15Paper
Condition-based consensus solvability: a hierarchy of conditions and efficient protocols
Distributed Computing
2020-12-04Paper
A simple and fast asynchronous consensus protocol based on a weak failure detector2020-12-03Paper
Communication-based prevention of useless checkpoints in distributed computations
Distributed Computing
2020-12-03Paper
Leader-based de-anonymization of an anonymous read/write memory
Theoretical Computer Science
2020-08-25Paper
scientific article; zbMATH DE number 7228882 (Why is no real title available?)2020-08-06Paper
Mutual exclusion in fully anonymous shared memory systems
Information Processing Letters
2020-04-03Paper
Anonymous Read/write memory: leader election and de-anonymization2020-03-03Paper
An informal visit to the wonderful land of consensus numbers and beyond2020-01-13Paper
scientific article; zbMATH DE number 7141420 (Why is no real title available?)2019-12-09Paper
scientific article; zbMATH DE number 7141420 (Why is no real title available?)
(available as arXiv preprint)
2019-12-09Paper
Making local algorithms wait-free: the case of ring coloring
Lecture Notes in Computer Science
2019-11-22Paper
Fault-tolerant message-passing distributed systems. An algorithmic approach2019-10-18Paper
Crash-tolerant causal broadcast in \(O(n)\) messages
Information Processing Letters
2019-09-20Paper
An introductory tutorial to concurrency-related distributed recursion2019-07-03Paper
Distributed universal constructions: a guided tour2019-07-03Paper
Making local algorithms wait-free: the case of ring coloring
Theory of Computing Systems
2019-06-21Paper
Unifying Concurrent Objects and Distributed Tasks
Journal of the ACM
2019-02-25Paper
Vertex coloring with communication and local memory constraints in synchronous broadcast networks
(available as arXiv preprint)
2018-12-07Paper
Specifying concurrent problems: beyond linearizability and up to tasks (extended abstract)2018-08-24Paper
Are Byzantine failures really different from crash failures?2018-08-16Paper
Signature-free asynchronous binary Byzantine consensus with \(t<n/3\), \(O(n^2)\) messages, and \(O(1)\) expected time
Journal of the ACM
2018-08-02Paper
A pleasant stroll through the land of distributed machines, computation, and universality2018-06-26Paper
Asynchronous Agreement and Its Relation with Error-Correcting Codes
IEEE Transactions on Computers
2018-06-12Paper
Design and Performance Evaluation of Efficient Consensus Protocols for Mobile Ad Hoc Networks
IEEE Transactions on Computers
2018-06-12Paper
Anonymous obstruction-free (n,k)-set agreement with n-k+1 atomic read/write registers
Distributed Computing
2018-04-11Paper
Randomized k-set agreement in crash-prone and Byzantine asynchronous systems
Theoretical Computer Science
2017-12-20Paper
Trading off t-resilience for efficiency in asynchronous Byzantine reliable broadcast
Parallel Processing Letters
2017-12-15Paper
A fast contention-friendly binary search tree
Parallel Processing Letters
2017-12-15Paper
Anonymous obstruction-free \((n,k)\)-set agreement with \(n-k+1\) atomic read/write registers
(available as arXiv preprint)
2017-09-29Paper
Signature-free communication and agreement in the presence of Byzantine processes2017-09-29Paper
Two-bit messages are sufficient to implement atomic read/write registers in crash-prone systems
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing
2017-09-29Paper
Signature-free asynchronous Byzantine systems: from multivalued to binary consensus with \(t<n/3\), \(O(n^2)\) messages, and constant time
Acta Informatica
2017-09-29Paper
Atomic read/write memory in signature-free Byzantine asynchronous message-passing systems
Theory of Computing Systems
2017-08-15Paper
From wait-free to arbitrary concurrent solo executions in colorless distributed computing
Theoretical Computer Science
2017-05-22Paper
Predicate Detection in Asynchronous Distributed Systems: A Probabilistic Approach
IEEE Transactions on Computers
2017-05-16Paper
From causal consistency to sequential consistency in shared memory systems
Lecture Notes in Computer Science
2017-01-19Paper
t-resilient immediate snapshot Is impossible
Structural Information and Communication Complexity
2016-12-01Paper
A distributed leader election algorithm in crash-recovery and omissive systems
Information Processing Letters
2016-11-23Paper
Distributed universality
Algorithmica
2016-10-21Paper
A necessary condition for Byzantine \(k\)-set agreement
Information Processing Letters
2016-08-16Paper
From binary consensus to multivalued consensus in asynchronous message-passing systems
Information Processing Letters
2016-06-16Paper
Generalized symmetry breaking tasks and nondeterminism in concurrent objects
SIAM Journal on Computing
2016-04-25Paper
Implementing set objects in dynamic distributed systems
Journal of Computer and System Sciences
2016-04-18Paper
Stabilizing server-based storage in Byzantine asynchronous message-passing systems (extended abstract)
Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing
2016-03-23Paper
Minimal synchrony for Byzantine consensus
Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing
2016-03-23Paper
A hierarchy of conditions for consensus solvability
Proceedings of the twentieth annual ACM symposium on Principles of distributed computing
2016-03-04Paper
Signature-free asynchronous Byzantine systems: from multivalued to binary consensus with \(t<n/3\), \(O(n^{2})\) messages, and constant time
Structural Information and Communication Complexity
2016-01-08Paper
Communication patterns and input patterns in distributed computing (invited talk)
Structural Information and Communication Complexity
2016-01-08Paper
Conditions on input vectors for consensus solvability in asynchronous distributed systems
Journal of the ACM
2015-11-12Paper
Rollback-dependency trackability
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
2015-09-11Paper
Timed consistency for shared distributed objects
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
2015-09-11Paper
Signature-free asynchronous byzantine consensus with t &lt; n/3 and o(n <sup>2</sup> ) messages
Proceedings of the 2014 ACM symposium on Principles of distributed computing
2015-09-03Paper
The combined power of conditions and failure detectors to solve asynchronous set agreement
Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing
2015-03-10Paper
Irreducibility and additivity of set agreement-oriented failure detector classes
Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing
2015-03-10Paper
\(K\)-set agreement with limited accuracy failure detectors
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
2015-03-03Paper
The multiplicative power of consensus numbers
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing
2015-03-02Paper
On asymmetric progress conditions
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing
2015-03-02Paper
Synchrony weakened by message adversaries vs asynchrony restricted by failure detectors
Proceedings of the 2013 ACM symposium on Principles of distributed computing
2015-03-02Paper
Conditions on input vectors for consensus solvability in asynchronous distributed systems
Proceedings of the thirty-third annual ACM symposium on Theory of computing
2015-02-27Paper
Distributed Universality
Lecture Notes in Computer Science
2015-02-10Paper
Brief announcement: Increasing the power of the iterated immediate snapshot model with failure detectors
Proceedings of the 2012 ACM symposium on Principles of distributed computing
2014-12-05Paper
Brief announcement: There are plenty of tasks weaker than perfect renaming and stronger than set agreement
Proceedings of the 2012 ACM symposium on Principles of distributed computing
2014-12-05Paper
The renaming problem in shared memory systems: an introduction
Computer Science Review
2014-10-24Paper
Reliable shared memory abstraction on top of asynchronous Byzantine message-passing systems
Structural Information and Communication Complexity
2014-08-07Paper
What can be computed in a distributed system?
From Programs to Systems. The Systems perspective in Computing
2014-07-24Paper
Computing in the presence of concurrent solo executions
LATIN 2014: Theoretical Informatics
2014-03-31Paper
Failure detectors are schedulers
Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing
2014-03-13Paper
Trust-aware peer sampling: performance and privacy tradeoffs
Theoretical Computer Science
2014-01-13Paper
The weakest failure detector to implement a register in asynchronous systems with hybrid communication
Theoretical Computer Science
2014-01-13Paper
Power and limits of distributed computing shared memory models
Theoretical Computer Science
2014-01-13Paper
Towards a universal construction for transaction-based multiprocess programs
Theoretical Computer Science
2014-01-10Paper
Simultaneous consensus vs set agreement: a message-passing-sensitive hierarchy of agreement problems
Structural Information and Communication Complexity
2013-12-17Paper
Anonymous asynchronous systems: the case of failure detectors
Distributed Computing
2013-08-26Paper
Distributed Algorithms for Message-Passing Systems2013-07-29Paper
The \(k\)-simultaneous consensus problem
Distributed Computing
2013-06-28Paper
On the computability power and the robustness of set agreement-oriented failure detector classes
Distributed Computing
2013-06-28Paper
Synchronous condition-based consensus
Distributed Computing
2013-06-13Paper
Failure detectors to solve asynchronous k-set agreement: a glimpse of recent results2013-01-28Paper
Concurrent programming: algorithms, principles, and foundations.2012-10-12Paper
Virtual world consistency: a condition for STM systems (with a versatile protocol with invisible read operations)
Theoretical Computer Science
2012-08-10Paper
Using asynchrony and zero degradation to speed up indulgent consensus protocols
Journal of Parallel and Distributed Computing
2012-07-26Paper
From the happened-before relation to the causal ordered set abstraction
Journal of Parallel and Distributed Computing
2012-07-13Paper
Renaming is weaker than set agreement but for perfect renaming: a map of sub-consensus tasks
LATIN 2012: Theoretical Informatics
2012-06-29Paper
No double discount: condition-based simultaneity yields limited gain
Information and Computation
2012-05-24Paper
Help when needed, but no more: efficient read/write partial snapshot
Journal of Parallel and Distributed Computing
2012-02-14Paper
On the road to the weakest failure detector for k-set agreement in message-passing systems
Theoretical Computer Science
2011-07-22Paper
Anonymous asynchronous systems: the case of failure detectors
Lecture Notes in Computer Science
2010-09-10Paper
A simple proof of the necessity of the failure detector \(\Sigma \) to implement an atomic register in asynchronous message-passing systems
Information Processing Letters
2010-09-02Paper
A note on atomicity: boosting Test\&Set to solve consensus
Information Processing Letters
2010-08-16Paper
Strongly terminating early-stopping \(k\)-set agreement in synchronous systems with general omission failures
Theory of Computing Systems
2010-08-13Paper
Anonymous graph exploration without collision by mobile robots
Information Processing Letters
2010-06-09Paper
An impossibility about failure detectors in the iterated immediate snapshot model
Information Processing Letters
2010-06-09Paper
Regular register: an implementation in a churn prone environment
Structural Information and Communication Complexity
2010-02-24Paper
A Versatile STM Protocol with Invisible Read Operations That Satisfies the Virtual World Consistency Condition
Structural Information and Communication Complexity
2010-02-24Paper
Using conditions to expedite consensus in synchronous distributed systems
Lecture Notes in Computer Science
2010-02-23Paper
Stabilizing mobile philosophers
Information Processing Letters
2009-12-04Paper
Asynchronous bounded lifetime failure detectors
Information Processing Letters
2009-12-04Paper
Narrowing power vs efficiency in synchronous set agreement: relationship, algorithms and lower bound
Theoretical Computer Science
2009-12-01Paper
The Price of Anonymity: Optimal Consensus Despite Asynchrony, Crash and Anonymity
Lecture Notes in Computer Science
2009-11-19Paper
Help When Needed, But No More: Efficient Read/Write Partial Snapshot
Lecture Notes in Computer Science
2009-11-19Paper
The Combined Power of Conditions and Information on Failures to Solve Asynchronous Set Agreement
SIAM Journal on Computing
2009-08-20Paper
A weakest failure detector-based asynchronous consensus protocol for \(f<n\)
Information Processing Letters
2009-07-21Paper
From adaptive renaming to set agreement
Theoretical Computer Science
2009-03-30Paper
Strongly Terminating Early-Stopping k-Set Agreement in Synchronous Systems with General Omission Failures
Structural Information and Communication Complexity
2009-03-12Paper
No Double Discount: Condition-Based Simultaneity Yields Limited Gain
Lecture Notes in Computer Science
2008-11-20Paper
The Committee Decision Problem
LATIN 2006: Theoretical Informatics
2008-09-18Paper
Exploring Gafni’s Reduction Land: From Ω k to Wait-Free Adaptive $(2p-\lceil\frac{p}{k}\rceil)$ -Renaming Via k-Set Agreement
Lecture Notes in Computer Science
2008-09-09Paper
A Subjective Visit to Selected Topics in Distributed Computing
Lecture Notes in Computer Science
2008-09-02Paper
The Iterated Restricted Immediate Snapshot Model
Lecture Notes in Computer Science
2008-07-10Paper
Narrowing Power vs. Efficiency in Synchronous Set Agreement
Distributed Computing and Networking
2008-03-06Paper
From Renaming to Set Agreement
Structural Information and Communication Complexity
2007-11-15Paper
From W to : A simple bounded quiescent reliable broadcast-based transformation
Journal of Parallel and Distributed Computing
2007-02-19Paper
The Synchronous Condition-Based Consensus Hierarchy
Lecture Notes in Computer Science
2005-08-17Paper
The Notion of Veto Number and the Respective Power of $\Diamond {\cal P}$ and $\Diamond {\cal S}$ to Solve One-Shot Agreement Problems
Lecture Notes in Computer Science
2005-08-17Paper
Distributed Computing - IWDC 2004
Lecture Notes in Computer Science
2005-08-12Paper
A NOTE ON THE DETERMINATION OF THE IMMEDIATE PREDECESSORS IN A DISTRIBUTED COMPUTATION
International Journal of Foundations of Computer Science
2005-06-22Paper
Consensus in Byzantine asynchronous systems
Journal of Discrete Algorithms
2004-08-06Paper
scientific article; zbMATH DE number 2013822 (Why is no real title available?)2003-12-07Paper
scientific article; zbMATH DE number 2013823 (Why is no real title available?)2003-12-07Paper
scientific article; zbMATH DE number 2013821 (Why is no real title available?)2003-12-07Paper
scientific article; zbMATH DE number 1983294 (Why is no real title available?)2003-09-18Paper
scientific article; zbMATH DE number 1950677 (Why is no real title available?)2003-07-17Paper
scientific article; zbMATH DE number 1950666 (Why is no real title available?)2003-07-17Paper
scientific article; zbMATH DE number 1875370 (Why is no real title available?)2003-04-03Paper
An introduction to oracles for asynchronous distributed systems
Future Generation Computer Systems
2003-01-21Paper
Rollback-dependency trackability: A minimal characterization and its protocol
Information and Computation
2003-01-14Paper
scientific article; zbMATH DE number 1830912 (Why is no real title available?)2002-11-18Paper
scientific article; zbMATH DE number 1830918 (Why is no real title available?)2002-11-18Paper
Interval consistency of asynchronous distributed computations
Journal of Computer and System Sciences
2002-08-04Paper
Restricted failure detectors: Definition and reduction protocols
Information Processing Letters
2002-07-25Paper
The logically instantaneous communication mode: a communication abstraction
Future Generation Computer Systems
2002-07-14Paper
Impossibility of scalar clock-based communication-induced checkpointing protocols ensuring the RDT property
Information Processing Letters
2002-07-14Paper
Consistent checkpointing for transaction systems
The Computer Journal. Section A Section B
2001-10-14Paper
scientific article; zbMATH DE number 1445803 (Why is no real title available?)2000-05-10Paper
scientific article; zbMATH DE number 1292975 (Why is no real title available?)1999-05-31Paper
Consistent records in asynchronous computations
Acta Informatica
1998-08-20Paper
\(k\)-Arbiter: A safe and general scheme for \(h\)-out of-\(k\) mutual exclusion
Theoretical Computer Science
1998-08-13Paper
Shared global states in distributed computations
Journal of Computer and System Sciences
1998-08-04Paper
Adaptive checkpointing in message passing distributed systems
International Journal of Systems Science. Principles and Applications of Systems and Integration
1998-06-08Paper
scientific article; zbMATH DE number 1036309 (Why is no real title available?)1997-12-14Paper
On-the-fly analysis of distributed computations
Information Processing Letters
1997-02-28Paper
scientific article; zbMATH DE number 915978 (Why is no real title available?)1997-01-22Paper
Distributed algorithms for static and dynamic termination detection
Bulletin of the Polish Academy of Sciences. Technical Sciences
1996-09-05Paper
Specification and verification of dynamic properties in distributed computations
Journal of Parallel and Distributed Computing
1996-02-26Paper
scientific article; zbMATH DE number 40998 (Why is no real title available?)1993-01-23Paper
scientific article; zbMATH DE number 107745 (Why is no real title available?)1993-01-23Paper
scientific article; zbMATH DE number 107746 (Why is no real title available?)1993-01-23Paper
scientific article; zbMATH DE number 107747 (Why is no real title available?)1993-01-23Paper
scientific article; zbMATH DE number 47016 (Why is no real title available?)1992-09-17Paper
The causal ordering abstraction and a simple way to implement it
Information Processing Letters
1992-06-28Paper
scientific article; zbMATH DE number 4115937 (Why is no real title available?)1989-01-01Paper
Prime numbers as a tool to design distributed algorithms
Information Processing Letters
1989-01-01Paper
scientific article; zbMATH DE number 4058843 (Why is no real title available?)1988-01-01Paper
scientific article; zbMATH DE number 4053002 (Why is no real title available?)1988-01-01Paper
A Distributed Algorithm for Mutual Exclusion in an Arbitrary Network
The Computer Journal
1988-01-01Paper
scientific article; zbMATH DE number 3999275 (Why is no real title available?)1987-01-01Paper
A distributed algorithm to prevent mutual drift between n logical clocks
Information Processing Letters
1987-01-01Paper
scientific article; zbMATH DE number 4082934 (Why is no real title available?)1986-01-01Paper
scientific article; zbMATH DE number 3768960 (Why is no real title available?)1982-01-01Paper
An experience in implementing abstract data types
Software: Practice and Experience
1981-01-01Paper
scientific article; zbMATH DE number 3602665 (Why is no real title available?)1978-01-01Paper
scientific article; zbMATH DE number 3630195 (Why is no real title available?)1978-01-01Paper


Research outcomes over time


This page was built for person: Michel Raynal