Régine Laleau

Professor at Université Paris-Est Créteil

Member of LACL (Laboratoire d'Algorithmique, Complexité et Logique, UR 4219)

Régine Laleau
Université Paris-Est Créteil, IUT Sénart-Fontainebleau
Département Informatique
Route forestière Hurtault
F-77300 Fontainebleau
France

Phone: +33.(0)1.60.74.68.40 (office)
Mobile: +33.(0)6.67.77.44.80
Fax: +33.(0)1.60.74.68.28
E-mail: laleau@u-pec.fr

Research

Keywords : Formal methods, Complex system engineering, Information system engineering, Requirements engineering

Publications : DBLP and HAL

PhD Supervision

• Adrien Didier (10/2025 - …) : A Proof-Based Approach for the Modeling and Verification of Spatial Systems. Co-encadrement avec Dr Frédéric Gervais, Prof. Julien Cervelle, Prof. Catalin Dima, Univ. Paris-Est Créteil
• Théo Lacoste (10/2024 - …) : Processus correct par construction et sensible au temps basé sur les TASTD et Event-B. Cotutelle avec Prof. Marc Frappier, univ. Sherbrooke, Quebec. Co-encadrement avec Dr Frédéric Gervais, Univ. Paris-Est Créteil
• Mariem Hammami (10/2020 - …) : Formal Abstraction and Refinement for Hybrid Systems. Co-encadrement avec Prof. Catalin Dima, Dr Youssouf Oualhadj, Univ. Paris-Est Créteil
• Racem Bougacha (05/2019 – 07/2023) : A formal approach for modeling high-level architectures of complex systems aligned with requirement models. PhD Thesis. Co-encadrement avec DR Simon Collart-Dutilleul, COSYS/ESTAS, Université Gustave Eiffel, Villeneuve d’Ascq
• Meryem Afendi (09/2018 – 12/2022) : A correct by construction approach for the modeling and the verification of cyber-physical systems in Event-B. PhD Thesis. Co-encadrement avec Prof. Amel Mammar, Télécom SudParis, Evry
• Steve Tueno (11/2016 – 10/2019) : Vers une Approche Formelle d'Ingénierie des Exigences Outillée et Éprouvée. PhD Thesis. Cotutelle avec Prof. Marc Frappier, univ. Sherbrooke, Quebec.
• Ti Mai Nguyen (2013 - 2016) : A Model Driven Engineering Approach to Build Secure Information Systems. PhD Thesis. Co-encadrement avec Dr Amel Mammar, Télécom SudParis, Evry
• Nghi Huynh (2012 - 2016) : Gestion du consentement du patient dans le dossier clinique informatique. PhD Thesis. Cotutelle avec Prof. Marc Frappier, univ. Sherbrooke, Quebec. Co-encadrement avec Dr Amel Mammar, Télécom SudParis, Evry
• Thomas Fayolle (2012 - 2017) : Combinaison de méthodes formelles pour la spécification de systèmes industriels. PhD Thesis . Cotutelle avec Prof. Marc Frappier, univ. Sherbrooke, Quebec
• Jérémy Milhau (2008 - 2011) : Un processus formel d'intégration de politiques de contrôle d'accès dans les systèmes d'information. PhD Thesis , cotutelle avec Prof. Marc Frappier, univ. Sherbrooke, Quebec
• Michel Embe Jiague (2008 - 2012) : PhD Thesis, cotutelle avec Prof. Richard Saint-Denis, univ. Sherbrooke, Quebec
• Pierre Konopacki (2007 - 2012) : PhD Thesis, cotutelle avec Prof. Marc Frappier, univ. Sherbrooke, Quebec
• Abderrahman Matoussi (2007 - 2011) : PhD Thesis
• Frédéric Gervais (2003 - 2006) : PhD Thesis
• Amel Mammar (1998 - 2002): PhD Thesis
• Phuong Nguyen (1995 - 1998): PhD Thesis
• Nadira Lammari (1992 - 1996): PhD Thesis

Research Projects

• EDEMOI Project (supported by the French National Action Concertée Incitative "Sécurité et Informatique") 2003-2006
• TACOS Project (supported by the French National ANR SetIn)  2007-2010
• POLUX Project (supported by the French National ANR SetIn)  2007-2010
• EB3SEC Project (supported by CRSNG Canada)  2008-2010
• SELKIS Project (supported by the French National ANR Arpege)  2009-2012
• FORMOSE Project (supported by the French National ANR)  2014-2019
• DISCONT Project (supported by the French National ANR)  2017-2024
• EBRP - EventB-Rodin-Plus Project (supported by the French National ANR)  2019-2026
• TAPAS Project (supported by the French National ANR)  2025-2029

Teaching/Enseignement (in French)

• Département Informatique IUT Sénart-Fontainebleau
  

Duties/Responsabilités (in French)

Actuellement :

· Depuis septembre 2022 : Directrice adjointe en charge de la Recherche à l'IUT Sénart-Fontainebleau

· Depuis septembre 2022 : Responsable des formations en alternance BUT2 et BUT3 au département informatique de l'IUT

· Co-responsable du groupe de travail Ingénierie des Exigences du GDR GPL depuis 2015

Par le passé :

· Membre du CNU 27 de 2011 à 2019, membre du bureau de 2015 à 2019

· Directrice du LACL de juin 2008 à décembre 2016

· Membre de la commission de la recherche et du conseil académique de l'université de 2016 à 2022.

· Membre du conseil du département informatique de l'IUT et membre du conseil de gestion de l'IUT depuis mai 2006.