Retrouvez nos coordonnées
sur la page
Informations pratiques
Vivien Maisonneuve
Vivien Maisonneuve a soutenu sa thèse intitulée "Analyse statique des systèmes de contrôle-commande : invariants entiers et flottants" le 6 février 2015 à MINES ParisTech. Encadré par François Irigoin et Olivier Hermant du Centre de recherche en informatique (CRI) de MINES ParisTech, ce travail de recherche propose une approche innovante pour l'analyse statique des systèmes de contrôle-commande, et en particulier sur la découverte et la preuve d'invariants liés aux nombres entiers et flottants. Une comparaison détaillée avec les systèmes automatiques de détection d'invariants entiers est proposée, ainsi que de nombreuses techniques permettant d'améliorer la performance de l'outil de compilation et d'analyse PIPS. Une étude fouillée de l'analyse d'invariants en nombres flottants, en particulier pour des systèmes prouvés à l'aide d'invariants de type Lyapunov, a également été réalisée.
International
Un docteur CRI à UCL avec la ministre de l'ESR
Robin Le Conte des Floris, jeune docteur de la thèse…
> En savoir +
Formation
Séminaire HPC / thèse à Rabat
Claude Tadonki, enseignant-chercheur au CRI, a…
> En savoir +
Formation
CloudTech au Maroc
Claude Tadonki, enseignant-chercheur au Centre de recherche en informatique…
> En savoir +
Formation
Samuel Forest, élu membre de l’Académie des…
Samuel Forest lors de sa réception à…
> En savoir +
Formation
Les politiques publiques doivent-elles sauver des…
Photo de Andre Taissin sur Unsplash François…
> En savoir +
Formation
Prix TTI.5 de la controverse environnementale
Le 31 mai, à la Maison de l’Océan à…
> En savoir +
