
Sébastien Tixeuil
328
Documents
Publications
54
31
29
29
28
27
23
20
20
19
18
11
10
10
10
9
9
8
8
8
8
8
7
7
7
7
7
7
7
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
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
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
Publications
Deterministic Color-optimal Self-stabilizing Semi-synchronous Gathering: a Certified AlgorithmSIROCCO 2025, Jun 2025, Delphi, Greece
Communication dans un congrès
hal-04988128
v1
|
|
|
Comment se rassembler (avec certitude) quand on est confus et désorientéALGOTEL 2025 – 27èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2025, Saint Valery-sur-Somme, France
Communication dans un congrès
hal-05002153
v1
|
Preventing WebRTC IP Address Leaks19th International Conference on Risks and Security of Internet and Systems, Nov 2024, Aix-en-Provence, France. pp.365-381, ⟨10.1007/978-3-031-89350-6_22⟩
Communication dans un congrès
hal-05048077
v1
|
|
|
FREIDA: A Concrete Tool for Reproducible Evaluation of IDS using a Data-driven ApproachRisks and Security of Internet and Systems, Nov 2024, Aix-en-Provence, France. pp.40-55, ⟨10.1007/978-3-031-89350-6_3⟩
Communication dans un congrès
hal-05048479
v1
|
|
Crash-Tolerant Exploration of Trees by Energy-Sharing Mobile Agents28th International Conference on Principles of Distributed Systems (OPODIS 2024), Dec 2024, Lucca, Italy. pp.9:1--9:16, ⟨10.4230/LIPIcs.OPODIS.2024.9⟩
Communication dans un congrès
hal-04883165
v1
|
|
Le guide du routard temporelAlgoTel 2024 – 26èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2024, Saint-Briac-sur-Mer, France
Communication dans un congrès
hal-04565997
v1
|
|
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-04232951
v1
|
|
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-04055085
v1
|
|
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-04086366
v1
|
|
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-03656129
v1
|
|
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-03592615
v1
|
|
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-03657365
v1
|
Realistic Self-stabilization26th International Conference on Principles of Distributed Systems (OPODIS 2022), Dec 2022, Bruxelles, Belgium
Communication dans un congrès
hal-03971242
v1
|
|
|
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-02979574
v1
|
|
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-03109954
v1
|
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-03026522
v1
|
|
|
Stand Up Indulgent Rendezvous22nd International Symposium Stabilization, Safety, and Security of Distributed Systems (SSS 2020), Nov 2020, Austin, TX, United States. pp.45-59, ⟨10.1007/978-3-030-64348-5_4⟩
Communication dans un congrès
hal-02961247
v1
|
|
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-03026501
v1
|
|
Gathering on Rings for Myopic Asynchronous Robots With Lights23rd 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-02475374
v1
|
|
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-02871295
v1
|
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-02913093
v1
|
|
|
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-02875967
v1
|
|
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-03126591
v1
|
|
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-03746708
v1
|
|
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-03017408
v1
|
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-02286011
v1
|
|
|
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-02123870
v1
|
|
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-02394992
v1
|
|
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-02076478
v1
|
|
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-02394962
v1
|
|
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-02115611
v1
|
|
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-02115599
v1
|
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-02168149
v1
|
|
|
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-02126555
v1
|
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-02286008
v1
|
|
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-01753439
v1
|
|
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-02443130
v1
|
|
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-02076484
v1
|
|
|
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-01753444
v1
|
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-01937420
v1
|
|
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-02076468
v1
|
|
|
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-02076443
v1
|
|
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-01753431
v1
|
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-02076496
v1
|
|
|
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-01785952
v1
|
|
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-02076489
v1
|
|
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-02076398
v1
|
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-01549942
v1
|
|
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-01553088
v1
|
|
|
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-01518548
v1
|
|
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-01518553
v1
|
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-01520336
v1
|
|
|
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-01512950
v1
|
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-01549931
v1
|
|
|
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-01664894
v1
|
Stateless Reliable Geocasting36th IEEE Symposium on Reliable Distributed Systems (SRDS 2017), Sep 2017, Hong Kong, China
Communication dans un congrès
hal-01549915
v1
|
|
Brief announcement: Certified Universal Gathering in R2 for Oblivious Mobile RobotsACM Conference on Principles of Distributed Computing (PODC), ACM, Jul 2016, Chicago, United States. pp.439-441, ⟨10.1145/2933057.2933070⟩
Communication dans un congrès
hal-01349084
v1
|
|
Certified Universal Gathering in $R^2$ for Oblivious Mobile RobotsDistributed Computing (DISC), Sep 2016, Paris, France. pp.187-200, ⟨10.1007/978-3-662-53426-7_14⟩
Communication dans un congrès
hal-01349061
v1
|
|
|
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-01491817
v1
|
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-01491828
v1
|
|
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-01491832
v1
|
|
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-01349075
v1
|
|
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-01349087
v1
|
|
Enhancing Content Distribution through Information-Aware MechanismsCloudNet, Oct 2016, Pisa, Italy
Communication dans un congrès
hal-01349026
v1
|
|
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-01491813
v1
|
|
Asynchronous Gathering in Rings with 4 RobotsAd Hoc Now 2016, Jul 2016, Lille, France
Communication dans un congrès
hal-01340243
v1
|
|
|
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-01302912
v1
|
|
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-01432932
v1
|
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-01349064
v1
|
|
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-01272045
v1
|
|
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-01491823
v1
|
|
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-01349070
v1
|
|
Evaluating and Optimizing Stabilizing Dining PhilosophersThe European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France
Communication dans un congrès
hal-01213278
v1
|
|
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-01213273
v1
|
|
|
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-01135398
v1
|
|
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-01206290
v1
|
|
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-01213269
v1
|
|
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-01144458
v1
|
|
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-01154517
v1
|
|
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-01144309
v1
|
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-01213311
v1
|
|
|
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-01146737
v1
|
Wait-free Gathering without ChiralitySIROCCO 2015, Jul 2015, Montserrat, Spain
Communication dans un congrès
hal-01213285
v1
|
|
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-01213325
v1
|
|
|
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-00926573
v3
|
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-01108586
v1
|
|
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-01215924
v1
|
|
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-01215926
v1
|
|
|
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-01016832
v2
|
|
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-00985322
v1
|
|
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-00818606
v1
|
|
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-00812914
v4
|
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-00930109
v1
|
|
|
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-00817123
v1
|
|
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-00742655
v1
|
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-00930074
v1
|
|
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
istex
hal-00930061
v1
|
|
|
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-00818707
v1
|
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-01126335
v1
|
|
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-00930090
v1
|
|
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-01219722
v1
|
|
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
istex
hal-00930281
v1
|
|
|
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-00930267
v1
|
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-00930100
v1
|
|
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
istex
hal-00930095
v1
|
|
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-00934149
v1
|
|
|
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-00728337
v1
|
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-01272830
v1
|
|
|
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-00692095
v1
|
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-00934144
v1
|
|
|
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-00934073
v1
|
|
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-00686663
v1
|
|
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-00934161
v1
|
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-00934047
v1
|
|
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-00934186
v1
|
|
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-00934220
v1
|
|
|
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-00689348
v1
|
|
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-00934132
v1
|
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-00934179
v1
|
|
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-00934232
v1
|
|
|
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-00934055
v1
|
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-00649294
v1
|
|
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
istex
inria-00627780
v1
|
|
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-01009454
v1
|
|
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
istex
hal-00992679
v1
|
|
|
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-00587517
v1
|
|
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-01285680
v1
|
|
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-00587089
v1
|
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
istex
hal-01285672
v1
|
|
|
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-00627777
v1
|
Ideal StabilizationIEEE AINA 2011, Mar 2011, Biopolis, Singapore. pp.224-231, ⟨10.1109/AINA.2011.28⟩
Communication dans un congrès
hal-01285686
v1
|
|
|
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-01290774
v1
|
|
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-01293850
v1
|
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
istex
inria-00627771
v1
|
|
|
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-01292491
v1
|
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
istex
hal-01293846
v1
|
|
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-01291182
v1
|
|
|
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-01293827
v1
|
|
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-01293831
v1
|
Monotonic StabilizationOPODIS 2010, Dec 2010, Tozeur, Tunisia. pp.475-490, ⟨10.1007/978-3-642-17653-1_34⟩
Communication dans un congrès
istex
hal-01290770
v1
|
|
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-01290776
v1
|
|
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-01291184
v1
|
|
|
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-00479860
v1
|
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-01290826
v1
|
|
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
istex
hal-01293837
v1
|
|
|
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-01290827
v1
|
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
istex
hal-01292601
v1
|
|
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
istex
hal-00668381
v1
|
|
|
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-00477480
v1
|
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
istex
hal-00992700
v1
|
|
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-01291183
v1
|
|
|
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-00869591
v1
|
|
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-01295187
v1
|
|
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-00384649
v2
|
|
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-01295022
v1
|
|
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-00383350
v1
|
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
istex
hal-01298807
v1
|
|
|
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-01295184
v1
|
|
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-01295181
v1
|
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
istex
hal-01298808
v1
|
|
|
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-01298811
v1
|
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
istex
hal-01295189
v1
|
|
|
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-00383351
v1
|
|
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-01303470
v1
|
|
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-01303007
v1
|
|
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-01303473
v1
|
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-01303457
v1
|
|
|
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-01303467
v1
|
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-01303525
v1
|
|
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
istex
hal-01303005
v1
|
|
|
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-00176959
v1
|
|
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-01336216
v1
|
|
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-01311362
v1
|
|
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-00089494
v1
|
|
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, Minneapolis, United States. pp.31-38
Communication dans un congrès
hal-00383834
v1
|
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-00600298
v1
|
|
|
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-00339766
v1
|
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-00684889
v1
|
|
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-00600336
v1
|
|
|
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-00383720
v1
|
Optimal Randomized Self-stabilizing Mutual Exclusion on Synchronous RingsProceedings of DISC'2004, Oct 2004, Netherlands. pp.216--229
Communication dans un congrès
hal-00307527
v1
|
|
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-00307529
v1
|
|
|
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-00631707
v1
|
|
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-00631710
v1
|
|
Demo: towards reproducible evaluations of ML-based IDS using data-driven approachesBo Luo; Xiaojing Liao; Jun Xu. CCS '24: ACM SIGSAC Conference on Computer and Communications Security, Oct 2024, Salt Lake City, UT, United States. Association for Computing Machinery, CCS '24: Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, pp.5081-5083, 2024, ⟨10.1145/3658644.3691368⟩
Poster de conférence
hal-04879181
v1
|
|
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-04164441
v1
|
|
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-04165398
v1
|
|
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-01349094
v1
|
|
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-01349092
v1
|
Self-stabilizing SystemsTed Herman and Sébastien Tixeuil. Springer, 2005
Ouvrages
inria-00078184
v1
|
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-01981634
v1
|
|
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-02076375
v1
|
|
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-01303735
v1
|
|
Fault-tolerant Distributed Algorithms for Scalable SystemsWireless Ad Hoc and Sensor Networks, ISTE, pp.225-256, 2007, 9781848210035
Chapitre d'ouvrage
hal-01334871
v1
|
|
|
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-00341655
v1
|
|
On the Solvability of Byzantine-tolerant Reliable Communication in Dynamic Networks2025
Pré-publication, Document de travail
hal-05009549
v1
|
|
Computer Aided Formal Design of Swarm Robotics Algorithms2021
Pré-publication, Document de travail
hal-03111541
v1
|
|
Asynchronous Gathering in a Torus2021
Pré-publication, Document de travail
hal-03112017
v1
|
|
Quixo Is Solved2020
Pré-publication, Document de travail
hal-02981564
v1
|
|
Uniform Bipartition in the Population Protocol Model with Arbitrary Communication Graphs2020
Pré-publication, Document de travail
hal-03013644
v1
|
|
Resource Efficient Stabilization for Local Tasks despite Unknown Capacity Links2020
Pré-publication, Document de travail
hal-02981573
v1
|
|
Approximate Agreement under Mobile Byzantine Faults2015
Pré-publication, Document de travail
hal-01301597
v1
|
|
Universal Loop-Free Super-Stabilization2010
Pré-publication, Document de travail
hal-00492320
v1
|
|
ABD-HFL: Byzantine-resistant Decentralized Hierarchical Federated LearningLIP6, Sorbonne Université, CNRS, UMR 7606. 2024
Rapport
(rapport technique)
hal-04627430
v1
|
|
HEAL: Resilient and Self-* Hub-based LearningSorbonne Universite. 2024
Rapport
hal-04855860
v1
|
|
Emergent Peer-to-Peer Multi-Hub TopologySorbonne Universites, UPMC University of Paris 6; LIP6 - Laboratoire d'Informatique de Paris 6. 2024
Rapport
(rapport technique)
hal-04582174
v5
|
|
Boosting the Efficiency of Byzantine-tolerant Reliable Communication[Technical Report] Sorbonne Université, CNRS, LIP6, F-75005 Paris, France; Sapienza Università di Roma, Rome, Italy. 2020
Rapport
(rapport technique)
hal-02960087
v1
|
|
Multi-hop Byzantine Reliable Broadcast with Honest Dealer Made Practical[Technical Report] Sorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6, LIP6, F-75005 Paris, France; Dipartimento di Ingegneria Informatica Automatica e Gestionale "Antonio Ruberti'', Sapienza Università di Roma, Rome, Italy. 2019
Rapport
(rapport technique)
hal-01826865
v3
|
|
On the encoding and solving partial information games[Research Report] LIP6, Sorbonne Université, CNRS, UMR 7606; LINCS; CEA Paris Saclay; Sorbonne Université. 2018
Rapport
(rapport de recherche)
hal-01790508
v1
|
|
Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine Failures[Technical Report] Sorbonne Université, CNRS, Laboratoire d’Informatique de Paris 6, LIP6, F-75005 Paris, France; Dipartimento di Ingegneria Informatica Automatica e Gestionale "Antonio Ruberti", Università degli Studi di Roma La Sapienza, Rome, Italy. 2018
Rapport
(rapport technique)
hal-01712277
v3
|
|
Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots[Research Report] Sorbonne Université, CNRS, Laboratoire d’Informatique de Paris 6, LIP6, F-75005 Paris, France. 2018, pp.1-12
Rapport
(rapport de recherche)
hal-01762962
v1
|
|
Churn Possibilities and Impossibilities[Research Report] Kent State University; Sorbonne Université, CNRS, Laboratoire d’Informatique de Paris 6, LIP6, F-75005 Paris, France. 2018
Rapport
(rapport de recherche)
hal-01753397
v1
|
|
Optimal Storage under Unsynchrononized Mobile Byzantine Faults[Research Report] UPMC - Université Paris 6 Pierre et Marie Curie; Sapienza Università di Roma (Italie). 2017
Rapport
(rapport de recherche)
hal-01561776
v1
|
|
Parameterized Verification of Algorithms for Oblivious Robots on a Ring[Research Report] UPMC Sorbonne Universités. 2017
Rapport
(rapport de recherche)
hal-01540339
v1
|
|
Optimally Gathering Two Robots[Research Report] UPMC Sorbonne Universités. 2017
Rapport
(rapport de recherche)
hal-01575451
v1
|
|
Concurrent Geometric Multicasting[Research Report] UPMC Sorbonne Universités. 2017
Rapport
(rapport de recherche)
hal-01540744
v1
|
|
Optimal Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp[Research Report] UPMC - Université Paris 6 Pierre et Marie Curie; Sapienza Università di Roma (Italie). 2016
Rapport
(rapport de recherche)
hal-01362193
v2
|
|
Distributed Online Data Aggregation in Dynamic Graphs[Research Report] Sorbonne Universités, UPMC Univ Paris 06, CNRS, LIP6 UMR 7606, 4 place Jussieu 75005 Paris.; Osaka University, Japan. 2016
Rapport
(rapport de recherche)
hal-01264285
v2
|
|
Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots[Research Report] UPMC; CNAM. 2016
Rapport
(rapport de recherche)
hal-01274295
v1
|
|
Infinite Unlimited Churn[Research Report] LIP6 - Laboratoire d'Informatique de Paris 6; Kent State University. 2016
Rapport
(rapport de recherche)
hal-01350804
v1
|
|
Optimal Mobile Byzantine Fault Tolerant Distributed Storage[Research Report] UPMC - Université Paris 6 Pierre et Marie Curie. 2016
Rapport
(rapport de recherche)
hal-01348830
v2
|
|
A Certified Universal Gathering Algorithm for Oblivious Mobile Robots[Research Report] UPMC, Sorbonne Universites CNRS; CNAM, Paris; College de France; Université Paris Sud. 2015
Rapport
(rapport de recherche)
hal-01159890
v1
|
|
The Random Bit Complexity of Mobile Robots Scattering[Research Report] Université Pierre et Marie Curie. 2015
Rapport
(rapport de recherche)
hal-00866048
v2
|
|
Stateless Geocasting[Research Report] UPMC. 2015
Rapport
(rapport de recherche)
hal-01168488
v1
|
|
Probabilistic Asynchronous Arbitrary Pattern Formation[Research Report] Université Pierre et Marie Curie. 2015
Rapport
(rapport de recherche)
hal-01184532
v4
|
|
Packet Efficient Implementation of the Omega Failure Detector[Research Report] UPMC Université Paris VI; Kent State University. 2015
Rapport
(rapport de recherche)
hal-01153111
v2
|
|
Impossibility of Gathering, a Certification[Technical Report] CEDRIC-14-3016, CEDRIC laboratory, CNAM-Paris, France. 2014, pp.10
Rapport
(rapport technique)
hal-00995126
v1
|
|
Reliable Communication in a Dynamic Network in the Presence of Byzantine Faults[Research Report] _. 2014
Rapport
(rapport de recherche)
hal-00940569
v4
|
|
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots[Research Report] 1560, LRI - CNRS, University Paris-Sud. 2013
Rapport
(rapport de recherche)
hal-00834633
v1
|
|
On Byzantine Broadcast in Planar Graphs[Research Report] _. 2013
Rapport
(rapport de recherche)
hal-00773343
v4
|
|
Formal verification of Mobile Robot Protocols[Research Report] LIP6. 2013
Rapport
hal-00834061
v1
|
|
The Byzantine Brides Problem[Research Report] ???. 2012
Rapport
(rapport de recherche)
hal-00679520
v1
|
|
Parameterizable Byzantine Broadcast in Loosely Connected Networks[Research Report] ???. 2012
Rapport
hal-00777155
v2
|
|
Gathering an even number of robots in an odd ring without global multiplicity detection[Research Report] ???. 2012
Rapport
(rapport de recherche)
hal-00709074
v1
|
|
A Taxonomy of Daemons in Self-stabilization[Research Report] ???. 2011
Rapport
hal-00628390
v1
|
|
Asynchronous mobile robot gathering from symmetric configurations without global multiplicity detection[Research Report] ???. 2011
Rapport
(rapport de recherche)
inria-00589390
v1
|
|
Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction[Research Report] ???. 2011
Rapport
hal-00626155
v1
|
|
Optimal grid exploration by asynchronous oblivious robots[Research Report] ???. 2011
Rapport
hal-00591963
v3
|
|
Self-Stabilization, Byzantine Containment, and Maximizable Metrics: Necessary Conditions[Research Report] ???. 2011, pp.17
Rapport
(rapport de recherche)
inria-00577062
v2
|
|
Maximum Metric Spanning Tree made Byzantine Tolerant[Research Report] ???. 2011, pp.32
Rapport
(rapport de recherche)
inria-00589234
v1
|
|
Limiting Byzantine Influence in Multihop Asynchronous Networks[Research Report] _. 2011
Rapport
(rapport de recherche)
hal-00663688
v1
|
|
Bounding the Impact of Unbounded Attacks in Stabilization[Research Report] ???. 2010, pp.20
Rapport
(rapport de recherche)
inria-00484645
v2
|
|
Stabilizing data-link over non-FIFO channels with optimal fault-resilience[Research Report] ???. 2010
Rapport
(rapport de recherche)
inria-00536048
v2
|
|
On Byzantine Containment Properties of the $min+1$ Protocol[Research Report] ???. 2010
Rapport
(rapport de recherche)
inria-00487091
v1
|
|
Exclusive perpetual ring exploration without chirality[Research Report] Université d'Evry Val d'Essonne. 2010, pp.17
Rapport
(rapport de recherche)
inria-00464206
v1
|
|
RoboCast: Asynchronous Communication in Robot Networks[Research Report] ???. 2010
Rapport
(rapport de recherche)
inria-00496379
v2
|
|
The Impact of Topology on Byzantine Containment in Stabilization[Research Report] ???. 2010, pp.18
Rapport
(rapport de recherche)
inria-00481836
v1
|
|
Ideal Stabilization[Research Report] ???. 2009, pp.15
Rapport
(rapport de recherche)
inria-00394118
v1
|
|
Self-Stabilizing Byzantine Asynchronous Unison[Research Report] ???. 2009, pp.15
Rapport
(rapport de recherche)
inria-00437691
v1
|
|
Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks[Research Report] ???. 2009, pp.15
Rapport
(rapport de recherche)
inria-00390870
v1
|
|
Dynamic FTSS in Asynchronous Systems: the Case of Unison[Research Report] ???. 2009, pp.34
Rapport
(rapport de recherche)
inria-00379904
v2
|
|
Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots[Research Report] RR-6838, INRIA. 2009, pp.29
Rapport
(rapport de recherche)
inria-00360305
v1
|
|
Byzantine Convergence in Robots Networks: The Price of Asynchrony[Technical Report] ???. 2009, pp.22
Rapport
(rapport technique)
inria-00408881
v1
|
|
Optimal deterministic ring exploration with oblivious asynchronous robots[Research Report] ???. 2009, pp.23
Rapport
(rapport de recherche)
inria-00422100
v1
|
|
Stabilizing Maximal Independent Set in Unidirectional Networks is Hard[Research Report] RR-6880, INRIA. 2009, pp.21
Rapport
(rapport de recherche)
inria-00368950
v1
|
|
Optimal byzantine resilient convergence in oblivious robot networks[Research Report] ???. 2009, pp.15
Rapport
(rapport de recherche)
inria-00387525
v1
|
|
A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-free Property[Research Report] Université d'Evry Val d'Essonne. 2009
Rapport
(rapport de recherche)
inria-00384041
v1
|
|
Snap-Stabilization in Message-Passing Systems[Research Report] RR-6446, INRIA. 2008, pp.29
Rapport
(rapport de recherche)
inria-00248465
v2
|
|
Quiescence of Self-stabilizing Gossiping among Mobile Agents in Graphs[Research Report] RR-6458, INRIA. 2008, pp.20
Rapport
(rapport de recherche)
inria-00260011
v3
|
|
Ascending runs in dependent uniformly distributed random variables: Application to wireless networks[Research Report] RR-6443, INRIA. 2008, pp.12
Rapport
(rapport de recherche)
inria-00239348
v5
|
|
Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks[Research Report] RR-6529, INRIA. 2008, pp.31
Rapport
(rapport de recherche)
inria-00276732
v2
|
|
Bounds for self-stabilization in unidirectional networks[Research Report] RR-6524, INRIA. 2008, pp.24
Rapport
(rapport de recherche)
inria-00277661
v2
|
|
Communication Efficiency in Self-stabilizing Silent Protocols[Research Report] RR-6731, INRIA. 2008, pp.33
Rapport
(rapport de recherche)
inria-00340805
v1
|
|
Ascending runs in dependent uniformly distributed random variables : Application to wireless networks[Research Report] PI 1883, 2008, pp.12
Rapport
(rapport de recherche)
inria-00241842
v1
|
|
On the Self-stabilization of Mobile Robots in Graphs[Research Report] RR-6266, INRIA. 2007, pp.23
Rapport
(rapport de recherche)
inria-00166547
v2
|
|
A New Self-Stabilizing Maximal Matching Algorithm[Research Report] RR-6111, INRIA. 2007, pp.17
Rapport
(rapport de recherche)
inria-00127899
v2
|
|
Weak vs. Self vs. Probabilistic Stabilization[Research Report] RR-6366, INRIA. 2007
Rapport
(rapport de recherche)
inria-00189952
v2
|
|
Deterministic Secure Positioning in Wireless Sensor Networks[Research Report] RR-6326, INRIA. 2007, pp.31
Rapport
(rapport de recherche)
inria-00179056
v2
|
|
FAIL-MPI: How fault-tolerant is fault-tolerant MPI ?[Research Report] 1450, 2006, pp.26
Rapport
(rapport de recherche)
inria-00078183
v1
|
Easy fault injection and stress testing with FAIL-FCI[Research Report] RR1421, 2006, pp.20
Rapport
(rapport de recherche)
hal-00699867
v1
|
|
|
Knowledge Connectivity vs. Synchrony Requirements for Fault-Tolerant Agreement in Unknown Networks[Research Report] RR-6099, INRIA. 2006, pp.32
Rapport
(rapport de recherche)
inria-00123020
v4
|
|
Auto-stabilisation EfficaceRéseaux et télécommunications [cs.NI]. Université Paris Sud - Paris XI, 2000. Français. ⟨NNT : ⟩
Thèse
tel-00124843
v1
|
|
Vers l'auto-stabilisation des systèmes à grande échelleRéseaux et télécommunications [cs.NI]. Université Paris Sud - Paris XI, 2006
HDR
tel-00124848
v1
|
Chargement...
Chargement...