|
|
⇣
|
|
Marche sans escale dans un graphe temporel,
Juan Villacis-Llobet, Binh-Minh Bui-Xuan, Maria Potop-Butucaru ■,
AlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2023, Cargese, France
|
|
|
⇣
|
⇣
|
TenderTee: Increasing the Resilience of Tendermint by using Trusted Environments,
Lionel Beltrando, Maria Potop-Butucaru ■, Jose Alfaro,
ICDCN 2023, Kharagpur, India
|
|
|
⇣
|
⇣
|
Dynamic Probabilistic Input Output Automata,
Pierre Civit ■, Maria Potop-Butucaru ■,
DISC 2022, Augusta, GA, United States
|
|
|
⇣
|
⇣
|
Brief Announcement: Composable Dynamic Secure Emulation,
Pierre Civit ■, Maria Potop-Butucaru ■,
SPAA 2022, Philadelphia, PA, United States
|
|
|
⇣
|
⇣
|
Brief Announcement: Probabilistic Dynamic Input/Output Automata,
Pierre Civit ■, Maria Potop-Butucaru ■,
PODC 2022, Salerno, Italy
|
|
|
⇣
|
⇣
|
Foremost Non-stop Journey Arrival in Linear Time,
Juan Villacis Llobet, Binh Minh Bui Xuan, Maria Potop-Butucaru ■,
SIROCCO 2022, Paderborn, Germany
|
|
|
⇣
|
|
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
|
|
|
⇣
|
⇣
|
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
|
|
|
⇣
|
⇣
|
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
|
|
|
⇣
|
⇣
|
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
|
|
|
⇣
|
⇣
|
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
|
|
|
⇣
|
|
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
|
|
|
⇣
|
⇣
|
Blockchain Abstract Data Type,
Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, Maria Potop-Butucaru ■, Sara Tucci Piergiovanni,
SPAA 2019
|
|
|
⇣
|
⇣
|
Scalable lightning factories for Bitcoin,
Alejandro Ranchal Pedrosa, Maria Potop-Butucaru ■, Sara Tucci Piergiovanni,
SAC 2019, Limassol, Cyprus
|
|
|
⇣
|
⇣
|
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
|
|
|
⇣
|
⇣
|
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
|
|
|
|
⇣
|
Blockchain abstract data type: poster,
Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, Maria Potop-Butucaru ■, Sara Tucci Piergiovanni,
PPoPP 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
|
|
|
⇣
|
|
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
|
|
|
⇣
|
⇣
|
Bitcoin a Distributed Shared Register,
Emmanuelle Anceaume, Romaric Ludinard, Maria Potop-Butucaru ■, Frederic Tronel,
SSS 2017, Boston, MA, United States
|
|
|
⇣
|
⇣
|
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
|
|
|
⇣
|
⇣
|
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
|
|
|
⇣
|
|
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,
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
|
|
|
⇣
|
|
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 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
|
|
|
⇣
|
⇣
|
RoboCast: Asynchronous Communication in Robot Networks,
Zohir Bouzid, Shlomi Dolev, Maria Potop-Butucaru, Sébastien Tixeuil,
OPODIS 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 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
|
|
|
⇣
|
⇣
|
Lower and upper bounds for deterministic convergecast with labeling schemes,
Gewu Bu, Zvi Lotker, Maria Potop-Butucaru ■, Mikael Rabie,
Theor. Comput. Sci. 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
|
|
|
⇣
|
⇣
|
Game Theoretical Analysis of DAG-Ledgers Backbone,
Simone Galimberti, Maria Potop-Butucaru ■,
IACR Cryptol. ePrint Arch. 2023
|
|
|
|
⇣
|
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
|
|
|
|
⇣
|
Probabilistic Dynamic Input Output Automata,
Pierre Civit ■, Maria Potop-Butucaru ■,
IACR Cryptol. ePrint Arch. 2021
|
|
|
⇣
|
|
International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019),
Vincent Danos, Maurice Herlihy, Maria Potop-Butucaru ■, Julien Prat, Sara Tucci-Piergiovanni,
Leibniz International Proceedings in Informatics 2020
|
|
|
⇣
|
⇣
|
Rational Behavior in Committee-Based Blockchains,
Yackolley Amoussou-Guenou ■, Bruno Biais, Maria Potop-Butucaru ■, Sara Tucci Piergiovanni,
IACR Cryptol. ePrint Arch. 2020
|
|
|
⇣
|
|
Wireless Broadcast with short labelling,
Gewu Bu, Maria Potop-Butucaru ■, Mikael Rabie ■,
2020
|
|
|
⇣
|
|
Distributed Ledger Register: From Safe to Atomic,
Emmanuelle Anceaume, Marina Papatriantafilou, Maria Potop-Butucaru ■, Philippas Tsigas,
2019
|
|
|
⇣
|
⇣
|
Metamorphic IOTA,
Gewu Bu ■, Wassim Hana, 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 optimal labelling,
Gewu Bu ■, Maria Potop-Butucaru ■,
CoRR 2019
|
|
|
⇣
|
⇣
|
Correctness and Fairness of Tendermint-core Blockchains,
Yackolley Amoussou-Guenou ■, Antonella Del Pozzo, Maria Potop-Butucaru ■, Sara Tucci Piergiovanni,
CoRR 2018
|
|
|
|
⇣
|
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
|
|
|
⇣
|
⇣
|
Optimal Storage under Unsynchrononized Mobile Byzantine Faults,
Silvia Bonomi, Antonella Del Pozzo ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
CoRR 2017
|
|
|
|
⇣
|
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
|
|
|
⇣
|
⇣
|
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 Defago, 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 Defago, Maria Potop-Butucaru, Matthieu Roy,
CoRR 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
|
|
|
⇣
|
⇣
|
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
|
