4 PhD students (Supervision / Co-supervision)

• BELTRANDO Lionel : Blockchain à faible empreinte énergétique adaptée au domaine financier
• FONTES REBELLO Gabriel Antonio : Blockchain-based Security and Trust for the Internet of Things: Consensus in Wireless Environments with Resource-constrained Devices
• LEGHERABA Mohamed Amine : No title
• YELLAS Nour El Houda : No title

10 PhD graduated 2010 - 2022

2000-2022 Publications

• 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)
  • J. Villacis‑Llobet, B.‑M. Bui‑Xuan, M. Potop‑Butucaru : “Foremost non-stop journey arrival in linear time”, 29^th 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 - 24^es 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 – 7^e 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
  • 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 — 23^es 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 — 23^es 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)
• 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”, 40^th IEEE International Conference on Distributed Computing Systems (ICDCS2020), Singapore, Singapore (2020)
  • Y. Amoussou‑Guenou, A. Del Pozzo, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “On Fairness in Committee-based Blockchains”, 2^nd International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2020), Toulouse, France (2020)
  • P. Zappalà, M. Belotti, M. Potop‑Butucaru, S. Secci : “Brief Announcement: Game Theoretical Framework for Analyzing Blockchains Robustness”, 34^th 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”, 35^th 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 – 22^es 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 – 22^es Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Lyon, France (2020)
  • Y. Amoussou‑Guenou, B. Biais, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Rational Behavior in Committee-Based Blockchains”, (2020)
  • Y. Amoussou‑Guenou, S. Baarir, M. Potop‑Butucaru, N. Sznajder, L. Tible, S. Tixeuil : “On the Encoding and Solving of Partial Information Games”, 8^th International Conference on Networked Systems (NETYS'20), Marrakech, Morocco (2020)
  • M. Potop‑Butucaru : “Blockchains and the commons”, (2020)
  • G. Bu, Z. Lotker, M. Potop‑Butucaru, M. Rabie : “Lower and upper bounds for deterministic convergecast with labeling schemes”, (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 17^th 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 - 38^th International Symposium on Reliable Distributed Systems, Lyon, France (2019)
  • W. Badreddine, M. Potop‑Butucaru : “Reliable Cross-Layer Protocol for Broadcast in Wireless Body Area Networks”, ADHOC-NOW 2019 - 18^th 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 - 21^es 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 - 31^st 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: The 34^th ACM/SIGAPP Symposium on Applied Computing, Limassol, Cyprus, pp. 302-309, (ACM) (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 - 24^th 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”, 22^nd 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”, 20^th 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 - 7^th International Conference, NETYS 2019, Marrakech, Morocco (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 - 20^es 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 19^th 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 - 18^th 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 - 19^th 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 - 18^es 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 17^th 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”, 18^th 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 — 17^es 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 - 16^th 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 33^rd 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 12^th 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”, 15^es 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 - 16^th 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 - 14^th 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”, 5^th 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 - 15^th 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 - 13^th 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 - 25^th 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”, 13^es 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”, 13^es 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, 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”, 12^th 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”, 24^th 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”, 12^th 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”, 11^th 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 - 14^th 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”, 12^th 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 - 24^th 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 - 24^th 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”, 17^th 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”, 11^th 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”, 23^rd 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”, 23^rd 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”, 11^es 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”, 11^es 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”, 23^rd 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”, 9^th 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”, 9^th 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”, 27^th 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 - 11^th 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”, 10^th 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”, 20^th 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, 8^th 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)