Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Dissertations & habilitations
Research results
Ph.D de

Ph.D
Group : Verification of Algorithms, Languages and Systems

Model-based techniques for automatic PIMS construction

Starts on 15/11/2011
Advisor : POIZAT, Pascal

Funding :
Affiliation : Université Paris-Sud
Laboratory : LRI

Defended on 26/09/2014, committee :
Directeur de thèse :
- M. Pascal POIZAT, Professeur, LIP6 et Université Paris Ouest

Co-encadrante :
- Mme Fatiha SAÏS, Maître de conférences, LRI et Université Paris Sud

Rapporteurs :
- Mme Salima BENBERNOU, Professeur, LIPADE et Université Paris Descartes
- M. Mohand-Said HACID, Professeur, LIRIS et Université Claude Bernard Lyon 1

Examinateurs :
- M. Kais KLAI, Maître de conférences - HDR, LIPN et Université Paris 13
- Mme Anne VILNAT, Professeur, LIMSI et Université Paris Sud

Research activities :
   - Integration of Data and Knowledge

Abstract :