AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour December, 2012

Soutenance de thèse d’Euriell Le Corronc

Saturday 1 December 2012

Euriell Le Corronc a soutenu sa thèse intitulée “Modèles et calculs garantis pour les systèmes (min,+)-linéaires le 4 novembre 2011. Le jury était composé de:

  • Laurent Hardouin - LISA, Angers, Directeur de thèse
  • Bertrand Cottenceau - LISA, Angers, Co-encadrant
  • Bruno Gaujal - LIG, INRIA Grenoble, Rapporteur
  • Jean-Jacques Lesage - LURPA, ENS Cachan, Rapporteur
  • Christian Fraboul - IRIT, INP Toulouse, Président du jury
  • Giovanni Stea - Université de Pise, Italie
  • Eric Thierry - LIP, ENS Lyon

Vous pouvez retrouvez les transparents.

Publié dans WEED | Pas de commentaire »

Soutenance de thèse de Laurent Jouhet

Saturday 1 December 2012

Laurent Jouhet a soutenu sa thèse intitulée “Algorithmique du Network Calculus le 7 novembre 2012. Le jury était composé de:

  • Anne BOUILLARD, ENS
  • Éric FLEURY, ENS de Lyon
  • Christian FRABOUL, ENSEEIHT, Rapporteur
  • Bruno GAUJAL, INRIA Grenoble
  • Laurent HARDOUIN, ISTIA, Rapporteur
  • Giovanni STEA, Université de Pise, Rapporteur
    Éric THIERRY, ENS de Lyon, Directeur de thèse

Vous pouvez retrouvez les transparents.

Publié dans WEED | Pas de commentaire »