Follow
corentin travers
corentin travers
Institut Polytechnique de Bordeaux
Verified email at labri.fr
Title
Cited by
Cited by
Year
From static distributed systems to dynamic systems
A Mostefaoui, M Raynal, C Travers, S Patterson, D Agrawal, AEL Abbadi
24th IEEE Symposium on Reliable Distributed Systems (SRDS'05), 109-118, 2005
1012005
Locality and checkability in wait-free computing
P Fraigniaud, S Rajsbaum, C Travers
Distributed Computing 26, 223-242, 2013
602013
Crash-resilient time-free eventual leadership
A Mostefaoui, M Raynal, C Travers
Proceedings of the 23rd IEEE International Symposium on Reliable Distributed …, 2004
552004
Time-free and timer-based assumptions can be combined to obtain eventual leadership
A Mostefaoui, M Raynal, C Travers
IEEE Transactions on Parallel and Distributed Systems 17 (7), 656-666, 2006
512006
The k-simultaneous consensus problem.
Y Afek, E Gafni, S Rajsbaum, M Raynal, C Travers
Distributed Comput. 22 (3), 185-195, 2010
442010
On the number of opinions needed for fault-tolerant run-time monitoring in distributed systems
P Fraigniaud, S Rajsbaum, C Travers
Runtime Verification: 5th International Conference, RV 2014, Toronto, ON …, 2014
422014
Universal constructions that ensure disjoint-access parallelism and wait-freedom
F Ellen, P Fatourou, E Kosmas, A Milani, C Travers
Proceedings of the 2012 ACM symposium on Principles of distributed computing …, 2012
422012
In search of the holy grail: Looking for the weakest failure detector for wait-free set agreement
M Raynal, C Travers
Principles of Distributed Systems: 10th International Conference, OPODIS …, 2006
422006
Test & set, adaptive renaming and set agreement: a guided visit to asynchronous computability
E Gafni, M Raynal, C Travers
2007 26th IEEE International Symposium on Reliable Distributed Systems (SRDS …, 2007
392007
The iterated restricted immediate snapshot model
S Rajsbaum, M Raynal, C Travers
Computing and Combinatorics: 14th Annual International Conference, COCOON …, 2008
382008
Decentralized asynchronous crash-resilient runtime verification
B Bonakdarpour, P Fraigniaud, S Rajsbaum, DA Rosenblueth, C Travers
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
372016
Of choices, failures and asynchrony: The many faces of set agreement
D Alistarh, S Gilbert, R Guerraoui, C Travers
Algorithmica 62 (1-2), 595-629, 2012
352012
From adaptive renaming to set agreement
E Gafni, A Mostéfaoui, M Raynal, C Travers
Theoretical Computer Science 410 (14), 1328-1335, 2009
352009
A time-free assumption to implement eventual leadership
A Mostéfaoui, E Mourgaya, M Raynal, C Travers
Parallel Processing Letters 16 (02), 189-207, 2006
332006
The combined power of conditions and information on failures to solve asynchronous set agreement
A Mostefaoui, S Rajsbaum, M Raynal, C Travers
SIAM Journal on Computing 38 (4), 1574-1601, 2008
312008
On the computability power and the robustness of set agreement-oriented failure detector classes
A Mostefaoui, S Rajsbaum, M Raynal, C Travers
Distributed Computing 21 (3), 201-222, 2008
302008
Exploring Gafni's Reduction Land: From Omega^ k to Wait-Free Adaptive (2p-[p/k])-Renaming Via k-Set Agreement
A Mostéfaoui, M Raynal, C Travers
DISC, 1-15, 2006
292006
Two abstractions for implementing atomic objects in dynamic systems
R Friedman, M Raynal, C Travers
Principles of Distributed Systems: 9th International Conference, OPODIS 2005 …, 2006
242006
A topological perspective on distributed network algorithms
A Castañeda, P Fraigniaud, A Paz, S Rajsbaum, M Roy, C Travers
Theoretical Computer Science 849, 121-137, 2021
232021
Simultaneous consensus tasks: A tighter characterization of set-consensus
Y Afek, E Gafni, S Rajsbaum, M Raynal, C Travers
Distributed Computing and Networking: 8th International Conference, ICDCN …, 2006
222006
The system can't perform the operation now. Try again later.
Articles 1–20