People


Maria Potop-Butucaru

Maria Potop-Butucaru
Institution office homepage group
 UPMC Sorbonne Université 48 None Associate members of the LINCS

Nones

Fault-Tolerant Mobile Robots,
Xavier Défago, Maria Potop-Butucaru , Sébastien Tixeuil ,
Distributed Computing by Mobile Entities 2019
Approximate Agreement under Mobile Byzantine Faults,
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru , Sébastien Tixeuil ,
Theoretical Computer Science 2019
Impact of network delays on Hyperledger Fabric,
Thanh Son Lam Nguyen, Guillaume Jourjon, Maria Potop-Butucaru , Kim Thai,
CoRR 2019
G-IOTA - Fair and confidence aware tangle,
Gewu Bu , Önder Gürcan, Maria Potop-Butucaru ,
CoRR 2019
Rationals vs Byzantines in Consensus-based Blockchains,
Yackolley Amoussou-Guenou , Bruno Biais, Maria Potop-Butucaru , Sara Tucci Piergiovanni,
CoRR 2019
Wireless Broadcast with short labelling,
Gewu Bu , Maria Potop-Butucaru ,
2019
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
Formal Methods for Mobile Robots,
Maria Potop-Butucaru , Nathalie Sznajder, Sébastien Tixeuil , Xavier Urbain,
Distributed Computing by Mobile Entities 2019
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
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
Dissecting Tendermint,
Yackolley Amoussou-Guenou , Antonella Del Pozzo, Maria Potop-Butucaru , Sara Tucci Piergiovanni,
CoRR 2018
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
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 ,
Ad Hoc Networks 2018
FIFO Order reliable convergecast in WBAN,
Gewu Bu , Maria Potop-Butucaru ,
Computer Networks 2018
Optimal self-stabilizing synchronous mobile Byzantine-tolerant atomic register,
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru ,
Theor. Comput. Sci. 2018
Correctness of Tendermint-Core Blockchains,
Yackolley Amoussou-Guenou , Antonella Del Pozzo, Maria Potop-Butucaru , Sara Tucci Piergiovanni,
OPODIS 2018
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
Lightning Factories,
Alejandro Ranchal Pedrosa, Maria Potop-Butucaru , Sara Tucci Piergiovanni,
IACR Cryptology ePrint Archive 2018
Parameterized verification of algorithms for oblivious robots on a ring,
Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru , Sébastien Tixeuil ,
FMCAD 2017, Vienna, Austria
Bitcoin a Distributed Shared Register,
Emmanuelle Anceaume, Romaric Ludinard, Maria Potop-Butucaru , Frédéric 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 ,
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
Peak Transmission Rate Resilient Crosslayer Broadcast for Body Area Networks,
Wafa Badreddine , Maria Potop-Butucaru ,
CoRR 2017
Total Order Reliable Convergecast in WBAN,
Gewu Bu , Maria Potop-Butucaru ,
ICDCN 2017, Hyderabad, India
Convergecast in Wireless Body Area Networks,
Wafa Badreddine , Nesrine Khernane, Maria Potop-Butucaru , Claude Chaudet,
Ad Hoc Networks 2017
Optimal Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp,
Silvia Bonomi, Antonella Del Pozzo , Maria Potop-Butucaru , Sébastien Tixeuil ,
2016
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
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
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
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,
François Bonnet, Maria Potop-Butucaru , Sébastien Tixeuil ,
ADHOC-NOW 2016, Lille, France
Tight bound on mobile Byzantine Agreement,
François Bonnet, Xavier Défago, Thanh Dang Nguyen, Maria Potop-Butucaru ,
Theoretical Computer Science 2016
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
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
ARMCO - Advanced topics in resource management for ubiquitous cloud computing - An adaptive approach,
Florin Pop, Maria Potop-Butucaru ,
Future Generation Comp. Syst. 2016
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 Défago, 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
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
Broadcast Strategies in Wireless Body Area Networks,
Wafa Badreddine, Claude Chaudet , Federico Petruzzi, Maria Potop-Butucaru,
MSWiM 2015, Cancun, Mexico
[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
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
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
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
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
Gathering fat mobile robots with slim omnidirectional cameras,
Anthony Honorat , Maria Potop-Butucaru, Sébastien Tixeuil ,
Theoretical Computer Science 2014
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
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
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
When Expanders Help Self-Healing Distributed R-Tree Overlays,
Taisuke Izumi, Maria Potop-Butucaru, Mathieu Valero,
ISPDC 2013, Bucarest, Romania
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
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
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
Self-stabilizing byzantine asynchronous unison,
Swan Dubois, Maria Potop-Butucaru, Mikhail Nesterenko, Sébastien Tixeuil ,
Journal of Parallel and Distributed Computing 2012
Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction,
François Bonnet, Alessia Milani, Maria Potop-Butucaru, Sébastien Tixeuil ,
OPODIS 2011, Toulouse, France
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
Emergent velocity agreement in robot networks,
Davide Canepa, Xavier Défago, 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 L. Larmore, Stéphane Devismes, François 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,
Lélia 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 Défago, 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,
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
Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks,
Samuel Bernard, Stéphane 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
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