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 16-17
  • Polytech Paris-Sud 3e année - UML (Cours/TD)
  • Polytech Paris-Sud 4e année - Vérification et validation (Cours/TD/TP)
  • Polytech Paris-Sud 5e année apprentissage - Test de logiciels (Cours/TD/TP partagé avec Fatiha Zaïdi)
  • L3 info/MIAGE - Génie logiciel avancé (Cours/TD/TP)
Responsabilités
  • Coordinatrice de la spécialité informatique et responsable des stages ouvriers en 3e année à Polytech Paris-Sud (1e 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-doc au LSV, ENS Cachan
Nov. 2007 - Juil. 2008 Post-doc ERCIM au CWI, Amsterdam, Pays-Bas
Sept. 2004 - Oct. 2007 Allocataire-monitrice 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