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, AE Abbadi
24th IEEE Symposium on Reliable Distributed Systems (SRDS'05), 109-118, 2005
892005
Locality and checkability in wait-free computing
P Fraigniaud, S Rajsbaum, C Travers
Distributed Computing 26 (4), 223-242, 2013
502013
Crash-resilient time-free eventual leadership
A Mostefaoui, M Raynal, C Travers
Proceedings of the 23rd IEEE International Symposium on Reliable Distributed …, 2004
502004
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
462006
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
402012
The iterated restricted immediate snapshot model
S Rajsbaum, M Raynal, C Travers
International Computing and Combinatorics Conference, 487-497, 2008
392008
In search of the holy grail: Looking for the weakest failure detector for wait-free set agreement
M Raynal, C Travers
International Conference On Principles Of Distributed Systems, 3-19, 2006
392006
The k-simultaneous consensus problem
Y Afek, E Gafni, S Rajsbaum, M Raynal, C Travers
Distributed Computing 22 (3), 185-195, 2010
372010
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
352007
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
From adaptive renaming to set agreement
E Gafni, A Mostéfaoui, M Raynal, C Travers
Theoretical Computer Science 410 (14), 1328-1335, 2009
302009
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
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
302006
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
282014
Two abstractions for implementing atomic objects in dynamic systems
R Friedman, M Raynal, C Travers
International Conference On Principles Of Distributed Systems, 73-87, 2005
282005
Exploring Gafni’s Reduction Land: From Ω k to Wait-Free Adaptive -Renaming Via k-Set Agreement
A Mostefaoui, M Raynal, C Travers
International Symposium on Distributed Computing, 1-15, 2006
242006
An impossibility about failure detectors in the iterated immediate snapshot model
S Rajsbaum, M Raynal, C Travers
Information Processing Letters 108 (3), 160-164, 2008
202008
From⋄ W to Ω: A simple bounded quiescent reliable broadcast-based transformation
A Mostefaoui, S Rajsbaum, M Raynal, C Travers
Journal of Parallel and Distributed Computing 67 (1), 125-129, 2007
192007
From⋄ W to Ω: A simple bounded quiescent reliable broadcast-based transformation
A Mostefaoui, S Rajsbaum, M Raynal, C Travers
Journal of Parallel and Distributed Computing 67 (1), 125-129, 2007
192007
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
172016
The system can't perform the operation now. Try again later.
Articles 1–20