Stages

Stages

Stage: Formalisations danalyses derreurs en analyse numerique et en arithmetique a virgule flottante

Université du Havre, 2017, 01-30 Juin

Stage: Verification formelle des systemes cyber-physiques dans le processus industriel de la conception basee sur modele

Ecole Nationale Supérieure de Physique de Grenoble, 2017, 01-30 Juin

Stage: Planification de trajectoire dans un environnement peu contraint et fortement dynamique

Université Paris-Dauphine (Paris IX), 2013, 01-30 Juin

Stage: Gestion efficace et partage securise des traces de mobilite

Ecole Supérieure des Sciences et Technologie de l'Ingénieur de Nancy, 2012, 01-30 Juin

Stage: DESIGNING AND FORMALIZING MODULAR IMPLICITS

Université de la Méditerranée (Aix Marseille II), 2001, 01-30 Juin

Stage: On the security of embedded systems against physical attacks

Ecole Nationale Supérieure d'Ingenieurs Electriciens de Grenoble, 2000, 01-30 Juin