EFFICIENT COMPILATION OF EMBEDDED CONTROL SPECIFICATIONS WITH COMPLEX FUNCTIONAL AND NON-FUNCTIONAL PROPERTIES

Je tiens à remercier ici Dumitru Potop-Butucaru, mon directeur de thèse, pour la confiance qu’il m’a accordée, pour tous les conseils qu’il m’a prodigués, pour sa disponibilité et sa patience tout au long de ma thèse, pour son ouverture d’esprit et pour son implication sans faille à mes côtés tant durant cette thèse que pour la préparation de mon avenir. J’aimerais également remercier Isabelle Puaut et François Irigoin, qui ont accepté d’être les rapporteurs de cette thèse, pour leurs remarques constructives qui m’ont permis de prendre du recul sur mon travail et de l’améliorer. Je remercie de même Alix Munier, David Lesens et Laurent George de m’avoir fait l’honneur d’accepter de participer à mon jury. Je voudrais remercier les membres passés et présents de mon équipe pour leur bi-enveillance et leur sympathie, ainsi que pour leurs conseils et leur soutien dans les mo