Analyse et synthèse de détecteurs d'anomalies (attaques, défauts) sous contrainte de temps-critique · Laboratoire Ampère, Doctorat · La Géode