SÃ©bastien Tixeuil

Laboratoire: LIP6 (FR)

Publications

[CBT18] P. Courtieu, T. Balabonski, S. Tixeuil, X. Urbain, L. Rieg. "Brief Announcement: Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots", Stabilization, Safety, and Security of Distributed Systems (SSS), November 2018, Vol. 11201, pp.404-408, Series LNCS, Tokyo, Japon, (DOI: 10.1007/978-3-030-03232-6_29)

[CT17] P. Courtieu, S. Tixeuil. "Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems", FMICS-AVoCS 2017, September 2017, Vol. 10471, pp.165-181, Series LNCS, Turin, Italy, (DOI: 10.1007/978-3-319-67113-0_11)

[BPR16] L. Blin, M. Potop-Butucaru, S. Rovedakis, S. Tixeuil. "A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-Free Property", The Computer Journal, vol. 59(2), pp. 225-243, 2016, (doi:10.1093/comjnl/bxv110)

[CUT16a] P. Courtieu, X. Urbain, S. Tixeuil, L. Rieg. "Certified Universal Gathering in {\textbackslash}mathbb {R} {\^{}}2 for Oblivious Mobile Robots", DISC 2016, Distributed Computing 30th International Symposium, September 2016, Vol. 9888, pp.187-200, Series LNCS, Paris, France, (DOI: 10.1007/978-3-662-53426-7_14)
[CUT16] P. Courtieu, X. Urbain, S. Tixeuil, L. Rieg. "Brief Announcement: Certified Universal Gathering in R2 for Oblivious Mobile Robots", PODC '16: Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, July 2016, pp.439-441, Chicago, US, (DOI: 10.1145/2933057.2933070)

[CBM15] P. Courtieu, B. BÃ©rard, L. Millet, M. Potop-Butucaru, L. Rieg, N. Sznajder, S. Tixeuil, X. Urbain. "[Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems", International Journal of Informatics Society, vol. 7(3), pp. 101-114, 2015
[CRT15a] P. Courtieu, L. Rieg, S. Tixeuil, X. Urbain. "Impossibility of Gathering, a Certification", Information Processing Letters, vol. 115, pp. 447-452, 2015, (doi:10.1016/j.ipl.2014.11.001)

[CRT14] P. Courtieu, L. Rieg, S. Tixeuil, X. Urbain. "Impossibility of Gathering, a Certification", Date de dépot: 2014/05/22, Nb pages 10, (Tech. Rep.: CEDRIC-14-3016)

[ABC13] C. Auger, Z. Bouzid, P. Courtieu, S. Tixeuil, X. Urbain. "Certified Impossibility Results for Byzantine-Tolerant Mobile Robots", International Symposium on Stabilization, Safety, and Security of Distributed Systems, November 2013, Vol. 8255, pp.15, Series LNCS, Osaka, Japon,
[ABC13a] C. Auger, Z. Bouzid, P. Courtieu, S. Tixeuil, X. Urbain. "Brief Announcement: Certified impossibility results for Byzantine-tolerant mobile robots", International Symposium on Distributed Computing (DISC2013), October 2013, Vol. 8205, pp.2, Series LNCS, Jerusalem, Israel,