Français Anglais
Accueil Annuaire Plan du site
Home > Groups > Research activities > Distributed algorithms
Groups
Research activities: Distributed algorithms
A distributed algorithm is an algorithm that works on several entities. Each entity has computation and communication capabilities. The distributed algorithmic concerns the study, design and modeling of distributed algorithms of their existence for classical problems and finally, their properties.

Keywords:
  - Self-stabilisation
  - Sensors network

Groups
  Parallelism

Joint Inria project teams


Research highlights
  Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web
  SomeRDFS in the Semantic Web
  Distributed tree decomposition with privacy

Contracts & grants
  MEDIAD
  SOGEA
  SR2I

Software & patents
  MPICH-V
  SomeWhere+

Collaborations


Members
  HERAULT Thomas
  JOHNEN Colette
  TIXEUIL Sébastien
  MESSIKA Stéphane
  PERES Olivier
  CLEMENT Julien
  MALECOT Paul
  DEVISMES Stéphane
  PEYRONNET Sylvain
  ARMANT Vincent
  MEKHALDI Fouzi

Ph.D. dissertations & Faculty habilitations
  Auto-stabilisation: Modèle et apllications à l'exclusion mutuelle
  Several contributions to self-stabilization
  Efficient Self-stabilization
  Toward self-stabilizing large-scale systems
  Auto-stabilisation et partitionnement
  Observing self-stabilization
  Construction de topologies autostabilisante dans les systèmes à grande échelle
  Distributed Algorithms for Security and Quality of Service in Mobile Ad Hoc Networks
  A Robust and Self-Stabilzing Hierarchical Routing Protocol for dynamic networks


Research activities
° Algorithm control and hyper-parameter tuning
° Algorithms for networked systems
° Automated Proof, SMT and Applications
° Automated Reasoning
° Combinatorics
° Compilation and code optimization
° Data-Centric Languages and Systems
° Deductive Verification of Programs
° Distributed algorithms
° Engineering of interactive systems
° Formal Model-Based Testing
° Formalisation and Proof of Numerical Programs
° Formalisation of (Specification and Programming) Languages in Proof Assistants
° Generative design methods
° Graph Theory
° Green networks
° Heterogeneous Wireless Networks
° High-performance computing
° Human-Computer Interaction
° Integration of Data and Knowledge
° Interaction and visualization paradigms
° Large scale modelling
° Massively distributed algorithms for complex data
° Mediated collaboration
° Multi-hop wireless networks