% csauthors.net - beta - BibTeX bibliography of Sébastien Tixeuil
@inproceedings{conf/icdcs/AlimaBDT98,
title = {Self-Stabilization with Global Rooted Synchronizers.},
year = {1998},
booktitle = {ICDCS},
author = {{Luc Onana Alima} and {Joffroy Beauquier} and {Ajoy Kumar Datta} and {Sébastien Tixeuil}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the 18th International Conference on Distributed Computing Systems, Amsterdam, The Netherlands, May 26-29, 1998}
}
@inproceedings{conf/opodis/DucourthialT98,
title = {SelfStabilizing Global Computations with rOperators.},
year = {1998},
booktitle = {OPODIS},
author = {{Bertrand Ducourthial} and {Sébastien Tixeuil}},
publisher = {Hermes},
booktitle = {Distributed Computing, 2nd International Conference On Principles Of Distributed Systems. OPODIS 98, Amiens, France, December 16-18, 1998}
}
@inproceedings{conf/icdcs/JohnenADT99,
title = {Self-Stabilizing Neighborhood Synchronizer in Tree Networks.},
year = {1999},
booktitle = {ICDCS},
author = {{Colette Johnen} and {Luc Onana Alima} and {Ajoy Kumar Datta} and {Sébastien Tixeuil}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31 - June 4, 1999}
}
@inproceedings{conf/wss/BeauquierDT99,
title = {Self-stabilizing census with cut-through constraint.},
year = {1999},
booktitle = {WSS},
author = {{Joffroy Beauquier} and {Ajoy Kumar Datta} and {Sébastien Tixeuil}},
publisher = {IEEE Computer Society},
booktitle = {1999 ICDCS Workshop on Self-stabilizing Systems, Austin, Texas, USA, June 5, 1999, Proceedings}
}
@article{journals/ppl/DasDT99,
title = {Self-Stabilizing Algorithms in DAG Structured Networks.},
year = {1999},
journal = {Parallel Process. Lett.},
author = {{Sajal K. Das 001} and {Ajoy Kumar Datta} and {Sébastien Tixeuil}}
}
@inproceedings{conf/ipps/DattaGT00,
title = {Self-Stabilizing Mutual Exclusion Using Unfair Distributed Scheduler.},
year = {2000},
booktitle = {IPDPS},
author = {{Ajoy Kumar Datta} and {Maria Gradinariu} and {Sébastien Tixeuil}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), Cancun, Mexico, May 1-5, 2000}
}
@inproceedings{conf/opodis/DelaetT00,
title = {Tolerating Transient and Intermittent Failure.},
year = {2000},
booktitle = {OPODIS},
author = {{Sylvie Delaët} and {Sébastien Tixeuil}},
publisher = {Suger, Saint-Denis, rue Catulienne, France},
booktitle = {Procedings of the 4th International Conference on Principles of Distributed Systems, OPODIS 2000, Paris, France, December 20-22, 2000}
}
@inproceedings{conf/opodis/GradinariuT00,
title = {Self-stabilizing Vertex Coloration and Arbitrary Graphs.},
year = {2000},
booktitle = {OPODIS},
author = {{Maria Gradinariu} and {Sébastien Tixeuil}},
publisher = {Suger, Saint-Denis, rue Catulienne, France},
booktitle = {Procedings of the 4th International Conference on Principles of Distributed Systems, OPODIS 2000, Paris, France, December 20-22, 2000}
}
@article{journals/join/DattaDLT00,
title = {Stabilizing Hierarchical Routing.},
year = {2000},
journal = {J. Interconnect. Networks},
author = {{Ajoy Kumar Datta} and {Jerry L. Derby} and {James E. Lawrence} and {Sébastien Tixeuil}}
}
@phdthesis{phd/hal/Tixeuil00,
title = {Auto-stabilisation Efficace. (Efficient Self-stabilization).},
year = {2000},
author = {{Sébastien Tixeuil}}
}
@inproceedings{conf/icdcs/GradinariuT01,
title = {Tight Space Self-Stabilizing Uniform l-Mutual Exclusion.},
year = {2001},
booktitle = {ICDCS},
author = {{Maria Gradinariu} and {Sébastien Tixeuil}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), Phoenix, Arizona, USA, April 16-19, 2001}
}
@inproceedings{conf/wss/Tixeuil01,
title = {On a Space-Optimal Distributed Traversal Algorithm.},
year = {2001},
booktitle = {WSS},
author = {{Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Self-Stabilizing Systems, 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001, Proceedings}
}
@article{journals/dc/DucourthialT01,
title = {Self-stabilization with r-operators.},
year = {2001},
journal = {Distributed Comput.},
author = {{Bertrand Ducourthial} and {Sébastien Tixeuil}}
}
@article{journals/paapp/DattaT01,
title = {Self-stabilizing distributed sorting in tree networks.},
year = {2001},
journal = {Parallel Algorithms Appl.},
author = {{Ajoy Kumar Datta} and {Sébastien Tixeuil}}
}
@inproceedings{conf/europar/ChenDT02,
title = {Stabilizing Inter-domain Routing in the Internet (Research Note).},
year = {2002},
booktitle = {Euro-Par},
author = {{Yu Chen} and {Ajoy Kumar Datta} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Euro-Par 2002, Parallel Processing, 8th International Euro-Par Conference Paderborn, Germany, August 27-30, 2002, Proceedings}
}
@inproceedings{conf/srds/GenoliniT02,
title = {A Lower Bound on Dynamic k-Stabilization in Asynchronous Systems.},
year = {2002},
booktitle = {SRDS},
author = {{Christophe Genolini} and {Sébastien Tixeuil}},
publisher = {IEEE Computer Society},
booktitle = {21st Symposium on Reliable Distributed Systems (SRDS 2002), 13-16 October 2002, Osaka, Japan}
}
@article{journals/jpdc/DelaetT02,
title = {Tolerating Transient and Intermittent Failures.},
year = {2002},
journal = {J. Parallel Distributed Comput.},
author = {{Sylvie Delaët} and {Sébastien Tixeuil}}
}
@article{journals/ppl/JohnenADT02,
title = {Optimal Snap-Stabilizing Neighborhood Synchronizer in Tree Networks.},
year = {2002},
journal = {Parallel Process. Lett.},
author = {{Colette Johnen} and {Luc Onana Alima} and {Ajoy Kumar Datta} and {Sébastien Tixeuil}}
}
@inproceedings{conf/rivf/DelaetNT03,
title = {Stabilite Et Auto-Stabilisation Du Routage Inter-Domaine Dans Internet.},
year = {2003},
booktitle = {RIVF},
author = {{Sylvie Delaët} and {Duy-So Nguyen} and {Sébastien Tixeuil}},
publisher = {Editions Suger, Paris},
booktitle = {Actes de la Première Conférence Internationale RIVF'03 Rencontres en Informatique Vietnam-France, RIVF'03, Hanoi, Vietnam, 10-13 Février, 2003}
}
@inproceedings{conf/sss/JohnenT03,
title = {Route Preserving Stabilization.},
year = {2003},
booktitle = {Self-Stabilizing Systems},
author = {{Colette Johnen} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Self-Stabilizing Systems, 6th International Symposium, SSS 2003, San Francisco, CA, USA, June 24-25, 2003, Proceedings}
}
@article{journals/jise/DattaGK03,
title = {Self-Stabilizing Wormhole Routing on Ring Networks.},
year = {2003},
journal = {J. Inf. Sci. Eng.},
author = {{Ajoy Kumar Datta} and {Maria Gradinariu} and {Anthony B. Kenitzki} and {Sébastien Tixeuil}}
}
@article{journals/tcs/DucourthialT03,
title = {Self-stabilization with path algebra.},
year = {2003},
journal = {Theor. Comput. Sci.},
author = {{Bertrand Ducourthial} and {Sébastien Tixeuil}}
}
@inproceedings{conf/algosensors/HermanT04,
title = {A Distributed TDMA Slot Assignment Algorithm for Wireless Sensor Networks.},
year = {2004},
booktitle = {ALGOSENSORS},
author = {{Ted Herman} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Algorithmic Aspects of Wireless Sensor Networks: First International Workshop, ALGOSENSORS 2004, Turku, Finland, July 16, 2004. Proceedings}
}
@inproceedings{conf/wdag/DuchonHT04,
title = {Optimal Randomized Self-stabilizing Mutual Exclusion on Synchronous Rings.},
year = {2004},
booktitle = {DISC},
author = {{Philippe Duchon} and {Nicolas Hanusse} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Distributed Computing, 18th International Conference, DISC 2004, Amsterdam, The Netherlands, October 4-7, 2004, Proceedings}
}
@article{journals/cj/DattaGT04,
title = {Self-Stabilizing Mutual Exclusion Under Arbitrary Scheduler.},
year = {2004},
journal = {Comput. J.},
author = {{Ajoy Kumar Datta} and {Maria Gradinariu} and {Sébastien Tixeuil}}
}
@article{journals/tsi/JohnenPT04,
title = {Autostabilisation et protocoles réseau.},
year = {2004},
journal = {Tech. Sci. Informatiques},
author = {{Colette Johnen} and {Franck Petit} and {Sébastien Tixeuil}}
}
@inproceedings{conf/grid/HoarauT05,
title = {A language-driven tool for fault injection in distributed systems.},
year = {2005},
booktitle = {GRID},
author = {{William Hoarau} and {Sébastien Tixeuil}},
publisher = {IEEE Computer Society},
booktitle = {6th IEEE/ACM International Conference on Grid Computing (GRID 2005), November 13-14, 2005, Seattle, Washington, USA, Proceedings}
}
@inproceedings{conf/icdcsw/MittonFLT05,
title = {Self-Stabilization in Self-Organized Multihop Wireless Networks.},
year = {2005},
booktitle = {ICDCS Workshops},
author = {{Nathalie Mitton} and {Eric Fleury} and {Isabelle Guérin Lassous} and {Sébastien Tixeuil}},
publisher = {IEEE Computer Society},
booktitle = {25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 6-10 June 2005, Columbus, OH, USA}
}
@inproceedings{conf/opodis/MasuzawaT05,
title = {A Self-stabilizing Link-Coloring Protocol Resilient to Unbounded Byzantine Faults in Arbitrary Networks.},
year = {2005},
booktitle = {OPODIS},
author = {{Toshimitsu Masuzawa} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Principles of Distributed Systems, 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers}
}
@inproceedings{conf/sirocco/FraigniaudIRT05,
title = {Space Lower Bounds for Graph Exploration via Reduced Automata.},
year = {2005},
booktitle = {SIROCCO},
author = {{Pierre Fraigniaud} and {David Ilcinkas} and {Sergio Rajsbaum} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Structural Information and Communication Complexity, 12th International Colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005, Proceedings}
}
@article{journals/jhsn/ChenDT05,
title = {Stabilizing inter-domain routing in the Internet.},
year = {2005},
journal = {J. High Speed Networks},
author = {{Yu Chen} and {Ajoy Kumar Datta} and {Sébastien Tixeuil}}
}
@book{books/hal/Tixeuil06,
title = {Vers l'auto-stabilisation des systèmes à grande échelle. (Toward self-stabilizing large-scale systems).},
year = {2006},
author = {{Sébastien Tixeuil}}
}
@inproceedings{conf/birthday/FraigniaudIRT06,
title = {The Reduced Automata Technique for Graph Exploration Space Lower Bounds.},
year = {2006},
booktitle = {Essays in Memory of Shimon Even},
author = {{Pierre Fraigniaud} and {David Ilcinkas} and {Sergio Rajsbaum} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Theoretical Computer Science, Essays in Memory of Shimon Even}
}
@inproceedings{conf/cluster/HoarauLHRTC06,
title = {FAIL-MPI: How Fault-Tolerant Is Fault-Tolerant MPI?},
year = {2006},
booktitle = {CLUSTER},
author = {{William Hoarau} and {Pierre Lemarinier} and {Thomas Hérault} and {Eric Rodriguez} and {Sébastien Tixeuil} and {Franck Cappello}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the 2006 IEEE International Conference on Cluster Computing, September 25-28, 2006, Barcelona, Spain}
}
@inproceedings{conf/coregrid/HoarauTRSS06,
title = {Dependability Evaluation of The Ogsa-Dai Middleware.},
year = {2006},
booktitle = {CoreGRID Integration Workshop},
author = {{William Hoarau} and {Sébastien Tixeuil} and {Nuno Rodrigues} and {Décio Sousa} and {Luís Moura Silva}},
publisher = {Springer},
booktitle = {Achievements in European Research on Grid Systems: CoreGRID Integration Workshop 2006, Krakow, Poland, October 19-20, Selected Papers}
}
@inproceedings{conf/icpads/MittonFLST06,
title = {Fast Convergence in Self-Stabilizing Wireless Networks.},
year = {2006},
booktitle = {ICPADS (1)},
author = {{Nathalie Mitton} and {Eric Fleury} and {Isabelle Guérin Lassous} and {Bruno Sericola} and {Sébastien Tixeuil}},
publisher = {IEEE Computer Society},
booktitle = {12th International Conference on Parallel and Distributed Systems, ICPADS 2006, Minneapolis, Minnesota, USA, July 12-15, 2006}
}
@inproceedings{conf/ipps/HoarauTV06,
title = {Fault injection in distributed Java applications.},
year = {2006},
booktitle = {IPDPS},
author = {{William Hoarau} and {Sébastien Tixeuil} and {Fabien Vauchelles}},
publisher = {IEEE},
booktitle = {20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece}
}
@inproceedings{conf/sss/DasguptaGT06,
title = {Selfish Stabilization.},
year = {2006},
booktitle = {SSS},
author = {{Anurag Dasgupta} and {Sukumar Ghosh} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Stabilization, Safety, and Security of Distributed Systems, 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings}
}
@inproceedings{conf/sss/MasuzawaT06,
title = {Bounding the Impact of Unbounded Attacks in Stabilization.},
year = {2006},
booktitle = {SSS},
author = {{Toshimitsu Masuzawa} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Stabilization, Safety, and Security of Distributed Systems, 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings}
}
@inproceedings{journals/entcs/CadilhacHLPT07,
title = {Evaluating Complex MAC Protocols for Sensor Networks with APMC.},
year = {2006},
booktitle = {AVoCS},
author = {{Michaël Cadilhac} and {Thomas Hérault} and {Richard Lassaigne} and {Sylvain Peyronnet} and {Sébastien Tixeuil}},
publisher = {Elsevier},
booktitle = {Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006}
}
@article{journals/jacic/DelaetDT06,
title = {Self-Stabilization with r-Operators revisited.},
year = {2006},
journal = {J. Aerosp. Comput. Inf. Commun.},
author = {{Sylvie Delaët} and {Bertrand Ducourthial} and {Sébastien Tixeuil}}
}
@inproceedings{conf/dsn/GreveT07,
title = {Knowledge Connectivity vs. Synchrony Requirements for Fault-Tolerant Agreement in Unknown Networks.},
year = {2007},
booktitle = {DSN},
author = {{Fabíola Greve} and {Sébastien Tixeuil}},
publisher = {IEEE Computer Society},
booktitle = {The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK, Proceedings}
}
@inproceedings{conf/icdcs/GradinariuT07,
title = {Conflict Managers for Self-stabilization without Fairness Assumption.},
year = {2007},
booktitle = {ICDCS},
author = {{Maria Gradinariu} and {Sébastien Tixeuil}},
publisher = {IEEE Computer Society},
booktitle = {27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007), June 25-29, 2007, Toronto, Ontario, Canada}
}
@inproceedings{conf/opodis/BlinPT07,
title = {On the Self-stabilization of Mobile Robots in Graphs.},
year = {2007},
booktitle = {OPODIS},
author = {{Lélia Blin} and {Maria Gradinariu Potop-Butucaru} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Principles of Distributed Systems, 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings}
}
@article{journals/dc/BeauquierDDT07,
title = {Transient fault detectors.},
year = {2007},
journal = {Distributed Comput.},
author = {{Joffroy Beauquier} and {Sylvie Delaët} and {Shlomi Dolev} and {Sébastien Tixeuil}}
}
@article{journals/fgcs/HoarauTV07,
title = {FAIL-FCI: Versatile fault injection.},
year = {2007},
journal = {Future Gener. Comput. Syst.},
author = {{William Hoarau} and {Sébastien Tixeuil} and {Fabien Vauchelles}}
}
@inproceedings{conf/icdcs/DevismesTY08,
title = {Weak vs. Self vs. Probabilistic Stabilization.},
year = {2008},
booktitle = {ICDCS},
author = {{Stéphane Devismes} and {Sébastien Tixeuil} and {Masafumi Yamashita}},
publisher = {IEEE Computer Society},
booktitle = {28th IEEE International Conference on Distributed Computing Systems (ICDCS 2008), 17-20 June 2008, Beijing, China}
}
@inproceedings{conf/sss/ManneMPT08,
title = {A Self-stabilizing -Approximation Algorithm for the Maximum Matching Problem.},
year = {2008},
booktitle = {SSS},
author = {{Fredrik Manne} and {Morten Mjelde} and {Laurence Pilard} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings}
}
@inproceedings{conf/sss/VoraNTD08,
title = {Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks.},
year = {2008},
booktitle = {SSS},
author = {{Adnan Vora} and {Mikhail Nesterenko} and {Sébastien Tixeuil} and {Sylvie Delaët}},
publisher = {Springer},
booktitle = {Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings}
}
@article{journals/corr/abs-0802-1387,
title = {Ascending runs in dependent uniformly distributed random variables: Application to wireless networks},
year = {2008},
journal = {CoRR},
author = {{Nathalie Mitton} and {Katy Paroux} and {Bruno Sericola} and {Sébastien Tixeuil}}
}
@article{journals/corr/abs-0805-0851,
title = {Bounds for self-stabilization in unidirectional networks},
year = {2008},
journal = {CoRR},
author = {{Samuel Bernard} and {Stéphane Devismes} and {Maria Gradinariu Potop-Butucaru} and {Sébastien Tixeuil}}
}
@article{journals/taas/CohenDGT08,
title = {An exercise in selfish stabilization.},
year = {2008},
journal = {ACM Trans. Auton. Adapt. Syst.},
author = {{Johanne Cohen} and {Anurag Dasgupta} and {Sukumar Ghosh} and {Sébastien Tixeuil}}
}
@inproceedings{conf/icdcn/BouzidPT09,
title = {Byzantine-Resilient Convergence in Oblivious Robot Networks.},
year = {2009},
booktitle = {ICDCN},
author = {{Zohir Bouzid} and {Maria Gradinariu Potop-Butucaru} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Distributed Computing and Networking, 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings}
}
@inproceedings{conf/icdcs/DevismesMT09,
title = {Communication Efficiency in Self-Stabilizing Silent Protocols.},
year = {2009},
booktitle = {ICDCS},
author = {{Stéphane Devismes} and {Toshimitsu Masuzawa} and {Sébastien Tixeuil}},
publisher = {IEEE Computer Society},
booktitle = {29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 22-26 June 2009, Montreal, Québec, Canada}
}
@inproceedings{conf/ipps/BernardDPT09,
title = {Optimal deterministic self-stabilizing vertex coloring in unidirectional anonymous networks.},
year = {2009},
booktitle = {IPDPS},
author = {{Samuel Bernard} and {Stéphane Devismes} and {Maria Gradinariu Potop-Butucaru} and {Sébastien Tixeuil}},
publisher = {IEEE},
booktitle = {23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009}
}
@inproceedings{conf/opodis/BouzidPT09,
title = {Byzantine Convergence in Robot Networks: The Price of Asynchrony.},
year = {2009},
booktitle = {OPODIS},
author = {{Zohir Bouzid} and {Maria Gradinariu Potop-Butucaru} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Principles of Distributed Systems, 13th International Conference, OPODIS 2009, Nîmes, France, December 15-18, 2009. Proceedings}
}
@inproceedings{conf/sss/BouzidPT09,
title = {Optimal Byzantine Resilient Convergence in Asynchronous Robots Networks.},
year = {2009},
booktitle = {SSS},
author = {{Zohir Bouzid} and {Maria Gradinariu Potop-Butucaru} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings}
}
@inproceedings{conf/wdag/DuboisPT09,
title = {Brief Announcement: Dynamic FTSS in Asynchronous Systems: The Case of Unison.},
year = {2009},
booktitle = {DISC},
author = {{Swan Dubois} and {Maria Gradinariu Potop-Butucaru} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Distributed Computing, 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings}
}
@article{journals/corr/abs-0902-1834,
title = {Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots},
year = {2009},
journal = {CoRR},
author = {{Stéphane Devismes} and {Franck Petit} and {Sébastien Tixeuil}}
}
@article{journals/corr/abs-0903-3106,
title = {Stabilizing Maximal Independent Set in Unidirectional Networks is Hard},
year = {2009},
journal = {CoRR},
author = {{Toshimitsu Masuzawa} and {Sébastien Tixeuil}}
}
@article{journals/corr/abs-0905-3967,
title = {Optimal byzantine resilient convergence in oblivious robot networks},
year = {2009},
journal = {CoRR},
author = {{Zohir Bouzid} and {Maria Potop-Butucaru} and {Sébastien Tixeuil}}
}
@article{journals/corr/abs-0906-0651,
title = {Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks},
year = {2009},
journal = {CoRR},
author = {{Zohir Bouzid} and {Maria Gradinariu Potop-Butucaru} and {Sébastien Tixeuil}}
}
@article{journals/corr/abs-0908-0390,
title = {Byzantine Convergence in Robots Networks: The Price of Asynchrony},
year = {2009},
journal = {CoRR},
author = {{Zohir Bouzid} and {Maria Potop-Butucaru} and {Sébastien Tixeuil}}
}
@article{journals/taas/DanturiNT09,
title = {Self-stabilizing philosophers with generic conflicts.},
year = {2009},
journal = {ACM Trans. Auton. Adapt. Syst.},
author = {{Praveen Danturi} and {Mikhail Nesterenko} and {Sébastien Tixeuil}}
}
@article{journals/taas/MasuzawaT09,
title = {On bootstrapping topology knowledge in anonymous networks.},
year = {2009},
journal = {ACM Trans. Auton. Adapt. Syst.},
author = {{Toshimitsu Masuzawa} and {Sébastien Tixeuil}}
}
@article{journals/tcs/ManneMPT09,
title = {A new self-stabilizing maximal matching algorithm.},
year = {2009},
journal = {Theor. Comput. Sci.},
author = {{Fredrik Manne} and {Morten Mjelde} and {Laurence Pilard} and {Sébastien Tixeuil}}
}
@article{journals/tpds/NesterenkoT09,
title = {Discovering Network Topology in the Presence of Byzantine Faults.},
year = {2009},
journal = {IEEE Trans. Parallel Distributed Syst.},
author = {{Mikhail Nesterenko} and {Sébastien Tixeuil}}
}
@inproceedings{conf/crisis/LesueurRHPT10,
title = {SAFE-OS: A secure and usable desktop operating system.},
year = {2010},
booktitle = {CRiSIS},
author = {{François Lesueur} and {Ala Rezmerita} and {Thomas Hérault} and {Sylvain Peyronnet} and {Sébastien Tixeuil}},
publisher = {IEEE Computer Society},
booktitle = {CRiSIS 2010, Proceedings of the Fifth International Conference on Risks and Security of Internet and Systems, Montreal, QC, Canada, October 10-13, 2010}
}
@inproceedings{conf/icdcn/BernardDPPT10,
title = {Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks.},
year = {2010},
booktitle = {ICDCN},
author = {{Samuel Bernard} and {Stéphane Devismes} and {Katy Paroux} and {Maria Potop-Butucaru} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Distributed Computing and Networking, 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010. Proceedings}
}
@inproceedings{conf/icdcs/MasuzawaT10,
title = {Stabilizing Locally Maximizable Tasks in Unidirectional Networks Is Hard.},
year = {2010},
booktitle = {ICDCS},
author = {{Toshimitsu Masuzawa} and {Sébastien Tixeuil}},
publisher = {IEEE Computer Society},
booktitle = {2010 International Conference on Distributed Computing Systems, ICDCS 2010, Genova, Italy, June 21-25, 2010}
}
@inproceedings{conf/mswim/AliT10,
title = {Advanced faults patterns for WSN dependability benchmarking.},
year = {2010},
booktitle = {MSWiM},
author = {{Ali Asim} and {Sébastien Tixeuil}},
publisher = {ACM},
booktitle = {Proceedings of the 13th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2010, Bodrum, Turkey, October 17-21, 2010}
}
@inproceedings{conf/opodis/BouzidDPT10,
title = {RoboCast: Asynchronous Communication in Robot Networks.},
year = {2010},
booktitle = {OPODIS},
author = {{Zohir Bouzid} and {Shlomi Dolev} and {Maria Potop-Butucaru} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Principles of Distributed Systems - 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings}
}
@inproceedings{conf/opodis/DuboisPNT10,
title = {Self-stabilizing Byzantine Asynchronous Unison, .},
year = {2010},
booktitle = {OPODIS},
author = {{Swan Dubois} and {Maria Gradinariu Potop-Butucaru} and {Mikhail Nesterenko} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Principles of Distributed Systems - 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings}
}
@inproceedings{conf/opodis/YamauchiT10,
title = {Monotonic Stabilization.},
year = {2010},
booktitle = {OPODIS},
author = {{Yukiko Yamauchi} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Principles of Distributed Systems - 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings}
}
@inproceedings{conf/podc/GreveT10,
title = {Conditions for the solvability of fault-tolerant consensus in asynchronous unknown networks: invited paper.},
year = {2010},
booktitle = {WRAS},
author = {{Fabíola Greve} and {Sébastien Tixeuil}},
publisher = {ACM},
booktitle = {Proceedings of the Third International Workshop on Reliability, Availability, and Security, WRAS 2010, conjunction with PODC 2010 Zurich, Switzerland, July 29, 2010}
}
@inproceedings{conf/podc/YamauchiT10,
title = {Brief announcement: monotonic stabilization.},
year = {2010},
booktitle = {PODC},
author = {{Yukiko Yamauchi} and {Sébastien Tixeuil}},
publisher = {ACM},
booktitle = {Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, PODC 2010, Zurich, Switzerland, July 25-28, 2010}
}
@inproceedings{conf/sirocco/LamaniPT10,
title = {Optimal Deterministic Ring Exploration with Oblivious Asynchronous Robots.},
year = {2010},
booktitle = {SIROCCO},
author = {{Anissa Lamani} and {Maria Gradinariu Potop-Butucaru} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Structural Information and Communication Complexity, 17th International Colloquium, SIROCCO 2010, Sirince, Turkey, June 7-11, 2010. Proceedings}
}
@inproceedings{conf/sss/BernardPT10,
title = {A Framework for Secure and Private P2P Publish/Subscribe.},
year = {2010},
booktitle = {SSS},
author = {{Samuel Bernard} and {Maria Gradinariu Potop-Butucaru} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings}
}
@inproceedings{conf/sss/BlinPRT10,
title = {Loop-Free Super-Stabilizing Spanning Tree Construction.},
year = {2010},
booktitle = {SSS},
author = {{Lélia Blin} and {Maria Gradinariu Potop-Butucaru} and {Stephane Rovedakis} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings}
}
@inproceedings{conf/sss/DuboisMT10,
title = {On Byzantine Containment Properties of the min + 1 Protocol.},
year = {2010},
booktitle = {SSS},
author = {{Swan Dubois} and {Toshimitsu Masuzawa} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings}
}
@inproceedings{conf/sss/IzumiPT10,
title = {Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility.},
year = {2010},
booktitle = {SSS},
author = {{Taisuke Izumi} and {Maria Gradinariu Potop-Butucaru} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings}
}
@inproceedings{conf/wdag/AlonADDGT10,
title = {Brief Announcement: Sharing Memory in a Self-stabilizing Manner.},
year = {2010},
booktitle = {DISC},
author = {{Noga Alon} and {Hagit Attiya} and {Shlomi Dolev} and {Swan Dubois} and {Maria Gradinariu} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings}
}
@inproceedings{conf/wdag/BlinMPT10,
title = {Exclusive Perpetual Ring Exploration without Chirality.},
year = {2010},
booktitle = {DISC},
author = {{Lélia Blin} and {Alessia Milani} and {Maria Potop-Butucaru} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings}
}
@inproceedings{conf/wdag/DuboisMT10,
title = {The Impact of Topology on Byzantine Containment in Stabilization.},
year = {2010},
booktitle = {DISC},
author = {{Swan Dubois} and {Toshimitsu Masuzawa} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings}
}
@inproceedings{conf/wowmom/AsimT10,
title = {XS-WSNet: Extreme scale wireless sensor network simulation.},
year = {2010},
booktitle = {WOWMOM},
author = {{Ali Asim} and {Sébastien Tixeuil}},
publisher = {IEEE Computer Society},
booktitle = {11th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WOWMOM 2010, Montreal, QC, Canada, 14-17 June, 2010}
}
@article{journals/corr/abs-1004-5256,
title = {Construction auto-stabilisante d'arbre couvrant en dépit d'actions malicieuses},
year = {2010},
journal = {CoRR},
author = {{Swan Dubois} and {Toshimitsu Masuzawa} and {Sébastien Tixeuil}}
}
@article{journals/corr/abs-1005-3367,
title = {Self-stabilization with Byzantine tolerance for global tasks},
year = {2010},
journal = {CoRR},
author = {{Swan Dubois} and {Toshimitsu Masuzawa} and {Sébastien Tixeuil}}
}
@article{journals/corr/abs-1005-5223,
title = {On Byzantine Containment Properties of the \$min+1\$ Protocol},
year = {2010},
journal = {CoRR},
author = {{Swan Dubois} and {Toshimitsu Masuzawa} and {Sébastien Tixeuil}}
}
@article{journals/corr/abs-1006-3009,
title = {Universal Loop-Free Super-Stabilization},
year = {2010},
journal = {CoRR},
author = {{Lélia Blin} and {Maria Potop-Butucaru} and {Stephane Rovedakis} and {Sébastien Tixeuil}}
}
@article{journals/corr/abs-1007-1802,
title = {Practically Stabilizing Atomic Memory},
year = {2010},
journal = {CoRR},
author = {{Noga Alon} and {Hagit Attiya} and {Shlomi Dolev} and {Swan Dubois} and {Maria Gradinariu} and {Sébastien Tixeuil}}
}
@article{journals/jpdc/DelaetDNT10,
title = {Snap-stabilization in message-passing systems.},
year = {2010},
journal = {J. Parallel Distributed Comput.},
author = {{Sylvie Delaët} and {Stéphane Devismes} and {Mikhail Nesterenko} and {Sébastien Tixeuil}}
}
@article{journals/tcs/BouzidPT10,
title = {Optimal Byzantine-resilient convergence in uni-dimensional robot networks.},
year = {2010},
journal = {Theor. Comput. Sci.},
author = {{Zohir Bouzid} and {Maria Gradinariu Potop-Butucaru} and {Sébastien Tixeuil}}
}
@article{journals/tcs/MasuzawaT10,
title = {Quiescence of self-stabilizing gossiping among mobile agents in graphs.},
year = {2010},
journal = {Theor. Comput. Sci.},
author = {{Toshimitsu Masuzawa} and {Sébastien Tixeuil}}
}
@inproceedings{conf/aina/NesterenkoT11,
title = {Ideal Stabilization.},
year = {2011},
booktitle = {AINA},
author = {{Mikhail Nesterenko} and {Sébastien Tixeuil}},
publisher = {IEEE Computer Society},
booktitle = {25th IEEE International Conference on Advanced Information Networking and Applications, AINA 2011, Biopolis, Singapore, March 22-25, 2011}
}
@inproceedings{conf/nbis/Potop-ButucaruRT11,
title = {Distributed Computing with Mobile Robots: An Introductory Survey.},
year = {2011},
booktitle = {NBiS},
author = {{Maria Potop-Butucaru} and {Michel Raynal} and {Sébastien Tixeuil}},
publisher = {IEEE Computer Society},
booktitle = {The 14th International Conference on Network-Based Information Systems, NBiS 2011, Tirana, Albania, September 7-9, 2011}
}
@inproceedings{conf/opodis/BonnetMPT11,
title = {Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction.},
year = {2011},
booktitle = {OPODIS},
author = {{François Bonnet 001} and {Alessia Milani} and {Maria Potop-Butucaru} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Principles of Distributed Systems - 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings}
}
@inproceedings{conf/sirocco/KameiLOT11,
title = {Asynchronous Mobile Robot Gathering from Symmetric Configurations without Global Multiplicity Detection.},
year = {2011},
booktitle = {SIROCCO},
author = {{Sayaka Kamei} and {Anissa Lamani} and {Fukuhito Ooshita} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Structural Information and Communication Complexity - 18th International Colloquium, SIROCCO 2011, Gdansk, Poland, June 26-29, 2011. Proceedings}
}
@inproceedings{conf/sss/AlonADDPT11,
title = {Pragmatic Self-stabilization of Atomic Memory in Message-Passing Systems.},
year = {2011},
booktitle = {SSS},
author = {{Noga Alon} and {Hagit Attiya} and {Shlomi Dolev} and {Swan Dubois} and {Maria Potop-Butucaru} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings}
}
@inproceedings{conf/wdag/IzumiBTW11,
title = {Brief Announcement: The BG-Simulation for Byzantine Mobile Robots.},
year = {2011},
booktitle = {DISC},
author = {{Taisuke Izumi} and {Zohir Bouzid} and {Sébastien Tixeuil} and {Koichi Wada 001}},
publisher = {Springer},
booktitle = {Distributed Computing - 25th International Symposium, DISC 2011, Rome, Italy, September 20-22, 2011. Proceedings}
}
@article{journals/ahswn/MittonSTFL11,
title = {Self-stabilization in Self-organized Wireless Multihop Networks?},
year = {2011},
journal = {Ad Hoc Sens. Wirel. Networks},
author = {{Nathalie Mitton} and {Bruno Sericola} and {Sébastien Tixeuil} and {Eric Fleury} and {Isabelle Guérin Lassous}}
}
@article{journals/corr/abs-1103-3515,
title = {Self-Stabilization, Byzantine Containment, and Maximizable Metrics: Necessary Conditions},
year = {2011},
journal = {CoRR},
author = {{Swan Dubois} and {Toshimitsu Masuzawa} and {Sébastien Tixeuil}}
}
@article{journals/corr/abs-1104-3947,
title = {Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO},
year = {2011},
journal = {CoRR},
author = {{Shlomi Dolev} and {Swan Dubois} and {Maria Potop-Butucaru} and {Sébastien Tixeuil}}
}
@article{journals/corr/abs-1104-4022,
title = {Auto-Stabilisation et Confinement de Fautes Malicieuses : Optimalité du Protocole min+1},
year = {2011},
journal = {CoRR},
author = {{Swan Dubois} and {Toshimitsu Masuzawa} and {Sébastien Tixeuil}}
}
@article{journals/corr/abs-1106-0113,
title = {The BG-simulation for Byzantine Mobile Robots},
year = {2011},
journal = {CoRR},
author = {{Taisuke Izumi} and {Zohir Bouzid} and {Sébastien Tixeuil} and {Koichi Wada 001}}
}
@article{journals/corr/abs-1110-0334,
title = {A Taxonomy of Daemons in Self-stabilization},
year = {2011},
journal = {CoRR},
author = {{Swan Dubois} and {Sébastien Tixeuil}}
}
@article{journals/ipl/DolevDPT11,
title = {Stabilizing data-link over non-FIFO channels with optimal fault-resilience.},
year = {2011},
journal = {Inf. Process. Lett.},
author = {{Shlomi Dolev} and {Swan Dubois} and {Maria Potop-Butucaru} and {Sébastien Tixeuil}}
}
@article{journals/tcs/DelaetMRT11,
title = {Deterministic secure positioning in wireless sensor networks.},
year = {2011},
journal = {Theor. Comput. Sci.},
author = {{Sylvie Delaët} and {Partha Sarathi Mandal 001} and {Mariusz A. Rokicki} and {Sébastien Tixeuil}}
}
@article{journals/tcs/DuboisPT11,
title = {Dynamic FTSS in asynchronous systems: The case of unison.},
year = {2011},
journal = {Theor. Comput. Sci.},
author = {{Swan Dubois} and {Maria Potop-Butucaru} and {Sébastien Tixeuil}}
}
@article{journals/tcs/ManneMPT11,
title = {A self-stabilizing 2/3-approximation algorithm for the maximum matching problem.},
year = {2011},
journal = {Theor. Comput. Sci.},
author = {{Fredrik Manne} and {Morten Mjelde} and {Laurence Pilard} and {Sébastien Tixeuil}}
}
@article{journals/tsi/Tixeuil11,
title = {Éditorial.},
year = {2011},
journal = {Tech. Sci. Informatiques},
author = {{Sébastien Tixeuil}}
}
@inproceedings{conf/aina/BernardDT12,
title = {A Fast and Robust Optimistic Total Order Broadcast for Online Video Games.},
year = {2012},
booktitle = {AINA Workshops},
author = {{Samuel Bernard} and {Xavier Défago} and {Sébastien Tixeuil}},
publisher = {IEEE Computer Society},
booktitle = {26th International Conference on Advanced Information Networking and Applications Workshops, WAINA 2012, Fukuoka, Japan, March 26-29, 2012}
}
@inproceedings{conf/fun/DuboisTZ12,
title = {The Byzantine Brides Problem.},
year = {2012},
booktitle = {FUN},
author = {{Swan Dubois} and {Sébastien Tixeuil} and {Nini Zhu}},
publisher = {Springer},
booktitle = {Fun with Algorithms - 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012. Proceedings}
}
@inproceedings{conf/icdcs/MaurerT12,
title = {Limiting Byzantine Influence in Multihop Asynchronous Networks.},
year = {2012},
booktitle = {ICDCS},
author = {{Alexandre Maurer} and {Sébastien Tixeuil}},
publisher = {IEEE Computer Society},
booktitle = {2012 IEEE 32nd International Conference on Distributed Computing Systems, Macau, China, June 18-21, 2012}
}
@inproceedings{conf/iwcmc/CarlinetHKMNT12,
title = {Four months in daily motion: Dissecting user video requests.},
year = {2012},
booktitle = {IWCMC},
author = {{Yannick Carlinet} and {The Dang Huynh} and {Bruno Kauffmann} and {Fabien Mathieu} and {Ludovic Noirie} and {Sébastien Tixeuil}},
publisher = {IEEE},
booktitle = {8th International Wireless Communications and Mobile Computing Conference, IWCMC 2012, Limassol, Cyprus, August 27-31, 2012}
}
@inproceedings{conf/mfcs/KameiLOT12,
title = {Gathering an Even Number of Robots in an Odd Ring without Global Multiplicity Detection.},
year = {2012},
booktitle = {MFCS},
author = {{Sayaka Kamei} and {Anissa Lamani} and {Fukuhito Ooshita} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Mathematical Foundations of Computer Science 2012 - 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings}
}
@inproceedings{conf/opodis/DolevDPT12,
title = {Crash Resilient and Pseudo-Stabilizing Atomic Registers.},
year = {2012},
booktitle = {OPODIS},
author = {{Shlomi Dolev} and {Swan Dubois} and {Maria Gradinariu Potop-Butucaru} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Principles of Distributed Systems, 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings}
}
@inproceedings{conf/sss/AdamekNT12,
title = {Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback.},
year = {2012},
booktitle = {SSS},
author = {{Jordan Adamek} and {Mikhail Nesterenko} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings}
}
@inproceedings{conf/sss/BonnetDPPT12,
title = {Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols.},
year = {2012},
booktitle = {SSS},
author = {{François Bonnet 001} and {Xavier Défago} and {Franck Petit} and {Maria Gradinariu Potop-Butucaru} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings}
}
@inproceedings{conf/sss/DevismesLPRT12,
title = {Optimal Grid Exploration by Asynchronous Oblivious Robots.},
year = {2012},
booktitle = {SSS},
author = {{Stéphane Devismes} and {Anissa Lamani} and {Franck Petit} and {Pascal Raymond} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings}
}
@inproceedings{conf/wdag/Bouzid0T12,
title = {Brief Announcement: Wait-Free Gathering of Mobile Robots.},
year = {2012},
booktitle = {DISC},
author = {{Zohir Bouzid} and {Shantanu Das 001} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Distributed Computing - 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012. Proceedings}
}
@inproceedings{conf/wdag/MaurerT12,
title = {On Byzantine Broadcast in Loosely Connected Networks.},
year = {2012},
booktitle = {DISC},
author = {{Alexandre Maurer} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Distributed Computing - 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012. Proceedings}
}
@inproceedings{conf/wdag/YamauchiTKY12,
title = {Brief Announcement: Probabilistic Stabilization under Probabilistic Schedulers.},
year = {2012},
booktitle = {DISC},
author = {{Yukiko Yamauchi} and {Sébastien Tixeuil} and {Shuji Kijima} and {Masafumi Yamashita}},
publisher = {Springer},
booktitle = {Distributed Computing - 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012. Proceedings}
}
@article{journals/corr/abs-1201-5824,
title = {Limiting Byzantien Influence in Multihop Asynchronous Networks},
year = {2012},
journal = {CoRR},
author = {{Alexandre Maurer} and {Sébastien Tixeuil}}
}
@article{journals/corr/abs-1204-4565,
title = {Mariages et Trahisons},
year = {2012},
journal = {CoRR},
author = {{Swan Dubois} and {Sébastien Tixeuil} and {Nini Zhu}}
}
@article{journals/corr/abs-1207-0226,
title = {Wait-Free Gathering of Mobile Robots},
year = {2012},
journal = {CoRR},
author = {{Zohir Bouzid} and {Shantanu Das 001} and {Sébastien Tixeuil}}
}
@article{journals/jpdc/DuboisPNT12,
title = {Self-stabilizing byzantine asynchronous unison.},
year = {2012},
journal = {J. Parallel Distributed Comput.},
author = {{Swan Dubois} and {Maria Potop-Butucaru} and {Mikhail Nesterenko} and {Sébastien Tixeuil}}
}
@article{journals/tpds/DuboisMT12,
title = {Bounding the Impact of Unbounded Attacks in Stabilization.},
year = {2012},
journal = {IEEE Trans. Parallel Distributed Syst.},
author = {{Swan Dubois} and {Toshimitsu Masuzawa} and {Sébastien Tixeuil}}
}
@inproceedings{conf/icdcn/DattaDLT13,
title = {Fast Leader (Full) Recovery Despite Dynamic Faults.},
year = {2013},
booktitle = {ICDCN},
author = {{Ajoy Kumar Datta} and {Stéphane Devismes} and {Lawrence L. Larmore} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Distributed Computing and Networking, 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings}
}
@inproceedings{conf/icdcn/MaurerT13,
title = {A Scalable Byzantine Grid.},
year = {2013},
booktitle = {ICDCN},
author = {{Alexandre Maurer} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Distributed Computing and Networking, 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings}
}
@inproceedings{conf/icdcs/Bouzid0T13,
title = {Gathering of Mobile Robots Tolerating Multiple Crash Faults.},
year = {2013},
booktitle = {ICDCS},
author = {{Zohir Bouzid} and {Shantanu Das 001} and {Sébastien Tixeuil}},
publisher = {IEEE Computer Society},
booktitle = {IEEE 33rd International Conference on Distributed Computing Systems, ICDCS 2013, 8-11 July, 2013, Philadelphia, Pennsylvania, USA}
}
@inproceedings{conf/podc/BlinT13,
title = {Brief announcement: deterministic self-stabilizing leader election with O(log log n)-bits.},
year = {2013},
booktitle = {PODC},
author = {{Lélia Blin} and {Sébastien Tixeuil}},
publisher = {ACM},
booktitle = {ACM Symposium on Principles of Distributed Computing, PODC '13, Montreal, QC, Canada, July 22-24, 2013}
}
@inproceedings{conf/srds/FallahiBT13,
title = {Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model Checking.},
year = {2013},
booktitle = {SRDS},
author = {{Narges Fallahi} and {Borzoo Bonakdarpour} and {Sébastien Tixeuil}},
publisher = {IEEE Computer Society},
booktitle = {IEEE 32nd Symposium on Reliable Distributed Systems, SRDS 2013, Braga, Portugal, 1-3 October 2013}
}
@inproceedings{conf/srds/KhouriGT13,
title = {Consensus with Unknown Participants in Shared Memory.},
year = {2013},
booktitle = {SRDS},
author = {{Catia Khouri} and {Fabíola Greve} and {Sébastien Tixeuil}},
publisher = {IEEE Computer Society},
booktitle = {IEEE 32nd Symposium on Reliable Distributed Systems, SRDS 2013, Braga, Portugal, 1-3 October 2013}
}
@inproceedings{conf/sss/AugerBCTU13,
title = {Certified Impossibility Results for Byzantine-Tolerant Mobile Robots.},
year = {2013},
booktitle = {SSS},
author = {{Cédric Auger} and {Zohir Bouzid} and {Pierre Courtieu} and {Sébastien Tixeuil} and {Xavier Urbain}},
publisher = {Springer},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings}
}
@inproceedings{conf/sss/NorNT13,
title = {Linearizing Peer-to-Peer Systems with Oracles.},
year = {2013},
booktitle = {SSS},
author = {{Rizal Mohd Nor} and {Mikhail Nesterenko} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings}
}
@inproceedings{conf/wdag/BlinT13,
title = {Compact Deterministic Self-stabilizing Leader Election - The Exponential Advantage of Being Talkative.},
year = {2013},
booktitle = {DISC},
author = {{Lélia Blin} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Distributed Computing - 27th International Symposium, DISC 2013, Jerusalem, Israel, October 14-18, 2013. Proceedings}
}
@article{journals/corr/abs-1301-2875,
title = {On Byzantine Broadcast in Planar Graphs},
year = {2013},
journal = {CoRR},
author = {{Alexandre Maurer} and {Sébastien Tixeuil}}
}
@article{journals/corr/abs-1301-3996,
title = {Parameterizable Byzantine Broadcast in Loosely Connected Networks},
year = {2013},
journal = {CoRR},
author = {{Alexandre Maurer} and {Sébastien Tixeuil}}
}
@article{journals/ijguc/NesterenkoT13,
title = {Ideal stabilisation.},
year = {2013},
journal = {Int. J. Grid Util. Comput.},
author = {{Mikhail Nesterenko} and {Sébastien Tixeuil}}
}
@article{journals/jco/KameiKDT13,
title = {A self-stabilizing 3-approximation for the maximum leaf spanning tree problem in arbitrary networks.},
year = {2013},
journal = {J. Comb. Optim.},
author = {{Sayaka Kamei} and {Hirotsugu Kakugawa} and {Stéphane Devismes} and {Sébastien Tixeuil}}
}
@article{journals/tcs/DevismesPT13,
title = {Optimal probabilistic ring exploration by semi-synchronous oblivious robots.},
year = {2013},
journal = {Theor. Comput. Sci.},
author = {{Stéphane Devismes} and {Franck Petit} and {Sébastien Tixeuil}}
}
@inproceedings{conf/srds/BonnetDPPT14,
title = {Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols.},
year = {2014},
booktitle = {SRDS Workshops},
author = {{François Bonnet 001} and {Xavier Défago} and {Franck Petit} and {Maria Potop-Butucaru} and {Sébastien Tixeuil}},
publisher = {IEEE Computer Society},
booktitle = {33rd IEEE International Symposium on Reliable Distributed Systems Workshops, SRDS Workshops 2014, Nara, Japan, October 6-9, 2014}
}
@inproceedings{conf/srds/MaurerT14,
title = {Self-Stabilizing Byzantine Broadcast.},
year = {2014},
booktitle = {SRDS},
author = {{Alexandre Maurer} and {Sébastien Tixeuil}},
publisher = {IEEE Computer Society},
booktitle = {33rd IEEE International Symposium on Reliable Distributed Systems, SRDS 2014, Nara, Japan, October 6-9, 2014}
}
@inproceedings{conf/sss/MilletPST14,
title = {On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering.},
year = {2014},
booktitle = {SSS},
author = {{Laure Millet} and {Maria Potop-Butucaru} and {Nathalie Sznajder} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings}
}
@article{journals/corr/MaurerTD14,
title = {Reliable Communication in a Dynamic Network in the Presence of Byzantine Faults.},
year = {2014},
journal = {CoRR},
author = {{Alexandre Maurer} and {Sébastien Tixeuil} and {Xavier Défago}}
}
@article{journals/jpdc/MaurerT14,
title = {Byzantine broadcast with fixed disjoint paths.},
year = {2014},
journal = {J. Parallel Distributed Comput.},
author = {{Alexandre Maurer} and {Sébastien Tixeuil}}
}
@article{journals/tcs/HonoratPT14,
title = {Gathering fat mobile robots with slim omnidirectional cameras.},
year = {2014},
journal = {Theor. Comput. Sci.},
author = {{Anthony Honorat} and {Maria Potop-Butucaru} and {Sébastien Tixeuil}}
}
@inproceedings{conf/edcc/AdamekNT15,
title = {Evaluating and Optimizing Stabilizing Dining Philosophers.},
year = {2015},
booktitle = {EDCC},
author = {{Jordan Adamek} and {Mikhail Nesterenko} and {Sébastien Tixeuil}},
publisher = {IEEE Computer Society},
booktitle = {11th European Dependable Computing Conference, EDCC 2015, Paris, France, September 7-11, 2015}
}
@inproceedings{conf/fdl/BramasDFHGT15,
title = {WiSeBat: accurate energy benchmarking of wireless sensor networks.},
year = {2015},
booktitle = {FDL},
author = {{Quentin Bramas} and {Wilfried Dron} and {Mariem Ben Fadhl} and {Khalil Hachicha} and {Patrick Garda} and {Sébastien Tixeuil}},
publisher = {IEEE},
booktitle = {2015 Forum on Specification and Design Languages, FDL 2015, Barcelona, Spain, September 14-16, 2015}
}
@inproceedings{conf/ipps/BonomiPT15,
title = {Stabilizing Byzantine-Fault Tolerant Storage.},
year = {2015},
booktitle = {IPDPS},
author = {{Silvia Bonomi} and {Maria Potop-Butucaru} and {Sébastien Tixeuil}},
publisher = {IEEE Computer Society},
booktitle = {2015 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2015, Hyderabad, India, May 25-29, 2015}
}
@inproceedings{conf/sigcomm/BenchaitaGT15,
title = {On the Optimization of Request Routing for Content Delivery.},
year = {2015},
booktitle = {SIGCOMM},
author = {{Walid Benchaita} and {Samir Ghamri-Doudane} and {Sébastien Tixeuil}},
publisher = {ACM},
booktitle = {Proceedings of the 2015 ACM Conference on Special Interest Group on Data Communication, SIGCOMM 2015, London, United Kingdom, August 17-21, 2015}
}
@inproceedings{conf/sirocco/BramasT15,
title = {Wait-Free Gathering Without Chirality.},
year = {2015},
booktitle = {SIROCCO},
author = {{Quentin Bramas} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Structural Information and Communication Complexity - 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015, Post-Proceedings}
}
@inproceedings{conf/srds/MaurerTD15,
title = {Communicating Reliably in Multihop Dynamic Networks Despite Byzantine Failures.},
year = {2015},
booktitle = {SRDS},
author = {{Alexandre Maurer} and {Sébastien Tixeuil} and {Xavier Défago}},
publisher = {IEEE Computer Society},
booktitle = {34th IEEE Symposium on Reliable Distributed Systems, SRDS 2015, Montreal, QC, Canada, September 28 - October 1, 2015}
}
@inproceedings{conf/sss/AflakiBT15,
title = {Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols.},
year = {2015},
booktitle = {SSS},
author = {{Saba Aflaki} and {Borzoo Bonakdarpour} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings}
}
@article{journals/algorithmica/DuboisMT15,
title = {Maximum Metric Spanning Tree Made Byzantine Tolerant.},
year = {2015},
journal = {Algorithmica},
author = {{Swan Dubois} and {Toshimitsu Masuzawa} and {Sébastien Tixeuil}}
}
@article{journals/corr/AdamekNT15,
title = {Stateless Geocasting.},
year = {2015},
journal = {CoRR},
author = {{Jordan Adamek} and {Mikhail Nesterenko} and {Sébastien Tixeuil}}
}
@article{journals/corr/BramasT15,
title = {Asynchronous Pattern Formation without Chirality.},
year = {2015},
journal = {CoRR},
author = {{Quentin Bramas} and {Sébastien Tixeuil}}
}
@article{journals/corr/CourtieuRTU15,
title = {A Certified Universal Gathering Algorithm for Oblivious Mobile Robots.},
year = {2015},
journal = {CoRR},
author = {{Pierre Courtieu} and {Lionel Rieg} and {Sébastien Tixeuil} and {Xavier Urbain}}
}
@article{journals/ijfcs/DevismesTY15,
title = {Weak vs. Self vs. Probabilistic Stabilization.},
year = {2015},
journal = {Int. J. Found. Comput. Sci.},
author = {{Stéphane Devismes} and {Sébastien Tixeuil} and {Masafumi Yamashita}}
}
@article{journals/ipl/CourtieuRTU15,
title = {Impossibility of gathering, a certification.},
year = {2015},
journal = {Inf. Process. Lett.},
author = {{Pierre Courtieu} and {Lionel Rieg} and {Sébastien Tixeuil} and {Xavier Urbain}}
}
@article{journals/jcss/AlonADDPT15,
title = {Practically stabilizing SWMR atomic memory in message-passing systems.},
year = {2015},
journal = {J. Comput. Syst. Sci.},
author = {{Noga Alon} and {Hagit Attiya} and {Shlomi Dolev} and {Swan Dubois} and {Maria Potop-Butucaru} and {Sébastien Tixeuil}}
}
@article{journals/tcs/OoshitaT15,
title = {On the self-stabilization of mobile oblivious robots in uniform rings.},
year = {2015},
journal = {Theor. Comput. Sci.},
author = {{Fukuhito Ooshita} and {Sébastien Tixeuil}}
}
@article{journals/tpds/MaurerT15,
title = {Containing Byzantine Failures with Control Zones.},
year = {2015},
journal = {IEEE Trans. Parallel Distributed Syst.},
author = {{Alexandre Maurer} and {Sébastien Tixeuil}}
}
@inproceedings{conf/adhoc-now/BonnetPT16,
title = {Asynchronous Gathering in Rings with 4 Robots.},
year = {2016},
booktitle = {ADHOC-NOW},
author = {{François Bonnet 001} and {Maria Potop-Butucaru} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Ad-hoc, Mobile, and Wireless Networks - 15th International Conference, ADHOC-NOW 2016, Lille, France, July 4-6, 2016, Proceedings}
}
@inproceedings{conf/cloudnet/BenchaitaTGT16,
title = {Enhancing Content Distribution through Information-Aware Mechanisms.},
year = {2016},
booktitle = {CloudNet},
author = {{Walid Benchaita} and {Gioacchino Tangari} and {Samir Ghamri-Doudane} and {Sébastien Tixeuil}},
publisher = {IEEE},
booktitle = {5th IEEE International Conference on Cloud Networking, Cloudnet 2016, Pisa, Italy, October 3-5, 2016}
}
@inproceedings{conf/forte/FaghihBTK16,
title = {Specification-Based Synthesis of Distributed Self-Stabilizing Protocols.},
year = {2016},
booktitle = {FORTE},
author = {{Fathiyeh Faghih} and {Borzoo Bonakdarpour} and {Sébastien Tixeuil} and {Sandeep S. Kulkarni}},
publisher = {Springer},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings}
}
@inproceedings{conf/icdcn/BenchaitaGT16,
title = {Stability and optimization of DNS-based request redirection in CDNs.},
year = {2016},
booktitle = {ICDCN},
author = {{Walid Benchaita} and {Samir Ghamri-Doudane} and {Sébastien Tixeuil}},
publisher = {ACM},
booktitle = {Proceedings of the 17th International Conference on Distributed Computing and Networking, Singapore, January 4-7, 2016}
}
@inproceedings{conf/netys/BramasT16,
title = {Benchmarking Energy-Centric Broadcast Protocols in Wireless Sensor Networks.},
year = {2016},
booktitle = {NETYS},
author = {{Quentin Bramas} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Networked Systems - 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers}
}
@inproceedings{conf/podc/BonomiPPT16,
title = {Optimal Mobile Byzantine Fault Tolerant Distributed Storage: Extended Abstract.},
year = {2016},
booktitle = {PODC},
author = {{Silvia Bonomi} and {Antonella Del Pozzo} and {Maria Potop-Butucaru} and {Sébastien Tixeuil}},
publisher = {ACM},
booktitle = {Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, PODC 2016, Chicago, IL, USA, July 25-28, 2016}
}
@inproceedings{conf/podc/BramasT16,
title = {Brief Announcement: Probabilistic Asynchronous Arbitrary Pattern Formation.},
year = {2016},
booktitle = {PODC},
author = {{Quentin Bramas} and {Sébastien Tixeuil}},
publisher = {ACM},
booktitle = {Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, PODC 2016, Chicago, IL, USA, July 25-28, 2016}
}
@inproceedings{conf/podc/CourtieuRTU16,
title = {Brief Announcement: Certified Universal Gathering in R2 for Oblivious Mobile Robots.},
year = {2016},
booktitle = {PODC},
author = {{Pierre Courtieu} and {Lionel Rieg} and {Sébastien Tixeuil} and {Xavier Urbain}},
publisher = {ACM},
booktitle = {Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, PODC 2016, Chicago, IL, USA, July 25-28, 2016}
}
@inproceedings{conf/sss/BramasT16,
title = {Probabilistic Asynchronous Arbitrary Pattern Formation (Short Paper).},
year = {2016},
booktitle = {SSS},
author = {{Quentin Bramas} and {Sébastien Tixeuil}},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings}
}
@inproceedings{conf/sss/ForebackNT16,
title = {Infinite Unlimited Churn (Short Paper).},
year = {2016},
booktitle = {SSS},
author = {{Dianne Foreback} and {Mikhail Nesterenko} and {Sébastien Tixeuil}},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings}
}
@inproceedings{conf/sss/InoueOT16,
title = {An Efficient Silent Self-stabilizing 1-Maximal Matching Algorithm Under Distributed Daemon Without Global Identifiers.},
year = {2016},
booktitle = {SSS},
author = {{Michiko Inoue} and {Fukuhito Ooshita} and {Sébastien Tixeuil}},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings}
}
@inproceedings{conf/wdag/CourtieuRTU16,
title = {Certified Universal Gathering in \\mathbb R ^2 for Oblivious Mobile Robots.},
year = {2016},
booktitle = {DISC},
author = {{Pierre Courtieu} and {Lionel Rieg} and {Sébastien Tixeuil} and {Xavier Urbain}},
publisher = {Springer},
booktitle = {Distributed Computing - 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings}
}
@article{journals/cj/BlinPRT16,
title = {A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-Free Property.},
year = {2016},
journal = {Comput. J.},
author = {{Lélia Blin} and {Maria Potop-Butucaru} and {Stephane Rovedakis} and {Sébastien Tixeuil}}
}
@article{journals/corr/BonomiPPT16a,
title = {Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp.},
year = {2016},
journal = {CoRR},
author = {{Silvia Bonomi} and {Antonella Del Pozzo} and {Maria Potop-Butucaru} and {Sébastien Tixeuil}}
}
@article{journals/corr/CourtieuRTU16,
title = {Certified Universal Gathering in \$R^2\$ for Oblivious Mobile Robots.},
year = {2016},
journal = {CoRR},
author = {{Pierre Courtieu} and {Lionel Rieg} and {Sébastien Tixeuil} and {Xavier Urbain}}
}
@article{journals/corr/ForebackNT16,
title = {Infinite Unlimited Churn.},
year = {2016},
journal = {CoRR},
author = {{Dianne Foreback} and {Mikhail Nesterenko} and {Sébastien Tixeuil}}
}
@article{journals/dc/BerardLMPTT16,
title = {Formal verification of mobile robot protocols.},
year = {2016},
journal = {Distributed Comput.},
author = {{Béatrice Bérard} and {Pascal Lafourcade 001} and {Laure Millet} and {Maria Potop-Butucaru} and {Yann Thierry-Mieg} and {Sébastien Tixeuil}}
}
@article{journals/ppl/MaurerT16,
title = {Tolerating Random Byzantine Failures in an Unbounded Network.},
year = {2016},
journal = {Parallel Process. Lett.},
author = {{Alexandre Maurer} and {Sébastien Tixeuil}}
}
@inproceedings{conf/fmics/BalabonskiCRTU17,
title = {Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems.},
year = {2017},
booktitle = {FMICS-AVoCS},
author = {{Thibaut Balabonski} and {Pierre Courtieu} and {Lionel Rieg} and {Sébastien Tixeuil} and {Xavier Urbain}},
publisher = {Springer},
booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and - 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings}
}
@inproceedings{conf/podc/InoueOT17,
title = {Brief Announcement: Efficient Self-Stabilizing 1-Maximal Matching Algorithm for Arbitrary Networks.},
year = {2017},
booktitle = {PODC},
author = {{Michiko Inoue} and {Fukuhito Ooshita} and {Sébastien Tixeuil}},
publisher = {ACM},
booktitle = {Proceedings of the ACM Symposium on Principles of Distributed Computing, PODC 2017, Washington, DC, USA, July 25-27, 2017}
}
@inproceedings{conf/srds/AdamekNRT17,
title = {Stateless Reliable Geocasting.},
year = {2017},
booktitle = {SRDS},
author = {{Jordan Adamek} and {Mikhail Nesterenko} and {James Scott Robinson} and {Sébastien Tixeuil}},
publisher = {IEEE Computer Society},
booktitle = {36th IEEE Symposium on Reliable Distributed Systems, SRDS 2017, Hong Kong, Hong Kong, September 26-29, 2017}
}
@inproceedings{conf/srds/BonomiPPT17,
title = {Optimal Storage under Unsynchronized Mobile Byzantine Faults.},
year = {2017},
booktitle = {SRDS},
author = {{Silvia Bonomi} and {Antonella Del Pozzo} and {Maria Potop-Butucaru} and {Sébastien Tixeuil}},
publisher = {IEEE Computer Society},
booktitle = {36th IEEE Symposium on Reliable Distributed Systems, SRDS 2017, Hong Kong, Hong Kong, September 26-29, 2017}
}
@inproceedings{conf/sss/InoueOT17,
title = {An Efficient Silent Self-stabilizing 1-Maximal Matching Algorithm Under Distributed Daemon for Arbitrary Networks.},
year = {2017},
booktitle = {SSS},
author = {{Michiko Inoue} and {Fukuhito Ooshita} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings}
}
@inproceedings{conf/wdag/BlinT17,
title = {Brief Announcement: Compact Self-Stabilizing Leader Election in Arbitrary Graphs.},
year = {2017},
booktitle = {DISC},
author = {{Lélia Blin} and {Sébastien Tixeuil}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {31st International Symposium on Distributed Computing, DISC 2017, October 16-20, 2017, Vienna, Austria}
}
@article{journals/corr/BlinT17,
title = {Compact Self-Stabilizing Leader Election for Arbitrary Networks.},
year = {2017},
journal = {CoRR},
author = {{Lélia Blin} and {Sébastien Tixeuil}}
}
@article{journals/corr/BonomiPPT17,
title = {Optimal Storage under Unsynchrononized Mobile Byzantine Faults.},
year = {2017},
journal = {CoRR},
author = {{Silvia Bonomi} and {Antonella Del Pozzo} and {Maria Potop-Butucaru} and {Sébastien Tixeuil}}
}
@article{journals/iandc/BramasT17,
title = {The complexity of data aggregation in static and dynamic wireless sensor networks.},
year = {2017},
journal = {Inf. Comput.},
author = {{Quentin Bramas} and {Sébastien Tixeuil}}
}
@article{journals/ijfcs/BramasT17,
title = {The Random Bit Complexity of Mobile Robots Scattering.},
year = {2017},
journal = {Int. J. Found. Comput. Sci.},
author = {{Quentin Bramas} and {Sébastien Tixeuil}}
}
@article{journals/jpdc/AdamekFNT17,
title = {Evaluating and optimizing stabilizing dining philosophers.},
year = {2017},
journal = {J. Parallel Distributed Comput.},
author = {{Jordan Adamek} and {Giovanni Farina} and {Mikhail Nesterenko} and {Sébastien Tixeuil}}
}
@inproceedings{conf/icdcn/AdamekNRT18,
title = {Concurrent Geometric Multicasting.},
year = {2018},
booktitle = {ICDCN},
author = {{Jordan Adamek} and {Mikhail Nesterenko} and {James Scott Robinson} and {Sébastien Tixeuil}},
publisher = {ACM},
booktitle = {Proceedings of the 19th International Conference on Distributed Computing and Networking, ICDCN 2018, Varanasi, India, January 4-7, 2018}
}
@inproceedings{conf/icdcn/BalabonskiPRT18,
title = {A Foundational Framework for Certified Impossibility Results with Mobile Robots on Graphs.},
year = {2018},
booktitle = {ICDCN},
author = {{Thibaut Balabonski} and {Robin Pelle} and {Lionel Rieg} and {Sébastien Tixeuil}},
publisher = {ACM},
booktitle = {Proceedings of the 19th International Conference on Distributed Computing and Networking, ICDCN 2018, Varanasi, India, January 4-7, 2018}
}
@inproceedings{conf/icdcn/HeribanDT18,
title = {Optimally Gathering Two Robots.},
year = {2018},
booktitle = {ICDCN},
author = {{Adam Heriban} and {Xavier Défago} and {Sébastien Tixeuil}},
publisher = {ACM},
booktitle = {Proceedings of the 19th International Conference on Distributed Computing and Networking, ICDCN 2018, Varanasi, India, January 4-7, 2018}
}
@inproceedings{conf/ladc/BonomiFT18,
title = {Multi-hop Byzantine Reliable Broadcast Made Practical.},
year = {2018},
booktitle = {LADC},
author = {{Silvia Bonomi} and {Giovanni Farina} and {Sébastien Tixeuil}},
publisher = {IEEE},
booktitle = {8th Latin-American Symposium on Dependable Computing, LADC 2018, Foz do Iguaçu, Brazil, October 8-10, 2018}
}
@inproceedings{conf/netys/ForebackNT18,
title = {Churn Possibilities and Impossibilities.},
year = {2018},
booktitle = {NETYS},
author = {{Dianne Foreback} and {Mikhail Nesterenko} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Networked Systems - 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers}
}
@inproceedings{conf/netys/InoueT18,
title = {Short Paper: Tight Bounds for Universal and Cautious Self-stabilizing 1-Maximal Matching.},
year = {2018},
booktitle = {NETYS},
author = {{Michiko Inoue} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Networked Systems - 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers}
}
@inproceedings{conf/sss/BalabonskiCPRTU18,
title = {Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots.},
year = {2018},
booktitle = {SSS},
author = {{Thibaut Balabonski} and {Pierre Courtieu} and {Robin Pelle} and {Lionel Rieg} and {Sébastien Tixeuil} and {Xavier Urbain}},
publisher = {Springer},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings}
}
@inproceedings{conf/sss/BonomiFT18,
title = {Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine Failures.},
year = {2018},
booktitle = {SSS},
author = {{Silvia Bonomi} and {Giovanni Farina} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings}
}
@inproceedings{conf/sss/BonomiPPT18,
title = {Brief Announcement: Optimal Self-stabilizing Mobile Byzantine-Tolerant Regular Register with Bounded Timestamps.},
year = {2018},
booktitle = {SSS},
author = {{Silvia Bonomi} and {Antonella Del Pozzo} and {Maria Potop-Butucaru} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings}
}
@inproceedings{conf/sss/BramasT18,
title = {Arbitrary Pattern Formation with Four Robots.},
year = {2018},
booktitle = {SSS},
author = {{Quentin Bramas} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings}
}
@article{journals/dc/BlinT18,
title = {Compact deterministic self-stabilizing leader election on a ring: the exponential advantage of being talkative.},
year = {2018},
journal = {Distributed Comput.},
author = {{Lélia Blin} and {Sébastien Tixeuil}}
}
@article{journals/lmcs/FaghihBTK18,
title = {Automated Synthesis of Distributed Self-Stabilizing Protocols.},
year = {2018},
journal = {Log. Methods Comput. Sci.},
author = {{Fathiyeh Faghih} and {Borzoo Bonakdarpour} and {Sébastien Tixeuil} and {Sandeep S. Kulkarni}}
}
@article{journals/tcs/IzumiKPT18,
title = {On time complexity for connectivity-preserving scattering of mobile robots.},
year = {2018},
journal = {Theor. Comput. Sci.},
author = {{Taisuke Izumi} and {Daichi Kaino} and {Maria Gradinariu Potop-Butucaru} and {Sébastien Tixeuil}}
}
@inproceedings{conf/fmec/0001NT19,
title = {Network-Protocol-Based IoT Device Identification.},
year = {2019},
booktitle = {FMEC},
author = {{Nesrine Ammar 001} and {Ludovic Noirie} and {Sébastien Tixeuil}},
publisher = {IEEE},
booktitle = {Fourth International Conference on Fog and Mobile Edge Computing, FMEC 2019, Rome, Italy, June 10-13, 2019}
}
@inproceedings{conf/netys/BalabonskiCPRTU19,
title = {Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots.},
year = {2019},
booktitle = {NETYS},
author = {{Thibaut Balabonski} and {Pierre Courtieu} and {Robin Pelle} and {Lionel Rieg} and {Sébastien Tixeuil} and {Xavier Urbain}},
publisher = {Springer},
booktitle = {Networked Systems - 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papers}
}
@inproceedings{conf/netys/BramasMT19,
title = {Distributed Online Data Aggregation in Dynamic Graphs.},
year = {2019},
booktitle = {NETYS},
author = {{Quentin Bramas} and {Toshimitsu Masuzawa} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Networked Systems - 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papers}
}
@inproceedings{conf/opodis/KameiLOTW19,
title = {Gathering on Rings for Myopic Asynchronous Robots With Lights.},
year = {2019},
booktitle = {OPODIS},
author = {{Sayaka Kamei} and {Anissa Lamani} and {Fukuhito Ooshita} and {Sébastien Tixeuil} and {Koichi Wada 001}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {23rd International Conference on Principles of Distributed Systems, OPODIS 2019, December 17-19, 2019, Neuchâtel, Switzerland.}
}
@inproceedings{conf/sirocco/HeribanT19,
title = {Mobile Robots with Uncertain Visibility Sensors.},
year = {2019},
booktitle = {SIROCCO},
author = {{Adam Heriban} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Structural Information and Communication Complexity - 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1-4, 2019, Proceedings}
}
@inproceedings{conf/tma/0001NT19,
title = {Autonomous IoT Device Identification Prototype.},
year = {2019},
booktitle = {TMA},
author = {{Nesrine Ammar 001} and {Ludovic Noirie} and {Sébastien Tixeuil}},
publisher = {IEEE},
booktitle = {Network Traffic Measurement and Analysis Conference, TMA 2019, Paris, France, June 19-21, 2019}
}
@inproceedings{conf/wdag/DefagoHTW19,
title = {Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space.},
year = {2019},
booktitle = {DISC},
author = {{Xavier Défago} and {Adam Heriban} and {Sébastien Tixeuil} and {Koichi Wada 001}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {33rd International Symposium on Distributed Computing, DISC 2019, October 14-18, 2019, Budapest, Hungary.}
}
@article{journals/computing/DevismesLPT19,
title = {Optimal torus exploration by oblivious robots.},
year = {2019},
journal = {Computing},
author = {{Stéphane Devismes} and {Anissa Lamani} and {Franck Petit} and {Sébastien Tixeuil}}
}
@article{journals/corr/abs-1905-09177,
title = {Asynchronous Scattering.},
year = {2019},
journal = {CoRR},
author = {{Ulysse Léchine} and {Sébastien Tixeuil}}
}
@article{journals/jbcs/BonomiFT19,
title = {Multi-hop Byzantine reliable broadcast with honest dealer made practical.},
year = {2019},
journal = {J. Braz. Comput. Soc.},
author = {{Silvia Bonomi} and {Giovanni Farina} and {Sébastien Tixeuil}}
}
@article{journals/mst/BalabonskiDRTU19,
title = {Synchronous Gathering without Multiplicity Detection: a Certified Algorithm.},
year = {2019},
journal = {Theory Comput. Syst.},
author = {{Thibaut Balabonski} and {Amélie Delga} and {Lionel Rieg} and {Sébastien Tixeuil} and {Xavier Urbain}}
}
@article{journals/mst/BramasFNT19,
title = {Packet Efficient Implementation of the Omega Failure Detector.},
year = {2019},
journal = {Theory Comput. Syst.},
author = {{Quentin Bramas} and {Dianne Foreback} and {Mikhail Nesterenko} and {Sébastien Tixeuil}}
}
@article{journals/tcs/BampasBCILPT19,
title = {On asynchronous rendezvous in general graphs.},
year = {2019},
journal = {Theor. Comput. Sci.},
author = {{Evangelos Bampas} and {Lélia Blin} and {Jurek Czyzowicz} and {David Ilcinkas} and {Arnaud Labourel} and {Maria Potop-Butucaru} and {Sébastien Tixeuil}}
}
@article{journals/tcs/BonomiPPT19,
title = {Approximate Agreement under Mobile Byzantine Faults.},
year = {2019},
journal = {Theor. Comput. Sci.},
author = {{Silvia Bonomi} and {Antonella Del Pozzo} and {Maria Potop-Butucaru} and {Sébastien Tixeuil}}
}
@incollection{series/lncs/DefagoPT19,
title = {Fault-Tolerant Mobile Robots.},
year = {2019},
booktitle = {Distributed Computing by Mobile Entities},
author = {{Xavier Défago} and {Maria Potop-Butucaru} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Distributed Computing by Mobile Entities, Current Research in Moving and Computing.}
}
@incollection{series/lncs/Potop-ButucaruSTU19,
title = {Formal Methods for Mobile Robots.},
year = {2019},
booktitle = {Distributed Computing by Mobile Entities},
author = {{Maria Potop-Butucaru} and {Nathalie Sznajder} and {Sébastien Tixeuil} and {Xavier Urbain}},
publisher = {Springer},
booktitle = {Distributed Computing by Mobile Entities, Current Research in Moving and Computing.}
}
@inproceedings{conf/icc/0001NT20,
title = {Autonomous Identification of IoT Device Types based on a Supervised Classification.},
year = {2020},
booktitle = {ICC},
author = {{Nesrine Ammar 001} and {Ludovic Noirie} and {Sébastien Tixeuil}},
publisher = {IEEE},
booktitle = {2020 IEEE International Conference on Communications, ICC 2020, Dublin, Ireland, June 7-11, 2020}
}
@inproceedings{conf/netys/Amoussou-Guenou20,
title = {On the Encoding and Solving of Partial Information Games.},
year = {2020},
booktitle = {NETYS},
author = {{Yackolley Amoussou-Guenou} and {Souheib Baarir} and {Maria Potop-Butucaru} and {Nathalie Sznajder} and {Léo Tible} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Networked Systems - 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings}
}
@inproceedings{conf/netys/BonomiFT20,
title = {Broadcasting Information in Multi-hop Networks Prone to Mobile Byzantine Faults.},
year = {2020},
booktitle = {NETYS},
author = {{Silvia Bonomi} and {Giovanni Farina} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Networked Systems - 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings}
}
@inproceedings{conf/opodis/YasumiOIT20,
title = {Uniform Bipartition in the Population Protocol Model with Arbitrary Communication Graphs.},
year = {2020},
booktitle = {OPODIS},
author = {{Hiroto Yasumi} and {Fukuhito Ooshita} and {Michiko Inoue} and {Sébastien Tixeuil}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {24th International Conference on Principles of Distributed Systems, OPODIS 2020, December 14-16, 2020, Strasbourg, France (Virtual Conference).}
}
@inproceedings{conf/sss/BonomiFT20,
title = {Boosting the Efficiency of Byzantine-Tolerant Reliable Communication.},
year = {2020},
booktitle = {SSS},
author = {{Silvia Bonomi} and {Giovanni Farina} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18-21, 2020, Proceedings}
}
@inproceedings{conf/sss/BramasLT20,
title = {Stand Up Indulgent Rendezvous.},
year = {2020},
booktitle = {SSS},
author = {{Quentin Bramas} and {Anissa Lamani} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18-21, 2020, Proceedings}
}
@inproceedings{conf/sss/ShibataT20,
title = {Partial Gathering of Mobile Robots from Multiplicity-Allowed Configurations in Rings.},
year = {2020},
booktitle = {SSS},
author = {{Masahiro Shibata} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18-21, 2020, Proceedings}
}
@article{journals/corr/abs-2002-05382,
title = {Ressource Efficient Stabilization for Local Tasks despite Unknown Capacity Links.},
year = {2020},
journal = {CoRR},
author = {{Lélia Blin} and {Anaïs Durand} and {Sébastien Tixeuil}}
}
@article{journals/fmsd/SangnierSPT20,
title = {Parameterized verification of algorithms for oblivious robots on a ring.},
year = {2020},
journal = {Formal Methods Syst. Des.},
author = {{Arnaud Sangnier} and {Nathalie Sznajder} and {Maria Potop-Butucaru} and {Sébastien Tixeuil}}
}
@article{journals/jpdc/BlinT20,
title = {Compact self-stabilizing leader election for general networks.},
year = {2020},
journal = {J. Parallel Distributed Comput.},
author = {{Lélia Blin} and {Sébastien Tixeuil}}
}
@article{journals/tcs/DasT20,
title = {Special issue on Structural Information and Communication Complexity.},
year = {2020},
journal = {Theor. Comput. Sci.},
author = {{Shantanu Das 001} and {Sébastien Tixeuil}}
}
@inproceedings{conf/acg/TanakaBTT21,
title = {Quixo is Solved.},
year = {2021},
booktitle = {ACG},
author = {{Satoshi Tanaka} and {François Bonnet 001} and {Sébastien Tixeuil} and {Yasumasa Tamura}},
publisher = {Springer},
booktitle = {Advances in Computer Games - 17th International Conference, ACG 2021, Virtual Event, November 23-25, 2021, Revised Selected Papers}
}
@inproceedings{conf/ic-nc/ShibataT21,
title = {Semi-Uniform Deployment of Mobile Robots in Perfect \$\\ell\$ -ary Trees.},
year = {2021},
booktitle = {CANDAR},
author = {{Masahiro Shibata} and {Sébastien Tixeuil}},
publisher = {IEEE},
booktitle = {Ninth International Symposium on Computing and Networking, CANDAR 2021, Matsue, Japan, November 23-26, 2021}
}
@inproceedings{conf/icdcs/BonomiDFRT21,
title = {Practical Byzantine Reliable Broadcast on Partially Connected Networks.},
year = {2021},
booktitle = {ICDCS},
author = {{Silvia Bonomi} and {Jérémie Decouchant} and {Giovanni Farina} and {Vincent Rahli} and {Sébastien Tixeuil}},
publisher = {IEEE},
booktitle = {41st IEEE International Conference on Distributed Computing Systems, ICDCS 2021, Washington DC, USA, July 7-10, 2021}
}
@inproceedings{conf/opodis/KameiLOTW21,
title = {Asynchronous Gathering in a Torus.},
year = {2021},
booktitle = {OPODIS},
author = {{Sayaka Kamei} and {Anissa Lamani} and {Fukuhito Ooshita} and {Sébastien Tixeuil} and {Koichi Wada 001}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {25th International Conference on Principles of Distributed Systems, OPODIS 2021, December 13-15, 2021, Strasbourg, France.}
}
@inproceedings{conf/sss/BalabonskiCPRTU21,
title = {Computer Aided Formal Design of Swarm Robotics Algorithms.},
year = {2021},
booktitle = {SSS},
author = {{Thibaut Balabonski} and {Pierre Courtieu} and {Robin Pelle} and {Lionel Rieg} and {Sébastien Tixeuil} and {Xavier Urbain}},
publisher = {Springer},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 23rd International Symposium, SSS 2021, Virtual Event, November 17-20, 2021, Proceedings}
}
@article{journals/cj/DevismesLPRT21,
title = {Terminating Exploration Of A Grid By An Optimal Number Of Asynchronous Oblivious Robots.},
year = {2021},
journal = {Comput. J.},
author = {{Stéphane Devismes} and {Anissa Lamani} and {Franck Petit} and {Pascal Raymond} and {Sébastien Tixeuil}}
}
@article{journals/corr/abs-2105-09667,
title = {Unreliable Sensors for Reliable Efficient Robots.},
year = {2021},
journal = {CoRR},
author = {{Adam Heriban} and {Sébastien Tixeuil}}
}
@article{journals/ppl/HeribanT21,
title = {Mobile Robots with Uncertain Visibility Sensors: Possibility Results and Lower Bounds.},
year = {2021},
journal = {Parallel Process. Lett.},
author = {{Adam Heriban} and {Sébastien Tixeuil}}
}
@article{journals/tcs/YasumiOIT21,
title = {Uniform bipartition in the population protocol model with arbitrary graphs.},
year = {2021},
journal = {Theor. Comput. Sci.},
author = {{Hiroto Yasumi} and {Fukuhito Ooshita} and {Michiko Inoue} and {Sébastien Tixeuil}}
}
@inproceedings{conf/fps/AyoubiBJST22,
title = {Data-Driven Evaluation of Intrusion Detectors: A Methodological Framework.},
year = {2022},
booktitle = {FPS},
author = {{Solayman Ayoubi} and {Gregory Blanc} and {Houda Jmila} and {Thomas Silverston} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Foundations and Practice of Security - 15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12-14, 2022, Revised Selected Papers}
}
@inproceedings{conf/fun/MathieuT22,
title = {Fun with FUN.},
year = {2022},
booktitle = {FUN},
author = {{Fabien Mathieu} and {Sébastien Tixeuil}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {11th International Conference on Fun with Algorithms, FUN 2022, May 30 to June 3, 2022, Island of Favignana, Sicily, Italy.}
}
@inproceedings{conf/opodis/Tixeuil22,
title = {Realistic Self-Stabilization (Invited Talk).},
year = {2022},
booktitle = {OPODIS},
author = {{Sébastien Tixeuil}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {26th International Conference on Principles of Distributed Systems, OPODIS 2022, December 13-15, 2022, Brussels, Belgium.}
}
@inproceedings{conf/podc/OglioHNT22,
title = {QUANTAS: Quantitative User-friendly Adaptable Networked Things Abstract Simulator.},
year = {2022},
booktitle = {ApPLIED@PODC},
author = {{Joseph Oglio} and {Kendric Hood} and {Mikhail Nesterenko} and {Sébastien Tixeuil}},
publisher = {ACM},
booktitle = {ApPLIED '22: Proceedings of the 2022 Workshop on Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems, Salerno, Italy, 25 July 2022}
}
@article{journals/corr/abs-2205-03372,
title = {Constrained Backward Time Travel Planning is in P.},
year = {2022},
journal = {CoRR},
author = {{Quentin Bramas} and {Jean-Romain Luttringer} and {Sébastien Tixeuil}}
}
@article{journals/iandc/OoshitaT22,
title = {Ring exploration with myopic luminous robots.},
year = {2022},
journal = {Inf. Comput.},
author = {{Fukuhito Ooshita} and {Sébastien Tixeuil}}
}
@article{journals/lites/CourtieuRTU22,
title = {Swarms of Mobile Robots: Towards Versatility with Safety.},
year = {2022},
journal = {Leibniz Trans. Embed. Syst.},
author = {{Pierre Courtieu} and {Lionel Rieg} and {Sébastien Tixeuil} and {Xavier Urbain}}
}
@inproceedings{conf/aaai/0001T23,
title = {Fault-Tolerant Offline Multi-Agent Path Planning.},
year = {2023},
booktitle = {AAAI},
author = {{Keisuke Okumura 001} and {Sébastien Tixeuil}},
publisher = {AAAI Press},
booktitle = {Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023}
}
@inproceedings{conf/candar/DreslerMTYT23,
title = {On Dynamics of Basic Network Creation Games with Non-Uniform Communication Interest.},
year = {2023},
booktitle = {CANDARW},
author = {{Maxime Dresler} and {Sanaï Mansour} and {Safaâ Talhaoui} and {Yukiko Yamauchi} and {Sébastien Tixeuil}},
publisher = {IEEE},
booktitle = {Eleventh International Symposium on Computing and Networking, CANDAR 2023 - Workshops, Matsue, Japan, November 27-30, 2023}
}
@inproceedings{conf/opodis/BonomiFT23,
title = {Reliable Broadcast Despite Mobile Byzantine Faults.},
year = {2023},
booktitle = {OPODIS},
author = {{Silvia Bonomi} and {Giovanni Farina} and {Sébastien Tixeuil}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {27th International Conference on Principles of Distributed Systems, OPODIS 2023, December 6-8, 2023, Tokyo, Japan}
}
@inproceedings{conf/sss/BramasKLT23,
title = {Stand-Up Indulgent Gathering on Lines.},
year = {2023},
booktitle = {SSS},
author = {{Quentin Bramas} and {Sayaka Kamei} and {Anissa Lamani} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 25th International Symposium, SSS 2023, Jersey City, NJ, USA, October 2-4, 2023, Proceedings}
}
@inproceedings{conf/sss/BramasLT23,
title = {Offline Constrained Backward Time Travel Planning.},
year = {2023},
booktitle = {SSS},
author = {{Quentin Bramas} and {Jean-Romain Luttringer} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 25th International Symposium, SSS 2023, Jersey City, NJ, USA, October 2-4, 2023, Proceedings}
}
@inproceedings{conf/sss/BramasMT23,
title = {Brief Announcement: Crash-Tolerant Exploration by Energy Sharing Mobile Agents.},
year = {2023},
booktitle = {SSS},
author = {{Quentin Bramas} and {Toshimitsu Masuzawa} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 25th International Symposium, SSS 2023, Jersey City, NJ, USA, October 2-4, 2023, Proceedings}
}
@inproceedings{conf/sss/EguchiOIT23,
title = {Meeting Times of Non-atomic Random Walks.},
year = {2023},
booktitle = {SSS},
author = {{Ryota Eguchi} and {Fukuhito Ooshita} and {Michiko Inoue} and {Sébastien Tixeuil}},
publisher = {Springer},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 25th International Symposium, SSS 2023, Jersey City, NJ, USA, October 2-4, 2023, Proceedings}
}
@article{journals/concurrency/ShibataT23,
title = {Semi-uniform deployment of mobile robots in perfect ℓ \$\$ \\ell \$\$ -ary trees.},
year = {2023},
journal = {Concurr. Comput. Pract. Exp.},
author = {{Masahiro Shibata} and {Sébastien Tixeuil}}
}
@article{journals/corr/abs-2312-12698,
title = {Stand-Up Indulgent Gathering on Lines for Myopic Luminous Robots.},
year = {2023},
journal = {CoRR},
author = {{Quentin Bramas} and {Hirotsugu Kakugawa} and {Sayaka Kamei} and {Anissa Lamani} and {Fukuhito Ooshita} and {Masahiro Shibata} and {Sébastien Tixeuil}}
}
@article{journals/tcs/BonomiPPT23,
title = {Optimal self-stabilizing mobile byzantine-tolerant regular register with bounded timestamps.},
year = {2023},
journal = {Theor. Comput. Sci.},
author = {{Silvia Bonomi} and {Antonella Del Pozzo} and {Maria Potop-Butucaru} and {Sébastien Tixeuil}}
}
@article{journals/tcs/BramasLT23,
title = {Stand up indulgent gathering.},
year = {2023},
journal = {Theor. Comput. Sci.},
author = {{Quentin Bramas} and {Anissa Lamani} and {Sébastien Tixeuil}}
}
@article{journals/tcs/BramasLT23a,
title = {The agreement power of disagreement.},
year = {2023},
journal = {Theor. Comput. Sci.},
author = {{Quentin Bramas} and {Anissa Lamani} and {Sébastien Tixeuil}}
}
@article{journals/ras/DefagoHTW23,
title = {Using model checking to formally verify rendezvous algorithms for robots with lights in Euclidean space.},
year = {2023},
month = {May},
journal = {Robotics Auton. Syst.},
author = {{Xavier Défago} and {Adam Heriban} and {Sébastien Tixeuil} and {Koichi Wada 001}}
}
@article{journals/corr/abs-2402-14233,
title = {Stand-Up Indulgent Gathering on Rings.},
year = {2024},
journal = {CoRR},
author = {{Quentin Bramas} and {Sayaka Kamei} and {Anissa Lamani} and {Sébastien Tixeuil}}
}
@article{journals/cj/KameiT24,
title = {An Asynchronous Maximum Independent Set Algorithm By Myopic Luminous Robots On Grids.},
year = {2024},
month = {January},
journal = {Comput. J.},
author = {{Sayaka Kamei} and {Sébastien Tixeuil}}
}