Algorithmes d'appariements de graphes  Analyse de contre-exemples  Analyse de traces de test  Analyse dysfonctionnelle  Analyse fonctionnelle  Analyse structurelle  Approche de test basée sur les scénarios  Aspect  Avions -- Équipement électronique  B  C  Cloud computing  Codes correcteurs d'erreurs  Combinaison d'analyse  Composition  Condition de détection de vulnérabilité  Conformité  Couverture de code  Cyberdéfense  Descriptions de scénarios  Design patterns  Detection de menaces  Détection  Détection automatique  Enclenchements  Essais  Evitement  Expériences de roulage  Fiabilité  Formalisme  Génie logiciel  Génération de scénarios  Génération des entrées de test  Informatique dans les nuages  Informatique mobile  Inférence de modèles  Ingénierie des exigences  Ingénierie des exigences dirigée par les buts  Ingénierie dirigée par les modèles  Interaction homme-robot  Interférence  Langage de test  Logiciels -- Développement  Logiciels -- Vérification  Logiciels -- Évaluation  Logiciels  Menace internet  Mesures de sécurité  Model checking  Model-checking  Modèle Or-BAC  Modèle de test  Modèles mathématiques  Modélisation conceptuelle  Moniteur de sécurité  Méta-modèle de test  Méthode de modélisation  Méthodes formelles  Méthodes formelles  OWL  Ontologie  Ontologies  Optimisation combinatoire  Ordinateurs -- Accès -- Contrôle  Petri, Réseaux de  Preuve de programmes  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 autonomes distribués  Systèmes avancés d’aide à la conduite  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  Template  Test  Test logiciel  Test passif  Test unitaire  Tests  Tests en simulation  Tests à base de scénarios  Tolérance aux fautes  Tolérance aux fautes  Tolérance aux fautes  UFO  V&v  Vulnérabilité  Vérification  Vérification de programmes  

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


Hélène Waeselynck dirige actuellement la thèse suivante :


Hélène Waeselynck a dirigé les 10 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 des 2 thèses suivantes :

Informatique et Télécommunications
Soutenue le 11-07-2019
Thèse soutenue

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

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