Accueil | Recherche | Enseignement | Publications | Autres Activités |
2006 |
Thèse de doctorat en Automatique et informatique industrielle Université de Haute Alsace (UHA) Ecole Supérieure des Sciences Appliquées pour l'Ingénieur de Mulhouse (ESSAIM) Laboratoire Modélisation, Intelligence, Processus Systèmes (MIPS) Groupe Logiciels et Systèles Intelligents (LSI) Titre :
Une approche Orientée Modèles pour la spécification, la Vérification et l'Implantation des systèmes Logiciels Critiques
Mots cles:
Commande de systèmes hybrides, sûreté de fonctionnement, Génie logiciel, Automatique,
Modélisation Objets, Agents concurents, UML, Ingénieurie Dirigée par les Modèles, Transformations de Modèles,
Validation/Vérification, Model-cheking, Implantation, Frameworks
Rapporteur:
Monsieur Jean Pierre Bourey, Ecole Centrale de Lille - LGI
Monsieur Jean Pierre Elloy, Ecole Centrale de Nantes - IRCCyN (membre CNU section 61)
Examinateur :
Monsieur Françis Lepage Université Henri Poincaré, Nancy - CRAN (membre CNU section 61)
Directeur : Monsieur Michel Hassenforder, Université de Haute Alsace - MIPS
Monsieur Bernard Thirion, Université de Haute Alsace, MIPS
Co-Directeur :
Monsieur Jean Marc Perronne, Université de Haute Alsace, MIPS
|
2002 |
Diplôme d’Etudes Approfondies (DEA) - Automatique et Informatique Industrielle Université de Haute Alsace Faclulté des Sciences et techniques (FST) 12 rue des Frères Lumières 68093 Mulhouse Cedex Mention Bien Titre du Stage: Commande Supervisée de Systèmes Dynamyques hybrides : Applications aux plateformes intelligentes
Encadrement :
Monsieur Bernard Thirion et Monsieur Jean MArc Perronne
|
2001 |
Maîtrise EEA - Electronique, Electrotechnique, Automatique Université de Haute Alsace Faclulté des Sciences et techniques (FST) 12 rue des Frères Lumières 68093 Mulhouse Cedex Mention Bien Titre du Stage:
Mise en Oeuvre d'une méthode de traitement d'image dans le cadre d'une étude d'écoulement de fluide
Encadrement :
Monsieur Alain Dieterlen
|
2000 |
Licence EEA - Electronique, Electrotechnique, Automatique Université de Haute Alsace Faclulté des Sciences et techniques (FST) 12 rue des Frères Lumières 68093 Mulhouse Cedex Mention Assez Bien |
1999 |
Classe Préparatoire aux Grandes Ecoles (Math. Spé. ATS) Lycée Gustave Eiffel 21000 Dijon |
1996 |
Brevet de technicien Supérieur (BTS) - Electrotecnique Lycée Saint Joseph 21000 Dijon |
1995 |
Baccalauréat - Electrotechnique Lycée Saint Joseph 21000 Dijon |
Depuis Octobre 2006 |
Attachée Temporaire d’Enseignement et de Recherche (mi-temps) Université de Haute Alsace (UHA) Ecole Nationale d'Ingénieurs Sud Alsace) Laboratoire MIPS Groupe LSI |
Octobre 2005 - Août 2006 |
Attachée Temporaire d’Enseignement et de Recherche (mi-temps) Université de Haute Alsace (UHA) Ecole Nationale d'Ingénieurs Sud Alsace) Laboratoire MIPS Groupe LSI |
Octobre 2002 - Septembre 2005 |
Allocataire de Recherche MERNT Université de Haute Alsace (UHA) IUT de Mulhouse - Département GEII (Génie Electrique et Informatique Industrielle Ecole Nationale d'Ingénieurs Sud Alsace) Laboratoire MIPS Groupe LSI |