Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

These ahmed mekki N d ? ordre ÉCOLE CENTRALE DE LILLE THÈSE pour l ? obtention du Doctorat de l ? École Centrale de Lille Spécialité Automatique Génie informatique Traitement du Signal et Images présentée par Ahmed Mekki Titre de la thèse Contribution à l

N d ? ordre ÉCOLE CENTRALE DE LILLE THÈSE pour l ? obtention du Doctorat de l ? École Centrale de Lille Spécialité Automatique Génie informatique Traitement du Signal et Images présentée par Ahmed Mekki Titre de la thèse Contribution à la Spéci ?cation et à la Véri ?cation des Exigences Temporelles Proposition d ? une extension des SRS d ? ERTMS niveau Soutenue le avril devant le jury d ? examen Président Rapporteur M Walter Sch? n Professeur des Universités UTC-Compiègne Rapporteur M Kamel Barkaoui Professeur des Universités CNAM-Paris Examinateurs M El-Miloudi El-Koursi M David Gouyon M Eric Rutten Directeur de Recherche IFSTTAR-Villeneuve d ? Ascq Ma? tre de Conférences CRAN-Nancy Chargé de Recherche HDR INRIA-Rhône-Alpes Encadrant M Mohamed Ghazel Chargé de Recherche IFSTTAR-Villeneuve d ? Ascq Directeur M Armand Toguyéni Professeur des Universités LAGIS -École Centrale de Lille Thèse préparée au laboratoire ESTAS de l ? Institut Français des Sciences et Technologies des Transports de l ? Aménagement et des Réseaux IFSTTAR Laboratoire LAGIS de l ? École Centrale de Lille École Doctorale SPI Lille I Lille III Artois ULCO UVHC EC Lille PRES Université Lille Nord-de- France Ahmed MEKKI CAhmed MEKKI CÀ ma grande-mère Bournia Ahmed MEKKI CAhmed MEKKI CRemerciements Les travaux de thèse présentés dans ce manuscrit ont été réalisés à l ? institut français des sciences et technologies des transports IFSTTAR à Villeneuve d ? Ascq Je voudrais saisir cette opportunité pour remercier IFSTTAR de m ? avoir o ?ert cette expérience magni ?que La recherche scienti ?que est un métier magique et c ? est un bonheur de l ? avoir commencé ici C ? est avec toute ma gratitude que j ? exprime ici mes plus vifs remerciements à Mohamed Ghazel qui a bien voulu accepter d ? encadrer ce travail de thèse Sans sa disponibilité malgré sa charge de travail sa patience les conseils qu ? il m ? a prodigués tout au long de ces trois ans ses mots d ? encouragement ce travail n ? aurait pas pu sans doute être mené à son terme Merci J ? exprime ma profonde reconnaissance et remerciement à Armand Toguyéni pour avoir dirigé mes travaux de thèse pour sa passion ses conseils et pour m ? avoir aidé à améliorer mon travail Malgré ses responsabilités administratives qui s ? ajoutent à sa charge du travail d ? enseignement d ? encadrement et de recherche il a toujours su trouver du temps pour discuter Merci Je remercie chaleureusement Florent Peres qui a suivi de près une partie de ce travail sans qui cette partie n ? existerait pas sous cette forme Ses observations judicieuses et ses remarques ont été des plus déterminantes dans la conduite de ces travaux et dans la forme ?nale qu ? ils ont pris Remerciements à Monsieur Kamel Barkaoui professeur des universités au CNAM-Paris et à Monsieur Walter Sch? n professeur des universités à l ? université de technologie de Compiègne pour avoir accepté de rapporter ma thèse Je remercie