Search - Archive ouverte HAL Access content directly

Filter your results

327 Results
authIdHal_s : tixeuil

A self-stabilizing 2/3-approximation algorithm for the maximum matching problem

Fredrik Manne , Morten Mjelde , Laurence Pilard , Sébastien Tixeuil
Theoretical Computer Science, 2011, 412 (40), pp.5515-5526. ⟨10.1016/j.tcs.2011.05.019⟩
Journal articles hal-01154122v1
Image document

Ascending runs in dependent uniformly distributed random variables: Application to wireless networks

Nathalie Mitton , Katy Paroux , Bruno Sericola , Sébastien Tixeuil
[Research Report] RR-6443, INRIA. 2008, pp.12
Reports inria-00239348v5
Image document

Quiescence of Self-stabilizing Gossiping among Mobile Agents in Graphs

Toshimitsu Masuzawa , Sébastien Tixeuil
[Research Report] RR-6458, INRIA. 2008, pp.20
Reports inria-00260011v3
Image document

A New Self-Stabilizing Maximal Matching Algorithm

Fredrik Manne , Morten Mjelde , Laurence Pilard , Sébastien Tixeuil
[Research Report] RR-6111, INRIA. 2007, pp.17
Reports inria-00127899v2
Image document

FAIL-MPI: How fault-tolerant is fault-tolerant MPI ?

Thomas Herault , William Hoarau , Pierre Lemarinier , Eric Rodriguez , Sébastien Tixeuil
[Research Report] 1450, 2006, pp.26
Reports inria-00078183v1

Self-stabilizing Systems

Ted Herman , Sébastien Tixeuil
Ted Herman and Sébastien Tixeuil. Springer, 2005
Books inria-00078184v1
Image document

Space Lower Bounds for Graph Exploration via Reduced Automata

Pierre Fraigniaud , David Ilcinkas , Sergio Rajsbaum , Sébastien Tixeuil
SIROCCO 2005, May 2005, Le Mont Saint-Michel, France. pp.140-154, ⟨10.1007/11429647_13⟩
Conference papers hal-00339766v1
Image document

Stabilizing data-link over non-FIFO channels with optimal fault-resilience

Shlomi Dolev , Swan Dubois , Maria Potop-Butucaru , Sébastien Tixeuil
[Research Report] ???. 2010
Reports inria-00536048v2

Auto-stabilisation dans les réseaux ad hoc.

Nathalie Mitton , Eric Fleury , Isabelle Guérin-Lassous , Sébastien Tixeuil
7e Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (Algotel), May 2005, Presqu'ile de giens, France
Conference papers inria-00600336v1
Image document

Distributed Online Data Aggregation in Dynamic Graphs

Quentin Bramas , Toshimitsu Masuzawa , Sébastien Tixeuil
[Research Report] Sorbonne Universités, UPMC Univ Paris 06, CNRS, LIP6 UMR 7606, 4 place Jussieu 75005 Paris.; Osaka University, Japan. 2016
Reports hal-01264285v2
Image document

Optimally Gathering Two Robots

Adam Heriban , Xavier Défago , Sébastien Tixeuil
[Research Report] UPMC Sorbonne Universités. 2017
Reports hal-01575451v1

Benchmarking Energy-Efficient Broadcast Protocols in Wireless Sensor Networks

Quentin Bramas , Sébastien Tixeuil
Networked Systems - Fourth International Conference (NETYS 2016), May 2016, Marakech, Morocco
Conference papers hal-01349075v1

35th IEEE Symposium on Reliable Distributed Systems (SRDS 2016)

Matti Hiltunen , Sébastien Tixeuil
35th IEEE Symposium on Reliable Distributed Systems (SRDS 2016), Sep 2016, Budapest, Hungary. IEEE Computer Society, 2016, 978-1-5090-3513-7
Proceedings hal-01494860v1

Reliability, Availibility, and Security, 3rd International Workshop (WRAS 2010)

Franck Petit , Sébastien Tixeuil
2010
Proceedings hal-01290833v1
Image document

Comment extraire un discours cohérent de la confusion générale

Silvia Bonomi , Giovanni Farina , Sébastien Tixeuil
AlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2023, Cargese, France
Conference papers hal-04086366v1

Asynchronous mobile robot gathering from symmetric configurations without global multiplicity detection

Sayaka Kamei , Anissa Lamani , Fukuhito Ooshita , Sébastien Tixeuil
Sirocco 2011, Jun 2011, Gdansk, Poland. pp.150-161, ⟨10.1007/978-3-642-22212-2_14⟩
Conference papers hal-01285680v1
Image document

Les Vertus Énergétiques de l'Inondation à Pleine Puissance

Quentin Bramas , Sébastien Tixeuil
Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, May 2017, Quiberon, France
Conference papers hal-01518553v1

Brief Announcement: Efficient Self-Stabilizing 1-Maximal Matching Algorithm for Arbitrary Networks

Michiko Inoue , Fukuhito Ooshita , Sébastien Tixeuil
ACM Conference on Principles of Distributed Computing (PODC 2017) , Jul 2017, Washington, United States
Conference papers hal-01520336v1

A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-Free Property

Lélia Blin , Maria Potop-Butucaru , Stephane Rovedakis , Sébastien Tixeuil
The Computer Journal, 2016, 59 (2), pp.225-243. ⟨10.1093/comjnl/bxv110⟩
Journal articles hal-01269828v1

Deterministic Secure Positioning in Wireless Sensor Networks

Sylvie Delaët , Partha Sarathi Mandal , Mariusz Rokicki , Sébastien Tixeuil
ACM/IEEE International Conference on Distributed Computing in Sensor Networks (DCOSS 2008), Jun 2008, Santorini Island, Greece. pp.469-477, ⟨10.1007/978-3-540-69170-9_32⟩
Conference papers hal-01303473v1

A language-driven tool for fault injection in distributed applications

William Hoarau , Sébastien Tixeuil
Proceedings of the IEEE/ACM Workshop GRID 2005, Nov 2005, Seattle, United States. ⟨10.1109/GRID.2005.1542742⟩
Conference papers hal-00684889v1

A Fast and Robust Optimistic Total Order Broadcast for Online Video Games

Samuel Bernard , Xavier Défago , Sébastien Tixeuil
International Conference on Advanced Information Networking and Applications Workshops, Mar 2012, Fukuoka, Japan. pp.189-196, ⟨10.1109/WAINA.2012.105⟩
Conference papers hal-00934047v1

Stabilizing data-link over non-FIFO channels with optimal fault-resilience

Shlomi Dolev , Swan Dubois , Maria Potop-Butucaru , Sébastien Tixeuil
Information Processing Letters, 2011, 111 (18), pp.912-920. ⟨10.1016/j.ipl.2011.06.010⟩
Journal articles inria-00627760v1

Containing Byzantine Failures with Control Zones

Alexandre Maurer , Sébastien Tixeuil
IEEE Transactions on Parallel and Distributed Systems, 2015, 26 (2), pp.362-370. ⟨10.1109/TPDS.2014.2308190⟩
Journal articles hal-01123661v1
Image document

Reliable Communication in a Dynamic Network in the Presence of Byzantine Faults

Alexandre Maurer , Sébastien Tixeuil , Xavier Défago
[Research Report] _. 2014
Reports hal-00940569v4

The Random Bit Complexity of Mobile Robots Scattering

Quentin Bramas , Sébastien Tixeuil
[Research Report] Université Pierre et Marie Curie. 2015
Reports hal-00866048v2
Image document

Stateless Geocasting

Jordan Adamek , Mikhail Nesterenko , Sébastien Tixeuil
[Research Report] UPMC. 2015
Reports hal-01168488v1
Image document

Parameterizable Byzantine Broadcast in Loosely Connected Networks

Alexandre Maurer , Sébastien Tixeuil
[Research Report] ???. 2012
Reports hal-00777155v2
Image document

Vérification formelle et robots mobiles

Béatrice Bérard , Laure Millet , Maria Gradinariu Potop-Butucaru , Yann Thierry-Mieg , Sébastien Tixeuil
15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4
Conference papers hal-00818707v1
Image document

On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering

Laure Millet , Maria Potop-Butucaru , Nathalie Sznajder , Sébastien Tixeuil
SSS 2014 - 16th International Symposium on Stabilization, Safety and Security of Distributed Systems, Sep 2014, Paderborn, Germany. pp.237-251, ⟨10.1007/978-3-319-11764-5_17⟩
Conference papers hal-01016832v2