Soutenance de thèse de Faiez ZALILA
Méthodes et outils pour l’intégration de la vérification formelle pour les langages dédiés
| Titre anglais : | Methods and tool for integrating formal verification in domain-specific language |
| Ecole Doctorale : |
EDMITT - Ecole Doctorale Mathématiques, Informatique et Télécommunications de Toulouse |
| Spécialité : | SURETE DE LOGICIEL ET CALCUL DE HAUTE PERFORMANCE |
| Etablissement : | Institut National Polytechnique de Toulouse |
| Unité de recherche : | UMR 5505 - IRIT : Institut de Recherche en Informatique de Toulouse |
| Direction de thèse : | Yamine AIT AMEUR
|
| Co-encadrement de thèse : | Xavier CREGUT
|
Cette soutenance
a eu lieu mardi 09 décembre 2014 à
10h00Adresse de la soutenance : ENSEEIHT, 2 rue Charles Camichel, 31000 Toulouse. - salle C002
devant le jury composé de :
| Yamine AIT HAMEUR |
|
Professeur |
|
INP Toulouse |
|
Directeur de thèse |
| Hassan MOUNTASSIR |
|
PROFESSEUR |
|
Université de Franche-Comté - UFC |
|
Rapporteur |
| Pierre-Etienne MOREAU |
|
Professeur |
|
École des Mines de Nancy |
|
Rapporteur |
| François VERNADAT |
|
Professeur |
|
INSA de Toulouse |
|
Examinateur |
| benoît COMBEMALE |
|
M.C. |
|
Université de Rennes |
|
Examinateur |
| Xavier CRéGUT |
|
M.C. |
|
INPT-ENSEEIHT |
|
Examinateur |
| Marc PANTEL |
|
M.C. |
|
INPT-ENSEEIHT |
|
Examinateur |
| Résumé de la thèse en français : |
a |
| |
| Résumé de la thèse en anglais: |
... |
| Mots clés en français : | ingénierie dirigée par les modèles, langages dédiés, Rétroingénierie, transformation des modèles, La vérification des modèles, systèmes critiques, |
| Mots clés en anglais : | Model driven engineering, Domain-specific languages, Reverse engineering, Model transformation, Model checking, Safety critical systems, |