Sébastien Tixeuil
Publications
Publications
A Visibility vs. Memory Trade-Off for Stand-Up Indulgent Gathering on LinesStructural Information and Communication Complexity. SIROCCO 2025., Schmid, U., Kuznets, R., Jun 2025, Delphi, Greece. pp.159-175, ⟨10.1007/978-3-031-91736-3_10⟩ |
|
|
|
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⟩ |
|
|
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 |
|
|
DAMS: double deep Q-network approach for DDoS attack mitigation in SDNThe 8th International Conference on Future Networks & Distributed Systems (ICFNDS '24), Dec 2024, Marrakesh, Morocco. pp.1049-1056, ⟨10.1145/3726122.3726282⟩ |
On time-travel planning in dynamic graphsSAND 2024, Jun 2024, Patras, Greece. pp.115501, ⟨10.1016/j.tcs.2025.115501⟩ |
|
HEAL: Resilient and Self-* Hub-Based LearningAdvanced Information Networking and Applications. AINA 2025, Barolli, L., Apr 2025, Barcelona (ES), Spain. pp.200-211, ⟨10.1007/978-3-031-87766-7_18⟩ |
|
|
|
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⟩ |
|
|
Deterministic Color-optimal Self-stabilizing Semi-synchronous Gathering: a Certified AlgorithmSIROCCO 2025, Jun 2025, Delphi, Greece. pp.127-143, ⟨10.1007/978-3-031-91736-3_8⟩ |
|
|
FREIDA: a concrete tool for reproducible evaluation of IDS using a data-driven approachRisks and Security of Internet and Systems: 19th International Conference (CRISIS), Nov 2024, Aix-en-Provence, France. pp.40-55, ⟨10.1007/978-3-031-89350-6_3⟩ |
|
|
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 |
|
|
Empêcher les fuites d'adresses IP liées à WebRTCRESSI 2024 - Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2024, Eppe-Sauvage, France |
|
|
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⟩ |
|
|
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⟩ |
|
|
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 |
|
|
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 |
|
|
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⟩ |
|
|
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 |
Realistic Self-stabilization26th International Conference on Principles of Distributed Systems (OPODIS 2022), Dec 2022, Bruxelles, Belgium |
|
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
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⟩ |
|
|
|
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⟩ |
|
|
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 |
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⟩ |
|
|
|
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 |
|
|
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⟩ |
|
|
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 |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
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⟩ |
|
|
|
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 |
|
|
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 |
|
|
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⟩ |
|
|
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⟩ |
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⟩ |
|
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⟩ |
|
|
|
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 |
|
|
Concurrent Geometric MulticastingThe 19th International Conference on Distributed Computing and Networking, Jan 2018, Varanasi, India. ⟨10.1145/3154273.3154314⟩ |
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⟩ |
|
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⟩ |
|
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⟩ |
|
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⟩ |
|
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⟩ |
|
|
|
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⟩ |
|
|
Optimally Gathering Two RobotsThe 19th International Conference on Distributed Computing and Networking, Jan 2018, Varanasi, India. pp.3, ⟨10.1145/3154273.3154323⟩ |
|
|
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 |
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⟩ |
|
|
|
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⟩ |
|
|
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⟩ |
Brief announcement: Compact Self-Stabilizing Leader Election for General Networks31st International Symposium on Distributed Computing (DISC 2017), Oct 2017, Vienna, Austria |
|
|
|
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 |
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⟩ |
|
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 |
|
|
|
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 |
|
|
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 |
Optimal Storage under Unsynchronized Mobile Byzantine Faults36th IEEE Symposium on Reliable Distributed Systems (SRDS 2017), Sep 2017, Hong Kong, China |
|
|
|
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⟩ |
Stateless Reliable Geocasting36th IEEE Symposium on Reliable Distributed Systems (SRDS 2017), Sep 2017, Hong Kong, China |
|
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⟩ |
|
|
|
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⟩ |
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⟩ |
|
|
|
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⟩ |
Benchmarking Energy-Efficient Broadcast Protocols in Wireless Sensor NetworksNetworked Systems - Fourth International Conference (NETYS 2016), May 2016, Marakech, Morocco |
|
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⟩ |
|
Enhancing Content Distribution through Information-Aware MechanismsCloudNet, Oct 2016, Pisa, Italy |
|
Brief announcement: Probabilistic Asynchronous Arbitrary Pattern FormationACM Conference on Principles of Distributed Computing (PODC), Jul 2016, Chicago, United States |
|
|
|
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 |
Asynchronous Gathering in Rings with 4 RobotsAd Hoc Now 2016, Jul 2016, Lille, France |
|
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⟩ |
|
Optimal Mobile Byzantine Fault Tolerant Distributed StorageACM Conference on Principles of Distributed Computing (PODC), ACM, Jul 2016, Chicago, United States |
|
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⟩ |
|
|
|
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⟩ |
Specification-based Synthesis of Distributed Self-Stabilizing ProtocolsFormal Techniques for Distributed Objects, Components, and Systems International Conference (FORTE 2016), May 2016, Heraklion, Greece |
|
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⟩ |
|
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⟩ |
|
|
|
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 |
|
|
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⟩ |
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⟩ |
|
|
|
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⟩ |
Evaluating and Optimizing Stabilizing Dining PhilosophersThe European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France |
|
|
|
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 |
|
|
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 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 |
Communicating Reliably in Multihop Dynamic Networks despite Byzantine FailuresThe International Symposium on Reliable Distributed Systems (SRDS2015), Sep 2015, Montreal, Canada |
|
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⟩ |
|
Wait-free Gathering without ChiralitySIROCCO 2015, Jul 2015, Montserrat, Spain |
|
|
|
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⟩ |
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⟩ |
|
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 |
|
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⟩ |
|
|
|
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⟩ |
|
|
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 |
|
|
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⟩ |
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⟩ |
|
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⟩ |
|
|
|
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 |
|
|
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 |
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⟩ |
|
|
|
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 |
|
|
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 |
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⟩ |
|
Brief Announcement: Certified impossibility results for Byzantine-tolerant mobile robotsInternational Symposium on Distributed Computing (DISC2013), Oct 2013, Jerusalem, Israel. pp.2 |
|
Dependable Information Broadcast in Sparsely Connected NetworksInternational Conference on Latin American Dependable Computing, LADC 2013, Apr 2013, Rio de Janeiro, Brazil. pp.31-39 |
|
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⟩ |
|
|
|
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⟩ |
Consensus with Unknown Participants in Shared MemoryInternational Symposium on Reliable Distributed Systems, Sep 2013, Braga, Portugal. pp.51-60, ⟨10.1109/SRDS.2013.14⟩ |
|
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⟩ |
|
|
|
Limiting Byzantine Influence in Multihop Asynchronous NetworksInternational Conference on Distributed Computing Systems, Jun 2012, Macau, China. pp.183-192, ⟨10.1109/ICDCS.2012.15⟩ |
|
|
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 |
|
|
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⟩ |
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⟩ |
|
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⟩ |
|
|
|
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⟩ |
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 |
|
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⟩ |
|
|
|
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⟩ |
|
|
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 |
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⟩ |
|
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⟩ |
|
|
|
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⟩ |
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⟩ |
|
|
|
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⟩ |
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⟩ |
|
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⟩ |
|
|
|
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 |
Asynchronous Mobile Robot Gathering from Symmetric Configurations without Global Multiplicity DetectionSIROCCO 2011, 2011, Gdansk, Poland, Poland. pp.150-161 |
|
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⟩ |
|
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 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 |
|
|
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⟩ |
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⟩ |
|
|
|
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⟩ |
Ideal StabilizationIEEE AINA 2011, Mar 2011, Biopolis, Singapore. pp.224-231, ⟨10.1109/AINA.2011.28⟩ |
|
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⟩ |
|
|
|
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⟩ |
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⟩ |
|
|
|
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⟩ |
|
|
Robocast: Asynchronous Communication in Robot NetworksOPODIS 2010, Dec 2010, Tozeur, Tunisia. pp.16-31, ⟨10.1007/978-3-642-17653-1_2⟩ |
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⟩ |
|
Monotonic StabilizationOPODIS 2010, Dec 2010, Tozeur, Tunisia. pp.475-490, ⟨10.1007/978-3-642-17653-1_34⟩ |
|
|
|
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⟩ |
|
|
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⟩ |
SAFE-OS: a Secure and Usable Desktop Operating SystemCRiSIS 2010, Oct 2010, Montréal, Canada. pp.1-7, ⟨10.1109/CRISIS.2010.5764916⟩ |
|
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⟩ |
|
|
|
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 |
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⟩ |
|
|
|
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 |
|
|
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⟩ |
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⟩ |
|
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⟩ |
|
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⟩ |
|
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⟩ |
|
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 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⟩ |
|
|
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⟩ |
|
|
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 |
|
|
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 |
|
|
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⟩ |
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⟩ |
|
|
|
Optimal Byzantine Resilient Convergence in Asynchronous Robot NetworksSSS 2009., Nov 2009, Lyon, France. pp.165-179, ⟨10.1007/978-3-642-05118-0_12⟩ |
|
|
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⟩ |
Optimal Probabilistic Ring Exploration by Asynchronous Oblivious RobotsSirocco 2009, May 2009, Piran, Slovenia. pp.195-208, ⟨10.1007/978-3-642-11476-2_16⟩ |
|
|
|
Optimal deterministic self-stabilizing vertex coloring in unidirectional anonymous networksIPDPS, May 2009, Rome, Italy. pp.1-8, ⟨10.1109/IPDPS.2009.5161053⟩ |
Byzantine-Resilient Convergence in Oblivious Robot NetworksICDCN, Jan 2009, Hyderabad, India. pp.275-280, ⟨10.1007/978-3-540-92295-7_33⟩ |
|
|
|
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 |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
Brief Announcement: Snap-Stabilization in Message-Passing SystemsPrinciples of Distributed Computing (PODC 2008), Aug 2008, Toronto, Canada. pp.443-443, ⟨10.1145/1400751.1400838⟩ |
|
|
|
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⟩ |
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 |
|
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⟩ |
|
|
|
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⟩ |
|
|
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 |
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⟩ |
|
|
|
Evaluating complex MAC protocols for sensor networks with APMCAutomatic Verification of Critical Systems, Sep 2006, Nancy, France. pp.35-47 |
|
|
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 |
Etude de convergence dans les réseaux sans fil8emes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2006, Trégastel, France |
|
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 |
|
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⟩ |
|
|
|
Space Lower Bounds for Graph Exploration via Reduced AutomataSIROCCO 2005, May 2005, Le Mont Saint-Michel, France. pp.140-154, ⟨10.1007/11429647_13⟩ |
|
|
Self-stabilization in self-organized multihop wireless networksWorkshop on Wireless ad hoc Networking (WWAN'05),, Jun 2005, Columbus, United States. pp.909-915 |
Optimal Randomized Self-stabilizing Mutual Exclusion on Synchronous RingsProceedings of DISC'2004, Oct 2004, Netherlands. pp.216--229 |
|
Protocoles auto-stabilisants synchrones d'exclusion mutuelle pour les anneaux anonymes et uniformesActes d'AlgoTel 2004, May 2004, France. pp.135--140 |
|
|
|
Self-stabilizing Vertex Coloring of Arbitrary GraphsInternational conference on Principles of Distributed Systems (OPODIS 2000), Dec 2000, Paris, France. pp.55-70 |
|
|
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⟩ |
|
|
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⟩ |
|
|
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 |
|
|
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 |
|
|
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⟩ |
|
|
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⟩ |
Self-stabilizing SystemsTed Herman and Sébastien Tixeuil. Springer, 2005 |
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⟩ |
|
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⟩ |
|
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⟩ |
|
Fault-tolerant Distributed Algorithms for Scalable SystemsWireless Ad Hoc and Sensor Networks, ISTE, pp.225-256, 2007, 9781848210035 |
|
|
|
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⟩ |
|
|
On the Solvability of Byzantine-tolerant Reliable Communication in Dynamic Networks2026 |
|
|
Computer Aided Formal Design of Swarm Robotics Algorithms2021 |
|
|
Asynchronous Gathering in a Torus2021 |
|
|
Uniform Bipartition in the Population Protocol Model with Arbitrary Communication Graphs2020 |
|
|
Quixo Is Solved2020 |
|
|
Resource Efficient Stabilization for Local Tasks despite Unknown Capacity Links2020 |
|
|
Approximate Agreement under Mobile Byzantine Faults2015 |
|
|
Universal Loop-Free Super-Stabilization2010 |
|
|
LIFT: Byzantine Resilient Hub-SamplingCANDAR 2025. 2025 |
|
|
Emergent Peer-to-Peer Multi-Hub TopologySorbonne Universites, UPMC University of Paris 6; LIP6 - Laboratoire d'Informatique de Paris 6. 2024 |
|
|
ABD-HFL: Byzantine-resistant Decentralized Hierarchical Federated LearningLIP6, Sorbonne Université, CNRS, UMR 7606. 2024 |
|
|
HEAL: Resilient and Self-* Hub-based LearningSorbonne Universite. 2024 |
|
|
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 |
|
|
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 |
|
|
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 |
|
|
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 |
|
|
On the encoding and solving partial information games[Research Report] LIP6, Sorbonne Université, CNRS, UMR 7606; LINCS; CEA Paris Saclay; Sorbonne Université. 2018 |
|
|
Churn Possibilities and Impossibilities[Research Report] Kent State University; Sorbonne Université, CNRS, Laboratoire d’Informatique de Paris 6, LIP6, F-75005 Paris, France. 2018 |
|
|
Optimal Storage under Unsynchrononized Mobile Byzantine Faults[Research Report] UPMC - Université Paris 6 Pierre et Marie Curie; Sapienza Università di Roma (Italie). 2017 |
|
|
Parameterized Verification of Algorithms for Oblivious Robots on a Ring[Research Report] UPMC Sorbonne Universités. 2017 |
|
|
Optimally Gathering Two Robots[Research Report] UPMC Sorbonne Universités. 2017 |
|
|
Concurrent Geometric Multicasting[Research Report] UPMC Sorbonne Universités. 2017 |
|
|
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 |
|
|
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 |
|
|
Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots[Research Report] UPMC; CNAM. 2016 |
|
|
Infinite Unlimited Churn[Research Report] LIP6 - Laboratoire d'Informatique de Paris 6; Kent State University. 2016 |
|
|
Optimal Mobile Byzantine Fault Tolerant Distributed Storage[Research Report] UPMC - Université Paris 6 Pierre et Marie Curie. 2016 |
|
|
A Certified Universal Gathering Algorithm for Oblivious Mobile Robots[Research Report] UPMC, Sorbonne Universites CNRS; CNAM, Paris; College de France; Université Paris Sud. 2015 |
|
|
The Random Bit Complexity of Mobile Robots Scattering[Research Report] Université Pierre et Marie Curie. 2015 |
|
|
Stateless Geocasting[Research Report] UPMC. 2015 |
|
|
Probabilistic Asynchronous Arbitrary Pattern Formation[Research Report] Université Pierre et Marie Curie. 2015 |
|
|
Packet Efficient Implementation of the Omega Failure Detector[Research Report] UPMC Université Paris VI; Kent State University. 2015 |
|
|
Impossibility of Gathering, a Certification[Technical Report] CEDRIC-14-3016, CEDRIC laboratory, CNAM-Paris, France. 2014, pp.10 |
|
|
Reliable Communication in a Dynamic Network in the Presence of Byzantine Faults[Research Report] _. 2014 |
|
|
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots[Research Report] 1560, LRI - CNRS, University Paris-Sud. 2013 |
|
|
On Byzantine Broadcast in Planar Graphs[Research Report] _. 2013 |
|
|
Formal verification of Mobile Robot Protocols[Research Report] LIP6. 2013 |
|
|
The Byzantine Brides Problem[Research Report] ???. 2012 |
|
|
Parameterizable Byzantine Broadcast in Loosely Connected Networks[Research Report] ???. 2012 |
|
|
Gathering an even number of robots in an odd ring without global multiplicity detection[Research Report] ???. 2012 |
|
|
Asynchronous mobile robot gathering from symmetric configurations without global multiplicity detection[Research Report] ???. 2011 |
|
|
A Taxonomy of Daemons in Self-stabilization[Research Report] ???. 2011 |
|
|
Optimal grid exploration by asynchronous oblivious robots[Research Report] ???. 2011 |
|
|
Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction[Research Report] ???. 2011 |
|
|
Self-Stabilization, Byzantine Containment, and Maximizable Metrics: Necessary Conditions[Research Report] ???. 2011, pp.17 |
|
|
Maximum Metric Spanning Tree made Byzantine Tolerant[Research Report] ???. 2011, pp.32 |
|
|
Limiting Byzantine Influence in Multihop Asynchronous Networks[Research Report] _. 2011 |
|
|
Bounding the Impact of Unbounded Attacks in Stabilization[Research Report] ???. 2010, pp.20 |
|
|
Stabilizing data-link over non-FIFO channels with optimal fault-resilience[Research Report] ???. 2010 |
|
|
Exclusive perpetual ring exploration without chirality[Research Report] Université d'Evry Val d'Essonne. 2010, pp.17 |
|
|
On Byzantine Containment Properties of the $min+1$ Protocol[Research Report] ???. 2010 |
|
|
The Impact of Topology on Byzantine Containment in Stabilization[Research Report] ???. 2010, pp.18 |
|
|
RoboCast: Asynchronous Communication in Robot Networks[Research Report] ???. 2010 |
|
|
Self-Stabilizing Byzantine Asynchronous Unison[Research Report] ???. 2009, pp.15 |
|
|
Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks[Research Report] ???. 2009, pp.15 |
|
|
Ideal Stabilization[Research Report] ???. 2009, pp.15 |
|
|
Byzantine Convergence in Robots Networks: The Price of Asynchrony[Technical Report] ???. 2009, pp.22 |
|
|
Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots[Research Report] RR-6838, INRIA. 2009, pp.29 |
|
|
Dynamic FTSS in Asynchronous Systems: the Case of Unison[Research Report] ???. 2009, pp.34 |
|
|
Optimal deterministic ring exploration with oblivious asynchronous robots[Research Report] ???. 2009, pp.23 |
|
|
A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-free Property[Research Report] Université d'Evry Val d'Essonne. 2009 |
|
|
Optimal byzantine resilient convergence in oblivious robot networks[Research Report] ???. 2009, pp.15 |
|
|
Stabilizing Maximal Independent Set in Unidirectional Networks is Hard[Research Report] RR-6880, INRIA. 2009, pp.21 |
|
|
Snap-Stabilization in Message-Passing Systems[Research Report] RR-6446, INRIA. 2008, pp.29 |
|
|
Ascending runs in dependent uniformly distributed random variables: Application to wireless networks[Research Report] RR-6443, INRIA. 2008, pp.12 |
|
|
Quiescence of Self-stabilizing Gossiping among Mobile Agents in Graphs[Research Report] RR-6458, INRIA. 2008, pp.20 |
|
|
Bounds for self-stabilization in unidirectional networks[Research Report] RR-6524, INRIA. 2008, pp.24 |
|
|
Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks[Research Report] RR-6529, INRIA. 2008, pp.31 |
|
|
Communication Efficiency in Self-stabilizing Silent Protocols[Research Report] RR-6731, INRIA. 2008, pp.33 |
|
|
Ascending runs in dependent uniformly distributed random variables : Application to wireless networks[Research Report] PI 1883, 2008, pp.12 |
|
|
On the Self-stabilization of Mobile Robots in Graphs[Research Report] RR-6266, INRIA. 2007, pp.23 |
|
|
A New Self-Stabilizing Maximal Matching Algorithm[Research Report] RR-6111, INRIA. 2007, pp.17 |
|
|
Weak vs. Self vs. Probabilistic Stabilization[Research Report] RR-6366, INRIA. 2007 |
|
|
Deterministic Secure Positioning in Wireless Sensor Networks[Research Report] RR-6326, INRIA. 2007, pp.31 |
|
|
FAIL-MPI: How fault-tolerant is fault-tolerant MPI ?[Research Report] 1450, 2006, pp.26 |
Easy fault injection and stress testing with FAIL-FCI[Research Report] RR1421, 2006, pp.20 |
|
|
|
Knowledge Connectivity vs. Synchrony Requirements for Fault-Tolerant Agreement in Unknown Networks[Research Report] RR-6099, INRIA. 2006, pp.32 |
|
|
Auto-stabilisation EfficaceRéseaux et télécommunications [cs.NI]. Université Paris Sud - Paris XI, 2000. Français. ⟨NNT : ⟩ |
|
|
Vers l'auto-stabilisation des systèmes à grande échelleRéseaux et télécommunications [cs.NI]. Université Paris Sud - Paris XI, 2006 |