.jpg)
Régine
Laleau
Professor
at Université Paris-Est Créteil
Member of LACL (Laboratoire d'Algorithmique, Complexité et Logique, EA 4219)
Régine LaleauUniversité 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 : Formal methods and Information Systems
Publications
PhD Supervision
- Racem Bougacha
(05/2019 - …) : Preuve formelle du respect du besoin pour une
solution de transport innovante. Co-encadrement avec Simon Collart-Dutilleul, IFSTTAR, Lille
- Meryem Afendi
(09/2018 - ...) : A Proof-Based Approach for the Modeling and
Verification of Cyber-Physical Systems. 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-2021
- EBRP
- EventB-Rodin-Plus Project (supported by the
French National ANR) 2019-2023