Algorithmes d'appariements de graphes  Analyse de contre-exemples  Analyse de traces de test  Analyse structurelle  Approche de test basée sur les scénarios  Aspect  Avions -- Équipement électronique  B  Cloud computing  Codes correcteurs d'erreurs  Composition  Conformité  Cyberdéfense  Descriptions de scénarios  Detection de menaces  Détection  Enclenchements  Essais  Evitement  Fiabilité  Génération des entrées de test  Informatique dans les nuages  Informatique mobile  Inférence de modèles  Ingénierie dirigée par les modèles  Interaction homme-robot  Interférence  Langage de test  Logiciels -- Vérification  Logiciels -- Évaluation  Logiciels  Menace internet  Model-checking  Modèle de test  Modèles mathématiques  Moniteur de sécurité  Méta-modèle de test  Méthode de modélisation  Méthodes formelles  Optimisation combinatoire  Ordinateurs -- Accès -- Contrôle  Petri, Réseaux de  Preuve mathématique  Propriété critique de haut niveau  Robots autonomes  Règles de sécurité  Réalité virtuelle  Réseaux de Petri colorés  Résilience  Securité  Sensibilité au contexte  Signal, Théorie du  Simulation  Statistique  Synthèse  Système avionique  Système de production  Système d’enclenchement ferroviaire  Système embarqué  Système expert  Système à événements discrets  Systèmes autonomes  Systèmes de commande  Systèmes de contrôle-commande  Systèmes embarqués  Systèmes experts  Systèmes informatiques -- Mesures de sûreté  Systèmes informatiques -- Mise en oeuvre  Systèmes informatiques mobiles  Sécurité ferroviaire  Sûreté -- Systèmes  Sûreté de fonctionnement  Test  Test logiciel  Test passif  Tests  Tests à base de scénarios  Thèses et écrits académiques  Tolérance aux fautes  Tolérance aux fautes  Tolérance aux fautes  V&v  Vérification  

Hélène Waeselynck a rédigé la thèse suivante :


Hélène Waeselynck a dirigé les 9 thèses suivantes :

Sureté de logiciel et calcul de haute performance
Soutenue le 04-05-2018
Thèse soutenue


Hélène Waeselynck a été président de jury de la thèse suivante :


Hélène Waeselynck a été rapporteur des 2 thèses suivantes :

Automatique, génie informatique, traitement du signal et images
Soutenue le 24-07-2015
Thèse soutenue