Optimisation de l'inférence de machine états appliquée à la sécurité en utilisant des technique d'instrumentation bas niveau et le checkpointing · SAMOVAR - Services répartis, Architectures, Modélisation, Validation, Administration des Réseaux, Doctorat · La Géode