Corentin Travers
Orcid: 0000-0002-6797-4542
According to our database1,
Corentin Travers
authored at least 62 papers
between 2004 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Inf. Comput., June, 2023
Distributed Comput., March, 2023
The Computational Power of Distributed Shared-Memory Models with Bounded-Size Registers.
CoRR, 2023
2022
2021
Theor. Comput. Sci., 2021
Proceedings of the 41st IEEE International Conference on Distributed Computing Systems, 2021
2020
A lower bound on the number of opinions needed for fault-tolerant decentralized run-time monitoring.
J. Appl. Comput. Topol., 2020
Proceedings of the PODC '20: ACM Symposium on Principles of Distributed Computing, 2020
Approximation Algorithm for Estimating Distances in Distributed Virtual Environments.
Proceedings of the Euro-Par 2020: Parallel Processing, 2020
2019
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2019
2016
Distributed Comput., 2016
Proceedings of the Distributed Computing - 30th International Symposium, 2016
Minimizing the Number of Opinions for Fault-Tolerant Distributed Decision Using Well-Quasi Orderings.
Proceedings of the LATIN 2016: Theoretical Informatics, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
2015
Proceedings of the 2015 International Conference on Distributed Computing and Networking, 2015
2014
On the Number of Opinions Needed for Fault-Tolerant Run-Time Monitoring in Distributed Systems.
Proceedings of the Runtime Verification - 5th International Conference, 2014
Proceedings of the Principles of Distributed Systems - 18th International Conference, 2014
2013
Proceedings of the Principles of Distributed Systems - 17th International Conference, 2013
Proceedings of the IEEE 33rd International Conference on Distributed Computing Systems, 2013
2012
Algorithmica, 2012
Proceedings of the Distributed Computing - 26th International Symposium, 2012
Proceedings of the Structural Information and Communication Complexity, 2012
2011
Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011
2010
Narrowing power vs efficiency in synchronous set agreement: Relationship, algorithms and lower bound.
Theor. Comput. Sci., 2010
Strongly Terminating Early-Stopping <i>k</i>-Set Agreement in Synchronous Systems with General Omission Failures.
Theory Comput. Syst., 2010
Proceedings of the Distributed Computing, 24th International Symposium, 2010
(anti-Omega<sup><i>x</i></sup> ×Sigma<sub><i>z</i></sub>)-Based <i>k</i>-Set Agreement Algorithms.
Proceedings of the Principles of Distributed Systems - 14th International Conference, 2010
2009
Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, 2009
2008
The Combined Power of Conditions and Information on Failures to Solve Asynchronous Set Agreement.
SIAM J. Comput., 2008
Inf. Process. Lett., 2008
On the computability power and the robustness of set agreement-oriented failure detector classes.
Distributed Comput., 2008
Proceedings of the Distributed Computing, 22nd International Symposium, 2008
Proceedings of the Distributed Computing and Networking, 9th International Conference, 2008
Proceedings of the Computing and Combinatorics, 14th Annual International Conference, 2008
2007
Derrière le consensus : coordination faiblement contrainte dans les systèmes distribués asynchrones. (Beyond consensus : weak coordination in asynchronous distributed systems).
PhD thesis, 2007
From omega to Omega: A simple bounded quiescent reliable broadcast-based transformation.
J. Parallel Distributed Comput., 2007
Test & Set, Adaptive Renaming and Set Agreement: a Guided Visit to Asynchronous Computability.
Proceedings of the 26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), 2007
Proceedings of the Structural Information and Communication Complexity, 2007
Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 2007
Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007
2006
IEEE Trans. Parallel Distributed Syst., 2006
Parallel Process. Lett., 2006
Exploring Gafni's Reduction Land: From <i>Omega</i><sup><i>k</i></sup> to Wait-Free Adaptive (2p-[p/k])-Renaming Via k-Set Agreement.
Proceedings of the Distributed Computing, 20th International Symposium, 2006
Synchronous Set Agreement: a Concise Guided Tour (including a new algorithm and a list of open problems).
Proceedings of the 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 2006
Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Distributed Computing, 2006
In Search of the Holy Grail: Looking for the Weakest Failure Detector for Wait-Free Set Agreement.
Proceedings of the Principles of Distributed Systems, 10th International Conference, 2006
Proceedings of the LATIN 2006: Theoretical Informatics, 2006
The notification based approach to implementing failure detectors in distributed systems.
Proceedings of the 1st International Conference on Scalable Information Systems, 2006
Proceedings of the Distributed Computing and Networking, 8th International Conference, 2006
Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006
2005
Proceedings of the 24th IEEE Symposium on Reliable Distributed Systems (SRDS 2005), 2005
Decision Optimal Early-Stopping k-set Agreement in Synchronous Systems Prone to Send Omission Failures.
Proceedings of the 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 2005
Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, 2005
Early-Stopping <i>k</i>-Set Agreement in Synchronous Systems Prone to Any Number of Process Crashes.
Proceedings of the Parallel Computing Technologies, 2005
Proceedings of the Principles of Distributed Systems, 9th International Conference, 2005
2004
Proceedings of the 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 2004