- (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é.
- (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.
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