Doctorat PhD en Informatique

2008 — 2011 Docteur en Informatique, ISAE-ENSMA

• Intitulé: “Intégration d'éléments sémantiques dans l’analyse d’ordonnançabilité des applications temps-réel”
• Directrice de thèse : Annie Choquet-Geniet; Co-directeur de thèse : Guy Vidal-Naquet
• Soutenance : 20 février 2012;
• Mention : Trés honorable;
• Financement : Bourse de la région Poitou-Charentes — (36 mois)

Jury de thèse

• Emmanuel Grolleau (président) — ISAE-ENSMA
• Franck Pommereau (rapporteur) — Université d’ Evry
• Frank Singhoff (rapporteur) — Université de Bretagne Occidentale
• Christophe Aussaguès (examinateur) — CEA LIST
• Annie Choquet-Geniet (examinateur) — Université de Poitiers
• Guy Vidal-Naquet (examinateur) — SUPELEC

Thèmes abordés

• Systèmes temps-réel et embarqués
• Modélisation (Réseaux de Petri) et Validation (Graphes de marquages) hors-ligne des applications temps-réel
• Programmation GCC, C, FLEX, BISON, XML