english
Delphine Longuet

Maître de conférences
Université Paris-Sud
LRI, équipe VALS

Adresse physique
PCRI, bureau 63
Rue Noetzlin
91190 Gif-sur-Yvette

Adresse courrier
Bâtiment 650
Université Paris-Sud 11
91405 Orsay Cedex, France

Téléphone   +33 (0)1 69 15 65 42

e-mail   delphine [dot] longuet [at] lri [dot] fr



Activités de recherche

Mes travaux de recherche s'inscrivent dans le cadre de l'élaboration de méthodes formelles pour la validation et la vérification de systèmes informatiques. Plus précisément, je m'intéresse à des approches du test de logiciels fondées sur des techniques de vérification comme la preuve ou le model-checking.

Mes travaux s'articulent principalement autour des problématiques suivantes :
  • Le test des aspects fonctionnels des systèmes informatiques, où le comportement attendu du système sous test est décrit dans un formalisme logique du premier ordre.
  • Le test des aspects réactifs des systèmes, où les formalismes utilisés pour spécifier le système peuvent être aussi bien des logiques modales que des systèmes de transitions.
  • Le test des aspects concurrents des systèmes distribués, dont le comportement est spécifié par des message sequence charts ou des réseaux de Petri par exemple.


Publications



Enseignements 17-18 Responsabilités
  • Coordinatrice de la spécialité informatique et responsable des stages ouvriers en 3e année à Polytech Paris-Sud (1re année de cycle ingénieur)

Enseignements antérieurs



Parcours

Depuis Sept. 2009 Maître de conférences au LRI, Université Paris-Sud 11
Sept. 2008 - Août 2009 Post-doctorante au LSV, ENS Cachan
Nov. 2007 - Juil. 2008 Post-doctorante ERCIM au CWI, Amsterdam, Pays-Bas
Sept. 2004 - Oct. 2007 Doctorante au laboratoire IBISC, Université Évry-Val d'Essonne
Thèse soutenue le 12 octobre 2007
Titre : « Test à partir de spécifications axiomatiques »
Directeur de thèse : Marc Aiguier