Sébastien Tixeuil
317
Documents
Publications
- 51
- 29
- 29
- 28
- 27
- 27
- 21
- 18
- 18
- 18
- 17
- 11
- 10
- 10
- 10
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 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
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
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
Conference papers
hal-04086366v1
|
|
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
Conference papers
hal-03656129v1
|
|
Data-driven evaluation of intrusion detectors: a methodological frameworkFPS 2022 - 15th International Symposium on Foundations & Practice of Security, Dec 2022, Ottawa, ON, Canada. pp.142-157, ⟨10.1007/978-3-031-30122-3_9⟩
Conference papers
hal-04055085v1
|
|
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
Conference papers
hal-03657365v1
|
Realistic Self-stabilization26th International Conference on Principles of Distributed Systems (OPODIS 2022), Dec 2022, Bruxelles, Belgium
Conference papers
hal-03971242v1
|
|
|
Asynchronous Gathering in a TorusOPODIS 2021 - 25th International Conference on Principles of Distributed Systems, Dec 2021, Strasbourg, France. pp.9:1--9:17, ⟨10.4230/LIPIcs.OPODIS.2021.9⟩
Conference papers
hal-03592615v1
|
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⟩
Conference papers
hal-03026522v1
|
|
|
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
Conference papers
hal-02875967v1
|
Autonomous Identification of IoT Device Types based on a Supervised ClassificationICC 2020 - 2020 IEEE International Conference on Communications (ICC), Jun 2020, Virtual conference, Ireland. ⟨10.1109/ICC40277.2020.9148821⟩
Conference papers
hal-02913093v1
|
|
On the Encoding and Solving of Partial Information Games8th International Conference on Networked Systems (NETYS'20), Jun 2020, Marrakech, Morocco
Conference papers
hal-02979574v1
|
|
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⟩
Conference papers
hal-03026501v1
|
|
Stand Up Indulgent RendezvousStabilization, Safety, and Security of Distributed Systems, Nov 2020, Austin, United States. pp.45-59, ⟨10.1007/978-3-030-64348-5_4⟩
Conference papers
hal-03026512v1
|
|
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⟩
Conference papers
hal-03017408v1
|
|
|
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
Conference papers
hal-03746708v1
|
|
Uniform Bipartition in the Population Protocol Model with Arbitrary Communication Graphs24th International Conference on Principles of Distributed Systems (OPODIS 2020), Dec 2020, Strasbourg, France. pp.33:1--33:16, ⟨10.4230/LIPIcs.OPODIS.2020.33⟩
Conference papers
hal-03126591v1
|
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⟩
Conference papers
hal-03109954v1
|
|
|
Du discrètement continu au continûment discretALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
Conference papers
hal-02871295v1
|
|
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
Conference papers
hal-02123870v1
|
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⟩
Conference papers
hal-02286011v1
|
|
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⟩
Conference papers
hal-02115599v1
|
|
|
Gathering on Rings for Myopic Asynchronous Robots With Lights Sébastien Tixeuil23rd International Conference on Principles of Distributed Systems (OPODIS 2019), Dec 2019, Neuchatel, Netherlands. pp.27:1--27:17, ⟨10.4230/LIPIcs.OPODIS.2019.27⟩
Conference papers
hal-02475374v1
|
|
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⟩
Conference papers
hal-02394992v1
|
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⟩
Conference papers
hal-02286008v1
|
|
|
Amélioration de l’identification du type des objets connectés par classification superviséeCORES2019 - Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, Jun 2019, Jardins de Saint Benoît, France
Conference papers
hal-02126555v1
|
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⟩
Conference papers
hal-02168149v1
|
|
|
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
Conference papers
hal-02115611v1
|
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⟩
Conference papers
hal-02394962v1
|
|
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⟩
Conference papers
hal-01753439v1
|
|
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⟩
Conference papers
hal-02076443v1
|
|
Optimally Gathering Two RobotsThe 19th International Conference on Distributed Computing and Networking, Jan 2018, Varanasi, India. pp.3, ⟨10.1145/3154273.3154323⟩
Conference papers
hal-01753431v1
|
|
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⟩
Conference papers
hal-02076468v1
|
|
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⟩
Conference papers
hal-02076478v1
|
|
Concurrent Geometric MulticastingThe 19th International Conference on Distributed Computing and Networking, Jan 2018, Varanasi, India. ⟨10.1145/3154273.3154314⟩
Conference papers
hal-01753444v1
|
|
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⟩
Conference papers
hal-02443130v1
|
|
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⟩
Conference papers
hal-02076484v1
|
|
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⟩
Conference papers
hal-02076398v1
|
|
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⟩
Conference papers
hal-02076489v1
|
|
|
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
Conference papers
hal-01785952v1
|
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⟩
Conference papers
hal-02076496v1
|
|
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⟩
Conference papers
hal-01937420v1
|
|
Certified Gathering of Oblivious Mobile Robots: survey of recent results and open problemsFormal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS/AVOCS), Sep 2017, Turin, Italy. pp.165-181, ⟨10.1007/978-3-319-67113-0_11⟩
Conference papers
hal-01549942v1
|
|
|
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
Conference papers
hal-01518553v1
|
Brief Announcement: Efficient Self-Stabilizing 1-Maximal Matching Algorithm for Arbitrary NetworksACM Conference on Principles of Distributed Computing (PODC 2017) , Jul 2017, Washington, United States
Conference papers
hal-01520336v1
|
|
|
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
Conference papers
hal-01518548v1
|
Brief announcement: Compact Self-Stabilizing Leader Election for General Networks31st International Symposium on Distributed Computing (DISC 2017), Oct 2017, Vienna, Austria
Conference papers
hal-01553088v1
|
|
Stateless Reliable Geocasting36th IEEE Symposium on Reliable Distributed Systems (SRDS 2017), Sep 2017, Hong Kong, China
Conference papers
hal-01549915v1
|
|
Parameterized verification of algorithms for oblivious robots on a ringFormal Methods in Computer Aided Design, Oct 2017, Vienna, Austria. pp.212-219, ⟨10.23919/FMCAD.2017.8102262⟩
Conference papers
hal-01664894v1
|
|
Optimal Storage under Unsynchronized Mobile Byzantine Faults36th IEEE Symposium on Reliable Distributed Systems (SRDS 2017), Sep 2017, Hong Kong, China
Conference papers
hal-01549931v1
|
|
|
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
Conference papers
hal-01512950v1
|
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⟩
Conference papers
hal-01491813v1
|
|
Asynchronous Gathering in Rings with 4 RobotsAd Hoc Now 2016, Jul 2016, Lille, France
Conference papers
hal-01340243v1
|
|
|
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
Conference papers
hal-01302912v1
|
Benchmarking Energy-Efficient Broadcast Protocols in Wireless Sensor NetworksNetworked Systems - Fourth International Conference (NETYS 2016), May 2016, Marakech, Morocco
Conference papers
hal-01349075v1
|
|
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⟩
Conference papers
hal-01491832v1
|
|
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⟩
Conference papers
hal-01491828v1
|
|
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⟩
Conference papers
hal-01491817v1
|
|
A Certified Universal Gathering Algorithm for Oblivious Mobile RobotsDistributed Computing (DISC), Sep 2016, Paris, France
Conference papers
hal-01349061v1
|
|
Brief announcement: Certified Universal Gathering in R2 for Oblivious Mobile RobotsACM Conference on Principles of Distributed Computing (PODC), ACM, Jul 2016, Chicago, United States
Conference papers
hal-01349084v1
|
|
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⟩
Conference papers
hal-01491823v1
|
|
Specification-based Synthesis of Distributed Self-Stabilizing ProtocolsFormal Techniques for Distributed Objects, Components, and Systems International Conference (FORTE 2016), May 2016, Heraklion, Greece
Conference papers
hal-01349070v1
|
|
|
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⟩
Conference papers
hal-01432932v1
|
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⟩
Conference papers
hal-01272045v1
|
|
Optimal Mobile Byzantine Fault Tolerant Distributed StorageACM Conference on Principles of Distributed Computing (PODC), ACM, Jul 2016, Chicago, United States
Conference papers
hal-01349064v1
|
|
Enhancing Content Distribution through Information-Aware MechanismsCloudNet, Oct 2016, Pisa, Italy
Conference papers
hal-01349026v1
|
|
Brief announcement: Probabilistic Asynchronous Arbitrary Pattern FormationACM Conference on Principles of Distributed Computing (PODC), Jul 2016, Chicago, United States
Conference papers
hal-01349087v1
|
|
Evaluating and Optimizing Stabilizing Dining PhilosophersThe European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France
Conference papers
hal-01213278v1
|
|
|
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
Conference papers
hal-01144458v1
|
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⟩
Conference papers
hal-01206290v1
|
|
The Complexity of Data Aggregation in Static and Dynamic Wireless Sensor NetworksThe International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2015), Aug 2015, Edmonton, Canada. pp.36-50, ⟨10.1007/978-3-319-21741-3_3⟩
Conference papers
hal-01213269v1
|
|
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⟩
Conference papers
hal-01135398v1
|
|
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⟩
Conference papers
hal-01213273v1
|
|
Wait-free Gathering without ChiralitySIROCCO 2015, Jul 2015, Montserrat, Spain
Conference papers
hal-01213285v1
|
|
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⟩
Conference papers
hal-01213325v1
|
|
|
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⟩
Conference papers
hal-00926573v3
|
|
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
Conference papers
hal-01146737v1
|
Communicating Reliably in Multihop Dynamic Networks despite Byzantine FailuresThe International Symposium on Reliable Distributed Systems (SRDS2015), Sep 2015, Montreal, Canada
Conference papers
hal-01213311v1
|
|
|
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
Conference papers
hal-01154517v1
|
|
De la Survie Énergétique des Réseaux de CapteursALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
Conference papers
hal-01144309v1
|
|
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⟩
Conference papers
hal-01016832v2
|
|
Le pouvoir séparateur d'une pièce de monnaieALGOTEL 2014 -- 16èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2014, Le Bois-Plage-en-Ré, France. pp.1-4
Conference papers
hal-00985322v1
|
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
Conference papers
hal-01215924v1
|
|
Self-stabilizing Byzantine BroadcastThe 33rd IEEE Symposium on Reliable Distributed Systems (SRDS 2014), Oct 2014, Nara, Japan. pp.152-160, ⟨10.1109/SRDS.2014.10⟩
Conference papers
hal-01215926v1
|
|
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⟩
Conference papers
hal-01108586v1
|
|
Dependable Information Broadcast in Sparsely Connected NetworksInternational Conference on Latin American Dependable Computing, LADC 2013, Apr 2013, Rio de Janeiro, Brazil. pp.31-39
Conference papers
hal-01219722v1
|
|
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⟩
Conference papers
hal-00930281v1
|
|
|
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
Conference papers
hal-00818707v1
|
|
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⟩
Conference papers
hal-00742655v1
|
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⟩
Conference papers
hal-00930074v1
|
|
Fast Leader (Full) Recovery Despite Dynamic FaultsInternational Conference on Distributed Computing and Networking, Jan 2013, Mumbai, India. pp.428-433, ⟨10.1007/978-3-642-35668-1_30⟩
Conference papers
hal-00930061v1
|
|
|
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
Conference papers
hal-00818606v1
|
|
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
Conference papers
hal-00812914v4
|
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⟩
Conference papers
hal-00930109v1
|
|
|
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
Conference papers
hal-00817123v1
|
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⟩
Conference papers
hal-00930095v1
|
|
Consensus with Unknown Participants in Shared MemoryInternational Symposium on Reliable Distributed Systems, Sep 2013, Braga, Portugal. pp.51-60, ⟨10.1109/SRDS.2013.14⟩
Conference papers
hal-00930100v1
|
|
Certified Impossibility Results for Byzantine-Tolerant Mobile RobotsInternational Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2013, Osaka, Japan. pp.178-190, ⟨10.1007/978-3-319-03089-0_13⟩
Conference papers
hal-00930267v1
|
|
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⟩
Conference papers
hal-00930090v1
|
|
Brief Announcement: Certified impossibility results for Byzantine-tolerant mobile robotsInternational Symposium on Distributed Computing (DISC2013), Oct 2013, Jerusalem, Israel. pp.2
Conference papers
hal-01126335v1
|
|
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⟩
Conference papers
hal-00934149v1
|
|
|
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⟩
Conference papers
hal-00728337v1
|
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
Conference papers
hal-01272830v1
|
|
|
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
Conference papers
hal-00689348v1
|
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⟩
Conference papers
hal-00934220v1
|
|
Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks ProtocolsInternational Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2012, Toronto, Canada. pp.282-284, ⟨10.1007/978-3-642-33536-5_28⟩
Conference papers
hal-00934186v1
|
|
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⟩
Conference papers
hal-00934047v1
|
|
Optimal Grid Exploration by Asynchronous Oblivious RobotsInternational Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2012, Toronto, Canada. pp.64-76, ⟨10.1007/978-3-642-33536-5_7⟩
Conference papers
hal-00934161v1
|
|
Limiting Byzantine Influence in Multihop Asynchronous NetworksInternational Conference on Distributed Computing Systems, Jun 2012, Macau, China. pp.183-192, ⟨10.1109/ICDCS.2012.15⟩
Conference papers
hal-00934073v1
|
|
|
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
Conference papers
hal-00686663v1
|
|
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⟩
Conference papers
hal-00692095v1
|
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⟩
Conference papers
hal-00934144v1
|
|
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⟩
Conference papers
hal-00934055v1
|
|
Brief Announcement: Probabilistic Stabilization under Probabilistic SchedulersInternational Symposium on Distributed COmputing, Oct 2012, Salvador, Brazil. pp.413-414, ⟨10.1007/978-3-642-33651-5_34⟩
Conference papers
hal-00934232v1
|
|
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⟩
Conference papers
hal-00934132v1
|
|
Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with FeedbackInternational Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2012, Toronto, Canada. pp.126-132, ⟨10.1007/978-3-642-33536-5_13⟩
Conference papers
hal-00934179v1
|
|
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⟩
Conference papers
hal-00649294v1
|
|
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⟩
Conference papers
inria-00627777v1
|
|
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⟩
Conference papers
hal-01285680v1
|
|
|
Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2011, Cap Estérel, France
Conference papers
inria-00587089v1
|
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⟩
Conference papers
hal-00992679v1
|
|
|
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
Conference papers
inria-00587517v1
|
Asynchronous Mobile Robot Gathering from Symmetric Configurations without Global Multiplicity DetectionSIROCCO 2011, 2011, Gdansk, Poland, Poland. pp.150-161
Conference papers
hal-01009454v1
|
|
Pragmatic Self-Stabilization of Atomic Memory in Message-Passing SystemsSSS 2011 - 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2011, Grenoble, France. pp.19-31, ⟨10.1007/978-3-642-24550-3_4⟩
Conference papers
inria-00627780v1
|
|
Ideal StabilizationIEEE AINA 2011, Mar 2011, Biopolis, Singapore. pp.224-231, ⟨10.1109/AINA.2011.28⟩
Conference papers
hal-01285686v1
|
|
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⟩
Conference papers
hal-01285672v1
|
|
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⟩
Conference papers
hal-01293850v1
|
|
Robocast: Asynchronous Communication in Robot NetworksOPODIS 2010, Dec 2010, Tozeur, Tunisia. pp.16-31, ⟨10.1007/978-3-642-17653-1_2⟩
Conference papers
hal-01290774v1
|
|
SAFE-OS: a Secure and Usable Desktop Operating SystemCRiSIS 2010, Oct 2010, Montréal, Canada. pp.1-7, ⟨10.1109/CRISIS.2010.5764916⟩
Conference papers
hal-01290776v1
|
|
Stabilizing Locally Maximizable Tasks in Unidirectional Networks is HardIEEE 30th International Conference on Distributed Computing Systems, ICDCS 2010, Jun 2010, Gênes, Italy. pp.718-727, ⟨10.1109/ICDCS.2010.69⟩
Conference papers
hal-01291184v1
|
|
|
Communications Efficaces et Auto-Stabilisation12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2010, Belle-Dune, France. pp.id 19
Conference papers
hal-00479860v1
|
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⟩
Conference papers
hal-01291182v1
|
|
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⟩
Conference papers
hal-01293846v1
|
|
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⟩
Conference papers
hal-01292491v1
|
|
Self-stabilizing Byzantine Asynchronous UnisonOPODIS 2010 - 14th International Conference On Principles Of DIstributed Systems, Dec 2010, Tozeur, Tunisia. pp.83-86, ⟨10.1007/978-3-642-17653-1_7⟩
Conference papers
inria-00627771v1
|
|
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⟩
Conference papers
hal-01291183v1
|
|
Exclusive Perpetual Ring Exploration without ChiralityDISC 2010 - 24th International Symposium Distributed Computing, Sep 2010, Cambridge, MA, United States. pp.312-327, ⟨10.1007/978-3-642-15763-9_29⟩
Conference papers
hal-00992700v1
|
|
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⟩
Conference papers
hal-01293837v1
|
|
|
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
Conference papers
inria-00477480v1
|
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⟩
Conference papers
hal-01292601v1
|
|
Loop-Free Super-Stabilizing Spanning Tree Construction12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2010), Sep 2010, New York, NY, United States. pp.50--64, ⟨10.1007/978-3-642-16023-3_7⟩
Conference papers
hal-00668381v1
|
|
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⟩
Conference papers
hal-01290827v1
|
|
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⟩
Conference papers
hal-01290826v1
|
|
Monotonic StabilizationOPODIS 2010, Dec 2010, Tozeur, Tunisia. pp.475-490, ⟨10.1007/978-3-642-17653-1_34⟩
Conference papers
hal-01290770v1
|
|
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⟩
Conference papers
hal-01293827v1
|
|
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⟩
Conference papers
hal-01293831v1
|
|
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⟩
Conference papers
hal-00869591v1
|
|
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⟩
Conference papers
hal-01298807v1
|
|
Optimal Byzantine Resilient Convergence in Asynchronous Robot NetworksSSS 2009., Nov 2009, Lyon, France. pp.165-179, ⟨10.1007/978-3-642-05118-0_12⟩
Conference papers
hal-01295184v1
|
|
|
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
Conference papers
inria-00384649v2
|
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⟩
Conference papers
hal-01295187v1
|
|
Byzantine-Resilient Convergence in Oblivious Robot NetworksICDCN, Jan 2009, Hyderabad, India. pp.275-280, ⟨10.1007/978-3-540-92295-7_33⟩
Conference papers
hal-01298808v1
|
|
Optimal Probabilistic Ring Exploration by Asynchronous Oblivious RobotsSirocco 2009, May 2009, Piran, Slovenia. pp.195-208, ⟨10.1007/978-3-642-11476-2_16⟩
Conference papers
hal-01295189v1
|
|
Optimal deterministic self-stabilizing vertex coloring in unidirectional anonymous networksIPDPS, May 2009, Rome, Italy. pp.1-8, ⟨10.1109/IPDPS.2009.5161053⟩
Conference papers
hal-01298811v1
|
|
|
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
Conference papers
inria-00383351v1
|
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⟩
Conference papers
hal-01295181v1
|
|
|
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
Conference papers
inria-00383350v1
|
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⟩
Conference papers
hal-01295022v1
|
|
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⟩
Conference papers
hal-01303470v1
|
|
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⟩
Conference papers
hal-01303473v1
|
|
Brief Announcement: Snap-Stabilization in Message-Passing SystemsPrinciples of Distributed Computing (PODC 2008), Aug 2008, Toronto, Canada. pp.443-443, ⟨10.1145/1400751.1400838⟩
Conference papers
hal-01303457v1
|
|
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⟩
Conference papers
hal-01303007v1
|
|
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⟩
Conference papers
hal-01303005v1
|
|
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
Conference papers
hal-01303525v1
|
|
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⟩
Conference papers
hal-01303467v1
|
|
|
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
Conference papers
inria-00176959v1
|
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⟩
Conference papers
hal-01311362v1
|
|
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⟩
Conference papers
hal-01336216v1
|
|
|
Evaluating complex MAC protocols for sensor networks with APMCAutomatic Verification of Critical Systems, Sep 2006, Nancy/France, pp.35-47
Conference papers
inria-00089494v1
|
Etude de convergence dans les réseaux sans fil8emes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2006, Trégastel, France
Conference papers
inria-00600298v1
|
|
|
Fast Convergence in Self-stabilizing Wireless Networks.12th International Conference on Parallel and Distributed Systems (ICPADS 2006), 12-15 July 2006, Minneapolis, Minnesota, USA, Jul 2006, Mineapolis, United States. pp.31-38
Conference papers
hal-00383834v1
|
|
Space Lower Bounds for Graph Exploration via Reduced AutomataSIROCCO 2005, May 2005, Le Mont Saint-Michel, France. pp.140-154, ⟨10.1007/11429647_13⟩
Conference papers
hal-00339766v1
|
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
Conference papers
inria-00600336v1
|
|
A language-driven tool for fault injection in distributed applicationsProceedings of the IEEE/ACM Workshop GRID 2005, Nov 2005, Seattle, United States. ⟨10.1109/GRID.2005.1542742⟩
Conference papers
hal-00684889v1
|
|
|
Self-stabilization in self-organized multihop wireless networksWorkshop on Wireless ad hoc Networking (WWAN'05),, Jun 2005, Columbus, United States. pp.909-915
Conference papers
hal-00383720v1
|
Optimal Randomized Self-stabilizing Mutual Exclusion on Synchronous RingsProceedings of DISC'2004, Oct 2004, Netherlands. pp.216--229
Conference papers
hal-00307527v1
|
|
Protocoles auto-stabilisants synchrones d'exclusion mutuelle pour les anneaux anonymes et uniformesActes d'AlgoTel 2004, May 2004, France. pp.135--140
Conference papers
hal-00307529v1
|
|
|
Self-stabilizing Vertex Coloring of Arbitrary GraphsInternational conference on Principles of Distributed Systems (OPODIS 2000), Dec 2000, Paris, France. pp.55-70
Conference papers
hal-00631707v1
|
|
Self-stabilization with Global Rooted SynchronizersIEEE International Conference on Distributed Computing Systems (ICDCS 98), May 1998, Amsterdam, Netherlands. pp.102-109, ⟨10.1109/ICDCS.1998.679492⟩
Conference papers
hal-00631710v1
|
|
Evaluation Framework for ML-based IDSRESSI 2023 : Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2023, Neuvy-sur-Barangeon, France
Conference poster
hal-04164441v1
|
|
GRIFIN: cognitive and programmable security for resilient next-generation networksRESSI 2022 : Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2022, Chambon-sur-Lac, France
Conference poster
hal-04165398v1
|
Brief announcement: Approximate Agreement under Mobile Byzantine Faults ModelIEEE Conference on Distributed Computing Systems (ICDCS 2016), Jun 2016, Nara, Japan. IEEE, pp.727-728, ⟨10.1109/ICDCS.2016.68⟩
Conference poster
hal-01349092v1
|
|
Brief announcement: Distributed Online Data Aggregation in Dynamic GraphsIEEE Conference on Distributed Computing Systems (ICDCS 2016), Jun 2016, Nara, Japan. IEEE, pp.747-748, ⟨10.1109/ICDCS.2016.55⟩
Conference poster
hal-01349094v1
|
Self-stabilizing SystemsTed Herman and Sébastien Tixeuil. Springer, 2005
Books
inria-00078184v1
|
Formal Methods for Mobile RobotsPaola Flocchini; Giuseppe Prencipe; Nicola Santoro. Distributed Computing by Mobile Entities, Current Research in Moving and Computing, 11340, Springer International Publishing, pp.278-313, 2019, Theoretical Computer Science and General Issues, 978-3-030-11071-0. ⟨10.1007/978-3-030-11072-7_12⟩
Book sections
hal-01981634v1
|
|
Fault-Tolerant Mobile RobotsDistributed Computing by Mobile Entities, 11340, Springer, pp.234-251, 2019, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-11072-7_10⟩
Book sections
hal-02076375v1
|
|
Dependability Evaluation of The Ogsa-Dai MiddlewareAchievements in European Research on Grid Systems, Springer Berlin / Heidelberg, pp.223-236, 2008, 978-0-387-72811-7. ⟨10.1007/978-0-387-72812-4_17⟩
Book sections
hal-01303735v1
|
|
Fault-tolerant Distributed Algorithms for Scalable SystemsWireless Ad Hoc and Sensor Networks, ISTE, pp.225-256, 2007, 9781848210035
Book sections
hal-01334871v1
|
|
|
The Reduced Automata Technique for Graph Exploration Space Lower BoundsOded Goldreich, Arnold L. Rosenberg, Alan L. Selman. Essays in Memory of Shimon Even, Springer Berlin / Heidelberg, Volume LNCS 3895, p. 1-26, 2006, Lecture Notes in Computer Science, ⟨10.1007/11685654_1⟩
Book sections
hal-00341655v1
|
|
Computer Aided Formal Design of Swarm Robotics Algorithms2021
Preprints, Working Papers, ...
hal-03111541v1
|
|
Asynchronous Gathering in a Torus2021
Preprints, Working Papers, ...
hal-03112017v1
|
|
Quixo Is Solved2020
Preprints, Working Papers, ...
hal-02981564v1
|
|
Stand Up Indulgent Rendezvous2020
Preprints, Working Papers, ...
hal-02961247v1
|
Uniform Bipartition in the Population Protocol Model with Arbitrary Communication Graphs2020
Preprints, Working Papers, ...
hal-03013644v1
|
|
|
Resource Efficient Stabilization for Local Tasks despite Unknown Capacity Links2020
Preprints, Working Papers, ...
hal-02981573v1
|
|
Approximate Agreement under Mobile Byzantine Faults2015
Preprints, Working Papers, ...
hal-01301597v1
|
|
Universal Loop-Free Super-Stabilization2010
Preprints, Working Papers, ...
hal-00492320v1
|
|
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
Reports
hal-02960087v1
|
|
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
Reports
hal-01826865v3
|
|
On the encoding and solving partial information games[Research Report] LIP6, Sorbonne Université, CNRS, UMR 7606; LINCS; CEA Paris Saclay; Sorbonne Université. 2018
Reports
hal-01790508v1
|
|
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
Reports
hal-01712277v3
|
|
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
Reports
hal-01762962v1
|
|
Churn Possibilities and Impossibilities[Research Report] Kent State University; Sorbonne Université, CNRS, Laboratoire d’Informatique de Paris 6, LIP6, F-75005 Paris, France. 2018
Reports
hal-01753397v1
|
|
Optimally Gathering Two Robots[Research Report] UPMC Sorbonne Universités. 2017
Reports
hal-01575451v1
|
|
Optimal Storage under Unsynchrononized Mobile Byzantine Faults[Research Report] UPMC - Université Paris 6 Pierre et Marie Curie; Sapienza Università di Roma (Italie). 2017
Reports
hal-01561776v1
|
|
Parameterized Verification of Algorithms for Oblivious Robots on a Ring[Research Report] UPMC Sorbonne Universités. 2017
Reports
hal-01540339v1
|
|
Concurrent Geometric Multicasting[Research Report] UPMC Sorbonne Universités. 2017
Reports
hal-01540744v1
|
|
Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots[Research Report] UPMC; CNAM. 2016
Reports
hal-01274295v1
|
|
Infinite Unlimited Churn[Research Report] LIP6 - Laboratoire d'Informatique de Paris 6; Kent State University. 2016
Reports
hal-01350804v1
|
|
Distributed Online Data Aggregation in Dynamic Graphs |