- Citations, last 5 years
- 4 694
- Works, last 5 years
- 1 857
- h-index
- 132
- Scientists listed
- 0
- Grants since 2016
- 24
Departments and units
- KRAKOS: Conception de couches systèmes performantes, robustes, sécurisées, flexibles, et moins énergivores Research facility
- SPADES: Programmation de systèmes embarqués sûrs et adaptatifs Research facility
- DATAMOVE: Mouvements de données pour le calcul haute performance Research facility
- TYREX: Types and Reasoning for the Web Research facility
- CONVECS: Construction de systèmes concurrents vérifiés Research facility
- MOEX: Evolution de la connaissance Research facility
- CTRL-A: Commande pour systèmes informatiques autonomiques Research facility
- CORSE: Compiler Optimization and Run-time SystEms Research facility
- POLARIS: Évaluation et optimisation des performances des grandes infrastructures Research facility