Follow
corentin travers
corentin travers
Aix-Marseille University/LIS
Verified email at lis-lab.fr - Homepage
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
1092005
Locality and checkability in wait-free computing
P Fraigniaud, S Rajsbaum, C Travers
Distributed Computing 26, 223-242, 2013
662013
Crash-resilient time-free eventual leadership
A Mostefaoui, M Raynal, C Travers
Proceedings of the 23rd IEEE International Symposium on Reliable Distributed …, 2004
582004
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
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
472016
On the number of opinions needed for fault-tolerant run-time monitoring in distributed systems
P Fraigniaud, S Rajsbaum, C Travers
International Conference on Runtime Verification, 92-107, 2014
472014
The k-simultaneous consensus problem
Y Afek, E Gafni, S Rajsbaum, M Raynal, C Travers
Distributed Computing 22, 185-195, 2010
452010
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
432006
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
The iterated restricted immediate snapshot model
S Rajsbaum, M Raynal, C Travers
International Computing and Combinatorics Conference, 487-497, 2008
412008
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
382007
From adaptive renaming to set agreement
E Gafni, A Mostéfaoui, M Raynal, C Travers
Theoretical Computer Science 410 (14), 1328-1335, 2009
352009
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
342008
Of choices, failures and asynchrony: The many faces of set agreement
D Alistarh, S Gilbert, R Guerraoui, C Travers
Algorithmica 62 (1), 595-629, 2012
332012
A time-free assumption to implement eventual leadership
A Mostefaoui, E Mourgaya, M Raynal, C Travers
Parallel Processing Letters 16 (02), 189-207, 2006
332006
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
322021
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
312008
Exploring Gafni’s Reduction Land: From Ω k to Wait-Free Adaptive-Renaming Via k-Set Agreement
A Mostéfaoui, M Raynal, C Travers
International Symposium on Distributed Computing, 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
252006
Strongly Terminating Early-Stopping k-Set Agreement in Synchronous Systems with General Omission Failures
P Raïpin Parvédy, M Raynal, C Travers
Theory of Computing Systems 47 (1), 259-287, 2010
22*2010
The system can't perform the operation now. Try again later.
Articles 1–20