Participants

Sept équipes de recherche participent au projet MARMOTE:

• Partenaire 1: INRIA/MAESTRO
  Équipe-projet MAESTRO d'Inria Sophia Antipolis-Méditerranée
  • Responsable: Alain Jean-Marie
  • Site Web
  • Participants: Laurent Chusseau, Arthur Vallet (CNRS/IES, équipe TEHO) et Fabrice Philippe (Univ. Montpellier/LIRMM, équipe ARITH) sont associés à ce partenaire.
  • Ont participé: Issam Rabhi.

• Partenaire 2: INRIA/DIOGENE (ex INRIA/TREC)
  Équipe-projet DYOGENE d'Inria Paris-Rocquencourt, Ecole normale supérieure de Paris et CNRS
  • Responsable: Ana Bušić
  • Site Web
  • Participants: Anne Bouillard
  • Ont participé: Christelle Rovetta

• Partenaire 3: INRIA/MESCAL
  Équipe-projet MESCAL d'Inria Grenoble - Rhône-Alpes, Université Joseph Fourier, Institut polytechnique de Grenoble et CNRS
  • Responsable: Bruno Gaujal
  • Site Web
  • Participants: Jean-Marc Vincent, Florence Clévenot-Perronnin
  • Ont participé: Benjamin Briot

• Partenaire 4: UVSQ/PRiSM
  Laboratoire PRiSM de l'Université de Versailles-Saint-Quentin
  • Responsable: Jean-Michel Fourneau
  • Site Web
  • Participants: Pierre Coucheney, Franck Quessette, Sandrine Vial, Yann Strozecki
  • Ont participé: Thu-Ha Dao-Thi, Dimitris Vekris, Youssef Ait El Mahjoub, Mael Guiraud, Amélie Coulbault

• Partenaire 5: Telecom SudParis/SAMOVAR
  Laboratoire SAMOVAR de Telecom SudParis, Équipe METHODES
  • Responsable: Hind Castel-Taleb
  • Site Web
  • Participants: Mounia Lourdiane, Jérémie Jakubowicz
  • Ont participé: Farah Aït Salaht, Mohamed Mehdi Kandi, Hassen Braham

• Partenaire 6: UPEC/LACL
  Laboratoire LACL de l'Université Paris-Est Créteil, Équipe « Spécification et vérification de systèmes »
  • Responsable: Nihal Pekergin
  • Site Web
  • Participants: Minh-Anh Tran, Sovanna Tan, Benoît Barbot, Mohamed Dahmoune
  • Ont participé:

• Partenaire 7: UPMC/LIP6
  Laboratoire LIP5 de l'Université Pierre-et-Marie-Curie, Équipe RO
  • Responsable: Emmanuel Hyon
  • Site Web
  • Participants: François Delbot
  • Ont participé: Abood Mourad