Participants : Différence entre versions
De MARMOTE
| Ligne 4 : | Ligne 4 : | ||
** Responsable: [http://www.lirmm.fr/~ajm/ Alain Jean-Marie] | ** Responsable: [http://www.lirmm.fr/~ajm/ Alain Jean-Marie] | ||
** [http://www-sop.inria.fr/maestro/index-fr.html Site Web] | ** [http://www-sop.inria.fr/maestro/index-fr.html Site Web] | ||
| − | ** Participants: | + | ** 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) <br> Équipe-projet DYOGENE d'Inria Paris-Rocquencourt, Ecole normale supérieure de Paris et CNRS | * Partenaire 2: INRIA/DIOGENE (ex INRIA/TREC) <br> Équipe-projet DYOGENE d'Inria Paris-Rocquencourt, Ecole normale supérieure de Paris et CNRS | ||
** Responsable: [http://www.di.ens.fr/~busic/ Ana Bušić] | ** Responsable: [http://www.di.ens.fr/~busic/ Ana Bušić] | ||
** [http://www.inria.fr/equipes/dyogene Site Web] | ** [http://www.inria.fr/equipes/dyogene Site Web] | ||
| − | ** Participants: [http://www.di.ens.fr/~bouillard/ Anne Bouillard] | + | ** Participants: [http://www.di.ens.fr/~bouillard/ Anne Bouillard] |
| + | ** Ont participé: [http://www.di.ens.fr/~rovetta/ Christelle Rovetta] | ||
* Partenaire 3: INRIA/MESCAL <br> Équipe-projet MESCAL d'Inria Grenoble - Rhône-Alpes, Université Joseph Fourier, Institut polytechnique de Grenoble et CNRS | * Partenaire 3: INRIA/MESCAL <br> Équipe-projet MESCAL d'Inria Grenoble - Rhône-Alpes, Université Joseph Fourier, Institut polytechnique de Grenoble et CNRS | ||
** Responsable: [http://mescal.imag.fr/membres/bruno.gaujal/ Bruno Gaujal] | ** Responsable: [http://mescal.imag.fr/membres/bruno.gaujal/ Bruno Gaujal] | ||
** [http://mescal.imag.fr/ Site Web] | ** [http://mescal.imag.fr/ Site Web] | ||
| − | ** Participants: [http://mescal.imag.fr/membres/jean-marc.vincent/JMV-homepage/ Jean-Marc Vincent], [http://mescal.imag.fr/membres/florence.perronnin Florence Clévenot-Perronnin] | + | ** Participants: [http://mescal.imag.fr/membres/jean-marc.vincent/JMV-homepage/ Jean-Marc Vincent], [http://mescal.imag.fr/membres/florence.perronnin Florence Clévenot-Perronnin] |
| + | ** Ont participé: Benjamin Briot | ||
* Partenaire 4: UVSQ/PRiSM <br> Laboratoire PRiSM de l'Université de Versailles-Saint-Quentin | * Partenaire 4: UVSQ/PRiSM <br> Laboratoire PRiSM de l'Université de Versailles-Saint-Quentin | ||
** Responsable: [http://www.prism.uvsq.fr/~jmf/ Jean-Michel Fourneau] | ** Responsable: [http://www.prism.uvsq.fr/~jmf/ Jean-Michel Fourneau] | ||
** [http://www.prism.uvsq.fr/ Site Web] | ** [http://www.prism.uvsq.fr/ Site Web] | ||
| − | ** Participants: [http://www.prism.uvsq.fr/~pico/ Pierre Coucheney | + | ** Participants: [http://www.prism.uvsq.fr/~pico/ Pierre Coucheney], [http://www.prism.uvsq.fr/%7Eqst Franck Quessette], [http://www.prism.uvsq.fr/~svial/ Sandrine Vial] |
| + | ** Ont participé: [http://daoha.free.fr/wikini/wakka.php?wiki=Work Thu-Ha Dao-Thi], Dimitris Vekris | ||
* Partenaire 5: Telecom SudParis/SAMOVAR <br> Laboratoire SAMOVAR de Telecom SudParis, Équipe METHODES | * Partenaire 5: Telecom SudParis/SAMOVAR <br> Laboratoire SAMOVAR de Telecom SudParis, Équipe METHODES | ||
** Responsable: [http://www-public.int-evry.fr/~castel/ Hind Castel-Taleb] | ** Responsable: [http://www-public.int-evry.fr/~castel/ Hind Castel-Taleb] | ||
** [http://samovar.telecom-sudparis.eu Site Web] | ** [http://samovar.telecom-sudparis.eu Site Web] | ||
| − | ** Participants: Mounia Lourdiane, [http://www-public.it-sudparis.eu/~jakubowi/ Jérémie Jakubowicz], Farah Aït Salaht, Mohamed Mehdi Kandi | + | ** Participants: Mounia Lourdiane, [http://www-public.it-sudparis.eu/~jakubowi/ Jérémie Jakubowicz], Hassen Braham |
| + | ** Ont participé: Farah Aït Salaht, Mohamed Mehdi Kandi | ||
* Partenaire 6: UPEC/LACL <br> Laboratoire LACL de l'Université Paris-Est Créteil, Équipe « Spécification et vérification de systèmes » | * Partenaire 6: UPEC/LACL <br> Laboratoire LACL de l'Université Paris-Est Créteil, Équipe « Spécification et vérification de systèmes » | ||
** Responsable: [http://www.lacl.fr/pekergin/ Nihal Pekergin] | ** Responsable: [http://www.lacl.fr/pekergin/ Nihal Pekergin] | ||
** [http://www.univ-paris12.fr/lacl/ Site Web] | ** [http://www.univ-paris12.fr/lacl/ Site Web] | ||
| − | ** Participants: [http://www.lacl.fr/~matran/ Minh-Anh Tran], [http://lacl.fr/tan/ Sovanna Tan], [http://www.lacl.fr/~barbot/publis.html Benoît Barbot] | + | ** Participants: [http://www.lacl.fr/~matran/ Minh-Anh Tran], [http://lacl.fr/tan/ Sovanna Tan], [http://www.lacl.fr/~barbot/publis.html Benoît Barbot], Mohamed Dahmoune |
| + | ** Ont participé: | ||
* Partenaire 7: UPMC/LIP6 <br> Laboratoire LIP5 de l'Université Pierre-et-Marie-Curie, Équipe RO | * Partenaire 7: UPMC/LIP6 <br> Laboratoire LIP5 de l'Université Pierre-et-Marie-Curie, Équipe RO | ||
** Responsable: [http://www-sysdef.lip6.fr/~hyon/ Emmanuel Hyon] | ** Responsable: [http://www-sysdef.lip6.fr/~hyon/ Emmanuel Hyon] | ||
** [http://www.lip6.fr/ Site Web] | ** [http://www.lip6.fr/ Site Web] | ||
| − | ** Participants: [http://www.lip6.fr/actualite/personnes-fiche.php?ident=P742 François Delbot] | + | ** Participants: [http://www.lip6.fr/actualite/personnes-fiche.php?ident=P742 François Delbot] |
| + | ** Ont participé: Abood Mourad | ||
Version du 29 novembre 2016 à 15:35
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
- Ont participé: Thu-Ha Dao-Thi, Dimitris Vekris
- 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, Hassen Braham
- Ont participé: Farah Aït Salaht, Mohamed Mehdi Kandi
- 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
