english
Delphine Longuet Maître de conférences (actuellement en détachement à Thales Research & Technology) 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 Depuis le 1er septembre 2018, je suis en détachement à Thales Research & Technology, au sein du LSEC (laboratoire des systèmes embarqués critiques). Je participe au transfert des techniques et outils issus de la recherche en méthodes formelles vers les processus industriels. En parallèle de cette activité, 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 Pas d'enseignements en 2018-2019. Cours d'UML en vidéos Élaboré dans le cadre d'une classe inversée en 3e année à Polytech Paris-Sud. Enseignements antérieurs Parcours Depuis Sept. 2018 Ingénieur-chercheur en méthodes formelles à Thales Research & Technology 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