Projets

  • (2008-2010) Projet Cofecub RobustWeb
    RobustWeb
    Construction et validation d'application SOA avec services Web, projet COFECUB
    Partenaires: LRI - Télécom-Management Sud-Paris (ex INT) - LAAS - UNICAMP (Brésil, leader) - UFES (Frésil) - INPE (Brésil).
    • (2007-2010, label. 2007) Projet ANR WebMov (Chef de projet)
      (Agence National de Recherche, appel TechLog (Technologies Logicielles))
      Web service Modelling and Validation
      Partenaires: LRI - Télécom-Management Sud-Paris (ex INT) - LABRI - SOFTEAM - MONTIMAGE - UNICAMP (Brésil).
      • (2007-2010, label. 2007) Projet ANR Verap
        (Agence National de Recherche, appel SESUR Security and Safety Programme)
        Partenaires: LRI (équipes FORTESSE, PARALL, ALGO) - Paris VII (équipe de logique Mathématique.
      • European RTN project TAROT, membre associé.

Projets antérieurs

  • (2003-2006, label. 2002) RNRT Project STACS (en tant que participant IBISC)
    (Agence National de Recherche)
    Spécification et test, abstraits et compositionnels, de systèmes hétérogènes
    Partenaires: LaMI/IBISC-CEA-Thalès-Ligeron S.A.
  • (2000-2003, label. 1999) Projet RNRT plate-forme Platonis (en qualité de membre INT)
    (Réseau National de la Recherche en Télécommunications)
    PLate-forme
    Partenaires: GET/INT, LaBRI, LIMOS, FT R&D, Kaptech.
  • (1997-2001, label. 1997) Projet RNRT CASTOR (en qualité de membre INT)
    (Réseau National de la Recherche en Télécommunications)
    Conception d'un Atelier de Services pour les plate-formes TINA, CORBA et RI
    Partenaires: INT, Alcatel, CNET, Verilog.

Collaborations

Actuelles

  • ASAP, INRIA-Saclay, France.
  • GDR GPL (national working group) / co-directrice du sous groupe MTV2
  • AVERSE Telecom & Management Sud-Paris, France
  • UNICAMP Brésil