Recent academic projects (in french)
- ANR USS SimGrid (2009-2011) thématique : simulation de clusters/grilles de grande taille
- ANR Sécurité CheckBound (2007-2010) thématique : méthodes randomisées d’exploration de grands espaces d’état, application au Model-Checking
- ACI blanche Simulation et Monotonie Stochastique (2005-2007) thématique : propriété structurelles de modèles stochastiques
- ACI Sécurité SurePath (2003-05) thématique : simulation parfaite de grands systèmes (éviter l’explosion combinatoire de l’espace d’état).
- ACI Masse de Données Hypercarte (2003-05) thématique : calcul haute performances pour la géomatique
- Action spécifique : Systèmes distribués et Applications (2002-2004) thématique : mise au point d’algorithmes répartis
Projets de valorisation industrielle récents
- Contrat de recherche Cifre avec Bull, (2007-…)
thématique : extrapolation de performances appliquées au benchmarking HPC
- Contrat de recherche Cifre avec France Télécom R&D, (2007-…)
thématique : injection de charge (projet CLIF) et dimensionnement de serveurs
- RNRT Sidrah (Services d’infrastructure répartie pour réseaux Ad-Hoc) (2002-05) participants : HP-Labs, France-Télécom, Kelua (start-up), laboratoire ID-Imag,
thématique : déploiement et mise au point d’algorithmes répartis de consensus
- Projet CRE MIRRA avec France Télécom R&D (2001-2004)
thématique : Maintien d’infrastructure répartie sur réseau ad-hoc
- Contrat cadre de recherche Bull-INRIA LIPS (2003-…)
thématique d’intervention : mesure sur les intergiciels et dimensionnement, évaluation de l’impact sur les performances des environnements et de sécurité dans les clusters, analyse de l’impact de l’architecture du réseau sur les performances des clusters Bull (contrat cifre)
