POTOP-BUTUCARU Maria
Full Professor
Team : NPA
Tel: +33 1 44 27 87 64, Maria.Potop-Butucaru (at) nulllip6.fr
https://lip6.fr/Maria.Potop-Butucaru
Team : NPA
- Sorbonne Université - LIP6
Boîte courrier 169
Couloir 26-00, Étage 1, Bureau 115
4 place Jussieu
75252 PARIS CEDEX 05
FRANCE
Tel: +33 1 44 27 87 64, Maria.Potop-Butucaru (at) nulllip6.fr
https://lip6.fr/Maria.Potop-Butucaru
Two PhD students at Sorbonne University (Supervision / Co-supervision)
- LEGHERABA Mohamed Amine : No title.
- PHAM Alexandre : Peer-to-peer cybersecure Federated Learning.
One Postdoc at Sorbonne University (Supervision)
- BELTRANDO Lionel : Blockchain à faible empreinte énergétique adaptée au domaine financier.
Eleven past PhD students (2010 - 2023) at Sorbonne University
- 2023
- FONTES REBELLO Gabriel Antonio : Réseaux de Canaux de Paiement avec Dispositifs à Ressources Limitées.
- 2022
- CIVIT Pierre : Spécification des systèmes distribués dynamiques probabilistes sécurisés.
- LYS Léonard : Sécurité et fiabilité des échanges inter-blockchain.
- 2020
- AMOUSSOU-GUENOU Yackolley : Gestion des bien communs dans les Blockchains.
- 2019
- BU Gewu : Fiabilité, sécurité et vie privée dans les WBAN.
- 2018
- BADREDDINE Wafa : Protocoles de communication dans les réseaux de capteurs corporels sans fil.
- 2017
- DEL POZZO Antonella : Stockage Distribué et Tolérant aux Comportements Byzantins.
- 2015
- MILLET Laure : Vérification et synthèse d'algorithmes de robots.
- 2013
- BOUZID Zohir : Modèles et algorithmes pour les réseaux émergents.
- 2011
- DUBOIS Swan : Tolérer les fautes transitoires, permanentes et intermittentes.
- 2010
- BERNARD Samuel : Algorithmique répartie : vaincre les contraintes des réseaux modernes.
2000-2024 Publications
-
2024
- B. Chan Yip Hon, B. Zaghdoudi, M. Potop‑Butucaru, S. Tixeuil, S. Fdida : “Challenger: Blockchain-based Massively Multiplayer Online Game Architecture”, International Conference on Networked Systems (NETYS), vol. 14783, Lecture Notes in Computer Science, Rabat (MOROCCO), Morocco, pp. 50-66, (Springer Nature Switzerland) (2024)
- T. An, M. Potop‑Butucaru, S. Tixeuil, S. Fdida : “ABD-HFL: Byzantine-resistant Decentralized Hierarchical Federated Learning”, (2024)
- A. Pham, M. Potop‑Butucaru, S. Tixeuil, S. Fdida : “Comment Saboter l’Apprentissage Collectif par CommĂ©rage”, AlgoTel 2024 – 26es Rencontres Francophones sur les Aspects Algorithmiques des TĂ©lĂ©communications, Saint-Briac-sur-Mer, France (2024)
- M. Legheraba, M. Potop‑Butucaru, S. Tixeuil, S. Fdida : “Emergent Peer-to-Peer Multi-Hub Topology”, (2024)
- L. Azerouk, B.‑M. Bui‑Xuan, C. Palisoc, M. Potop‑Butucaru, M. Tighilt : “Distributed computation of temporal twins in periodic undirected time-varying graphs”, (2024)
- A. Pham, M. Potop‑Butucaru, S. Tixeuil, S. Fdida : “Data Poisoning Attacks in Gossip Learning”, Advanced Information Networking and Applications, vol. 200, Lecture Notes on Data Engineering and Communications Technologies, KitakyĹ«shĹ«, Japan, pp. 213-224, (Springer Nature Switzerland), (ISBN: 978-3-031-57853-3) (2024)
- G. Fontes Rebello, G. Franco Camilo, L. Castro de Souza, M. Gradinariu Potop‑Butucaru, M. Dias De Amorim, M. Campista, L. Maciel Kosmalski Costa : “A Survey on Blockchain Scalability: From Hardware to Layer-Two Protocols”, Communications Surveys and Tutorials, IEEE Communications Society, (Institute of Electrical and Electronics Engineers) (2024)
- A. Pham, M. Potop‑Butucaru, S. Tixeuil, S. Fdida : “Data Poisoning Attacks in Gossip Learning”, (2024)
-
2023
- J. Villacis‑Llobet, B.‑M. Bui‑Xuan, M. Potop‑Butucaru : “Marche sans escale dans un graphe temporel”, AlgoTel 2023 - 25es Rencontres Francophones sur les Aspects Algorithmiques des TĂ©lĂ©communications, Cargese, France (2023)
- S. Galimberti, M. Potop‑Butucaru : “Game Theoretical Analysis of DAG-Ledgers Backbone”, (2023)
- L. Beltrando, M. Potop‑Butucaru, J. Alfaro : “TenderTee: Increasing the Resilience of Tendermint by using Trusted Environments”, ICDCN '23, Kharagpur, India, pp. 90-99, (Association for Computing Machinery), (ISBN: 978-1-4503-9796-4) (2023)
-
2022
- P. Civit, M. Potop‑Butucaru : “Dynamic Probabilistic Input Output Automata”, 36th International Symposium on Distributed Computing (DISC 2022), vol. 246, Leibniz International Proceedings in Informatics (LIPIcs), Augusta, GA, United States, pp. 15:1-15:18, (Schloss Dagstuhl -- Leibniz-Zentrum fĂĽr Informatik), (ISBN: 978-3-95977-255-6) (2022)
- P. Civit, M. Potop‑Butucaru : “Brief Announcement: Probabilistic Dynamic Input/Output Automata”, Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing, Salerno, Italy, pp. 378–380, (Association for Computing Machinery) (2022)
- G. Franco Camilo, G. Fontes Rebello, L. Castro de Souza, M. Gradinariu Potop‑Butucaru, M. Dias De Amorim, M. Campista, L. Maciel Kosmalski Costa : “Análise da Evolução TopolĂłgica da Rede Lightning de Canais de Pagamento”, XXII SimpĂłsio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg), Santa Maria, Brazil (2022)
- P. Civit, M. Potop‑Butucaru : “Brief Announcement: Composable Dynamic Secure Emulation”, Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA '22, Philadelphia, PA, United States, pp. 103-105, (Association for Computing Machinery), (ISBN: 9781450391467) (2022)
- J. Villacis‑Llobet, B.‑M. Bui‑Xuan, M. Potop‑Butucaru : “Foremost non-stop journey arrival in linear time”, 29th International Colloquium on Structural Information and Communication Complexity, vol. 13298, Lecture Notes in Computer Science, Paderborn, Germany, pp. 283-301, (Springer) (2022)
- H. Nazim Mamache, G. MazuĂ©, O. Rashid, G. Bu, M. Potop‑Butucaru : “Evaluation des performances du consensus IOTA sous des hypothèses d’implĂ©mentation rĂ©alistes”, AlgoTel 2022 - 24es Rencontres Francophones sur les Aspects Algorithmiques des TĂ©lĂ©communications, Saint-RĂ©my-Lès-Chevreuse, France (2022)
- G. Fontes Rebello, M. Potop‑Butucaru, M. Dias De Amorim, O. Duarte : “SĂ©curisation des rĂ©seaux de canaux de paiement sans fil avec des fenĂŞtres de temps de verrouillage rĂ©duites”, CORES 2022 – 7e Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’ExpĂ©rimentation des RĂ©seaux de Communication, Saint-RĂ©my-Lès-Chevreuse, France (2022)
- G. Fontes Rebello, G. Franco Camilo, M. Potop‑Butucaru, M. Campista, M. Dias De Amorim, L. Maciel Kosmalski Costa : “PCNsim: A Flexible and Modular Simulator for Payment Channel Networks”, 2022 IEEE INFOCOM, London, United Kingdom, (IEEE) (2022)
- G. Franco Camilo, G. Fontes Rebello, L. Castro de Souza, G. AraĂşjo Thomaz, M. Gradinariu Potop‑Butucaru, M. Dias De Amorim, M. Campista, L. Maciel Kosmalski Costa : “Redes de Canais de Pagamento: Provendo Escalabilidade para Pagamentos em Criptomoedas”, chapter in Minicursos do XL SimpĂłsio Brasileiro de Redes de Computadores e Sistemas DistribuĂdos (SBRC) (2022)
- L. LYS, M. Potop‑Butucaru : “Distributed Blockchain Price Oracle”, (2022)
- M. Potop‑Butucaru, A. Orda, M. Herlihy, S. Secci : “Special issue on blockchain networks and distributed protocols”, Annals of Telecommunications - annales des tĂ©lĂ©communications, vol. 77 (1-2), (Springer) (2022)
- S. Bonomi, A. Del Pozzo, M. Potop‑Butucaru, S. Tixeuil : “Optimal self-stabilizing mobile byzantine-tolerant regular register with bounded timestamps”, Theoretical Computer Science, (Elsevier) (2022)
-
2021
- L. LYS, A. Micoulet, M. Potop‑Butucaru : “R-SWAP: Relay Based Atomic Cross-Chain Swap Protocol”, ALGOCLOUD 2021: 6th International Symposium on Algorithmic Aspects of Cloud Computing, vol. 13084, Lecture Notes in Computer Science, Lisbonne, Portugal, pp. 18-37, (Springer International Publishing), (ISBN: 978-3-030-93043-1) (2021)
- G. Fontes Rebello, M. Potop‑Butucaru, M. Dias De Amorim, O. Muniz Bandeira Duarte : “Protegendo Redes de Canais de Pagamento Sem Fio com Janelas de Tempo de Bloqueio MĂnimas”, XXI SimpĂłsio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg 2021), BelĂ©m (on line), Brazil, pp. 295-308, (SBC) (2021)
- E. Anceaume, A. Anta, Ch. Georgiou, N. Nicolaou, M. Potop‑Butucaru : “Formalization of Blockchain Properties”, chapter in Principles of Blockchain Systems (2021)
- G. Fontes Rebello, M. Potop‑Butucaru, M. Dias De Amorim, O. Muniz Bandeira Duarte : “Securing Wireless Payment Channel Networks With Minimum Lock Time Windows”, IEEE International Conference on Communications (ICC), Seoul, Korea, Republic of, pp. 2297-2302, (IEEE) (2021)
- P. ZappalĂ , M. Belotti, M. Potop‑Butucaru, S. Secci : “Analyse de la fiabilitĂ© des blockchains via la thĂ©orie des jeux”, ALGOTEL 2021 — 23es Rencontres Francophones sur les Aspects Algorithmiques des TĂ©lĂ©communications, La Rochelle, France (2021)
- W. Badreddine, M. Potop‑Butucaru : “CLPB: vers une approche inter-couches pour une diffusion fiable dans les rĂ©seaux WBAN”, ALGOTEL 2021 — 23es Rencontres Francophones sur les Aspects Algorithmiques des TĂ©lĂ©communications, La Rochelle, France (2021)
- L. LYS, A. Micoulet, M. Potop‑Butucaru : “R-SWAP: Relay based atomic cross-chain swap protocol”, (2021)
- Y. Amoussou‑Guenou, A. Pozzo, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “On Fairness in Committee-Based Blockchains”, 2th International Conference on Blockchain Economics, Security and Protocols, Tokenomics, vol. 82, Open Access Series in Informatics (OASIcs), Toulouse, France, pp. 4:1-4:15, (Schloss Dagstuhl--Leibniz-Zentrum fur Informatik), (ISBN: 978-3-95977-157-3) (2021)
- Y. Amoussou‑Guenou, B. Biais, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Rational Behaviors in Committee-Based Blockchains”, 24th International Conference on Principles of Distributed Systems (OPODIS 2020), vol. 184, Leibniz International Proceedings in Informatics (LIPIcs), Strassbourg, France, pp. 12:1-12:16, (Schloss Dagstuhl--Leibniz-Zentrum fĂĽr Informatik), (ISBN: 978-3-95977-176-4) (2021)
- M. Potop‑Butucaru : “Blockchains and the commons”, Proceedings of the 8th International Conference on NETworked sYStems, NETYS 2020, vol. 12129, Lecture Notes in Computer Science, Marakech, Morocco, pp. 28-44, (Springer International Publishing), (ISBN: 978-3-030-67087-0) (2021)
- Y. Amoussou‑Guenou, S. Baarir, M. Potop‑Butucaru, N. Sznajder, L. Tible, S. Tixeuil : “On the Encoding and Solving of Partial Information Games”, Networked Systems, vol. 12129, Lecture Notes in Computer Science, Marrakech, Morocco, pp. 60-76, (Springer International Publishing), (ISBN: 978-3-030-67087-0) (2021)
- G. Bu, M. Potop‑Butucaru, M. Rabie : “Wireless Broadcast with Short Labels”, 8th International Conference on Networked Systems, NETYS 2020, vol. 12129, Lecture Notes in Computer Science, Marakech, Morocco, pp. 146-169, (Springer International Publishing), (ISBN: 978-3-030-67087-0) (2021)
-
2020
- A. Sangnier, N. Sznajder, M. Potop‑Butucaru, S. Tixeuil : “Parameterized verification of algorithms for oblivious robots on a ring”, Formal Methods in System Design, vol. 56, pp. 55-89, (Springer Verlag) (2020)
- M. Belotti, S. Moretti, M. Potop‑Butucaru, S. Secci : “Game Theoretical Analysis of Atomic Cross-Chain Swaps”, 40th IEEE International Conference on Distributed Computing Systems (ICDCS2020), Singapore, Singapore (2020)
- P. ZappalĂ , M. Belotti, M. Potop‑Butucaru, S. Secci : “Brief Announcement: Game Theoretical Framework for Analyzing Blockchains Robustness”, 34th International Symposium on Distributed Computing, Leibniz International Proceedings in Informatics (LIPIcs), Freiburg (virtual conference), Germany, pp. 49:1-49:3 (2020)
- P. ZappalĂ , M. Belotti, M. Potop‑Butucaru, S. Secci : “Game Theoretical Framework for Analyzing Blockchains Robustness”, 35th International Symposium on Distributed Computing (DISC 2021), vol. 209, Leibniz International Proceedings in Informatics (LIPIcs), Freiburg, Germany, pp. 42:1-42:18, (Schloss Dagstuhl) (2020)
- Y. Amoussou‑Guenou, B. Biais, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Consensus en PrĂ©sence de Participants Rationnels et Byzantins”, ALGOTEL 2020 – 22es Rencontres Francophones sur les Aspects Algorithmiques des TĂ©lĂ©communications, Lyon, France (2020)
- G. Bu, M. Potop‑Butucaru, M. Rabie : “Diffusion dans les rĂ©seaux sans fil en utilisant des filtres Ă mĂ©moire constante”, ALGOTEL 2020 – 22es Rencontres Francophones sur les Aspects Algorithmiques des TĂ©lĂ©communications, Lyon, France (2020)
- G. Bu, W. Hana, M. Potop‑Butucaru : “E-IOTA: an efficient and fast metamorphism for IOTA”, 2020 2nd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS), Paris, France, pp. 9-16, (IEEE), (ISBN: 978-1-7281-7091-6) (2020)
- G. Bu, R. Haouara, Th. Nguyen, M. Potop‑Butucaru : “Cross hyperledger fabric transactions”, Proceedings of the 3rd Workshop on Cryptocurrencies and Blockchains for Distributed Systems, CryBlock '20, London, United Kingdom, pp. 35-40, (Association for Computing Machinery), (ISBN: 9781450380799) (2020)
- L. LYS, A. Micoulet, M. Potop‑Butucaru : “Atomic cross chain swaps via relays and adapters”, Proceedings of the 3rd Workshop on Cryptocurrencies and Blockchains for Distributed Systems, London, United Kingdom, pp. 59-64, (Association for Computing Machinery), (ISBN: 9781450380799) (2020)
- Y. Amoussou‑Guenou, B. Biais, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Rational Behavior in Committee-Based Blockchains”, (2020)
- G. Bu, Z. Lotker, M. Potop‑Butucaru, M. Rabie : “Lower and upper bounds for deterministic convergecast with labeling schemes”, (2020)
- Y. Amoussou‑Guenou, B. Biais, M. Potop‑Butucaru, S. Tucci Piergiovanni : “Rational vs Byzantine Players in Consensus-based Blockchains”, 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2020, Auckland, New Zealand, (ISBN: 978-1-4503-7518-4) (2020)
- V. Danos, M. Herlihy, M. Potop‑Butucaru, J. Prat, S. Tucci‑Piergiovanni : “International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019)”, Leibniz International Proceedings in Informatics, vol. 71, OpenAccess Series in Informatics (OASIcs), (Leibniz-Zentrum fĂĽr Informatik) (2020)
- W. Badreddine, C. Chaudet, P. Federico, M. Potop‑Butucaru : “Broadcast strategies and performance evaluation of IEEE 802.15.4 in wireless body area networks WBAN”, Ad Hoc Networks, 97, pp. 102006, (Elsevier) (2020)
- G. Bu, M. Potop‑Butucaru, M. Rabie : “Wireless Broadcast with short labelling”, (2020)
-
2019
- B. Baynat, G. Bu, M. Potop‑Butucaru : “Markovian Model for Broadcast in Wireless Body Area Networks”, The 17th ACM International Symposium on Mobility Management and Wireless Access (MobiWAC 2019), Miami, United States, pp. 63-70, (ACM) (2019)
- L. LYS, A. Micoulet, M. Potop‑Butucaru : “Atomic Swapping Bitcoins and Ethers”, SRDS 2019 - 38th International Symposium on Reliable Distributed Systems, Lyon, France (2019)
- G. Bu, Th. NGUYEN, M. Potop Butucaru, K. Thai : “HyperPubSub: Blockchain Based Publish/Subscribe”, 2019 38th Symposium on Reliable Distributed Systems (SRDS), Lyon, France, pp. 366-3662, (IEEE), (ISBN: 978-1-7281-4222-7) (2019)
- W. Badreddine, M. Potop‑Butucaru : “Reliable Cross-Layer Protocol for Broadcast in Wireless Body Area Networks”, ADHOC-NOW 2019 - 18th International Conference on Ad-Hoc Networks and Wireless, vol. 11803, Lecture Notes in Computer Science, Luxembourg, Luxembourg, pp. 469-482, (Springer) (2019)
- G. Bu, Ă–. GĂĽrcan, M. Potop‑Butucaru : “G-IOTA: Fair and confidence aware tangle”, INFOCOM Workshops, Paris, France, pp. 644-649, (IEEE) (2019)
- Th. NGUYEN, G. Jourjon, M. Potop‑Butucaru, K. Thai : “Impact of network delays on Hyperledger Fabric”, Infocom Workshops, Paris, France, pp. 222-227, (IEEE) (2019)
- E. Anceaume, M. Papatriantafilou, M. Potop‑Butucaru, Ph. Tsigas : “Distributed Ledger Register: From Safe to Atomic”, (2019)
- G. Bu, Th. NGUYEN, M. Potop‑Butucaru, K. Thai : “HyperPubSub: Blockchain based Publish/Subscribe”, (2019)
- G. Bu, W. Hana, M. Potop‑Butucaru : “Metamorphic IOTA”, (2019)
- Y. Amoussou‑Guenou, A. Del Pozzo, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Blockchains basĂ©es sur du Consensus RĂ©pĂ©tĂ©”, ALGOTEL 2019 - 21es Rencontres Francophones sur les Aspects Algorithmiques des TĂ©lĂ©communications, Saint Laurent de la Cabrerisse, France (2019)
- E. Anceaume, A. Del Pozzo, R. Ludinard, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Blockchain abstract data type”, SPAA 2019 - 31st ACM Symposium on Parallelism in Algorithms and Architectures, Phoenix, Arizona, United States, pp. 349-358, (ACM) (2019)
- W. Badreddine, M. Potop‑Butucaru : “Peak Transmission Rate Resilient Crosslayer Broadcast for Body Area Networks”, JournĂ©es d'Etude sur la TĂ©lĂ©SantĂ©, Paris, France (2019)
- Th. NGUYEN, G. Jourjon, M. Potop‑Butucaru, K. Thai : “Impact of network delays on Hyperledger Fabric”, (2019)
- E. Anceaume, A. Del Pozzo, R. Ludinard, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Blockchain abstract data type”, 1-30 pages (2019)
- A. Ranchal‑Pedrosa, M. Potop‑Butucaru, S. Tucci Piergiovanni : “Scalable lightning factories for Bitcoin”, SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, Limassol, Cyprus, pp. 302-309, (ACM), (ISBN: 9781450359337) (2019)
- G. Bu, Ă–. GĂĽrcan, M. Potop‑Butucaru : “G-IOTA: Fair and confidence aware tangle”, (2019)
- Y. Amoussou‑Guenou, B. Biais, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Rationals vs Byzantines in Consensus-based Blockchains”, (2019)
- E. Anceaume, A. Del Pozzo, R. Ludinard, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Poster : Blockchain abstract data type”, PPoPP 2019 - 24th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, Washington DC, United States, pp. 1-2, (ACM) (2019)
- S. Bonomi, A. Del Pozzo, M. Potop‑Butucaru, S. Tixeuil : “Approximate Agreement under Mobile Byzantine Faults”, Theoretical Computer Science, vol. 758, pp. 17-29, (Elsevier) (2019)
- X. DĂ©fago, M. Potop‑Butucaru, S. Tixeuil : “Fault-Tolerant Mobile Robots”, chapter in Distributed Computing by Mobile Entities, vol. 11340, Lecture Notes in Computer Science, pp. 234-251, (Springer) (2019)
- M. Potop‑Butucaru, N. Sznajder, S. Tixeuil, X. Urbain : “Formal Methods for Mobile Robots”, chapter in Distributed Computing by Mobile Entities,Current Research in Moving and Computing n°11340, Theoretical Computer Science and General Issues, pp. 278-313, (Springer International Publishing), (ISBN: 978-3-030-11071-0) (2019)
- E. Bampas, L. Blin, J. Czyzowicz, D. Ilcinkas, A. Labourel, M. Potop‑Butucaru, S. Tixeuil : “On asynchronous rendezvous in general graphs”, Theoretical Computer Science, vol. 753, pp. 80-90, (Elsevier) (2019)
-
2018
- Y. Amoussou‑Guenou, A. Del Pozzo, M. Potop‑Butucaru, S. Tucci‑Pergiovanni : “Correctness of Tendermint-Core Blockchains”, 22nd International Conference on Principles of Distributed Systems (OPODIS 2018), vol. 125, Leibniz International Proceedings in Informatics (LIPIcs), Hong Kong, China, pp. 16:1-16:16, (Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik) (2018)
- G. Bu, M. Potop‑Butucaru : “FIFO Order reliable convergecast in WBAN”, Computer Networks, vol. 146, pp. 200-2016, (Elsevier) (2018)
- S. Bonomi, A. Del Pozzo, M. Potop‑Butucaru, S. Tixeuil : “Brief Announcement: Optimal Self-stabilizing Mobile Byzantine-Tolerant Regular Register with Bounded Timestamps”, 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2018), vol. 11201, Lecture Notes in Computer Science, Tokyo, Japan, pp. 398-403, (Springer) (2018)
- Y. Amoussou‑Guenou, A. Del Pozzo, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Dissecting Tendermint”, Networked Systems - 7th International Conference, NETYS 2019, vol. 11704, Lecture Notes in Computer Science, Marrakech, Morocco, pp. 166–182, (Springer, Cham), (ISBN: 978-3-030-31277-0) (2018)
- G. Bu, M. Potop‑Butucaru : “BAN-GZKP: Optimal Zero Knowledge Proof based Scheme for Wireless Body Area Networks”, Ad Hoc Networks, vol. 77, pp. 28-41, (Elsevier) (2018)
- T. Izumi, D. Kaino, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “On time complexity for connectivity-preserving scattering of mobile robots”, Theoretical Computer Science, vol. 738, pp. 42-52, (Elsevier) (2018)
- G. Bu, M. Potop‑Butucaru : “SchĂ©ma Optimal basĂ© sur la Preuve Ă Divulgation Nulle de Connaissance pour les RĂ©seaux Wireless Body Area Networks (WBAN)”, ALGOTEL 2018 - 20es Rencontres Francophones sur les Aspects Algorithmiques des TĂ©lĂ©communications, Roscoff, France (2018)
- Y. Amoussou‑Guenou, A. Del Pozzo, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Correctness and Fairness of Tendermint-core Blockchains”, 1-29 pages (2018)
- Y. Amoussou‑Guenou, S. Baarir, M. Potop‑Butucaru, N. Sznajder, L. Tible, S. Tixeuil : “On the encoding and solving partial information games”, (2018)
- S. Bonomi, A. Del Pozzo, M. Potop‑Butucaru : “Optimal self-stabilizing synchronous mobile Byzantine-tolerant atomic register”, Theoretical Computer Science, vol. 709, pp. 64-79, (Elsevier) (2018)
-
2017
- A. Sangnier, N. Sznajder, M. Potop‑Butucaru, S. Tixeuil : “Parameterized verification of algorithms for oblivious robots on a ring”, Formal Methods in Computer Aided Design, Vienna, Austria, pp. 212-219, (IEEE) (2017)
- E. Anceaume, R. Ludinard, M. Potop‑Butucaru, F. Tronel : “Bitcoin a Distributed Shared Register”, Proceedings of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems, vol. 10616, Lecture Notes in Computer Science, Boston, MA, United States, pp. 456-468, (Springer) (2017)
- W. Badreddine, N. Khernane, M. Potop‑Butucaru, C. Chaudet : “Convergecast in Wireless Body Area Networks”, Ad Hoc Networks, vol. 66, pp. 40-51, (Elsevier) (2017)
- G. Bu, M. Potop‑Butucaru : “BAN-GZKP: Optimal Zero Knowledge Proof based Scheme for Wireless Body Area Networks”, (2017)
- W. Badreddine, M. Potop‑Butucaru : “Peak Transmission Rate Resilient Crosslayer Broadcast for Body Area Networks”, 15 - 15 pages (2017)
- G. Bu, M. Potop‑Butucaru : “Total Order Reliable Convergecast in WBAN”, ICDCN 2017 - 18th International Conference on Distributed Computing and Networking, Hyderabad, India, (ACM) (2017)
- S. Solat, M. Potop‑Butucaru : “Brief Announcement: ZeroBlock: Timestamp-Free Prevention of Block-Withholding Attack in Bitcoin”, SSS 2017 - 19th International Symposium Stabilization, Safety, and Security of Distributed Systems, vol. 10616, Lecture Notes in Computer Science, Boston, MA, United States, pp. 356-360, (Springer) (2017)
- S. Bonomi, A. Del Pozzo, M. Potop‑Butucaru, S. Tixeuil : “Optimal Storage under Unsynchronized Mobile Byzantine Faults”, Proceedings of SRDS 2017, Hong Kong, China, (IEEE Computer Society) (2017)
- M. Othmani‑Guibourg, A. El Fallah‑Seghrouchni, J.‑L. Farges, M. Potop‑Butucaru : “Multi-agent patrolling in dynamic environments”, International Conference on Agents, Beijing, China, (IEEE digital library) (2017)
- A. Sangnier, N. Sznajder, M. Potop‑Butucaru, S. Tixeuil : “Parameterized Verification of Algorithms for Oblivious Robots on a Ring”, (2017)
- S. Bonomi, A. Del Pozzo, M. Potop‑Butucaru, S. Tixeuil : “Optimal Storage under Unsynchrononized Mobile Byzantine Faults”, (2017)
-
2016
- C. Chaudet, M. Potop‑Butucaru, N. Khernane : “BANZKP: a Secure Authentication Scheme Using Zero Knowledge Proof for WBANs”, IEEE MASS 2016, Bresilia, Brazil (2016)
- W. Badreddine, C. Chaudet, F. Petruzzi, M. Potop‑Butucaru : “Broadcast Strategies and Performance Evaluation of IEEE 802.15.4 in Wireless Body Area Networks WBAN”, (2016)
- S. Bonomi, A. Del Pozzo, M. Potop‑Butucaru, S. Tixeuil : “Optimal Mobile Byzantine Fault Tolerant Distributed Storage”, ACM Conference on Principles of Distributed Computing (PODC), Chicago, United States (2016)
- S. Bonomi, A. Del Pozzo, M. Potop‑Butucaru, S. Tixeuil : “Optimal Mobile Byzantine Fault Tolerant Distributed Storage”, (2016)
- S. Bonomi, A. Del Pozzo, M. Potop‑Butucaru, S. Tixeuil : “Brief announcement: Approximate Agreement under Mobile Byzantine Faults Model”, IEEE Conference on Distributed Computing Systems (ICDCS 2016), Nara, Japan, pp. 727-728, (IEEE) (2016)
- W. Badreddine, C. Chaudet, F. Petruzzi, M. Potop‑Butucaru : “Les StratĂ©gies de Diffusion dans les RĂ©seaux Wireless Body Area Networks”, ALGOTEL 2016 - 18es Rencontres Francophones sur les Aspects Algorithmiques des TĂ©lĂ©communications, Bayonne, France (2016)
- N. Khernane, M. Potop‑Butucaru, C. Chaudet : “BANZKP: a Secure Authentication Scheme Using Zero Knowledge Proof for WBANs”, (2016)
- L. Blin, M. Potop‑Butucaru, S. Rovedakis, S. Tixeuil : “A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-Free Property”, The Computer Journal, vol. 59 (2), pp. 225-243, (Oxford University Press (UK)) (2016)
- S. Bonomi, A. Del Pozzo, M. Potop‑Butucaru : “Tight self-stabilizing mobile byzantine-tolerant atomic register”, IEEE ICDCN 2016 Proceedings of the 17th International Conference on Distributed Computing and Networking, Singapore, Singapore (2016)
- B. BĂ©rard, P. Lafourcade, L. Millet, M. Potop‑Butucaru, Y. Thierry‑Mieg, S. Tixeuil : “Formal verification of mobile robot protocols”, Distributed Computing, vol. 29 (6), pp. 459-487, (Springer Verlag) (2016)
- F. Bonnet, X. DĂ©fago, Th. Nguyen, M. Potop‑Butucaru : “Tight bound on mobile Byzantine Agreement”, Theoretical Computer Science, vol. 609 (2), pp. 361-373, (Elsevier) (2016)
- F. Bonnet, M. Potop‑Butucaru, S. Tixeuil : “Asynchronous Gathering in Rings with 4 Robots”, Ad Hoc Now 2016, Lille, France (2016)
- S. Bonomi, A. Del Pozzo, M. Potop‑Butucaru, S. Tixeuil : “Optimal Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp”, (2016)
-
2015
- S. Bonomi, A. Del Pozzo, M. Potop‑Butucaru, S. Tixeuil : “Approximate Agreement under Mobile Byzantine Faults”, (2015)
- E. Anceaume, M. Potop‑Butucaru, C. Christian : “Nineteenth International Conference on Principles of Distributed Systems (OPODIS)”, Nineteenth International Conference on Principles of Distributed Systems (OPODIS), Rennes, France (2015)
- W. Badreddine, C. Chaudet, F. Petruzzi, M. Potop‑Butucaru : “Broadcast strategies in Wireless Body Area Networks”, 18th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM), Cancun, Mexico, pp. 83-90, (ACM) (2015)
- S. Bonomi, Sh. Dolev, M. Potop‑Butucaru, M. Raynal : “Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems: Extended abstract”, ACM PODC 2015 Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, New York, United States, pp. 471-479 (2015)
- L. Millet, M. Potop‑Butucaru, N. Sznajder, S. Tixeuil : “Synthèse d’algorithmes pour robots mobiles : le cas du regroupement sur un anneau”, ALGOTEL 2015 — 17es Rencontres Francophones sur les Aspects Algorithmiques des TĂ©lĂ©communications, Beaune, France (2015)
- N. Alon, H. Attiya, Sh. Dolev, S. Dubois, M. Potop‑Butucaru, S. Tixeuil : “Practically stabilizing SWMR atomic memory in message passing systems”, Journal of Computer and System Sciences, vol. 81 (4), pp. 692-701, (Elsevier) (2015)
- S. Bonomi, A. Del Pozzo, M. Potop‑Butucaru : “Tight Mobile Byzantine Tolerant Atomic Storage”, (2015)
- S. Bonomi, M. Potop‑Butucaru, S. Tixeuil : “Stabilizing Byzantine-Fault Tolerant Storage”, IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2015, Hyderabad, India, pp. 894-903 (2015)
- B. BĂ©rard, P. Courtieu, L. Millet, M. Potop‑Butucaru, L. Rieg, N. Sznajder, S. Tixeuil, X. Urbain : “[Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems”, International Journal of Informatics Society, vol. 7 (3), pp. 101-114, (Japan Informatics Society) (2015)
-
2014
- C. Chaudet, P. Federico, M. Potop‑Butucaru : “Analyzing various broadcast strategies in WBAN”, International Workshop on Green Solutions for Body Area Networks (GreenBAN 2014), Paris, France (2014)
- A. Honorat, M. Potop‑Butucaru, S. Tixeuil : “Gathering fat mobile robots with slim omnidirectional cameras”, Theoretical Computer Science, vol. 557, pp. 1-27, (Elsevier) (2014)
- L. Millet, M. Potop‑Butucaru, N. Sznajder, S. Tixeuil : “On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering”, SSS 2014 - 16th International Symposium on Stabilization, Safety and Security of Distributed Systems, vol. 8756, Lecture Notes in Computer Science, Paderborn, Germany, pp. 237-251, (Springer) (2014)
- F. Bonnet, X. DĂ©fago, F. Petit, M. Potop‑Butucaru, S. Tixeuil : “Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols”, 2014 IEEE 33rd International Symposium on Reliable Distributed Systems Workshops, Nara, Japan, pp. 50-59, (IEEE) (2014)
- X. DĂ©fago, M. Gradinariu Potop‑Butucaru, J. Clement, S. Messika, Ph. Raipin‑Parvedy : “Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering — Feasibility Study —”, (2014)
-
2013
- L. Blin, M. Potop‑Butucaru, S. Rovedakis : “A super-stabilizing log(n)-approximation algorithm for dynamic Steiner trees”, Theoretical Computer Science, vol. 500, pp. 90-112, (Elsevier) (2013)
- L. Blin, Sh. Dolev, M. Gradinariu Potop‑Butucaru, S. Rovedakis : “Fast Self-Stabilizing Minimum Spanning Tree Construction Using Compact Nearest Common Ancestor Labeling Scheme”, (2013)
- T. Izumi, M. Potop‑Butucaru, M. Valero : “When Expanders Help Self-Healing Distributed R-Tree Overlays”, IEEE ISPDC 2013, IEEE 12th International Symposium on Parallel and Distributed Computing, Bucarest, Romania, pp. 143-150 (2013)
- B. BĂ©rard, L. Millet, M. Gradinariu Potop‑Butucaru, Y. Thierry‑Mieg, S. Tixeuil : “VĂ©rification formelle et robots mobiles”, 15es Rencontres Francophones sur les Aspects Algorithmiques des TĂ©lĂ©communications (AlgoTel), Pornic, France, pp. 1-4, (Nisse, Nicolas et Rousseau, Franck et Busnel, Yann) (2013)
- B. BĂ©rard, L. Millet, M. Potop‑Butucaru, Y. Thierry‑Mieg, S. Tixeuil : “Formal verification of Mobile Robot Protocols”, (2013)
-
2012
- J. Clement, X. DĂ©fago, M. Gradinariu Potop‑Butucaru, S. Messika, Ph. Raipin‑Parvedy : “Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering”, (2012)
- Sh. Dolev, S. Dubois, M. Potop‑Butucaru, S. Tixeuil : “Crash Resilient and Pseudo-Stabilizing Atomic Registers”, OPODIS 2012 - 16th International Conference on Principles of Distributed Systems, vol. 7702, Lecture Notes in Computer Science, Rome, Italy, pp. 135-150, (Springer) (2012)
- F. Bonnet, X. DĂ©fago, F. Petit, M. Potop‑Butucaru, S. Tixeuil : “Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols”, International Symposium on Stabilization, Safety, and Security of Distributed Systems, vol. 7596, Lecture Notes in Computer Science, Toronto, Canada, pp. 282-284, (Springer) (2012)
- S. Dubois, M. Potop‑Butucaru, M. Nesterenko, S. Tixeuil : “Self-stabilizing byzantine asynchronous unison”, Journal of Parallel and Distributed Computing, vol. 72 (7), pp. 917-923, (Elsevier) (2012)
-
2011
- F. Bonnet, A. Milani, M. Potop‑Butucaru, S. Tixeuil : “Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction”, (2011)
- M. Gradinariu Potop‑Butucaru, M. Raynal, S. Tixeuil : “Distributed Computing with Mobile Robots: an Introductory Survey”, NBiS 2011 - 14th International Conference on Network-Based Information Systems, Tirana, Albania, pp. 318-324, (IEEE) (2011)
- Sh. Dolev, S. Dubois, M. Potop‑Butucaru, S. Tixeuil : “Stabilizing data-link over non-FIFO channels with optimal fault-resilience”, Information Processing Letters, vol. 111 (18), pp. 912-920, (Elsevier) (2011)
- S. Dubois, M. Potop‑Butucaru, S. Tixeuil : “Dynamic FTSS in asynchronous systems: The case of unison”, Theoretical Computer Science, vol. 412 (29), pp. 3418-3439, (Elsevier) (2011)
- D. Canepa, X. DĂ©fago, T. Izumi, M. Potop‑Butucaru : “Emergent Velocity Agreement in Robot Networks”, (2011)
- M. Valero, L. Arantes, M. Gradinariu Potop‑Butucaru, P. Sens : “Architectures de filtrage reconfigurables dynamiquement.”, ConfĂ©rence Française en Systèmes d'Exploitation, Saint-Malo, France (2011)
- M. Valero, L. Arantes, M. Gradinariu Potop‑Butucaru, P. Sens : “Enhancing Fault Tolerance of Distributed R-Tree”, 5th Latin-American Symposium on Dependable Computing, Sao Jose dos Campos, Brazil, pp. 25-34, (IEEE) (2011)
- L. Blin, M. Gradinariu Potop‑Butucaru, S. Rovedakis : “Self-stabilizing minimum degree spanning tree within one from the optimal degree”, Journal of Parallel and Distributed Computing, vol. 71 (3), pp. 438-449, (Elsevier) (2011)
- F. Bonnet, A. Milani, M. Potop‑Butucaru, S. Tixeuil : “Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction”, OPODIS 2011 - 15th International Conference on Principles of Distributed Systems, vol. 7109, Lecture Notes in Computer Science, Toulouse, France, pp. 251-265, (Springer) (2011)
- N. Alon, H. Attiya, Sh. Dolev, S. Dubois, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “Pragmatic Self-Stabilization of Atomic Memory in Message-Passing Systems”, SSS 2011 - 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, vol. 6976, Lecture Notes in Computer Science, Grenoble, France, pp. 19-31, (Springer) (2011)
- T. Izumi, M. Potop‑Butucaru, M. Valero : “Physical expander in Virtual Tree Overlay”, DISC 2011 - 25th International Symposium on Distributed Computing, vol. 6950, Lecture Notes in Computer Science, Rome, Italy, pp. 82-96, (Springer) (2011)
- Sh. Dolev, S. Dubois, M. Potop‑Butucaru, S. Tixeuil : “Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO”, 13es Rencontres Francophones sur les Aspects Algorithmiques de TĂ©lĂ©communications (AlgoTel), Cap EstĂ©rel, France (2011)
- L. Blin, Sh. Dolev, M. Potop‑Butucaru, S. Rovedakis : “Construction auto-stabilisante d’un arbre couvrant de poids minimum”, 13es Rencontres Francophones sur les Aspects Algorithmiques de TĂ©lĂ©communications (AlgoTel), Cap EstĂ©rel, France (2011)
-
2010
- M. Potop‑Butucaru : “Algorithmes et modèles pour les systèmes auto* (auto-organisants, auto-configurables, auto-stabilisants)”, habilitation, phd defence 12/13/2010 (2010)
- Z. Bouzid, Sh. Dolev, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “Robocast: Asynchronous Communication in Robot Networks”, Proceedings of OPODIS 2010, Tozeur, Tunisia, pp. 16-31, (Springer Berlin / Heidelberg) (2010)
- Sh. Dolev, S. Dubois, M. Potop‑Butucaru, S. Tixeuil : “Stabilizing data-link over non-FIFO channels with optimal fault-resilience”, (2010)
- E. Anceaume, X. DĂ©fago, M. Potop‑Butucaru, M. Roy : “A framework for proving the self-organization of dynamic systems”, 26 pages (2010)
- S. Bernard, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “A Framework for Secure and Private P2P Publish/Subscribe”, 12th International Symposium Stabilization, Safety, and Security of Distributed Systems, SSS, vol. 6366, Lecture Notes in Computer Science, New York, NY, United States, pp. 531-545, (Springer) (2010)
- N. Alon, H. Attiya, Sh. Dolev, S. Dubois, M. Gradinariu, S. Tixeuil : “Brief Announcement: Sharing Memory in a Self-stabilizing Manner”, 24th International Symposium Distributed Computing DISC, vol. 6343, Lecture Notes in Computer Science, Cambridge, MA, United States, pp. 525-527, (Springer) (2010)
- T. Izumi, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility”, SSS, vol. 6366, Lecture Notes in Computer Science, New York, NY, United States, pp. 319-331, (Springer) (2010)
- M. Valero, L. Arantes, M. Gradinariu, P. Sens : “Dynamically Reconfigurable Filtering Architectures”, 12th International Symposium Stabilization, Safety, and Security of Distributed Systems, SSS, vol. 6366, Lecture Notes in Computer Science, New York, NY, United States, pp. 504-518, (Springer) (2010)
- S. Bianchi, P. Felber, M. Gradinariu Potop‑Butucaru : “Stabilizing Distributed R-Trees for Peer-to-Peer Content Routing”, IEEE Transactions on Parallel and Distributed Systems, vol. 21 (8), pp. 1175-1187, (Institute of Electrical and Electronics Engineers) (2010)
- Z. Bouzid, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “Optimal Byzantine-resilient Convergence in Unidimensional Robot Networks”, Theoretical Computer Science, vol. 411 (34-36), pp. 3154-3168, (Elsevier) (2010)
- L. Blin, S. Rovedakis, M. Potop‑Butucaru, S. Tixeuil : “Universal Loop-Free Super-Stabilization”, (2010)
- J. Clement, X. DĂ©fago, M. Gradinariu Potop‑Butucaru, T. Izumi, S. Messika : “The cost of probabilistic agreement in oblivious robot networks”, Information Processing Letters, vol. 110 (11), pp. 431-438, (Elsevier) (2010)
- Z. Bouzid, Sh. Dolev, M. Potop‑Butucaru, S. Tixeuil : “RoboCast: Asynchronous Communication in Robot Networks”, (2010)
- L. Arantes, M. Gradinariu Potop‑Butucaru, P. Sens, M. Valero : “Enhanced DR-tree for low latency filtering in publish/subscribe systems”, International Conference on. Advanced Information Networking and Applications (AINA-10), Perth, Australia, pp. 58-65, (IEEE) (2010)
- L. Blin, A. Milani, M. Potop‑Butucaru, S. Tixeuil : “Exclusive perpetual ring exploration without chirality”, 17 pages (2010)
- S. Bernard, S. Devismes, K. Paroux, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks”, 11th International Conference on Distributed Computing and Networking, ICDCN 2010, vol. 5935, Lecture Notes in Computer Science, Kolkata, India, pp. 167-177, (Springer) (2010)
- S. Dubois, M. Gradinariu Potop‑Butucaru, M. Nesterenko, S. Tixeuil : “Self-stabilizing Byzantine Asynchronous Unison”, OPODIS 2010 - 14th International Conference On Principles Of DIstributed Systems, vol. 6490, Lecture Notes in Computer Science, Tozeur, Tunisia, pp. 83-86, (Springer) (2010)
- L. Blin, M. Gradinariu Potop‑Butucaru, S. Rovedakis, S. Tixeuil : “Loop-Free Super-Stabilizing Spanning Tree Construction”, 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2010), vol. 6366, Lecture Notes in Computer Science, New York, NY, United States, pp. 50-64 (2010)
- L. Blin, A. Milani, M. Potop‑Butucaru, S. Tixeuil : “Exclusive Perpetual Ring Exploration without Chirality”, DISC 2010 - 24th International Symposium Distributed Computing, vol. 6343, Lecture Notes in Computer Science, Cambridge, MA, United States, pp. 312-327, (Springer) (2010)
- L. Blin, Sh. Dolev, M. Potop‑Butucaru, S. Rovedakis : “Fast Self-Stabilizing Minimum Spanning Tree Construction”, DISC 2010 - 24th International Symposium on Distributed Computing, vol. 6343, Lecture Notes in Computer Science, Cambridge, MA, United States, pp. 480-494, (Springer) (2010)
- A. Lamani, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “Optimal Deterministic Ring Exploration with Oblivious Asynchronous Robots”, 17th International Colloquium Structural Information and Communication Complexity, SIROCCO, vol. 6058, Lecture Notes in Computer Science, Ĺžirince, Turkey, pp. 183-196, (Springer) (2010)
-
2009
- Z. Bouzid, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “Byzantine Convergence in Robots Networks: The Price of Asynchrony”, Proceedings of OPODIS 2009, vol. 5923, Lecture Notes in Computer Science, Nimes, France, pp. 54-70, (Springer) (2009)
- L. Blin, M. Gradinariu Potop‑Butucaru, S. Rovedakis : “A Superstabilizing $\log(n)$-Approximation Algorithm for Dynamic Steiner Trees”, 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), vol. 5873, Lecture Notes in Computer Science, Lyon, France, pp. 133-148, (Springer) (2009)
- Z. Bouzid, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks”, Proceedings of SSS 2009., vol. 5873, Lecture Notes in Computer Science, Lyon, France, pp. 165-179, (Springer) (2009)
- L. Blin, M. Potop‑Butucaru, S. Rovedakis, S. Tixeuil : “A new self-stabilizing minimum spanning tree construction with loop-free property”, 23rd International Symposium on Distributed Computing (DISC 2009), vol. 5805, Lecture Notes in Computer Science, Elche, Spain, pp. 407-422 (2009)
- S. Dubois, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “Brief Announcement: Dynamic FTSS in Asynchronous Systems: The Case of Unison”, 23rd International Symposium on Distributed Computing, DISC 2009, vol. 5805, Lecture Notes in Computer Science, Elche, Spain, pp. 291-293, (Springer) (2009)
- L. Blin, M. Gradinariu Potop‑Butucaru, S. Rovedakis : “log(n)-approximation d’un arbre de Steiner auto-stabilisant et dynamique”, 11es Rencontres Francophones sur les Aspects Algorithmiques des TĂ©lĂ©communications (AlgoTel 2009), Carry-Le-Rouet, France (2009)
- S. Bernard, S. Devismes, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “Optimal deterministic self-stabilizing vertex coloring in unidirectional anonymous networks”, IPDPS, Rome, Italy, pp. 1-8, (IEEE) (2009)
- Z. Bouzid, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “Byzantine-Resilient Convergence in Oblivious Robot Networks”, ICDCN, vol. 5408, Lecture Notes in Computer Science, Hyderabad, India, pp. 275-280, (Springer) (2009)
- S. Bernard, S. Devismes, K. Paroux, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “Sur le Coloriage Auto-stabilisant dans les RĂ©seaux Unidirectionnels Anonymes”, 11es Rencontres Francophones sur les Aspects Algorithmiques des TĂ©lĂ©communications (AlgoTel 2009), Carry-Le-Rouet, France (2009)
- L. Blin, M. Gradinariu Potop‑Butucaru, S. Rovedakis : “Self-stabilizing minimum-degree spanning tree within one from the optimal degree”, 23rd IEEE International Symposium on Parallel&Distributed Processing (IPDPS 2009), Rome, Italy, pp. 1-11, (IEEE) (2009)
- L. Blin, M. Gradinariu Potop‑Butucaru, S. Rovedakis, S. Tixeuil : “A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-free Property”, (2009)
- Z. Bouzid, M. Potop‑Butucaru, S. Tixeuil : “Byzantine Convergence in Robots Networks: The Price of Asynchrony”, 22 pages (2009)
- S. Dubois, M. Potop‑Butucaru, S. Tixeuil : “Dynamic FTSS in Asynchronous Systems: the Case of Unison”, 34 pages (2009)
- L. Arantes, M. Potop‑Butucaru, P. Sens, M. Valero : “Efficient filtering for massively distributed video games”, 19 pages (2009)
- Z. Bouzid, M. Potop‑Butucaru, S. Tixeuil : “Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks”, 15 pages (2009)
- Z. Bouzid, M. Potop‑Butucaru, S. Tixeuil : “Optimal byzantine resilient convergence in oblivious robot networks”, 15 pages (2009)
- A. Lamani, M. Potop‑Butucaru, S. Tixeuil : “Optimal deterministic ring exploration with oblivious asynchronous robots”, 23 pages (2009)
- S. Dubois, M. Gradinariu Potop‑Butucaru, M. Nesterenko, S. Tixeuil : “Self-Stabilizing Byzantine Asynchronous Unison”, 15 pages (2009)
-
2008
- S. Bernard, S. Devismes, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “Bounds for self-stabilization in unidirectional networks”, 24 pages (2008)
-
2007
- A. Datta, M. Gradinariu Potop‑Butucaru, R. Patel, A. Yamazaki : “Self* Minimum Connected Covers of Query Regions in Sensor Networks”, 9th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), vol. 4838, Lecture Notes in Computer Science, Paris, France, pp. 204-218, (Springer) (2007)
- D. Canepa, M. Gradinariu Potop‑Butucaru : “Stabilizing Flocking Via Leader Election in Robot Networks”, 9th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), vol. 4838, Lecture Notes in Computer Science, Paris, France, pp. 52-66, (Springer) (2007)
- S. Bianchi, P. Felber, M. Gradinariu : “Content-based Publish/Subscribe using Distributed R-trees”, International Conference on Parallel and Distributed Computing (Euro-Par '07), vol. 4641, Lecture Notes in Computer Science, Rennes, France, pp. 537-548, (Springer) (2007)
- J. Beauquier, M. Gradinariu, C. Johnen : “Randomized Self-Stabilizing and Space optimal Leader election under arbitrary scheduler on rings”, Distributed Computing, vol. 20 (1), pp. 75-93, (Springer Verlag) (2007)
- M. Gradinariu, S. Tixeuil : “Conflict Managers for Self-stabilization without Fairness Assumption”, 27th International Conference on Distributed Computing Systems (ICDCS'07), Toronto, Canada, pp. 46, (IEEE) (2007)
- S. Bianchi, A. Datta, P. Felber, M. Gradinariu : “Stabilizing Peer-to-Peer Spatial Filters”, International Conference on Distributed Computing Systems (ICDCS 2007), Toronto, ON, Canada, pp. 27, (IEEE) (2007)
- E. Anceaume, R. Friedman, M. Gradinariu : “Managed Agreement: Generalizing Two Fundamental Distributed Agreement Problems”, Information Processing Letters, vol. 101 (5), pp. 190-198, (Elsevier) (2007)
- L. Blin, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “On the Self-stabilization of Mobile Robots in Graphs”, OPODIS 2007 - 11th International Conference on Principles of Distributed Systems, vol. 4878, Lecture Notes in Computer Science, Guadeloupe, France, pp. 301-314, (Springer) (2007)
- L. Blin, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “On the Self-stabilization of Mobile Robots in Graphs”, 23 pages (2007)
- D. Canepa, M. Gradinariu Potop‑Butucaru : “Stabilizing flocking via leader election in robot networks”, 29 pages (2007)
- D. Canepa, M. Gradinariu Potop‑Butucaru : “Stabilizing leader election in population protocols”, 17 pages (2007)
-
2006
- V. Drabkin, R. Friedman, M. Gradinariu : “Self-Stabilizing Wireless Connected Overlays”, 10th International Conference on Principle of Distributed Computing (OPODIS), vol. 4305, Lecture Notes in Computer Science, Bordeaux, France, pp. 425-439, (Springer) (2006)
- X. DĂ©fago, M. Gradinariu, S. Messika, Ph. Raipin‑Parvedy : “Fault-Tolerant and Self-Stabilizing Mobile Robots Gathering”, 20th International Symposium on Distributed Computing (DISC), vol. 4167, Lecture Notes in Computer Science, Stockolm, Sweden, pp. 46-60, (Springer) (2006)
- A. Datta, M. Gradinariu : “Stabilization, Safety, and Security of Distributed Systems, 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings”, vol. 4280, Lecture Notes in Computer Science, (Springer) (2006)
-
2000
- M. Gradinariu, S. Tixeuil : “Self-stabilizing Vertex Coloring of Arbitrary Graphs”, Proceedings of OPODIS 2000, Paris, France, pp. 55-70 (2000)