Equipe-projet MORPHEME Morphologie et Images Les objectifs scientifiques de MORPHEME sont la caractérisation et la modélisation du développement...
Equipe-projet SEMAGRAMME Analyse Sémantique de la Langue Le but du projet Sémagramme est la définition et le développement de modèles, méthodes et outils...
Equipe-projet CONVECS Construction de systèmes concurrents vérifiés CONVECS est une équipe de recherche travaillant sur la modélisation et la vérification formelle de...
Equipe-projet TITANE Modélisation géométrique d'environnements 3D La modélisation et le traitement de la géométrie s'articulent autour de trois objectifs principaux...
Equipe-projet DIVERSE Diversity-centric Software Engineering Notre objectif principal est de composer et de synthétiser automatiquement la diversité logicielle...
Equipe-projet AVALON Algorithms and Software Architectures for Distributed and HPC Platforms The Avalon research team is a joint group between INRIA, CNRS, ENS Lyon, the University Claude...
Equipe-projet AIRSEA Mathématiques et calcul scientifique appliqués aux écoulements océaniques et atmosphériques Les événements récents soulèvent des questions sur les impacts sociaux et économiques des...
Equipe-projet M3DISIM Mathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine M3DISIM (prononcer "médicime") est une équipe-projet commune avec l'Ecole Polytechnique, au sein du...
Equipe-projet HYCOMES Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques Les travaux de recherche de l'équipe-projet Hycomes portent sur deux sujets relatifs à la conception...
Equipe-projet MEMPHIS Modèles et méthodes pour les problèmes multiphysiques et interactions Nous visons un changement de paradigme pour la modélisation numérique. Nous le faisons en...
Equipe-projet PESTO Techniques de Preuves pour les Protocoles de Sécurité L'objectif de l'équipe PESTO est de concevoir des modèles et techniques pour l'analyse et la...