Sébastien Tixeuil
318
Documents
Publications
- 51
- 29
- 29
- 28
- 27
- 27
- 21
- 19
- 18
- 18
- 17
- 11
- 10
- 10
- 10
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
Stand-Up Indulgent Gathering on LinesSSS 2023: Stabilization, Safety, and Security of Distributed Systems, Oct 2023, Jersey City, NJ, United States. pp.451-465, ⟨10.1007/978-3-031-44274-2_34⟩
Communication dans un congrès
hal-04232951v1
|
|
|
Comment extraire un discours cohérent de la confusion généraleAlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2023, Cargese, France
Communication dans un congrès
hal-04086366v1
|
|
Comment réduire efficacement l'entropie des sources malveillantes d'informationAlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2022, Saint-Rémy-Lès-Chevreuse, France
Communication dans un congrès
hal-03657365v1
|
|
Il était une fois AlgotelAlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2022, Saint-Rémy-Lès-Chevreuse, France
Communication dans un congrès
hal-03656129v1
|
|
Data-driven evaluation of intrusion detectors: a methodological frameworkFPS 2022 - 15th International Symposium on Foundations & Practice of Security, Dec 2022, Ottawa, ON, Canada. pp.142-157, ⟨10.1007/978-3-031-30122-3_9⟩
Communication dans un congrès
hal-04055085v1
|
Realistic Self-stabilization26th International Conference on Principles of Distributed Systems (OPODIS 2022), Dec 2022, Bruxelles, Belgium
Communication dans un congrès
hal-03971242v1
|
|
|
Asynchronous Gathering in a TorusOPODIS 2021 - 25th International Conference on Principles of Distributed Systems, Dec 2021, Strasbourg, France. pp.9:1--9:17, ⟨10.4230/LIPIcs.OPODIS.2021.9⟩
Communication dans un congrès
hal-03592615v1
|
|
Une méthode efficace pour éviter la propagation des fake newsALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
Communication dans un congrès
hal-02875967v1
|
Autonomous Identification of IoT Device Types based on a Supervised ClassificationICC 2020 - 2020 IEEE International Conference on Communications (ICC), Jun 2020, Virtual conference, Ireland. ⟨10.1109/ICC40277.2020.9148821⟩
Communication dans un congrès
hal-02913093v1
|
|
Boosting the Efficiency of Byzantine-Tolerant Reliable CommunicationStabilization, Safety, and Security of Distributed Systems, Nov 2020, Austin, United States. pp.29-44, ⟨10.1007/978-3-030-64348-5_3⟩
Communication dans un congrès
hal-03026501v1
|
|
On the Encoding and Solving of Partial Information Games8th International Conference on Networked Systems - NETYS 2020, Jun 2020, Marrakech, Morocco. pp.60-76, ⟨10.1007/978-3-030-67087-0_5⟩
Communication dans un congrès
hal-02979574v1
|
|
Partial Gathering of Mobile Robots from Multiplicity-Allowed Configurations in RingsStabilization, Safety, and Security of Distributed Systems, Nov 2020, Austin, United States. pp.264-279, ⟨10.1007/978-3-030-64348-5_21⟩
Communication dans un congrès
hal-03026522v1
|
|
|
On peut tromper mille personnes mille fois, mais pas plusALGOTEL 2020 - 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France. pp.156-165
Communication dans un congrès
hal-03746708v1
|
|
Uniform Bipartition in the Population Protocol Model with Arbitrary Communication Graphs24th International Conference on Principles of Distributed Systems (OPODIS 2020), Dec 2020, Strasbourg, France. pp.33:1--33:16, ⟨10.4230/LIPIcs.OPODIS.2020.33⟩
Communication dans un congrès
hal-03126591v1
|
Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space2020 International Symposium on Reliable Distributed Systems (SRDS), Sep 2020, Shanghai, China. pp.113-122, ⟨10.1109/SRDS51746.2020.00019⟩
Communication dans un congrès
hal-03017408v1
|
|
Stand Up Indulgent RendezvousStabilization, Safety, and Security of Distributed Systems, Nov 2020, Austin, United States. pp.45-59, ⟨10.1007/978-3-030-64348-5_4⟩
Communication dans un congrès
hal-03026512v1
|
|
Broadcasting Information in Multi-hop Networks Prone to Mobile Byzantine FaultsNetworked Systems, 8th International Conference, NETYS 2020, Jun 2020, Marrakech, Morocco. pp.112-128, ⟨10.1007/978-3-030-67087-0_8⟩
Communication dans un congrès
hal-03109954v1
|
|
|
Du discrètement continu au continûment discretALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
Communication dans un congrès
hal-02871295v1
|
Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots7th International Conference on NETworked sYStems (NETYS 2019), Jun 2019, Marrakech, Morocco. pp.93-09, ⟨10.1007/978-3-030-31277-0_7⟩
Communication dans un congrès
hal-02115599v1
|
|
Network-Protocol-Based IoT Device Identification2019 Fourth International Conference on Fog and Mobile Edge Computing (FMEC), Jun 2019, Rome, Italy. pp.204-209, ⟨10.1109/FMEC.2019.8795318⟩
Communication dans un congrès
hal-02286011v1
|
|
|
Les 4 Robots FantastiquesALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France
Communication dans un congrès
hal-02123870v1
|
Autonomous IoT Device Identification PrototypeNetwork Traffic Measurement and Analysis Conference 2019, Jun 2019, Paris, France. https://tma.roc.cnam.fr/Proceedings/TMA_Demo_2.pdf, ⟨10.23919/TMA.2019.8784517⟩
Communication dans un congrès
hal-02168149v1
|
|
|
Gathering on Rings for Myopic Asynchronous Robots With Lights Sébastien Tixeuil23rd International Conference on Principles of Distributed Systems (OPODIS 2019), Dec 2019, Neuchatel, Netherlands. pp.27:1--27:17, ⟨10.4230/LIPIcs.OPODIS.2019.27⟩
Communication dans un congrès
hal-02475374v1
|
Mobile Robots with Uncertain Visibility SensorsSIROCCO 2019 - 26th International Colloquium on Structural Information and Communication Complexity, Jul 2019, L'Aquila, Italy. pp.349-352, ⟨10.1007/978-3-030-24922-9_27⟩
Communication dans un congrès
hal-02286008v1
|
|
|
Amélioration de l’identification du type des objets connectés par classification superviséeCORES2019 - Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, Jun 2019, Jardins de Saint Benoît, France
Communication dans un congrès
hal-02126555v1
|
|
Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space33rd International Symposium on Distributed Computing (DISC 2019), Oct 2019, Budapest, Hungary. pp.41:1--41:3, ⟨10.4230/LIPIcs.DISC.2019.41⟩
Communication dans un congrès
hal-02394992v1
|
Distributed Online Data Aggregation in Dynamic GraphsNETYS 2019 - 7th International Conference on Networked Systems, Jun 2019, Marrakech, Morocco. pp.365-380, ⟨10.1007/978-3-030-31277-0_24⟩
Communication dans un congrès
hal-02394962v1
|
|
|
Manuel de savoir-prouver à l’usage des roboteux et des distributeuxALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France. pp.1-4
Communication dans un congrès
hal-02115611v1
|
Compact Self-Stabilizing Leader Election for General NetworksLATIN 2018 - 13th Latin American Symposium on Theoretical Informatics, Apr 2018, Buenos Aires, Argentina. pp.161-173, ⟨10.1007/978-3-319-77404-6_13⟩
Communication dans un congrès
hal-02076468v1
|
|
Multi-hop Byzantine Reliable Broadcast Made PracticalLADC 2018 - 8th Latin-American Symposium on Dependable Computing, Oct 2018, Foz do Iguau, Brazil. pp.155-160, ⟨10.1109/LADC.2018.00026⟩
Communication dans un congrès
hal-02076443v1
|
|
Optimally Gathering Two RobotsThe 19th International Conference on Distributed Computing and Networking, Jan 2018, Varanasi, India. pp.3, ⟨10.1145/3154273.3154323⟩
Communication dans un congrès
hal-01753431v1
|
|
Churn Possibilities and ImpossibilitiesNETYS 2018 - 6th International Conference on Networked Systems, May 2018, Essaouira, Morocco. pp.303-317, ⟨10.1007/978-3-030-05529-5_20⟩
Communication dans un congrès
hal-02076478v1
|
|
Concurrent Geometric MulticastingThe 19th International Conference on Distributed Computing and Networking, Jan 2018, Varanasi, India. ⟨10.1145/3154273.3154314⟩
Communication dans un congrès
hal-01753444v1
|
|
A Foundational Framework for Certified Impossibility Results with Mobile Robots on GraphsICDCN 2018 - 19th International Conference on Distributed Computing and Networking, Jan 2018, Varanasi, India. pp.1-10, ⟨10.1145/3154273.3154321⟩
Communication dans un congrès
hal-01753439v1
|
|
Arbitrary Pattern Formation with Four RobotsSSS 2018 - 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2018, Tokyo, Japan. pp.333-348, ⟨10.1007/978-3-030-03232-6_22⟩
Communication dans un congrès
hal-02076496v1
|
|
|
Identification du type des objets connectés par les informations des protocoles réseauxRencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, May 2018, Roscoff, France
Communication dans un congrès
hal-01785952v1
|
Ring Exploration with Myopic Luminous RobotsSSS 2018 - 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2018, Tokyo, Japan. pp.301-316, ⟨10.1007/978-3-030-03232-6_20⟩
Communication dans un congrès
hal-02076489v1
|
|
Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine FailuresSSS 2018 - 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2018, Tokyo, Japan. pp.170-185, ⟨10.1007/978-3-030-03232-6_12⟩
Communication dans un congrès
hal-02076398v1
|
|
Short Paper: Tight Bounds for Universal and Cautious Self-stabilizing 1-Maximal MatchingNETYS 2018 - 6th International Conference on Networked Systems, May 2018, Essaouira, Morocco. pp.334-339, ⟨10.1007/978-3-030-05529-5_22⟩
Communication dans un congrès
hal-02076484v1
|
|
Brief Announcement: Optimal Self-stabilizing Mobile Byzantine-Tolerant Regular Register with Bounded Timestamps20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2018), Nov 2018, Tokyo, Japan. pp.398-403, ⟨10.1007/978-3-030-03232-6_28⟩
Communication dans un congrès
hal-02443130v1
|
|
Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile RobotsStabilization, Safety, and Security of Distributed Systems. SSS 2018., Xavier Defago, Toshimitsu Masuzawa, Koichi Wada, Nov 2018, Tokyo, Japan. pp.404-408, ⟨10.1007/978-3-030-03232-6_29⟩
Communication dans un congrès
hal-01937420v1
|
|
Certified Gathering of Oblivious Mobile Robots: survey of recent results and open problemsFormal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS/AVOCS), Sep 2017, Turin, Italy. pp.165-181, ⟨10.1007/978-3-319-67113-0_11⟩
Communication dans un congrès
hal-01549942v1
|
|
Optimal Storage under Unsynchronized Mobile Byzantine Faults36th IEEE Symposium on Reliable Distributed Systems (SRDS 2017), Sep 2017, Hong Kong, China
Communication dans un congrès
hal-01549931v1
|
|
|
Les Vertus Énergétiques de l'Inondation à Pleine PuissanceRencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, May 2017, Quiberon, France
Communication dans un congrès
hal-01518553v1
|
Brief Announcement: Efficient Self-Stabilizing 1-Maximal Matching Algorithm for Arbitrary NetworksACM Conference on Principles of Distributed Computing (PODC 2017) , Jul 2017, Washington, United States
Communication dans un congrès
hal-01520336v1
|
|
Stateless Reliable Geocasting36th IEEE Symposium on Reliable Distributed Systems (SRDS 2017), Sep 2017, Hong Kong, China
Communication dans un congrès
hal-01549915v1
|
|
Parameterized verification of algorithms for oblivious robots on a ringFormal Methods in Computer Aided Design, Oct 2017, Vienna, Austria. pp.212-219, ⟨10.23919/FMCAD.2017.8102262⟩
Communication dans un congrès
hal-01664894v1
|
|
|
Agrégation Distribuée de Données dans les Réseaux DynamiquesALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2017, Quiberon, France
Communication dans un congrès
hal-01518548v1
|
Brief announcement: Compact Self-Stabilizing Leader Election for General Networks31st International Symposium on Distributed Computing (DISC 2017), Oct 2017, Vienna, Austria
Communication dans un congrès
hal-01553088v1
|
|
|
Algorithme Auto-Stabilisant Compact d'Election pour les Graphes ArbitrairesALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2017, Quiberon, France
Communication dans un congrès
hal-01512950v1
|
|
Formation de Motifs Géométriques Arbitraires par des Robots DésorientésALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications , May 2016, Bayonne, France
Communication dans un congrès
hal-01302912v1
|
Synchronous Gathering Without Multiplicity Detection: A Certified AlgorithmInternational Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), Nov 2016, Lyon, France. pp.7-19, ⟨10.1007/978-3-319-49259-9_2⟩
Communication dans un congrès
hal-01491813v1
|
|
Asynchronous Gathering in Rings with 4 RobotsAd Hoc Now 2016, Jul 2016, Lille, France
Communication dans un congrès
hal-01340243v1
|
|
Infinite Unlimited Churn (Short Paper)International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), Nov 2016, Lyon, France. pp.148-153, ⟨10.1007/978-3-319-49259-9_12⟩
Communication dans un congrès
hal-01491828v1
|
|
|
Specification-Based Synthesis of Distributed Self-Stabilizing Protocols36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.124-141, ⟨10.1007/978-3-319-39570-8_9⟩
Communication dans un congrès
hal-01432932v1
|
Optimal Mobile Byzantine Fault Tolerant Distributed StorageACM Conference on Principles of Distributed Computing (PODC), ACM, Jul 2016, Chicago, United States
Communication dans un congrès
hal-01349064v1
|
|
Stability and optimization of DNS-based request redirection in CDNsInternational Conference on Distributed Computing and Networking , Jan 2016, Singapore, Singapore. pp.11, ⟨10.1145/2833312.2833455⟩
Communication dans un congrès
hal-01272045v1
|
|
Probabilistic Asynchronous Arbitrary Pattern Formation (Short Paper)International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), Nov 2016, Lyon, France. pp.88-93, ⟨10.1007/978-3-319-49259-9_7⟩
Communication dans un congrès
hal-01491832v1
|
|
Benchmarking Energy-Efficient Broadcast Protocols in Wireless Sensor NetworksNetworked Systems - Fourth International Conference (NETYS 2016), May 2016, Marakech, Morocco
Communication dans un congrès
hal-01349075v1
|
|
An Efficient Silent Self-stabilizing 1-Maximal Matching Algorithm Under Distributed Daemon Without Global IdentifiersInternational Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), Nov 2016, Lyon, France. pp.195-212, ⟨10.1007/978-3-319-49259-9_17⟩
Communication dans un congrès
hal-01491823v1
|
|
Specification-based Synthesis of Distributed Self-Stabilizing ProtocolsFormal Techniques for Distributed Objects, Components, and Systems International Conference (FORTE 2016), May 2016, Heraklion, Greece
Communication dans un congrès
hal-01349070v1
|
|
Brief announcement: Certified Universal Gathering in R2 for Oblivious Mobile RobotsACM Conference on Principles of Distributed Computing (PODC), ACM, Jul 2016, Chicago, United States
Communication dans un congrès
hal-01349084v1
|
|
A Certified Universal Gathering Algorithm for Oblivious Mobile RobotsDistributed Computing (DISC), Sep 2016, Paris, France
Communication dans un congrès
hal-01349061v1
|
|
Packet Efficient Implementation of the Omega Failure DetectorInternational Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), Nov 2016, Lyon, France. pp.70-87, ⟨10.1007/978-3-319-49259-9_6⟩
Communication dans un congrès
hal-01491817v1
|
|
Brief announcement: Probabilistic Asynchronous Arbitrary Pattern FormationACM Conference on Principles of Distributed Computing (PODC), Jul 2016, Chicago, United States
Communication dans un congrès
hal-01349087v1
|
|
Enhancing Content Distribution through Information-Aware MechanismsCloudNet, Oct 2016, Pisa, Italy
Communication dans un congrès
hal-01349026v1
|
|
Stabilizing Byzantine-Fault Tolerant StorageIEEE International Parallel and Distributed Processing Symposium (IPDPS), 2015, May 2015, Hyderabad, India. pp.894-903, ⟨10.1109/IPDPS.2015.89⟩
Communication dans un congrès
hal-01206290v1
|
|
The Complexity of Data Aggregation in Static and Dynamic Wireless Sensor NetworksThe International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2015), Aug 2015, Edmonton, Canada. pp.36-50, ⟨10.1007/978-3-319-21741-3_3⟩
Communication dans un congrès
hal-01213269v1
|
|
|
Agréger Rapidement des Données est DifficileALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
Communication dans un congrès
hal-01144458v1
|
Evaluating and Optimizing Stabilizing Dining PhilosophersThe European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France
Communication dans un congrès
hal-01213278v1
|
|
Communicating Reliably in Multihop Dynamic Networks despite Byzantine FailuresThe International Symposium on Reliable Distributed Systems (SRDS2015), Sep 2015, Montreal, Canada
Communication dans un congrès
hal-01213311v1
|
|
|
Communication fiable dans un réseau dynamique en présence de fautes ByzantinesALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
Communication dans un congrès
hal-01146737v1
|
Wait-free Gathering without ChiralitySIROCCO 2015, Jul 2015, Montserrat, Spain
Communication dans un congrès
hal-01213285v1
|
|
|
Optimal Torus Exploration by Oblivious RobotsNETYS 2015 - Third International Conference on Networked Systems, May 2015, Agadir, Morocco. pp.183-199, ⟨10.1007/978-3-319-26850-7_13⟩
Communication dans un congrès
hal-00926573v3
|
WiSeBat: Accurate Energy Benchmarking of Wireless Sensor NetworksThe Forum on specification and Design Languages (FDL 2015), Sep 2015, Barcelona, Spain. pp.1--8, ⟨10.1109/FDL.2015.7306084⟩
Communication dans un congrès
hal-01213325v1
|
|
Automated Analysis of Impact of Scheduling on Performance of Self-Stabilizing ProtocolsThe International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2015), Aug 2015, Edmonton, Canada. pp.156-170, ⟨10.1007/978-3-319-21741-3_11⟩
Communication dans un congrès
hal-01213273v1
|
|
The Random Bit Complexity of Mobile Robots ScatteringAd-hoc, Mobile, and Wireless Networks - 14th International Conference, ADHOC-NOW 2015, Jun 2015, Athènes, Greece. pp.210-224, ⟨10.1007/978-3-319-19662-6_15⟩
Communication dans un congrès
hal-01135398v1
|
|
|
Synthèse d'algorithmes pour robots mobiles : le cas du regroupement sur un anneauALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
Communication dans un congrès
hal-01154517v1
|
|
De la Survie Énergétique des Réseaux de CapteursALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
Communication dans un congrès
hal-01144309v1
|
Brief Announcement: Designing a Fault Tolerance Algorithm to Optimize Experimental Performance: the Case of Stabilizing Dining Philosophers16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2014, Sep 2014, Paderborn, Germany. pp.349-351
Communication dans un congrès
hal-01215924v1
|
|
Self-stabilizing Byzantine BroadcastThe 33rd IEEE Symposium on Reliable Distributed Systems (SRDS 2014), Oct 2014, Nara, Japan. pp.152-160, ⟨10.1109/SRDS.2014.10⟩
Communication dans un congrès
hal-01215926v1
|
|
|
On the Synthesis of Mobile Robots Algorithms: the Case of Ring GatheringSSS 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⟩
Communication dans un congrès
hal-01016832v2
|
|
Le pouvoir séparateur d'une pièce de monnaieALGOTEL 2014 -- 16èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2014, Le Bois-Plage-en-Ré, France. pp.1-4
Communication dans un congrès
hal-00985322v1
|
Discovering and Assessing Fine-Grained Metrics in Robot Networks ProtocolsWorkshop on Self-organization in Swarm of Robots: from Molecular Robots to Mobile Agents (WSSR 2014), Oct 2014, Nara, Japan. pp.50-59, ⟨10.1109/SRDSW.2014.34⟩
Communication dans un congrès
hal-01108586v1
|
|
Linearizing Peer-to-Peer Systems with OraclesInternational Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2013, Osaka, Japan. pp.221-236, ⟨10.1007/978-3-319-03089-0_16⟩
Communication dans un congrès
hal-00930281v1
|
|
Dependable Information Broadcast in Sparsely Connected NetworksInternational Conference on Latin American Dependable Computing, LADC 2013, Apr 2013, Rio de Janeiro, Brazil. pp.31-39
Communication dans un congrès
hal-01219722v1
|
|
Gathering of Mobile Robots Tolerating Multiple Crash FaultsInternational Conference on Distributed Computing Systems, Jul 2013, Philadelphia, United States. pp.337-346, ⟨10.1109/ICDCS.2013.27⟩
Communication dans un congrès
hal-00930074v1
|
|
Fast Leader (Full) Recovery Despite Dynamic FaultsInternational Conference on Distributed Computing and Networking, Jan 2013, Mumbai, India. pp.428-433, ⟨10.1007/978-3-642-35668-1_30⟩
Communication dans un congrès
hal-00930061v1
|
|
|
A Scalable Byzantine GridInternational Conference on Distributed Computing and Networking, Jan 2013, Mumbai, India. pp.87-101, ⟨10.1007/978-3-642-35668-1_7⟩
Communication dans un congrès
hal-00742655v1
|
Consensus with Unknown Participants in Shared MemoryInternational Symposium on Reliable Distributed Systems, Sep 2013, Braga, Portugal. pp.51-60, ⟨10.1109/SRDS.2013.14⟩
Communication dans un congrès
hal-00930100v1
|
|
Certified Impossibility Results for Byzantine-Tolerant Mobile RobotsInternational Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2013, Osaka, Japan. pp.178-190, ⟨10.1007/978-3-319-03089-0_13⟩
Communication dans un congrès
hal-00930267v1
|
|
|
Vérification formelle et robots mobiles15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4
Communication dans un congrès
hal-00818707v1
|
Compact Deterministic Self-stabilizing Leader Election - The Exponential Advantage of Being TalkativeDISC 2013 - 27th International Symposium on Distributed Computing, Oct 2013, Jerusalem, Israel. pp.76-90, ⟨10.1007/978-3-642-41527-2_6⟩
Communication dans un congrès
hal-00930095v1
|
|
|
Explorer une grille avec un minimum de robots amnésiques15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4
Communication dans un congrès
hal-00817123v1
|
Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model CheckingInternational Symposium on Reliable Distributed Systems, Sep 2013, Braga, Portugal. pp.153-162, ⟨10.1109/SRDS.2013.24⟩
Communication dans un congrès
hal-00930109v1
|
|
|
Tolérer les fautes Byzantines dans les graphes planaires15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4
Communication dans un congrès
hal-00812914v4
|
|
Contenu généré par les utilisateurs : une étude sur DailyMotion15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4
Communication dans un congrès
hal-00818606v1
|
Brief announcement: deterministic self-stabilizing leader election with O(log log n)-bitsACM Symposium on Principles of Distributed Computing, Jul 2013, Montreal, Canada. pp.125-127, ⟨10.1145/2484239.2484289⟩
Communication dans un congrès
hal-00930090v1
|
|
Brief Announcement: Certified impossibility results for Byzantine-tolerant mobile robotsInternational Symposium on Distributed Computing (DISC2013), Oct 2013, Jerusalem, Israel. pp.2
Communication dans un congrès
hal-01126335v1
|
|
Brief Announcement: Wait-Free Gathering of Mobile RobotsInternational Symposium on Distributed Computing, Oct 2012, Salvador, Brazil. pp.401-402, ⟨10.1007/978-3-642-33651-5_28⟩
Communication dans un congrès
hal-00934220v1
|
|
Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks ProtocolsInternational Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2012, Toronto, Canada. pp.282-284, ⟨10.1007/978-3-642-33536-5_28⟩
Communication dans un congrès
hal-00934186v1
|
|
|
Mariages et TrahisonsAlgoTel'12 - 14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2012, La Grande Motte, France. pp.1-4
Communication dans un congrès
hal-00689348v1
|
|
Confinement de fautes Byzantines dans les réseaux multi-sauts asynchrones14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2012, La Grande Motte, France
Communication dans un congrès
hal-00686663v1
|
Limiting Byzantine Influence in Multihop Asynchronous NetworksInternational Conference on Distributed Computing Systems, Jun 2012, Macau, China. pp.183-192, ⟨10.1109/ICDCS.2012.15⟩
Communication dans un congrès
hal-00934073v1
|
|
|
On Byzantine Broadcast in Loosely Connected Networks26th International Symposium on Distributed Computing, DISC 2012, Oct 2012, Salvador, Brazil. pp.253-266, ⟨10.1007/978-3-642-33651-5_18⟩
Communication dans un congrès
hal-00728337v1
|
On the Self-stabilization of Mobile Oblivious Robots in Uniform RingsInternational Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2012, Toronto, Canada. pp.49-63, ⟨10.1007/978-3-642-33536-5_6⟩
Communication dans un congrès
hal-00934149v1
|
|
Consenso com Participantes Desconhecidos em Memória CompartilhadaSimpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2012), Apr 2012, Ouro Preto, Brazil. pp.756-769
Communication dans un congrès
hal-01272830v1
|
|
Gathering an Even Number of Robots in an Odd Ring without Global Multiplicity DetectionMathematical Foundations of Computer Science, Aug 2012, Bratislava, Slovakia. pp.542-553, ⟨10.1007/978-3-642-32589-2_48⟩
Communication dans un congrès
hal-00934132v1
|
|
Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with FeedbackInternational Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2012, Toronto, Canada. pp.126-132, ⟨10.1007/978-3-642-33536-5_13⟩
Communication dans un congrès
hal-00934179v1
|
|
A Fast and Robust Optimistic Total Order Broadcast for Online Video GamesInternational Conference on Advanced Information Networking and Applications Workshops, Mar 2012, Fukuoka, Japan. pp.189-196, ⟨10.1109/WAINA.2012.105⟩
Communication dans un congrès
hal-00934047v1
|
|
Optimal Grid Exploration by Asynchronous Oblivious RobotsInternational Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2012, Toronto, Canada. pp.64-76, ⟨10.1007/978-3-642-33536-5_7⟩
Communication dans un congrès
hal-00934161v1
|
|
The Byzantine Brides ProblemFUN 2012 - 6th International Conference Fun with Algorithms, Jun 2012, Venice, Italy. pp.107-118, ⟨10.1007/978-3-642-30347-0_13⟩
Communication dans un congrès
hal-00934055v1
|
|
Brief Announcement: Probabilistic Stabilization under Probabilistic SchedulersInternational Symposium on Distributed COmputing, Oct 2012, Salvador, Brazil. pp.413-414, ⟨10.1007/978-3-642-33651-5_34⟩
Communication dans un congrès
hal-00934232v1
|
|
Crash Resilient and Pseudo-Stabilizing Atomic RegistersOPODIS 2012 - 16th International Conference on Principles of Distributed Systems, Dec 2012, Rome, Italy. pp.135-150, ⟨10.1007/978-3-642-35476-2_10⟩
Communication dans un congrès
hal-00934144v1
|
|
|
Four Months in DailyMotion: Dissecting User Video RequestsTRAC 2012 - 3rd International Workshop on TRaffic Analysis and Classification, Aug 2012, Limassol, Cyprus. pp.613-618, ⟨10.1109/IWCMC.2012.6314274⟩
Communication dans un congrès
hal-00692095v1
|
Maximum Metric Spanning Tree made Byzantine TolerantDISC 2011 - 25th International Symposium on Distributed Computing, Sep 2011, Rome, Italy. pp.150-164, ⟨10.1007/978-3-642-24100-0_14⟩
Communication dans un congrès
inria-00627777v1
|
|
|
Auto-Stabilisation et Confinement de Fautes Malicieuses : Optimalité du Protocole min+113es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2011, Cap Estérel, France
Communication dans un congrès
inria-00587517v1
|
Asynchronous Exclusive Perpetual Grid Exploration without Sense of DirectionOPODIS 2011 - 15th International Conference on Principles of Distributed Systems, Dec 2011, Toulouse, France. pp.251-265, ⟨10.1007/978-3-642-25873-2_18⟩
Communication dans un congrès
hal-00992679v1
|
|
Distributed Computing with Mobile Robots: an Introductory SurveyNBiS 2011 - 14th International Conference on Network-Based Information Systems, Sep 2011, Tirana, Albania. pp.318-324, ⟨10.1109/NBiS.2011.55⟩
Communication dans un congrès
hal-00649294v1
|
|
Ideal StabilizationIEEE AINA 2011, Mar 2011, Biopolis, Singapore. pp.224-231, ⟨10.1109/AINA.2011.28⟩
Communication dans un congrès
hal-01285686v1
|
|
Asynchronous mobile robot gathering from symmetric configurations without global multiplicity detectionSirocco 2011, Jun 2011, Gdansk, Poland. pp.150-161, ⟨10.1007/978-3-642-22212-2_14⟩
Communication dans un congrès
hal-01285680v1
|
|
|
Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2011, Cap Estérel, France
Communication dans un congrès
inria-00587089v1
|
Asynchronous Mobile Robot Gathering from Symmetric Configurations without Global Multiplicity DetectionSIROCCO 2011, 2011, Gdansk, Poland, Poland. pp.150-161
Communication dans un congrès
hal-01009454v1
|
|
Pragmatic Self-Stabilization of Atomic Memory in Message-Passing SystemsSSS 2011 - 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2011, Grenoble, France. pp.19-31, ⟨10.1007/978-3-642-24550-3_4⟩
Communication dans un congrès
inria-00627780v1
|
|
Brief Announcement: The BG-simulation for Byzantine Mobile RobotsDISC 2011, Sep 2011, Roma, Italy. pp.330-331, ⟨10.1007/978-3-642-24100-0_32⟩
Communication dans un congrès
hal-01285672v1
|
|
SAFE-OS: a Secure and Usable Desktop Operating SystemCRiSIS 2010, Oct 2010, Montréal, Canada. pp.1-7, ⟨10.1109/CRISIS.2010.5764916⟩
Communication dans un congrès
hal-01290776v1
|
|
Stabilizing Locally Maximizable Tasks in Unidirectional Networks is HardIEEE 30th International Conference on Distributed Computing Systems, ICDCS 2010, Jun 2010, Gênes, Italy. pp.718-727, ⟨10.1109/ICDCS.2010.69⟩
Communication dans un congrès
hal-01291184v1
|
|
|
Communications Efficaces et Auto-Stabilisation12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2010, Belle-Dune, France. pp.id 19
Communication dans un congrès
hal-00479860v1
|
A Framework for Secure and Private P2P Publish/Subscribe12th International Symposium Stabilization, Safety, and Security of Distributed Systems, SSS, Sep 2010, New York, NY, United States. pp.531-545, ⟨10.1007/978-3-642-16023-3_41⟩
Communication dans un congrès
hal-01293846v1
|
|
Robocast: Asynchronous Communication in Robot NetworksOPODIS 2010, Dec 2010, Tozeur, Tunisia. pp.16-31, ⟨10.1007/978-3-642-17653-1_2⟩
Communication dans un congrès
hal-01290774v1
|
|
Optimal Deterministic Ring Exploration with Oblivious Asynchronous Robots17th International Colloquium Structural Information and Communication Complexity, SIROCCO, 2010, Şirince, Turkey. pp.183-196, ⟨10.1007/978-3-642-13284-1_15⟩
Communication dans un congrès
hal-01293850v1
|
|
Connectivity-Preserving Scattering of Mobile Robots with Limited VisibilitySSS, Sep 2010, New York, NY, United States. pp.319-331, ⟨10.1007/978-3-642-16023-3_27⟩
Communication dans un congrès
hal-01293837v1
|
|
On Byzantine Containment Properties of the min+1 Protocol12th International Symposium Stabilization, Safety, and Security of Distributed Systems, SSS, Sep 2010, New York, NY, United States. pp.96-110, ⟨10.1007/978-3-642-16023-3_10⟩
Communication dans un congrès
hal-01290827v1
|
|
|
Construction auto-stabilisante d'arbre couvrant en dépit d'actions malicieuses12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2010, Belle Dune, France
Communication dans un congrès
inria-00477480v1
|
Advanced Faults Patterns for WSN Dependability BenchmarkingThe 13th ACM international conference on Modeling, analysis, and simulation of wireless and mobile systems, MSWiM 2010, Oct 2010, Bodrum, Turkey. pp.39-48, ⟨10.1145/1868521.1868530⟩
Communication dans un congrès
hal-01290826v1
|
|
Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks11th International Conference on Distributed Computing and Networking, ICDCN 2010, Jan 2010, Kolkata, India. pp.167-177, ⟨10.1007/978-3-642-11322-2_19⟩
Communication dans un congrès
hal-01292601v1
|
|
Loop-Free Super-Stabilizing Spanning Tree Construction12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2010), Sep 2010, New York, NY, United States. pp.50--64, ⟨10.1007/978-3-642-16023-3_7⟩
Communication dans un congrès
hal-00668381v1
|
|
Brief Announcement: Monotonic StabilizationThe 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing, PODC'10, Jul 2010, Zurich, Switzerland. pp.406-407, ⟨10.1145/1835698.1835794⟩
Communication dans un congrès
hal-01291182v1
|
|
XS-WSNet : Extreme-scale Wireless Sensor SimulationIEEE International Symposium on a World of Wireless Mobile and Multimedia Networks, WoWMoM 2010, Jun 2010, Montreal, Canada. pp.1-9, ⟨10.1109/WOWMOM.2010.5534898⟩
Communication dans un congrès
hal-01291183v1
|
|
Exclusive Perpetual Ring Exploration without ChiralityDISC 2010 - 24th International Symposium Distributed Computing, Sep 2010, Cambridge, MA, United States. pp.312-327, ⟨10.1007/978-3-642-15763-9_29⟩
Communication dans un congrès
hal-00992700v1
|
|
A Self-Stabilizing 3-Approximation for the Maximum Leaf Spanning Tree Problem in Arbitrary NetworksCOCOON 2010, Jul 2010, Na Thrang, Vietnam. pp.80-89, ⟨10.1007/978-3-642-14031-0_11⟩
Communication dans un congrès
hal-01292491v1
|
|
Self-stabilizing Byzantine Asynchronous UnisonOPODIS 2010 - 14th International Conference On Principles Of DIstributed Systems, Dec 2010, Tozeur, Tunisia. pp.83-86, ⟨10.1007/978-3-642-17653-1_7⟩
Communication dans un congrès
inria-00627771v1
|
|
Monotonic StabilizationOPODIS 2010, Dec 2010, Tozeur, Tunisia. pp.475-490, ⟨10.1007/978-3-642-17653-1_34⟩
Communication dans un congrès
hal-01290770v1
|
|
Brief Announcement: Sharing Memory in a Self-stabilizing Manner24th International Symposium Distributed Computing DISC, Sep 2010, Cambridge, MA, United States. pp.525-527, ⟨10.1007/978-3-642-15763-9_49⟩
Communication dans un congrès
hal-01293831v1
|
|
The Impact of Topology on Byzantine Containment in Stabilization24th International Symposium Distributed Computing DISC, Sep 2010, Cambridge, MA, United States. pp.495-509, ⟨10.1007/978-3-642-15763-9_47⟩
Communication dans un congrès
hal-01293827v1
|
|
Optimal Byzantine Resilient Convergence in Asynchronous Robot NetworksSSS 2009., Nov 2009, Lyon, France. pp.165-179, ⟨10.1007/978-3-642-05118-0_12⟩
Communication dans un congrès
hal-01295184v1
|
|
Brief Announcement: Dynamic FTSS in Asynchronous Systems: The Case of Unison23rd International Symposium on Distributed Computing, DISC 2009, Sep 2009, Elche, Spain. pp.291-293, ⟨10.1007/978-3-642-04355-0_30⟩
Communication dans un congrès
hal-01298807v1
|
|
A new self-stabilizing minimum spanning tree construction with loop-free property23rd International Symposium on Distributed Computing (DISC 2009), Sep 2009, Elche, Spain. pp.407--422, ⟨10.1007/978-3-642-04355-0_43⟩
Communication dans un congrès
hal-00869591v1
|
|
Byzantine Convergence in Robots Networks: The Price of AsynchronyOPODIS 2009, Dec 2009, Nimes, France. pp.54-70, ⟨10.1007/978-3-642-10877-8_7⟩
Communication dans un congrès
hal-01295181v1
|
|
|
Sur le Coloriage Auto-stabilisant dans les Réseaux Unidirectionnels Anonymes11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France
Communication dans un congrès
inria-00384649v2
|
Byzantine-Resilient Convergence in Oblivious Robot NetworksICDCN, Jan 2009, Hyderabad, India. pp.275-280, ⟨10.1007/978-3-540-92295-7_33⟩
Communication dans un congrès
hal-01298808v1
|
|
Optimal deterministic self-stabilizing vertex coloring in unidirectional anonymous networksIPDPS, May 2009, Rome, Italy. pp.1-8, ⟨10.1109/IPDPS.2009.5161053⟩
Communication dans un congrès
hal-01298811v1
|
|
Optimal Probabilistic Ring Exploration by Asynchronous Oblivious RobotsSirocco 2009, May 2009, Piran, Slovenia. pp.195-208, ⟨10.1007/978-3-642-11476-2_16⟩
Communication dans un congrès
hal-01295189v1
|
|
|
Exploration Optimale Probabiliste d'un Anneau par des Robots Semi-Synchrones et Amnésiques11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France
Communication dans un congrès
inria-00383351v1
|
Communication Efficiency in Self-Stabilizing Silent ProtocolsThe IEEE International Conference on Distributed Computing Systems (ICDCS 2009), Jun 2009, Montreal, Canada. pp.474-481, ⟨10.1109/ICDCS.2009.24⟩
Communication dans un congrès
hal-01295187v1
|
|
Snap-Stabilization in Message-Passing SystemsInternational Conference on Distributed Computing and Networking (ICDCN 2009), Jan 2009, Hyderabad, India. pp.281-286, ⟨10.1007/978-3-540-92295-7_34⟩
Communication dans un congrès
hal-01295022v1
|
|
|
Stabilisation instantanée dans les systèmes à passage de messages11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France
Communication dans un congrès
inria-00383350v1
|
Weak vs. Self vs. Probabilistic StabilizationIEEE International Conference on Distributed Computing Systems (ICDCS 2008), Jun 2008, Beijing, China. pp.681-688, ⟨10.1109/ICDCS.2008.12⟩
Communication dans un congrès
hal-01303470v1
|
|
Strong Stabilization: Bounding Times Affected by Byzantine Processes in StabilizationAsian Association for Algorithms and Computation annual meeting (AAAC 2008), Apr 2008, Pokfulam, Hong Kong SAR China
Communication dans un congrès
hal-01303525v1
|
|
Deterministic Secure Positioning in Wireless Sensor NetworksACM/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⟩
Communication dans un congrès
hal-01303473v1
|
|
Brief Announcement: Snap-Stabilization in Message-Passing SystemsPrinciples of Distributed Computing (PODC 2008), Aug 2008, Toronto, Canada. pp.443-443, ⟨10.1145/1400751.1400838⟩
Communication dans un congrès
hal-01303457v1
|
|
A self-stabilizing 2/3-approximation algorithm for the maximum matching problemInternational Conference on Stabilization, Safety, and Security (SSS 2008), Nov 2008, Detroit, MI, United States. pp.94-108, ⟨10.1007/978-3-540-89335-6_10⟩
Communication dans un congrès
hal-01303005v1
|
|
Universe Detectors for Sybil Defense in Ad Hoc Wireles NetworksInternational Conference on Stabilization, Safety, and Security (SSS 2008), Nov 2008, Detroit, MI, United States. pp.63-78, ⟨10.1007/978-3-540-89335-6_8⟩
Communication dans un congrès
hal-01303007v1
|
|
Quiescence of Self-stabilizing Gossiping among Mobile Agents in Graphs15th International Colloquium on Structural Information and Communication Complexity (Sirocco 2008), Jun 2008, Villars-sur-Ollon, Switzerland. pp.247-261, ⟨10.1007/978-3-540-69355-0_21⟩
Communication dans un congrès
hal-01303467v1
|
|
On the Self-stabilization of Mobile Robots in GraphsOPODIS 2007 - 11th International Conference on Principles of Distributed Systems, Dec 2007, Guadeloupe, France. pp.301-314, ⟨10.1007/978-3-540-77096-1_22⟩
Communication dans un congrès
hal-01311362v1
|
|
|
Connaissance vs. Synchronie pour l'Accord Tolérant aux Pannes dans les Réseaux Inconnus9ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2007, Ile d'Oléron, France. pp.67-70
Communication dans un congrès
inria-00176959v1
|
Conflict Managers for Self-stabilization without Fairness Assumption27th International Conference on Distributed Computing Systems (ICDCS'07), Jun 2007, Toronto, Canada. pp.46, ⟨10.1109/ICDCS.2007.95⟩
Communication dans un congrès
hal-01336216v1
|
|
|
Evaluating complex MAC protocols for sensor networks with APMCAutomatic Verification of Critical Systems, Sep 2006, Nancy/France, pp.35-47
Communication dans un congrès
inria-00089494v1
|
Etude de convergence dans les réseaux sans fil8emes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2006, Trégastel, France
Communication dans un congrès
inria-00600298v1
|
|
|
Fast Convergence in Self-stabilizing Wireless Networks.12th International Conference on Parallel and Distributed Systems (ICPADS 2006), 12-15 July 2006, Minneapolis, Minnesota, USA, Jul 2006, Mineapolis, United States. pp.31-38
Communication dans un congrès
hal-00383834v1
|
Auto-stabilisation dans les réseaux ad hoc.7e Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (Algotel), May 2005, Presqu'ile de giens, France
Communication dans un congrès
inria-00600336v1
|
|
A language-driven tool for fault injection in distributed applicationsProceedings of the IEEE/ACM Workshop GRID 2005, Nov 2005, Seattle, United States. ⟨10.1109/GRID.2005.1542742⟩
Communication dans un congrès
hal-00684889v1
|
|
|
Space Lower Bounds for Graph Exploration via Reduced AutomataSIROCCO 2005, May 2005, Le Mont Saint-Michel, France. pp.140-154, ⟨10.1007/11429647_13⟩
Communication dans un congrès
hal-00339766v1
|
|
Self-stabilization in self-organized multihop wireless networksWorkshop on Wireless ad hoc Networking (WWAN'05),, Jun 2005, Columbus, United States. pp.909-915
Communication dans un congrès
hal-00383720v1
|
Protocoles auto-stabilisants synchrones d'exclusion mutuelle pour les anneaux anonymes et uniformesActes d'AlgoTel 2004, May 2004, France. pp.135--140
Communication dans un congrès
hal-00307529v1
|
|
Optimal Randomized Self-stabilizing Mutual Exclusion on Synchronous RingsProceedings of DISC'2004, Oct 2004, Netherlands. pp.216--229
Communication dans un congrès
hal-00307527v1
|
|
|
Self-stabilizing Vertex Coloring of Arbitrary GraphsInternational conference on Principles of Distributed Systems (OPODIS 2000), Dec 2000, Paris, France. pp.55-70
Communication dans un congrès
hal-00631707v1
|
|
Self-stabilization with Global Rooted SynchronizersIEEE International Conference on Distributed Computing Systems (ICDCS 98), May 1998, Amsterdam, Netherlands. pp.102-109, ⟨10.1109/ICDCS.1998.679492⟩
Communication dans un congrès
hal-00631710v1
|
|
Evaluation Framework for ML-based IDSRESSI 2023 : Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2023, Neuvy-sur-Barangeon, France
Poster de conférence
hal-04164441v1
|
|
GRIFIN: cognitive and programmable security for resilient next-generation networksRESSI 2022 : Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2022, Chambon-sur-Lac, France
Poster de conférence
hal-04165398v1
|
Brief announcement: Approximate Agreement under Mobile Byzantine Faults ModelIEEE Conference on Distributed Computing Systems (ICDCS 2016), Jun 2016, Nara, Japan. IEEE, pp.727-728, ⟨10.1109/ICDCS.2016.68⟩
Poster de conférence
hal-01349092v1
|
|
Brief announcement: Distributed Online Data Aggregation in Dynamic GraphsIEEE Conference on Distributed Computing Systems (ICDCS 2016), Jun 2016, Nara, Japan. IEEE, pp.747-748, ⟨10.1109/ICDCS.2016.55⟩
Poster de conférence
hal-01349094v1
|
Self-stabilizing SystemsTed Herman and Sébastien Tixeuil. Springer, 2005
Ouvrages
inria-00078184v1
|
Formal Methods for Mobile RobotsPaola Flocchini; Giuseppe Prencipe; Nicola Santoro. Distributed Computing by Mobile Entities, Current Research in Moving and Computing, 11340, Springer International Publishing, pp.278-313, 2019, Theoretical Computer Science and General Issues, 978-3-030-11071-0. ⟨10.1007/978-3-030-11072-7_12⟩
Chapitre d'ouvrage
hal-01981634v1
|
|
Fault-Tolerant Mobile RobotsDistributed Computing by Mobile Entities, 11340, Springer, pp.234-251, 2019, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-11072-7_10⟩
Chapitre d'ouvrage
hal-02076375v1
|
|
Dependability Evaluation of The Ogsa-Dai MiddlewareAchievements in European Research on Grid Systems, Springer Berlin / Heidelberg, pp.223-236, 2008, 978-0-387-72811-7. ⟨10.1007/978-0-387-72812-4_17⟩
Chapitre d'ouvrage
hal-01303735v1
|
|
Fault-tolerant Distributed Algorithms for Scalable SystemsWireless Ad Hoc and Sensor Networks, ISTE, pp.225-256, 2007, 9781848210035
Chapitre d'ouvrage
hal-01334871v1
|
|
|
The Reduced Automata Technique for Graph Exploration Space Lower BoundsOded Goldreich, Arnold L. Rosenberg, Alan L. Selman. Essays in Memory of Shimon Even, Springer Berlin / Heidelberg, Volume LNCS 3895, p. 1-26, 2006, Lecture Notes in Computer Science, ⟨10.1007/11685654_1⟩
Chapitre d'ouvrage
hal-00341655v1
|
|
Asynchronous Gathering in a Torus2021
Pré-publication, Document de travail
hal-03112017v1
|
|
Computer Aided Formal Design of Swarm Robotics Algorithms2021
Pré-publication, Document de travail
hal-03111541v1
|
|
Quixo Is Solved2020
Pré-publication, Document de travail
hal-02981564v1
|
|
Resource Efficient Stabilization for Local Tasks despite Unknown Capacity Links2020
Pré-publication, Document de travail
hal-02981573v1
|
Uniform Bipartition in the Population Protocol Model with Arbitrary Communication Graphs2020
Pré-publication, Document de travail
hal-03013644v1
|
|
|
Stand Up Indulgent Rendezvous2020
Pré-publication, Document de travail
hal-02961247v1
|
|
Approximate Agreement under Mobile Byzantine Faults2015
Pré-publication, Document de travail
hal-01301597v1
|
|
Universal Loop-Free Super-Stabilization2010
Pré-publication, Document de travail
hal-00492320v1
|
|
Auto-stabilisation EfficaceRéseaux et télécommunications [cs.NI]. Université Paris Sud - Paris XI, 2000. Français. ⟨NNT : ⟩
Thèse
tel-00124843v1
|
|
Vers l'auto-stabilisation des systèmes à grande échelleRéseaux et télécommunications [cs.NI]. Université Paris Sud - Paris XI, 2006
HDR
tel-00124848v1
|