Maria Potop-Butucaru

IACR Cryptol. ePrint Arch., 2024

Challenger: Blockchain-based Massively Multiplayer Online Game Architecture.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2024

Blockchain-based decentralized identity system: Design and security analysis.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2024

Asynchronous Byzantine Consensus with Trusted Monotonic Counters.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2024

Byzantine Reliable Broadcast with One Trusted Monotonic Counter.

[BibT_eX]

[DOI]

Lionel Beltrando

IACR Cryptol. ePrint Arch., 2024

Elevator: Self-* and Persistent Hub Sampling Service in Unstructured Peer-to-Peer Networks.

[BibT_eX]

[DOI]

Mohamed Amine Legheraba

CoRR, 2024

Distributed computation of temporal twins in periodic undirected time-varying graphs.

[BibT_eX]

[DOI]

CoRR, 2024

A Survey on Blockchain Scalability: From Hardware to Layer-Two Protocols.

[BibT_eX]

[DOI]

Gustavo Franco Camilo

Lucas Airam C. de Souza

Luís Henrique M. K. Costa

Miguel Elias M. Campista

IEEE Commun. Surv. Tutorials, 2024

Brief Announcement: A Self-* and Persistent Hub Sampling Service.

[BibT_eX]

[DOI]

Mohamed Amine Legheraba

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2024

Invited Paper: The Smart Contract Model.

[BibT_eX]

[DOI]

Sergio Rajsbaum

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2024

Data Poisoning Attacks in Gossip Learning.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Networking and Applications, 2024

2023

Lower and upper bounds for deterministic convergecast with labeling schemes.

[BibT_eX]

[DOI]

Theor. Comput. Sci., March, 2023

Optimal self-stabilizing mobile byzantine-tolerant regular register with bounded timestamps.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2023

Game Theoretical Analysis of DAG-Ledgers Backbone.

[BibT_eX]

[DOI]

Simone Galimberti

IACR Cryptol. ePrint Arch., 2023

TenderTee: Increasing the Resilience of Tendermint by using Trusted Environments.

[BibT_eX]

[DOI]

Lionel Beltrando

José Alfaro

Proceedings of the 24th International Conference on Distributed Computing and Networking, 2023

2022

Distributed Blockchain Price Oracle.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2022

Composable Dynamic Secure Emulation.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2022

TenderTee: Secure Tendermint.

[BibT_eX]

[DOI]

Lionel Beltrando

José Alfaro

IACR Cryptol. ePrint Arch., 2022

Special issue on blockchain networks and distributed protocols.

[BibT_eX]

[DOI]

Ann. des Télécommunications, 2022

Dynamic Probabilistic Input Output Automata.

[BibT_eX]

[DOI]

Proceedings of the 36th International Symposium on Distributed Computing, 2022

Brief Announcement: Composable Dynamic Secure Emulation.

[BibT_eX]

[DOI]

Proceedings of the SPAA '22: 34th ACM Symposium on Parallelism in Algorithms and Architectures, Philadelphia, PA, USA, July 11, 2022

Foremost Non-stop Journey Arrival in Linear Time.

[BibT_eX]

[DOI]

Juan Villacis-Llobet

Binh-Minh Bui-Xuan

Proceedings of the Structural Information and Communication Complexity, 2022

Brief Announcement: Probabilistic Dynamic Input/Output Automata.

[BibT_eX]

[DOI]

Proceedings of the PODC '22: ACM Symposium on Principles of Distributed Computing, Salerno, Italy, July 25, 2022

Topological Evolution Analysis of Payment Channels in the Lightning Network.

[BibT_eX]

[DOI]

Gustavo Franco Camilo

Lucas Airam C. de Souza

Luís Henrique M. K. Costa

Miguel Elias M. Campista

Proceedings of the IEEE Latin-American Conference on Communications, 2022

PCNsim: A Flexible and Modular Simulator for Payment Channel Networks.

[BibT_eX]

[DOI]

Gustavo Franco Camilo

Miguel Elias M. Campista

Luís Henrique M. K. Costa

Proceedings of the IEEE INFOCOM 2022, 2022

Securing Wireless Payment-Channel Networks With Minimum Lock Time Windows.

[BibT_eX]

[DOI]

Otto Carlos M. B. Duarte

Proceedings of the IEEE International Conference on Communications, 2022

Resilience of IOTA Consensus.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Communications, 2022

2021

Principles of Blockchain Systems

[BibT_eX]

[DOI]

Antonio Fernández Anta

Chryssis Georgiou

Synthesis Lectures on Computer Science, Morgan & Claypool Publishers, ISBN: 978-3-031-01807-7, 2021

R-SWAP: Relay based atomic cross-chain swap protocol.

[BibT_eX]

[DOI]

Arthur Micoulet

IACR Cryptol. ePrint Arch., 2021

Probabilistic Dynamic Input Output Automata.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2021

2020

Game theoretical framework for analyzing Blockchains Robustness.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2020

Rational Behavior in Committee-Based Blockchains.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2020

Parameterized verification of algorithms for oblivious robots on a ring.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2020

Self-stabilizing gathering of mobile robots under crash or Byzantine faults.

[BibT_eX]

[DOI]

Distributed Comput., 2020

Broadcast strategies and performance evaluation of IEEE 802.15.4 in wireless body area networks WBAN.

[BibT_eX]

[DOI]

Ad Hoc Networks, 2020

Brief Announcement: Game Theoretical Framework for Analyzing Blockchains Robustness.

[BibT_eX]

[DOI]

Proceedings of the 34th International Symposium on Distributed Computing, 2020

On Fairness in Committee-Based Blockchains.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Blockchain Economics, 2020

Rational Behaviors in Committee-Based Blockchains.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Principles of Distributed Systems, 2020

Blockchains and the Commons.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - 8th International Conference, 2020

Wireless Broadcast with Short Labels.

[BibT_eX]

[DOI]

Mikaël Rabie

Proceedings of the Networked Systems - 8th International Conference, 2020

On the Encoding and Solving of Partial Information Games.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - 8th International Conference, 2020

Atomic cross chain swaps via relays and adapters.

[BibT_eX]

[DOI]

Arthur Micoulet

Proceedings of the CryBlock@MOBICOM 2020: Proceedings of the 3rd Workshop on Cryptocurrencies and Blockchains for Distributed Systems, 2020

Cross hyperledger fabric transactions.

[BibT_eX]

[DOI]

Proceedings of the CryBlock@MOBICOM 2020: Proceedings of the 3rd Workshop on Cryptocurrencies and Blockchains for Distributed Systems, 2020

Game Theoretical Analysis of Cross-Chain Swaps.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE International Conference on Distributed Computing Systems, 2020

E-IOTA: an efficient and fast metamorphism for IOTA.

[BibT_eX]

[DOI]

Wassim Hana

Proceedings of the 2nd Conference on Blockchain Research & Applications for Innovative Networks and Services, 2020

Rational vs Byzantine Players in Consensus-based Blockchains.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019

Formal Methods for Mobile Robots.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing by Mobile Entities, 2019

Fault-Tolerant Mobile Robots.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing by Mobile Entities, 2019

Approximate Agreement under Mobile Byzantine Faults.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2019

On asynchronous rendezvous in general graphs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2019

Metamorphic IOTA.

[BibT_eX]

[DOI]

Wassim Hana

CoRR, 2019

Rationals vs Byzantines in Consensus-based Blockchains.

[BibT_eX]

[DOI]

CoRR, 2019

Wireless Broadcast with optimal labelling.

[BibT_eX]

[DOI]

CoRR, 2019

Atomic Swapping Bitcoins and Ethers.

[BibT_eX]

[DOI]

Arthur Micoulet

Alejandro Ranchal-Pedrosa

Proceedings of the 38th Symposium on Reliable Distributed Systems, 2019

HyperPubSub: Blockchain Based Publish/Subscribe.

[BibT_eX]

[DOI]

Proceedings of the 38th Symposium on Reliable Distributed Systems, 2019

Scalable lightning factories for Bitcoin.

[BibT_eX]

[DOI]

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Blockchain abstract data type: poster.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

Dissecting Tendermint.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - 7th International Conference, 2019

Markovian Model for Broadcast in Wireless Body Area Networks.

[BibT_eX]

[DOI]

Bruno Baynat

Proceedings of the 17th ACM International Symposium on Mobility Management and Wireless Access, 2019

Impact of network delays on Hyperledger Fabric.

[BibT_eX]

[DOI]

Proceedings of the IEEE INFOCOM 2019, 2019

G-IOTA: Fair and confidence aware tangle.

[BibT_eX]

[DOI]

Önder Gürcan

Proceedings of the IEEE INFOCOM 2019, 2019

Reliable Cross-Layer Protocol for Broadcast in Wireless Body Area Networks.

[BibT_eX]

[DOI]

Wafa Badreddine

Proceedings of the Ad-Hoc, Mobile, and Wireless Networks, 2019

2018

On time complexity for connectivity-preserving scattering of mobile robots.

[BibT_eX]

[DOI]

Daichi Kaino

Theor. Comput. Sci., 2018

Optimal self-stabilizing synchronous mobile Byzantine-tolerant atomic register.

[BibT_eX]

[DOI]

Alejandro Ranchal-Pedrosa

Theor. Comput. Sci., 2018

Lightning Factories.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2018

Blockchain Abstract Data Type.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2018

Correctness and Fairness of Tendermint-core Blockchains.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2018

FIFO Order reliable convergecast in WBAN.

[BibT_eX]

[DOI]

Comput. Networks, 2018

BAN-GZKP: Optimal Zero Knowledge Proof based Scheme for Wireless Body Area Networks.

[BibT_eX]

[DOI]

Ad Hoc Networks, 2018

Brief Announcement: Optimal Self-stabilizing Mobile Byzantine-Tolerant Regular Register with Bounded Timestamps.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2018

Correctness of Tendermint-Core Blockchains.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Principles of Distributed Systems, 2018

2017

Optimal Storage under Unsynchrononized Mobile Byzantine Faults.

[BibT_eX]

[DOI]

CoRR, 2017

Peak Transmission Rate Resilient Crosslayer Broadcast for Body Area Networks.

[BibT_eX]

[DOI]

Wafa Badreddine

CoRR, 2017

Convergecast in Wireless Body Area Networks.

[BibT_eX]

[DOI]

Ad Hoc Networks, 2017

Brief Announcement: ZeroBlock: Timestamp-Free Prevention of Block-Withholding Attack in Bitcoin.

[BibT_eX]

[DOI]

Siamak Solat

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2017

Bitcoin a Distributed Shared Register.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2017

Optimal Storage under Unsynchronized Mobile Byzantine Faults.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems, 2017

Total Order Reliable Convergecast in WBAN.

[BibT_eX]

[DOI]

Amal El Fallah Seghrouchni

Proceedings of the 18th International Conference on Distributed Computing and Networking, 2017

Multi-agent patrolling in dynamic environments.

[BibT_eX]

[DOI]

Mehdi Othmani-Guibourg

Jean-Loup Farges

Proceedings of the IEEE International Conference on Agents, 2017

2016

Tight bound on mobile Byzantine Agreement.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

ARMCO: Advanced topics in resource management for ubiquitous cloud computing: An adaptive approach.

[BibT_eX]

[DOI]

Florin Pop

Future Gener. Comput. Syst., 2016

Formal verification of mobile robot protocols.

[BibT_eX]

[DOI]

Distributed Comput., 2016

ZeroBlock: Preventing Selfish Mining in Bitcoin.

[BibT_eX]

[DOI]

Siamak Solat

CoRR, 2016

Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering - Feasibility Study -.

[BibT_eX]

[DOI]

Julien Clément

CoRR, 2016

Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp.

[BibT_eX]

[DOI]

CoRR, 2016

A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-Free Property.

[BibT_eX]

[DOI]

Comput. J., 2016

Flocking with Oblivious Robots.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2016

Optimal Mobile Byzantine Fault Tolerant Distributed Storage: Extended Abstract.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016

BANZKP: A secure authentication scheme using zero knowledge proof for WBANs.

[BibT_eX]

[DOI]

Nesrine Khernane

Claude Chaudet

Proceedings of the 13th International Conference on New Technologies for Distributed Systems, 2016

Tight self-stabilizing mobile byzantine-tolerant atomic register.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Distributed Computing and Networking, 2016

Asynchronous Gathering in Rings with 4 Robots.

[BibT_eX]

[DOI]

François Bonnet

Proceedings of the Ad-hoc, Mobile, and Wireless Networks - 15th International Conference, 2016

2015

Practically stabilizing SWMR atomic memory in message-passing systems.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2015

Tight Mobile Byzantine Tolerant Atomic Storage.

[BibT_eX]

[DOI]

CoRR, 2015

Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems.

[BibT_eX]

[DOI]

CoRR, 2015

Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems: Extended abstract.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, 2015

Broadcast Strategies in Wireless Body Area Networks.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM International Conference on Modeling, 2015

Stabilizing Byzantine-Fault Tolerant Storage.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium, 2015

2014

Gathering fat mobile robots with slim omnidirectional cameras.

[BibT_eX]

[DOI]

Anthony Honorat

Theor. Comput. Sci., 2014

On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2014

Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems Workshops, 2014

2013

A super-stabilizing log(n)log(n)-approximation algorithm for dynamic Steiner trees.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2013

When Expanders Help Self-Healing Distributed R-Tree Overlays.

[BibT_eX]

[DOI]

Mathieu Valero

Proceedings of the IEEE 12th International Symposium on Parallel and Distributed Computing, 2013

2012

Self-stabilizing byzantine asynchronous unison.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2012

Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols.

[BibT_eX]

[DOI]

François Bonnet

Franck Petit

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012

Crash Resilient and Pseudo-Stabilizing Atomic Registers.

[BibT_eX]

[DOI]

Shlomi Dolev

Proceedings of the Principles of Distributed Systems, 16th International Conference, 2012

2011

Self-stabilizing minimum connected covers of query regions in sensor networks.

[BibT_eX]

[DOI]

Sajal K. Das

Rajesh Patel

Ai Yamazaki

Wirel. Commun. Mob. Comput., 2011

Dynamic FTSS in asynchronous systems: The case of unison.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

Self-stabilizing minimum degree spanning tree within one from the optimal degree.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2011

Stabilizing data-link over non-FIFO channels with optimal fault-resilience.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2011

Emergent velocity agreement in robot networks

[BibT_eX]

[DOI]

CoRR, 2011

Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO

[BibT_eX]

[DOI]

CoRR, 2011

Physical Expander in Virtual Tree Overlay.

[BibT_eX]

[DOI]

Mathieu Valero

Proceedings of the Distributed Computing - 25th International Symposium, 2011

Pragmatic Self-stabilization of Atomic Memory in Message-Passing Systems.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011

Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011

Distributed Computing with Mobile Robots: An Introductory Survey.

[BibT_eX]

[DOI]

Michel Raynal

Proceedings of the 14th International Conference on Network-Based Information Systems, 2011

Enhancing Fault Tolerance of Distributed R-Tree.

[BibT_eX]

[DOI]

Proceedings of the 5th Latin-American Symposium on Dependable Computing, 2011

Multi-resource Allocation with Unknown Participants.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Networking and Computing, 2011

2010

Stabilizing Distributed R-Trees for Peer-to-Peer Content Routing.

[BibT_eX]

[DOI]

Silvia Bianchi

Pascal Felber

IEEE Trans. Parallel Distributed Syst., 2010

Optimal Byzantine-resilient convergence in uni-dimensional robot networks.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2010

The cost of probabilistic agreement in oblivious robot networks.

[BibT_eX]

[DOI]

Julien Clément

Inf. Process. Lett., 2010

A framework for proving the self-organization of dynamic systems

[BibT_eX]

[DOI]

CoRR, 2010

Practically Stabilizing Atomic Memory

[BibT_eX]

[DOI]

CoRR, 2010

Fast Self-Stabilizing Minimum Spanning Tree Construction

[BibT_eX]

[DOI]

CoRR, 2010

Universal Loop-Free Super-Stabilization

[BibT_eX]

[DOI]

CoRR, 2010

Exclusive Perpetual Ring Exploration without Chirality.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 24th International Symposium, 2010

Fast Self-stabilizing Minimum Spanning Tree Construction - Using Compact Nearest Common Ancestor Labeling Scheme.

[BibT_eX]

[DOI]

Shlomi Dolev

Proceedings of the Distributed Computing, 24th International Symposium, 2010

Brief Announcement: Sharing Memory in a Self-stabilizing Manner.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 24th International Symposium, 2010

Dynamically Reconfigurable Filtering Architectures.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

Loop-Free Super-Stabilizing Spanning Tree Construction.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

A Framework for Secure and Private P2P Publish/Subscribe.

[BibT_eX]

[DOI]

Samuel Bernard

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

Optimal Deterministic Ring Exploration with Oblivious Asynchronous Robots.

[BibT_eX]

[DOI]

Anissa Lamani

Proceedings of the Structural Information and Communication Complexity, 2010

Self-stabilizing tiny interaction protocols.

[BibT_eX]

[DOI]

Davide Canepa

Proceedings of the Third International Workshop on Reliability, Availability, and Security, 2010

Self-stabilizing Byzantine Asynchronous Unison, .

[BibT_eX]

[DOI]

Mikhail Nesterenko

Proceedings of the Principles of Distributed Systems - 14th International Conference, 2010

RoboCast: Asynchronous Communication in Robot Networks.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems - 14th International Conference, 2010

Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Networking, 11th International Conference, 2010

Enhanced DR-Tree for Low Latency Filtering in Publish/Subscribe Systems.

[BibT_eX]

[DOI]

Luciana Arantes

Pierre Sens

Mathieu Valero

Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications, 2010

2009

Byzantine Convergence in Robots Networks: The Price of Asynchrony

[BibT_eX]

[DOI]

CoRR, 2009

Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks

[BibT_eX]

[DOI]

CoRR, 2009

Optimal byzantine resilient convergence in oblivious robot networks

[BibT_eX]

[DOI]

CoRR, 2009

A Superstabilizing $\log(n)$-Approximation Algorithm for Dynamic Steiner Trees

[BibT_eX]

[DOI]

CoRR, 2009

Brief Announcement: Dynamic FTSS in Asynchronous Systems: The Case of Unison.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 23rd International Symposium, 2009

Optimal Byzantine Resilient Convergence in Asynchronous Robots Networks.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, 2009

A Superstabilizing log(n)-Approximation Algorithm for Dynamic Steiner Trees.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, 2009

Byzantine Convergence in Robot Networks: The Price of Asynchrony.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems, 13th International Conference, 2009

Optimal deterministic self-stabilizing vertex coloring in unidirectional anonymous networks.

[BibT_eX]

[DOI]

Samuel Bernard

Stéphane Devismes

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Byzantine-Resilient Convergence in Oblivious Robot Networks.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Networking, 10th International Conference, 2009

2008

The cost of probabilistic gathering in oblivious robot networks

[BibT_eX]

[DOI]

Julien Clément

CoRR, 2008

Stabilizing token schemes for population protocols

[BibT_eX]

[DOI]

Davide Canepa

CoRR, 2008

Bounds for self-stabilization in unidirectional networks

[BibT_eX]

[DOI]

Samuel Bernard

Stéphane Devismes

CoRR, 2008

2007

Managed Agreement: Generalizing two fundamental distributed agreement problems.

[BibT_eX]

[DOI]

Emmanuelle Anceaume

Roy Friedman

Inf. Process. Lett., 2007

Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings.

[BibT_eX]

[DOI]

Distributed Comput., 2007

Self* Minimum Connected Covers of Query Regions in Sensor Networks.

[BibT_eX]

[DOI]

Rajesh Patel

Ai Yamazaki

Proceedings of the Stabilization, 2007

Stabilizing Flocking Via Leader Election in Robot Networks.

[BibT_eX]

[DOI]

Davide Canepa

Proceedings of the Stabilization, 2007

On the Self-stabilization of Mobile Robots in Graphs.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems, 11th International Conference, 2007

Conflict Managers for Self-stabilization without Fairness Assumption.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007), 2007

Stabilizing Peer-to-Peer Spatial Filters.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007), 2007

Content-Based Publish/Subscribe Using Distributed R-Trees.

[BibT_eX]

[DOI]

Silvia Bianchi

Pascal Felber

Proceedings of the Euro-Par 2007, 2007

2006

Self-* Distributed Query Region Covering in Sensor Networks.

[BibT_eX]

[DOI]

Preethi Linga

J. Aerosp. Comput. Inf. Commun., 2006

Fault-Tolerant and Self-stabilizing Mobile Robots Gathering.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 20th International Symposium, 2006

Self-stabilizing Wireless Connected Overlays.

[BibT_eX]

[DOI]

Vadim Drabkin

Roy Friedman

Proceedings of the Principles of Distributed Systems, 10th International Conference, 2006

Self* Architecture for Trajectory Tracking in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Symposium on Network Computing and Applications, 2006

Deterministic delta-Connected Overlay for Peer-to-Peer Networks.

[BibT_eX]

[DOI]

Antonino Virgillito

Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

A Semantic Overlay for Self- Peer-to-Peer Publish/Subscribe.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Distributed Computing Systems (ICDCS 2006), 2006

2005

Stabilizing mobile philosophers.

[BibT_eX]

[DOI]

Michel Raynal

Inf. Process. Lett., 2005

Towards a Theory of Self-organization.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 19th International Conference, 2005

Incentives for P2P Fair Resource Sharing.

[BibT_eX]

[DOI]

Emmanuelle Anceaume

Aina Ravoaja

Proceedings of the Fifth IEEE International Conference on Peer-to-Peer Computing (P2P 2005), 31 August, 2005

Distributed Self-Minimum Connected Covering of a Query Region in Sensor Networks.

[BibT_eX]

[DOI]

Rajesh Patel

Proceedings of the 8th International Symposium on Parallel Architectures, 2005

P2P Architecture for Self-Atomic Memory.

[BibT_eX]

[DOI]

Proceedings of the 8th International Symposium on Parallel Architectures, 2005

2004

Self-Stabilizing Mutual Exclusion Under Arbitrary Scheduler.

[BibT_eX]

[DOI]

Comput. J., 2004

Locating cache proxies in manets.

[BibT_eX]

[DOI]

Roy Friedman

Gwendal Simon

Proceedings of the 5th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, 2004

An Architecture for Dynamic Scalable Self-Managed Persistent Objects.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2004: CoopIS, 2004

2003

Self-Stabilizing Wormhole Routing on Ring Networks.

[BibT_eX]

[DOI]

J. Inf. Sci. Eng., 2003

Anonymous Publish/Subscribe in P2P Networks.

[BibT_eX]

[DOI]

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Looking for a Common View for Mobile Worlds.

[BibT_eX]

[DOI]

Michel Raynal

Gwendal Simon

Proceedings of the 9th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2003), 2003

2002

Token-Based Self-Stabilizing Uniform Algorithms.

[BibT_eX]

[DOI]

Jérôme Olivier Durand-Lose

J. Parallel Distributed Comput., 2002

Self-Stabilizing Local Mutual Exclusion and Daemon Refinement.

[BibT_eX]

[DOI]

Chic. J. Theor. Comput. Sci., 2002

Publish/subscribe scheme for mobile networks.

[BibT_eX]

[DOI]

Proceedings of the 2002 Workshop on Principles of Mobile Computing, 2002

Normality versus system mobility.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Parallel and Distributed Systems, 2002

2001

Cross-Over Composition - Enforcement of Fairness under Unfair Adversary.

[BibT_eX]

[DOI]

Proceedings of the Self-Stabilizing Systems, 5th International Workshop, 2001

Tight Space Self-Stabilizing Uniform l-Mutual Exclusion.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

Self-stabilizing Neighborhood Unique Naming under Unfair Scheduler.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2001: Parallel Processing, 2001

2000

Self-stabilizing Vertex Coloration and Arbitrary Graphs.

[BibT_eX]

Proceedings of the Procedings of the 4th International Conference on Principles of Distributed Systems, 2000

Self-Stabilizing Mutual Exclusion Using Unfair Distributed Scheduler.

[BibT_eX]

[DOI]

Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), 2000

1999

Memory Space Requirements for Self-Stabilizing Leader Election Protocols.

[BibT_eX]

[DOI]