Maria Potop-Butucaru

Sécurisation des réseaux de canaux de paiement sans fil avec des fenêtres de temps de verrouillage réduites,
Gabriel Antonio Fontes Rebello, Maria Potop-Butucaru ■, Marcelo Dias De Amorim, Otto Carlos Muniz Bandeira Duarte,
CORES 2022 – 7ème Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication 2022, Saint-Rémy-Lès-Chevreuse, France

⇣

Evaluation des performances du consensus IOTA sous des hypothèses d'implémentation réalistes,
Hamed Nazim Mamache, Gabin Mazué, Osama Rashid, Gewu Bu, Maria Potop-Butucaru ■,
AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2022, Saint-Rémy-Lès-Chevreuse, France

⇣

Distributed Blockchain Price Oracle,
Léonard Lys ■, Maria Potop-Butucaru ■,
NETYS 2022

⇣

PCNsim: A Flexible and Modular Simulator for Payment Channel Networks,
Gabriel Antonio Rebello, Gustavo Franco Camilo, Maria Potop-Butucaru ■, Miguel Elias Campista, Marcelo Dias De Amorim, Luis Henrique Costa,
INFOCOM Workshops 2022, London, United Kingdom

⇣

Resilience of IOTA Consensus,
Hamed Nazim Mamache, Gabin Mazue, Osama Rashid, Gewu Bu, Maria Potop-Butucaru ■,
ICC 2022

⇣

Securing Wireless Payment-Channel Networks With Minimum Lock Time Windows,
Gabriel Antonio Rebello, Maria Potop-Butucaru ■, Marcelo Dias De Amorim, Otto Carlos Duarte,
ICC 2022, Seoul, Korea, Republic of

⇣

Topological Evolution Analysis of Payment Channels in the Lightning Network,
Gustavo Franco Camilo, Gabriel Antonio Rebello, Lucas Airam De Souza, Maria Potop-Butucaru ■, Marcelo Dias De Amorim, Miguel Elias Campista, Luis Henrique Costa,
LATINCOM 2022

⇣

TenderTee: Secure Tendermint,
Lionel Beltrando ■, Maria Potop-Butucaru ■, Jose Alfaro,
IACR Cryptol. ePrint Arch. 2022

⇣

Composable Dynamic Secure Emulation,
Pierre Civit ■, Maria Potop-Butucaru ■,
IACR Cryptol. ePrint Arch. 2022

⇣

R-SWAP: Relay Based Atomic Cross-Chain Swap Protocol,
Léonard Lys ■, Arthur Micoulet, Maria Potop-Butucaru ■,
ALGOCLOUD 2021, Lisbonne, Portugal

⇣

Protegendo Redes de Canais de Pagamento Sem Fio com Janelas de Tempo de Bloqueio Mínimas,
Gabriel Antonio Fontes Rebello, Maria Potop-Butucaru ■, Marcelo Dias De Amorim, Otto Carlos Muniz Bandeira Duarte,
XXI Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg 2021) 2021, Belém (on line), Brazil

⇣

CLPB: vers une approche inter-couches pour une diffusion fiable dans les réseaux WBAN,
Wafa Badreddine, Maria Potop-Butucaru ■,
ALGOTEL 2021 — 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2021, La Rochelle, France

⇣

Analyse de la fiabilité des blockchains via la théorie des jeux,
Paolo Zappalà, Marianna Belotti ■, Maria Potop-Butucaru ■, Stefano Secci,
ALGOTEL 2021 — 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2021, La Rochelle, France

⇣

Game Theoretical Framework for Analyzing Blockchains Robustness,
Paolo Zappala, Marianna Belotti ■, Maria Potop-Butucaru ■, Stefano Secci,
DISC 2021, Freiburg, Germany

⇣

Probabilistic Dynamic Input Output Automata,
Pierre Civit ■, Maria Potop-Butucaru ■,
IACR Cryptol. ePrint Arch. 2021

⇣

On the Encoding and Solving of Partial Information Games,
Yackolley Amoussou-Guenou ■, Souheib Baarir, Maria Potop-Butucaru ■, Nathalie Sznajder, Leo Tible, Sébastien Tixeuil ■,
NETYS 2020, Marrakech, Morocco

⇣

On Fairness in Committee-Based Blockchains,
Yackolley Amoussou-Guenou ■, Antonella Del Pozzo, Maria Potop-Butucaru ■, Sara Tucci Piergiovanni,
Tokenomics 2020, Toulouse, France

⇣

Rational Behaviors in Committee-Based Blockchains,
Yackolley Amoussou-Guenou ■, Bruno Biais, Maria Potop-Butucaru ■, Sara Tucci Piergiovanni,
OPODIS 2020, Strassbourg, France

⇣

Wireless Broadcast with Short Labels,
Gewu Bu, Maria Potop-Butucaru ■, Mikael Rabie ■,
NETYS 2020, Marakech, Morocco

⇣

Atomic cross chain swaps via relays and adapters,
Léonard Lys ■, Arthur Micoulet, Maria Potop-Butucaru ■,
CryBlock@MOBICOM 2020, London, United Kingdom

⇣

Cross hyperledger fabric transactions,
Gewu Bu, Riane Haouara, Thanh Son Lam Nguyen, Maria Potop-Butucaru ■,
CryBlock@MOBICOM 2020, London, United Kingdom

⇣

E-IOTA: an efficient and fast metamorphism for IOTA,
Gewu Bu, Wassim Hana, Maria Potop-Butucaru ■,
BRAINS 2020, Paris, France

⇣

Rational vs Byzantine Players in Consensus-based Blockchains,
Yackolley Amoussou-Guenou ■, Bruno Biais, Maria Potop-Butucaru ■, Sara Tucci Piergiovanni,
AAMAS 2020, Auckland, New Zealand

⇣

Brief Announcement: Game Theoretical Framework for Analyzing Blockchains Robustness,
Paolo Zappala, Marianna Belotti ■, Maria Potop-Butucaru ■, Stefano Secci,
DISC 2020, Freiburg (virtual conference), Germany

⇣

Consensus en Présence de Participants Rationnels et Byzantins,
Yackolley Amoussou-Guenou ■, Bruno Biais, Maria Potop-Butucaru ■, Sara Tucci-Piergiovanni,
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2020, Lyon, France

⇣

Diffusion dans les réseaux sans fil en utilisant des filtres à mémoire constante,
Gewu Bu, Maria Potop-Butucaru ■, Mikael Rabie ■,
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2020, Lyon, France

⇣

Rational Behavior in Committee-Based Blockchains,
Yackolley Amoussou-Guenou ■, Bruno Biais, Maria Potop-Butucaru ■, Sara Tucci Piergiovanni,
IACR Cryptol. ePrint Arch. 2020

⇣

Blockchains and the commons,
Maria Potop-Butucaru ■,
Networked Systems 2020, Marakech, Morocco

⇣

Game Theoretical Analysis of Atomic Cross-Chain Swaps,
Marianna Belotti ■, Stefano Moretti, Maria Potop-Butucaru ■, Stefano Secci,
40th IEEE International Conference on Distributed Computing Systems (ICDCS) 2020, Singapore, Singapore

⇣

Game Theoretical Analysis of Cross-Chain Swaps,
Marianna Belotti ■, Stefano Moretti, Maria Potop-Butucaru ■, Stefano Secci,
ICDCS 2020

⇣

Scalable lightning factories for Bitcoin,
Alejandro Ranchal Pedrosa, Maria Potop-Butucaru ■, Sara Tucci Piergiovanni,
SAC 2019, Limassol, Cyprus

⇣

Blockchain Abstract Data Type,
Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, Maria Potop-Butucaru ■, Sara Tucci Piergiovanni,
SPAA 2019

⇣

G-IOTA: Fair and confidence aware tangle,
Gewu Bu ■, Onder Gurcan, Maria Potop-Butucaru ■,
INFOCOM Workshops 2019, Paris, France

⇣

Impact of network delays on Hyperledger Fabric,
Thanh Son Lam Nguyen, Guillaume Jourjon, Maria Potop-Butucaru ■, Kim Loan Thai,
INFOCOM Workshops 2019, Paris, France

⇣

Reliable Cross-Layer Protocol for Broadcast in Wireless Body Area Networks,
Wafa Badreddine ■, Maria Potop-Butucaru ■,
ADHOC-NOW 2019, Luxembourg, Luxembourg

⇣

Atomic Swapping Bitcoins and Ethers,
Léonard Lys, Arthur Micoulet, Maria Potop-Butucaru ■,
SRDS 2019, Lyon, France

⇣

Metamorphic IOTA,
Gewu Bu ■, Wassim Hana, Maria Potop-Butucaru ■,
CoRR 2019

⇣

Dissecting Tendermint,
Yackolley Amoussou-Guenou ■, Antonella Del Pozzo, Maria Potop-Butucaru ■, Sara Tucci Piergiovanni,
NETYS 2019, Marrakech, Morocco

⇣

HyperPubSub: Blockchain Based Publish/Subscribe,
Gewu Bu ■, Thanh Son Lam Nguyen, Maria Potop-Butucaru ■, Kim Loan Thai,
SRDS 2019

⇣

Markovian Model for Broadcast in Wireless Body Area Networks,
Bruno Baynat, Gewu Bu ■, Maria Potop-Butucaru ■,
MobiWac 2019, Miami, United States

⇣

Blockchains basées sur du Consensus Répété,
Yackolley Amoussou-Guenou ■, Antonella Del Pozzo, Maria Potop-Butucaru ■, Sara Tucci-Piergiovanni,
ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2019, Saint Laurent de la Cabrerisse, France

⇣

Rationals vs Byzantines in Consensus-based Blockchains,
Yackolley Amoussou-Guenou ■, Bruno Biais, Maria Potop-Butucaru ■, Sara Tucci Piergiovanni,
CoRR 2019

⇣

Blockchain abstract data type: poster,
Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, Maria Potop-Butucaru ■, Sara Tucci Piergiovanni,
PPoPP 2019

⇣

Wireless Broadcast with optimal labelling,
Gewu Bu ■, Maria Potop-Butucaru ■,
CoRR 2019

⇣

Brief Announcement: Optimal Self-stabilizing Mobile Byzantine-Tolerant Regular Register with Bounded Timestamps,
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
SSS 2018, Tokyo, Japan

⇣

Correctness of Tendermint-Core Blockchains,
Yackolley Amoussou-Guenou ■, Antonella Del Pozzo, Maria Potop-Butucaru ■, Sara Tucci Piergiovanni,
OPODIS 2018, Hong Kong, China

⇣

Correctness and Fairness of Tendermint-core Blockchains,
Yackolley Amoussou-Guenou ■, Antonella Del Pozzo, Maria Potop-Butucaru ■, Sara Tucci Piergiovanni,
CoRR 2018

⇣

Schéma Optimal basé sur la Preuve à Divulgation Nulle de Connaissance pour les Réseaux Wireless Body Area Networks (WBAN),
Gewu Bu ■, Maria Potop-Butucaru ■,
ALGOTEL 2018 - 20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2018, Roscoff, France

⇣

Lightning Factories,
Alejandro Ranchal Pedrosa, Maria Potop-Butucaru ■, Sara Tucci Piergiovanni,
IACR Cryptol. ePrint Arch. 2018

⇣

Peak Transmission Rate Resilient Crosslayer Broadcast for Body Area Networks,
Wafa Badreddine ■, Maria Potop-Butucaru ■,
CoRR 2017, Paris, France

⇣

Bitcoin a Distributed Shared Register,
Emmanuelle Anceaume, Romaric Ludinard, Maria Potop-Butucaru ■, Frederic Tronel,
SSS 2017, Boston, MA, United States

⇣

Optimal Storage under Unsynchrononized Mobile Byzantine Faults,
Silvia Bonomi, Antonella Del Pozzo ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
CoRR 2017

⇣

Optimal Storage under Unsynchronized Mobile Byzantine Faults,
Silvia Bonomi, Antonella Del Pozzo ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
SRDS 2017, Hong Kong, China

⇣

Multi-agent patrolling in dynamic environments,
Mehdi Othmani Guibourg, Amal El Fallah Seghrouchni, Jean Loup Farges, Maria Potop-Butucaru ■,
ICA 2017, Beijing, China

⇣

Brief Announcement: ZeroBlock: Timestamp-Free Prevention of Block-Withholding Attack in Bitcoin,
Siamak Solat ■, Maria Potop-Butucaru ■,
SSS 2017, Boston, MA, United States

⇣

Total Order Reliable Convergecast in WBAN,
Gewu Bu ■, Maria Potop-Butucaru ■,
ICDCN 2017, Hyderabad, India

⇣

Tight self-stabilizing mobile byzantine-tolerant atomic register,
Silvia Bonomi, Antonella Del Pozzo ■, Maria Potop-Butucaru ■,
ICDCN 2016, Singapore, Singapore

⇣

Asynchronous Gathering in Rings with 4 Robots,
Francois Bonnet, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
ADHOC-NOW 2016, Lille, France

⇣

BANZKP: A Secure Authentication Scheme Using Zero Knowledge Proof for WBANs,
Nesrine Khernane, Maria Potop-Butucaru ■, Claude Chaudet,
MASS 2016, Bresilia, Brazil

⇣

Les Stratégies de Diffusion dans les Réseaux Wireless Body Area Networks,
Wafa Badreddine, Claude Chaudet, Federico Petruzzi, Maria Potop-Butucaru ■,
ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2016, Bayonne, France

⇣

Optimal Mobile Byzantine Fault Tolerant Distributed Storage: Extended Abstract,
Silvia Bonomi, Antonella Del Pozzo ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
PODC 2016

⇣

Flocking with Oblivious Robots,
Davide Canepa, Xavier Defago, Taisuke Izumi, Maria Potop-Butucaru ■,
SSS 2016

⇣

Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp,
Silvia Bonomi, Antonella Del Pozzo ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
CoRR 2016

⇣

ZeroBlock: Preventing Selfish Mining in Bitcoin,
Siamak Solat ■, Maria Potop-Butucaru ■,
CoRR 2016

⇣

Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems: Extended abstract,
Silvia Bonomi, Shlomi Dolev, Maria Potop-Butucaru, Michel Raynal,
PODC 2015, New York, United States

⇣

Broadcast Strategies in Wireless Body Area Networks,
Wafa Badreddine, Claude Chaudet ■, Federico Petruzzi, Maria Potop-Butucaru,
MSWiM 2015, Cancun, Mexico

⇣

Stabilizing Byzantine-Fault Tolerant Storage,
Silvia Bonomi, Maria Potop-Butucaru, Sébastien Tixeuil ■,
IPDPS 2015, Hyderabad, India

⇣

Tight Mobile Byzantine Tolerant Atomic Storage,
Silvia Bonomi, Antonella Del Pozzo ■, Maria Potop-Butucaru,
CoRR 2015

⇣

Synthèse d'algorithmes pour robots mobiles : le cas du regroupement sur un anneau,
Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil ■,
ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2015, Beaune, France

⇣

Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems,
Silvia Bonomi, Shlomi Dolev, Maria Potop-Butucaru, Michel Raynal,
CoRR 2015

⇣

Analyzing various broadcast strategies in WBAN,
Claude Chaudet ■, Petruzzi Federico, Maria Potop-Butucaru,
International Workshop on Green Solutions for Body Area Networks (GreenBAN 2014) 2014, Paris, France

⇣

Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols,
Francois Bonnet, Xavier Defago, Franck Petit, Maria Potop-Butucaru, Sébastien Tixeuil ■,
SRDS Workshops 2014, Nara, Japan

⇣

On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering,
Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil ■,
SSS 2014, Paderborn, Germany

⇣

When Expanders Help Self-Healing Distributed R-Tree Overlays,
Taisuke Izumi, Maria Potop-Butucaru, Mathieu Valero,
ISPDC 2013, Bucarest, Romania

⇣

Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols,
François Bonnet, Xavier Défago, Franck Petit, Maria Potop-Butucaru, Sébastien Tixeuil ■,
International Symposium on Stabilization, Safety, and Security of Distributed Systems 2012, Toronto, Canada

⇣

Crash Resilient and Pseudo-Stabilizing Atomic Registers,
Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil ■,
OPODIS 2012 - 16th International Conference on Principles of Distributed Systems 2012, Rome, Italy

⇣

Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction,
Francois Bonnet, Alessia Milani, Maria Potop-Butucaru, Sébastien Tixeuil ■,
OPODIS 2011, Toulouse, France

⇣

Emergent velocity agreement in robot networks,
Davide Canepa, Xavier Defago, Taisuke Izumi, Maria Potop-Butucaru,
CoRR 2011

⇣

Construction auto-stabilisante d'un arbre couvrant de poids minimum,
Lélia Blin, Shlomi Dolev, Maria Potop-Butucaru, Stephane Rovedakis,
13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel) 2011, Cap Estérel, France

⇣

Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO,
Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil ■,
CoRR 2011, Cap Estérel, France

⇣

Physical expander in Virtual Tree Overlay,
Taisuke Izumi, Maria Potop-Butucaru, Mathieu Valero,
CoRR 2011, Rome, Italy

⇣

Multi-resource Allocation with Unknown Participants,
Ajoy Kumar Datta, Lawrence Larmore, Stephane Devismes, Francois Kawala, Maria Potop-Butucaru,
ICNC 2011

⇣

Enhancing Fault Tolerance of Distributed R-Tree,
Mathieu Valero, Luciana Arantes, Maria Potop-Butucaru, Pierre Sens,
LADC 2011

⇣

Distributed Computing with Mobile Robots: An Introductory Survey,
Maria Potop-Butucaru, Michel Raynal, Sébastien Tixeuil ■,
NBiS 2011

⇣

Pragmatic Self-stabilization of Atomic Memory in Message-Passing Systems,
Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil ■,
SSS 2011

⇣

Exclusive Perpetual Ring Exploration without Chirality,
Lelia Blin, Alessia Milani, Maria Potop-Butucaru, Sébastien Tixeuil,
DISC 2010, Cambridge, MA, United States

⇣

A framework for proving the self-organization of dynamic systems,
Emmanuelle Anceaume, Xavier Defago, Maria Potop-Butucaru, Matthieu Roy,
CoRR 2010

⇣

RoboCast: Asynchronous Communication in Robot Networks,
Zohir Bouzid, Shlomi Dolev, Maria Potop-Butucaru, Sébastien Tixeuil,
OPODIS 2010

⇣

Fast Self-Stabilizing Minimum Spanning Tree Construction,
Lelia Blin, Shlomi Dolev, Maria Potop-Butucaru, Stephane Rovedakis,
CoRR 2010, Cambridge, MA, United States

⇣

Universal Loop-Free Super-Stabilization,
Lelia Blin, Maria Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil,
CoRR 2010

⇣

Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks,
Samuel Bernard, Stephane Devismes, Katy Paroux, Maria Potop-Butucaru, Sébastien Tixeuil,
ICDCN 2010

⇣

Optimal deterministic ring exploration with oblivious asynchronous robots,
Anissa Lamani, Maria Potop-Butucaru, Sébastien Tixeuil,
CoRR 2009

⇣

Byzantine Convergence in Robots Networks: The Price of Asynchrony,
Zohir Bouzid, Maria Potop-Butucaru, Sébastien Tixeuil,
CoRR 2009

⇣

Optimal byzantine resilient convergence in oblivious robot networks,
Zohir Bouzid, Maria Potop-Butucaru, Sébastien Tixeuil,
CoRR 2009

Journal articles

⇣

A Survey on Blockchain Scalability: From Hardware to Layer-Two Protocols,
Gabriel Antonio Rebello, Gustavo Franco Camilo, Lucas Airam De Souza, Maria Potop-Butucaru ■, Marcelo Dias De Amorim, Miguel Elias Campista, Luis Henrique Costa,
IEEE Commun. Surv. Tutorials 2024

⇣

Lower and upper bounds for deterministic convergecast with labeling schemes,
Gewu Bu, Zvi Lotker, Maria Potop-Butucaru ■, Mikael Rabie,
Theoretical Computer Science 2023

⇣

Optimal self-stabilizing mobile byzantine-tolerant regular register with bounded timestamps,
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
Theoretical Computer Science 2023

⇣

Special issue on blockchain networks and distributed protocols,
Maria Potop-Butucaru ■, Ariel Orda, Maurice Herlihy, Stefano Secci,
Annals of Telecommunications - annales des télécommunications 2022

⇣

Broadcast strategies and performance evaluation of IEEE 802.15.4 in wireless body area networks WBAN,
Wafa Badreddine, Claude Chaudet, Federico Petruzzi, Maria Potop-Butucaru ■,
Ad Hoc Networks 2020

⇣

Parameterized verification of algorithms for oblivious robots on a ring,
Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
Formal Methods in System Design 2020

⇣

Self-stabilizing gathering of mobile robots under crash or Byzantine faults,
Xavier Defago, Maria Potop-Butucaru ■, Philippe Raipin Parvedy,
Distributed Comput. 2020

⇣

Approximate Agreement under Mobile Byzantine Faults,
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
Theoretical Computer Science 2019

⇣

On asynchronous rendezvous in general graphs,
Evangelos Bampas, Lelia Blin, Jurek Czyzowicz, David Ilcinkas, Arnaud Labourel, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
Theoretical Computer Science 2019

⇣

Optimal self-stabilizing synchronous mobile Byzantine-tolerant atomic register,
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru ■,
Theoretical Computer Science 2018

⇣

FIFO Order reliable convergecast in WBAN,
Gewu Bu ■, Maria Potop-Butucaru ■,
Computer Networks 2018

⇣

BAN-GZKP: Optimal Zero Knowledge Proof based Scheme for Wireless Body Area Networks,
Gewu Bu ■, Maria Potop-Butucaru ■,
Ad Hoc Networks 2018

⇣

Convergecast in Wireless Body Area Networks,
Wafa Badreddine ■, Nesrine Khernane, Maria Potop-Butucaru ■, Claude Chaudet,
Ad Hoc Networks 2017

⇣

Formal verification of mobile robot protocols,
Beatrice Berard, Pascal Lafourcade, Laure Millet, Maria Potop-Butucaru ■, Yann Thierry Mieg, Sébastien Tixeuil ■,
Distributed Computing 2016

⇣

Tight bound on mobile Byzantine Agreement,
Francois Bonnet, Xavier Defago, Thanh Dang Nguyen, Maria Potop-Butucaru ■,
Theoretical Computer Science 2016

⇣

A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-Free Property,
Lelia Blin, Maria Potop-Butucaru ■, Stephane Rovedakis, Sébastien Tixeuil ■,
The Computer Journal 2016

⇣

ARMCO: Advanced topics in resource management for ubiquitous cloud computing: An adaptive approach,
Florin Pop, Maria Potop-Butucaru ■,
Future Gener. Comput. Syst. 2016

⇣

[Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems,
Béatrice Bérard, Pierre Courtieu, Laure Millet, Maria Potop-Butucaru, Lionel Rieg, Nathalie Sznajder, Sébastien Tixeuil ■, Xavier Urbain,
International Journal of Informatics Society 2015

⇣

Practically stabilizing SWMR atomic memory in message-passing systems,
Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil ■,
Journal of Computer and System Sciences 2015

⇣

Gathering fat mobile robots with slim omnidirectional cameras,
Anthony Honorat ■, Maria Potop-Butucaru, Sébastien Tixeuil ■,
Theoretical Computer Science 2014

⇣

A super-stabilizing log(n)-approximation algorithm for dynamic Steiner trees,
Lélia Blin, Maria Potop-Butucaru, Stephane Rovedakis,
Theoretical Computer Science 2013

⇣

A super-stabilizing log(n)log(n)-approximation algorithm for dynamic Steiner trees,
Lelia Blin, Maria Potop-Butucaru, Stephane Rovedakis,
Theor. Comput. Sci. 2013

⇣

Self-stabilizing byzantine asynchronous unison,
Swan Dubois, Maria Potop-Butucaru, Mikhail Nesterenko, Sébastien Tixeuil ■,
Journal of Parallel and Distributed Computing 2012

⇣

Dynamic FTSS in asynchronous systems: The case of unison,
Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil ■,
Theoretical Computer Science 2011

⇣

Stabilizing data-link over non-FIFO channels with optimal fault-resilience,
Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil ■,
Information Processing Letters 2011

Reports

⇣

Emergent Peer-to-Peer Multi-Hub Topology,
Mohamed Amine Legheraba ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■, Serge Fdida ■,
2024

⇣

ABD-HFL: Byzantine-resistant Decentralized Hierarchical Federated Learning,
Tengfei An, Maria Potop-Butucaru ■, Sébastien Tixeuil ■, Serge Fdida ■,
2024

⇣

On the encoding and solving partial information games,
Yackolley Amoussou-Guenou ■, Souheib Baarir, Maria Potop-Butucaru ■, Nathalie Sznajder, Leo Tible, Sébastien Tixeuil ■,
2018

⇣

Optimal Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp,
Silvia Bonomi, Antonella Del Pozzo ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
2016

⇣

Optimal Mobile Byzantine Fault Tolerant Distributed Storage,
Silvia Bonomi, Antonella Del Pozzo ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
2016

⇣

Efficient filtering for massively distributed video games,
Luciana Arantes, Maria Potop-Butucaru, Pierre Sens, Mathieu Valero,
2009

⇣

Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks,
Zohir Bouzid, Maria Potop-Butucaru, Sébastien Tixeuil,
2009

Posters

⇣

Poster : Blockchain abstract data type,
Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, Maria Potop-Butucaru ■, Sara Tucci-Piergiovanni,
PPoPP 2019 - 24th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming 2019, Washington DC, United States

⇣