Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Joffroy Beauquier
Joffroy Beauquier
at_id:
orcid_id:
Disciplines:
Applied sciences
Computer sciences
Mathematics
Edit
Merge
See Links
Directed Thesis:
Asynchronous Self-Stabilizing Stable Marriage
Overcoming interference in the beeping communication model
Power-Aware Protocols for Wireless Sensor Networks
Improving message logging protocols towards extreme-scale HPC systems
Synchronization and Fault-tolerance in Distributed Algorithms
Probabilistic algorithms for large scale systems
Construction de topologies autostabilisante dans les systèmes à grande échelle
Contribution au confinement de fautes dans les systèmes auto-stabilisants
Fiabilité et traitement de la volatilité dans les systèmes de calcul global
Correction de défaillances transitoires dans les sytèmes auto-stabilisants
Exclusion mutuelle de groupe et auto-stabilisation
Preuves d'algorithmes auto-stabilisants
Modelisation, verification et raffinement des algorithmes auto-stabilisants
Raffinements de l'auto-stabilisation
Auto-stabilisation efficace
Resistance aux fautes dans les algorithmes repartis : auto-stabilisation et tolerance aux fautes
Auto-stabilisation : modele et applications a l'exclusion mutuelle
Application de la theorie des traces a l'implantation et a la mesure d'algorithmes de distribution
L'index rationnel des langages algebriques
Automaf : un système de construction d'automates synchronisés et de calcul de mesure du parallélisme
Fonctions génératrices et mots aléatoires
Contributions à l'étude des structures aléatoires et des méthodes probabilistes