Algorithmes  Analyse de traces  Analyse des traces  Analyse interprocédurale  Analyse statique de programmes  Chemins infaisables  Cloud Computing  Compilation  Composants orientés service  Compréhension du système  Contrôlabilité  Contrôleurs synchrones  Design patterns  Diagnostic  Domotique  Dsl  Exécution symbolique  Génération aléatoire  Génération automatique de données de test  Génération automatique de tests unitaires  Génération de données  Industrie 4.0  Informatique Ubiquitaire  Informatique autonomique  Informatique dans les nuages  Informatique omniprésente  Ingénierie dirigée par les modèles  Interaction homme-ordinateur  Interfaces graphiques  Internet des objets  Itération de politiques  Localisation de faute Logiciels -- Essais  Logiciels -- Validation  Logiciels -- Vérification  Micro-contrôleur  Modèle de faute  Modélisation  Méthodes formelles  Méthodes formelles  PHP  Praspel  Procédures récursives  Programmation logique  Programmation logique par contraintes  Programmation par contraintes  Programmation récursive  Propriétés de sûreté  Qualité logiciel  Réduction de tests  Réseaux logiques programmables par l'utilisateur  Résumé de trace  SDL  SMT  Satisfiabilité modulo théorie  Scpm  Services  Simulation  Système cyberphysiques médicaux  Systèmes hybrides  Systèmes virtuels  Test logiciel  Test  Test basé sur le modèle  Test combinatoire  Test pendant l’élasticité  Tests  Validation  Élasticité  

Lydie du Bousquet a rédigé la thèse suivante :


Lydie du Bousquet a dirigé les 5 thèses suivantes :

Informatique
Soutenue le 04-10-2013
Thèse soutenue


Lydie du Bousquet a été président de jury des 4 thèses suivantes :

Informatique
Soutenue le 24-10-2014
Thèse soutenue

Lydie du Bousquet a été rapporteur des 3 thèses suivantes :


Lydie du Bousquet a été membre de jury de la thèse suivante :