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
Correctness of Tendermint-Core Blockchains,
Yackolley Amoussou-Guenou , Antonella Del Pozzo, Maria Potop-Butucaru , Sara Tucci Piergiovanni,
OPODIS 2018, 16:1-16:16
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
Optimal Mobile Byzantine Fault Tolerant Distributed Storage - Extended Abstract,
Silvia Bonomi, Antonella Del Pozzo , Maria Potop-Butucaru , Sébastien Tixeuil ,
PODC 2016, 269-278
Flocking with Oblivious Robots,
Davide Canepa, Xavier Défago, Taisuke Izumi, Maria Potop-Butucaru ,
SSS 2016, 94-108
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,
PODC 2015, New York, United States, 471-479
Broadcast Strategies in Wireless Body Area Networks,
Wafa Badreddine, Claude Chaudet , Federico Petruzzi, Maria Potop-Butucaru,
MSWiM 2015, Cancun, Mexico, 83-90
Stabilizing Byzantine-Fault Tolerant Storage,
Silvia Bonomi, Maria Potop-Butucaru, Sébastien Tixeuil ,
IPDPS 2015, Hyderabad, India, 894-903
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 ,
SRDS Workshops 2014, Nara, Japan, 50-59
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, 237-251
When Expanders Help Self-Healing Distributed R-Tree Overlays,
Taisuke Izumi, Maria Potop-Butucaru, Mathieu Valero,
ISPDC 2013, Bucarest, Romania, 143-150
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, Toulouse, France, 251-265
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
Multi-resource Allocation with Unknown Participants,
Ajoy Kumar Datta, Lawrence L. Larmore, Stéphane Devismes, François Kawala, Maria Potop-Butucaru,
ICNC 2011, 200-206
Enhancing Fault Tolerance of Distributed R-Tree,
Mathieu Valero, Luciana Arantes, Maria Potop-Butucaru, Pierre Sens,
LADC 2011, 25-34
Distributed Computing with Mobile Robots - An Introductory Survey,
Maria Potop-Butucaru, Michel Raynal, Sébastien Tixeuil ,
NBiS 2011, 318-324
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, 19-31
Exclusive Perpetual Ring Exploration without Chirality,
Lélia Blin, Alessia Milani, Maria Potop-Butucaru, Sébastien Tixeuil,
DISC 2010, Cambridge, MA, United States, 312-327
RoboCast - Asynchronous Communication in Robot Networks,
Zohir Bouzid, Shlomi Dolev, Maria Potop-Butucaru, Sébastien Tixeuil,
OPODIS 2010, 16-31
Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks,
Samuel Bernard, Stéphane Devismes, Katy Paroux, Maria Potop-Butucaru, Sébastien Tixeuil,
ICDCN 2010, 167-177

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
Approximate Agreement under Mobile Byzantine Faults,
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru , Sébastien Tixeuil ,
Theor. Comput. Sci. 2019, 17-29
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, 692-701
Gathering fat mobile robots with slim omnidirectional cameras,
Anthony Honorat , Maria Potop-Butucaru, Sébastien Tixeuil ,
Theoretical Computer Science 2014, 1-27
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,
Lélia Blin, Maria Potop-Butucaru, Stephane Rovedakis,
Theor. Comput. Sci. 2013, 90-112
Self-stabilizing byzantine asynchronous unison,
Swan Dubois, Maria Potop-Butucaru, Mikhail Nesterenko, Sébastien Tixeuil ,
Journal of Parallel and Distributed Computing 2012, 917-923
Dynamic FTSS in asynchronous systems - The case of unison,
Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil ,
Theoretical Computer Science 2011, 3418-3439
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, 912-920

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 ,
CoRR 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
Tight Mobile Byzantine Tolerant Atomic Storage,
Silvia Bonomi, Antonella Del Pozzo , Maria Potop-Butucaru,
CoRR 2015
Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems,
Silvia Bonomi, Shlomi Dolev, Maria Potop-Butucaru, Michel Raynal,
CoRR 2015
Emergent velocity agreement in robot networks,
Davide Canepa, Xavier Défago, Taisuke Izumi, Maria Potop-Butucaru,
CoRR 2011
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
A framework for proving the self-organization of dynamic systems,
Emmanuelle Anceaume, Xavier Défago, Maria Potop-Butucaru, Matthieu Roy,
CoRR 2010
Fast Self-Stabilizing Minimum Spanning Tree Construction,
Lélia Blin, Shlomi Dolev, Maria Potop-Butucaru, Stephane Rovedakis,
CoRR 2010, Cambridge, MA, United States
Universal Loop-Free Super-Stabilization,
Lélia Blin, Maria Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil,
CoRR 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
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,
CoRR 2009

Posters

POSTER: Blockchain Abstract Data Type,
Emmanuelle Anceaume, Antonella 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
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

Editorship

Formal Methods for Mobile Robots,
Maria Potop-Butucaru , Nathalie Sznajder, Sébastien Tixeuil , Xavier Urbain,
2019
Adaptive Resource Management and Scheduling for Cloud Computing - Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papers,
Florin Pop, Maria Potop-Butucaru,
['ARMS-CC@PODC', 'Lecture Notes in Computer Science'] 2015
Adaptive Resource Management and Scheduling for Cloud Computing - First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Paris, France, July 15, 2014, Revised Selected Papers,
Florin Pop, Maria Potop-Butucaru,
['ARMS-CC@PODC', 'Lecture Notes in Computer Science'] 2014
Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings,
Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita,
['SSS', 'Lecture Notes in Computer Science'] 2013

Misc

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