Groupes de travail ITA

Classification, indices de comparaison, règles d’association

Vérification et analyse statique

En collaboration avec :

  • Roberto Bagnara (Université de Parme)
  • Salvatore Ruggieri (Université de Pise)
  • Fausto Spoto (Université de Vérone)
  • German Vidal (Université polytechnique de Valence, Espagne)
  • Wim Vanhoof (Université de Namur, Belgique)

Service de communication

En collaboration avec :

  • Emmanuel Lochin (ISAE Toulouse)
  • Richard Lorion (LE2P, université de La Réunion)
  • Thomas Silverstone (INRIA Nancy)

Réseaux dynamiques et réseaux à connectivité intermittente

Systèmes Collectifs Adaptatifs (Collective Adaptive Systems)

En collaboration avec :

  • Aurélie Gaudieux (Laboratoire CEMOI — Université de La Réunion)
  • Yassine Gangat (Laboratoire LE2P — Université de La Réunion)
  • Daniel David (IRD Réunion – UMR 228 ESPACE-DEV)
  • François Guerrin (Cirad Montpellier – UPR Recyclage et risque TA B-78/01)
  • Koen Van Dam (Imperial College London – Centre for Process Systems Engineering)

Représentation et partage des connaissances, gestion des signes, e-education