Search - Archive ouverte HAL Access content directly

Filter your results

34 Results

Light enabling snap-stabilization of fundamental protocols

Alain Cournier , Stephane Devismes , Vincent Villain
ACM Transactions on Autonomous and Adaptive Systems, 2009, 4 (1), pp.1-27. ⟨10.1145/1462187.1462193⟩
Journal articles hal-03241437v1

How to improve snap-stabilizing point-to-point communication space complexity ?

Alain Cournier , Swan Dubois , Vincent Villain
SSS 2009 - 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2009, Lyon, France. pp.195-208, ⟨10.1007/978-3-642-05118-0_14⟩
Conference papers istex inria-00628081v1
Image document

Snap-Stabilizing Message Forwarding Algorithm on Tree Topologies

Alain Cournier , Swan Dubois , Anissa Lamani , Franck Petit , Vincent Villain et al.
[Technical Report] ???. 2011
Reports inria-00608897v1
Image document

Self-Stabilizing Leader Election in Polynomial Steps

Karine Altisen , Alain Cournier , Stéphane Devismes , Anaïs Durand , Franck Petit et al.
Information and Computation, 2017, 254 (3), pp.330-366. ⟨10.1016/j.ic.2016.09.002⟩
Journal articles hal-01347471v1

Snap-stabilizing PIF algorithm in arbitrary networks

A. Cournier , A.K. Datta , F. Petit , Vincent Villain
22nd International Conference on Distributed Computing Systems, May 2003, Vienna, France. pp.199-206, ⟨10.1109/ICDCS.2002.1022257⟩
Conference papers hal-03238140v1
Image document

Use of Uncertainty with Autoencoder Neural Networks for Anomaly Detection

Adrien Legrand , Harold Trannois , Alain Cournier
2019 IEEE Second International Conference on Artificial Intelligence and Knowledge Engineering (AIKE), Jun 2019, Sardinia, Italy. pp.32-35, ⟨10.1109/AIKE.2019.00014⟩
Conference papers hal-03233919v1
Image document

Une CNS pour l'acheminement de messages instantanément stabilisant

Alain Cournier , Swan Dubois , Vincent Villain
11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France
Conference papers inria-00383116v1

Minimal indecomposable graphs

Alain Cournier , Pierre Ille
Discrete Mathematics, 1998, 183 (1-3), pp.61-80. ⟨10.1016/S0012-365X(97)00077-0⟩
Journal articles hal-03238072v1

A New Polynomial Silent Stabilizing Spanning-Tree Construction Algorithm

Alain Cournier
International Colloquium on Structural Information and Communication Complexity, May 2009, Piran, Slovenia. pp.141-153, ⟨10.1007/978-3-642-11476-2_12⟩
Conference papers istex hal-03241454v1
Image document

Le premier algorithme stabilisant de construction d'arbre totalement polynomial

Alain Cournier , Stephane Rovedakis , Vincent Villain
14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), 2012, La Grande Motte, France. pp.1-4
Conference papers hal-00690040v1
Image document

Two snap-stabilizing point-to-point communication protocols in message-switched networks

Alain Cournier , Swan Dubois , Vincent Villain
2009
Preprints, Working Papers, ... inria-00384540v1

The Snap-stabilizing message forwarding algorithm on tree topologies

Alain Cournier , Swan Dubois , Anissa Lamani , Franck Petit , Vincent Villain et al.
Theoretical Computer Science, 2013, 496, pp.89-112. ⟨10.1016/j.tcs.2013.04.012⟩
Journal articles hal-00933930v1

An Improved Snap-Stabilizing {PIF} Algorithm

Lélia Blin , Vincent Villain , Alain Cournier
SSS, 2003, San Frisco, United States. ⟨10.1007/3-540-45032-7_15⟩
Conference papers istex hal-01310823v1

Self-stabilizing Synchronous Unison in Directed Networks

Altisen Karine , Alain Cournier , Geoffrey Defalque , Stéphane Devismes
ICDCN 2023: 24th International Conference on Distributed Computing and Networking, Jan 2023, Kharagpur India, France. pp.115-124, ⟨10.1145/3571306.3571397⟩
Conference papers hal-03925405v1
Image document

Self-Stabilizing Leader Election in Polynomial Steps

Karine Altisen , Alain Cournier , Stéphane Devismes , Anaïs Durand , Franck Petit et al.
SSS'2014, 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Sep 2014, Paderborn, Germany. pp.106-119, ⟨10.1007/978-3-319-11764-5_8⟩
Conference papers hal-00980798v4

A snap-stabilizing point-to-point communication protocol in message-switched networks

Alain Cournier , Swan Dubois , Vincent Villain
IPDPS 2009 - 23th IEEE International Parallel & Distributed Processing Symposium, May 2009, Rome, Italy. pp.1-11, ⟨10.1109/IPDPS.2009.5160997⟩
Conference papers inria-00628083v1

The snap-stabilizing message forwarding algorithm on tree topologies

Alain Cournier , Swan Dubois , Anissa Lamani , Franck Petit , Vincent Villain et al.
Theoretical Computer Science, 2013, 496, pp.89-112
Journal articles hal-01009451v1
Image document

Snap-Stabilizing Linear Message Forwarding

Anissa Lamani , Alain Cournier , Swan Dubois , Franck Petit , Vincent Villain et al.
[Technical Report] ???. 2010
Reports inria-00492870v1

Snap-Stabilizing Message Forwarding Algorithm on Tree Topologies

Alain Cournier , Swan Dubois , Anissa Lamani , Franck Petit , Vincent Villain et al.
ICDCN 2012 - 13th International Conference on Distributed Computing and Networking, Jan 2012, Hong Kong, China. pp.46-60, ⟨10.1007/978-3-642-25959-3_4⟩
Conference papers inria-00628088v1

The First Fully Polynomial Stabilizing Algorithm for BFS Tree Construction

Alain Cournier , Stephane Rovedakis , Vincent Villain
OPODIS 2011, 2011, Toulouse, France, France. pp.159-174
Conference papers hal-01009450v1

Snap-Stabilizing Depth-First Search on Arbitrary Networks

Alain Cournier , Stéphane Devismes , Franck Petit , Vincent Villain
The Computer Journal, 2005, 49 (3), pp.268-280. ⟨10.1093/comjnl/bxh154⟩
Journal articles hal-03244364v1
Image document

The First Fully Polynomial Stabilizing Algorithm for BFS Tree Construction

Alain Cournier , Stephane Rovedakis , Vincent Villain
Information and Computation, 2019, 265, pp.26-56. ⟨10.1016/j.ic.2019.01.005⟩
Journal articles hal-02470990v1
Image document

Acheminement de messages instantanément stabilisant pour arbres couvrants

Alain Cournier , Swan Dubois , Anissa Lamani , Franck Petit , Vincent Villain et al.
15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4
Conference papers hal-00817130v1

Snap-Stabilizing Linear Message Forwarding

Alain Cournier , Swan Dubois , Anissa Lamani , Franck Petit , Vincent Villain et al.
SSS 2010, 2010, New York, NY, USA, United States. pp.546-559
Conference papers hal-01009446v1
Image document

Élection autostabilisante en un nombre polynomial de pas de calcul

Karine Altisen , Alain Cournier , Stéphane Devismes , Anaïs Durand , Franck Petit et al.
ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
Conference papers hal-01145472v1

Fault-Tolerant and Dynamic Service Discovery System

Eddy Caron , Florent Chuffart , Alain Cournier , Anissa Lamani , Franck Petit et al.
[0] SPADE 1.2, Agence Nationale de la Recherche. 2012, pp.41
Reports hal-01427718v1

Acheminement de Messages Instantanément Stabilisant : Solution Optimale sur les Topologies Linéaires

Anissa Lamani , Alain Cournier , Swan Dubois , Franck Petit , Vincent Villain et al.
Rencontres francophones du Parallélisme, May 2011, Saint Malo, France
Conference papers inria-00628085v1
Image document

An improved stabilizing BFS tree construction

Alain Cournier , Stephane Rovedakis , Vincent Villain
2011
Reports hal-00589950v1

Search in Indecomposable Graphs

Alain Cournier
International Workshop on Graph-Theoretic Concepts in Computer Science, Jun 2002, Český Krumlov, Czech Republic. pp.80-91, ⟨10.1007/3-540-36379-3_8⟩
Conference papers istex hal-03238095v1

Study of Autoencoder Neural Networks for Anomaly Detection in Connected Buildings

Adrien Legrand , Brad Niepceron , Alain Cournier , Harold Trannois
2018 IEEE Global Conference on Internet of Things (GCIoT), Dec 2018, Alexandria, France. pp.1-5, ⟨10.1109/GCIoT.2018.8620158⟩
Conference papers hal-03233913v1