11 citations
- Nokia (France)FR3 papers
- Institut de Recherche en Informatique FondamentaleFR2 papers
- Institut Universitaire de FranceFR2 papers
- Laboratoire Traitement et Communication de l’InformationFR2 papers
- LamsadeFR2 papers
- Télécom ParisFR2 papers
- Anstalt für Verbrennungskraftmaschinen List (Austria)AT1 paper
- Central Compilation & Translation BureauCN1 paper
- Centre de Recherche en Économie et ManagementFR1 paper
- Centre d'études et de recherche en informatique et communicationsFR1 paper
- Collège de FranceFR1 paper
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR1 paper
5 papers · 1 filter
Rationals vs Byzantines in Consensus-based Blockchains
Yackolley Amoussou-Guenou, Bruno Biais, Maria Potop-Butucaru +1
In this paper we analyze from the game theory point of view Byzantine Fault Tolerant blockchains when processes exhibit rational or Byzantine behavior. Our work is the first to mod…
Parameterized Verification of Algorithms for Oblivious Robots on a Ring
Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru +1
We study verification problems for autonomous swarms of mobile robots that self-organize and cooperate to solve global objectives. In particular, we focus in this paper on the mode…
Infinite Unlimited Churn
Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil
We study unlimited infinite churn in peer-to-peer overlay networks. Under this churn, arbitrary many peers may concurrently request to join or leave the overlay network; moreover t…
Stateless Geocasting
Jordan Adamek, Mikhail Nesterenko, Sébastien Tixeuil
We present two stateless algorithms that guarantee to deliver the message to every device in a designated geographic area: flooding and planar geocasting. Due to the algorithms' st…
A Certified Universal Gathering Algorithm for Oblivious Mobile Robots
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil +1
We present a new algorithm for the problem of universal gathering mobile oblivious robots (that is, starting from any initial configuration that is not bivalent, using any number o…