Amel Mammar

Professeure (HDR) à Télécom SudParis

Membre du laboratoire SAMOVAR
(Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux, CNRS, UMR 5157)

Amel Mammar
TELECOM SudParis
Département Informatique
9, rue Charles Fourier
91011 Évry cedex
FRANCE

Phone: +33.(0)1.60.76.44.21 (office)
E-mail: amel.mammar@telecom-sudparis.eu

Domaines principaux de recherche

Méthodes formelles
Systèmes d'Information
Sécurité dans les transports

Publications

La liste complète de mes publications est disponible ici DBLP

Collaborations

Prof. Marc Frappier, univ. Sherbrooke, Quebec
Prof Régine Laleau, Université Paris-Est Créteil
Prof Nahid Shahmehri Université de Linköpings, Suède

Encadrements

Thèsards

Willy Jimenez, 50% de co-encadrement avec Ana Cavalli (Soutenue octobre 2013)
Fama Diagne,Preuve de propriétés dynamiques en B,50% de co-encadrement avec Marc Frappier (Soutenue septembre 2013)

Projets de recherche

RobustWeb (projet CAPES-COFECUB avec le Brésil) 2009-2012
Projet SHIELDS(projet FP7) 2008-2010
Projet EFFICIENT(projet FNR) 2001-2006
Projet PMI (projet Predit) 2006-2012