Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Frédéric Gava
Frédéric Gava a rédigé la thèse suivante :
Approches fonctionnelles de la programmation parallèle et des méta-ordinateurs : sémantiques, implantations et certification
par Frédéric Gava sous la direction de Frédéric Loulergue - Paris 12
Informatique
Soutenue en 2005
Frédéric Gava a dirigé les 3 thèses suivantes :
Abstraction fonctionnelle pour la programmation d’architecture multi-niveaux : formalisation et implantation
par Victor Allombert sous la direction de Frédéric Gava - Paris Est
Informatique
Soutenue le 07-07-2017
BSP-Why, un outil pour la vérification déductive de programmes BSP : machine-checked semantics and application to distributed state-space algorithms
par Jean Fortin sous la direction de Frédéric Gava - Paris Est
Informatique
Soutenue le 14-10-2013
BSP algorithms for LTL & CTL model checking of security protocols
par Michaël Guedj sous la direction de Gaétan Hains et de Frédéric Gava . - Paris Est
Informatique
Soutenue le 11-10-2012
Frédéric Gava a été rapporteur de la thèse suivante :
Contributions au co-design de noyaux irréguliers sur architectures manycore : cas du remaillage anisotrope multi-échelle en mécanique des fluides numérique
par Hoby Rakotoarivelo sous la direction de Franck Pommereau - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 06-07-2018
Frédéric Gava a été membre de jury de la thèse suivante :
Développement systématique et sûreté d’exécution en programmation parallèle structurée
par Louis Gesbert sous la direction de Frédéric Loulergue - Paris Est
Sciences informatiques
Soutenue le 05-03-2009
