People


Maria Potop-Butucaru

Maria Potop-Butucaru
Institution UPMC Sorbonne Universités
Office48
GroupAssociate members of the LINCS

Articles

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
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, 398-403
Parameterized verification of algorithms for oblivious robots on a ring,
Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru , Sébastien Tixeuil ,
FMCAD 2017, Vienna, Austria, 212-219
Bitcoin a Distributed Shared Register,
Emmanuelle Anceaume, Romaric Ludinard, Maria Potop-Butucaru , Frédéric Tronel,
SSS 2017, Boston, MA, United States, 456-468
Optimal Storage under Unsynchronized Mobile Byzantine Faults,
Silvia Bonomi, Antonella Del Pozzo , Maria Potop-Butucaru , Sébastien Tixeuil ,
SRDS 2017, Hong Kong, China, 154-163
Multi-agent patrolling in dynamic environments,
Mehdi Othmani-Guibourg, Amal El Fallah Seghrouchni, Jean-Loup Farges, Maria Potop-Butucaru ,
International Conference on Agents 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, 356-360
Total Order Reliable Convergecast in WBAN,
Gewu Bu , Maria Potop-Butucaru ,
ICDCN 2017, Hyderabad, India, 26
Tight self-stabilizing mobile byzantine-tolerant atomic register,
Silvia Bonomi, Antonella Del Pozzo , Maria Potop-Butucaru ,
ICDCN 2016, Singapore, Singapore, 6:1-6:10
Asynchronous Gathering in Rings with 4 Robots,
François Bonnet, Maria Potop-Butucaru , Sébastien Tixeuil ,
ADHOC-NOW 2016, Lille, France, 311-324
BANZKP - A Secure Authentication Scheme Using Zero Knowledge Proof for WBANs,
Nesrine Khernane, Maria Potop-Butucaru , Claude Chaudet,
MASS 2016, Bresilia, Brazil, 307-315
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
Approximate Agreement under Mobile Byzantine Faults,
Silvia Bonomi, Antonella Del Pozzo , Maria Potop-Butucaru , Sébastien Tixeuil ,
ICDCS 2016, 727-728
Nineteenth International Conference on Principles of Distributed Systems (OPODIS),
Emmanuelle Anceaume, Maria Potop-Butucaru, Cachin Christian,
Nineteenth International Conference on Principles of Distributed Systems (OPODIS) 2015, Rennes, France
Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems: Extended abstract,
Silvia Bonomi, Shlomi Dolev, Maria Potop-Butucaru, Michel Raynal,
ACM PODC 2015 Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing 2015, New York, United States
Broadcast strategies in Wireless Body Area Networks,
Wafa Badreddine, Claude Chaudet , Federico Petruzzi, Maria Potop-Butucaru,
18th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM) 2015, Cancun, Mexico
Stabilizing Byzantine-Fault Tolerant Storage,
Silvia Bonomi, Maria Potop-Butucaru, Sébastien Tixeuil ,
IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2015 2015, Hyderabad, India
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
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,
François Bonnet, Xavier Défago, Franck Petit, Maria Potop-Butucaru, Sébastien Tixeuil ,
Workshop on Self-organization in Swarm of Robots: from Molecular Robots to Mobile Agents (WSSR 2014) 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 - 16th International Symposium on Stabilization, Safety and Security of Distributed Systems 2014, Paderborn, Germany
When Expanders Help Self-Healing Distributed R-Tree Overlays,
Taisuke Izumi, Maria Potop-Butucaru, Mathieu Valero,
IEEE ISPDC 2013, IEEE 12th International Symposium on Parallel and Distributed Computing 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,
François Bonnet, Alessia Milani, Maria Potop-Butucaru, Sébastien Tixeuil ,
OPODIS 2011 - 15th International Conference on Principles of Distributed Systems 2011, Toulouse, France
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 ,
13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel) 2011, Cap Estérel, France
Physical expander in Virtual Tree Overlay,
Taisuke Izumi, Maria Potop-Butucaru, Mathieu Valero,
DISC 2011 - 25th International Symposium on Distributed Computing 2011, Rome, Italy
Exclusive Perpetual Ring Exploration without Chirality,
Lélia Blin, Alessia Milani, Maria Potop-Butucaru, Sébastien Tixeuil,
DISC 2010 - 24th International Symposium Distributed Computing 2010, Cambridge, MA, United States
Fast Self-Stabilizing Minimum Spanning Tree Construction,
Lélia Blin, Shlomi Dolev, Maria Potop-Butucaru, Stephane Rovedakis,
DISC 2010 - 24th International Symposium on Distributed Computing 2010, Cambridge, MA, United States

Journal articles

On asynchronous rendezvous in general graphs,
Evangelos Bampas, Lélia Blin, Jurek Czyzowicz, David Ilcinkas, Arnaud Labourel, Maria Potop-Butucaru , Sébastien Tixeuil ,
Theoretical Computer Science 2019, 80-90
FIFO Order reliable convergecast in WBAN,
Gewu Bu , Maria Potop-Butucaru ,
Computer Networks 2018, 200-216
Optimal self-stabilizing synchronous mobile Byzantine-tolerant atomic register,
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru ,
Theor. Comput. Sci. 2018, 64-79
Convergecast in Wireless Body Area Networks,
Wafa Badreddine , Nesrine Khernane, Maria Potop-Butucaru , Claude Chaudet,
Ad Hoc Networks 2017, 40-51
Formal verification of mobile robot protocols,
Béatrice Bérard, Pascal Lafourcade, Laure Millet, Maria Potop-Butucaru , Yann Thierry-Mieg, Sébastien Tixeuil ,
Distributed Computing 2016, 459-487
Tight bound on mobile Byzantine Agreement,
François Bonnet, Xavier Défago, Thanh Dang Nguyen, Maria Potop-Butucaru ,
Theoretical Computer Science 2016, 361-373
A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-Free Property,
Lélia Blin, Maria Potop-Butucaru , Stephane Rovedakis, Sébastien Tixeuil ,
The Computer Journal 2016, 225-243
ARMCO - Advanced topics in resource management for ubiquitous cloud computing - An adaptive approach,
Florin Pop, Maria Potop-Butucaru ,
Future Generation Comp. Syst. 2016, 79-81
[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
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

Correctness and Fairness of Tendermint-core Blockchains,
Yackolley Amoussou-Guenou , Antonella Del Pozzo, Maria Potop-Butucaru , Sara Tucci Piergiovanni,
CoRR 2018
Dissecting Tendermint,
Yackolley Amoussou-Guenou , Antonella Del Pozzo, Maria Potop-Butucaru , Sara Tucci Piergiovanni,
CoRR 2018
On the encoding and solving partial information games,
Yackolley Amoussou-Guenou , Souhein Baarir, Maria Potop-Butucaru , Nathalie Sznajder, Leo Tible, Sébastien Tixeuil ,
2018
Blockchain Abstract Data Type,
Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, Maria Potop-Butucaru , Sara Tucci Piergiovanni,
CoRR 2018
BAN-GZKP - Optimal Zero Knowledge Proof based Scheme for Wireless Body Area Networks,
Gewu Bu , Maria Potop-Butucaru ,
CoRR 2018
Lightning Factories,
Alejandro Ranchal Pedrosa, Maria Potop-Butucaru , Sara Tucci Piergiovanni,
IACR Cryptology ePrint Archive 2018, 918
Optimal Storage under Unsynchrononized Mobile Byzantine Faults,
Silvia Bonomi, Antonella Del Pozzo , Maria Potop-Butucaru , Sébastien Tixeuil ,
CoRR 2017
Peak Transmission Rate Resilient Crosslayer Broadcast for Body Area Networks,
Wafa Badreddine , Maria Potop-Butucaru ,
CoRR 2017
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
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 ,
2016
Tight Mobile Byzantine Tolerant Atomic Storage,
Silvia Bonomi, Antonella Del Pozzo , Maria Potop-Butucaru,
2015
A framework for proving the self-organization of dynamic systems,
Emmanuelle Anceaume, Xavier Défago, Maria Potop-Butucaru, Matthieu Roy,
2010
RoboCast: Asynchronous Communication in Robot Networks,
Zohir Bouzid, Shlomi Dolev, Maria Potop-Butucaru, Sébastien Tixeuil,
2010
Optimal deterministic ring exploration with oblivious asynchronous robots,
Anissa Lamani, Maria Potop-Butucaru, Sébastien Tixeuil,
2009
Byzantine Convergence in Robots Networks: The Price of Asynchrony,
Zohir Bouzid, Maria Potop-Butucaru, Sébastien Tixeuil,
2009
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
Optimal byzantine resilient convergence in oblivious robot networks,
Zohir Bouzid, Maria Potop-Butucaru, Sébastien Tixeuil,
2009

Poster

Brief announcement: Approximate Agreement under Mobile Byzantine Faults Model,
Silvia Bonomi, Antonella Del Pozzo , Maria Potop-Butucaru , Sébastien Tixeuil ,
IEEE Conference on Distributed Computing Systems (ICDCS 2016) 2016, Nara, Japan

Misc

Emergent Velocity Agreement in Robot Networks,
Davide Canepa, Xavier Défago, Taisuke Izumi, Maria Potop-Butucaru,
2011
Universal Loop-Free Super-Stabilization,
Lélia Blin, Stephane Rovedakis, Maria Potop-Butucaru, Sébastien Tixeuil,
2010