Algorithmes  Analyse de traces  Analyse des traces  Analyse interprocédurale  Analyse statique de programmes  Centrale nucléaire  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  Informatique, automatique théorique, systèmes  Ingénierie dirigée par les modèles  Interaction homme-ordinateur  Interfaces graphiques  Internet des objets  Logiciels -- Validation  Logiciels -- Vérification  Test  Validation  

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

Test fonctionnel statistique de logiciels spécifiés en Lustre : application à la validation de services téléphoniques

par Lydie du Bousquet sous la direction de Farid Ouabdesselam - Grenoble 1

Informatique

Soutenue en 1999

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

ParTraP : un langage pour la spécification et vérification à l'exécution de propriétés paramétriques

par Yoann Blein sous la direction de Yves Ledru et de Lydie du Bousquet . - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 15-04-2019

Aide à l'analyse de traces d'exécution dans le contexte des microcontrôleurs 32 bits

par Azzeddine Amiar sous la direction de Lydie du Bousquet et de Yliès Carlo Falcone . - Grenoble

Informatique

Soutenue le 27-11-2013

Filtering and reduction techniques of combinatorial tests

par Taha Triki sous la direction de Yves Ledru et de Lydie du Bousquet . - Grenoble

Informatique

Soutenue le 04-10-2013

Test fonctionnel de propriétés hybrides

par Yves Grasland sous la direction de Ioannis Parissis , Roland Groz et de Lydie du Bousquet . - Grenoble

Informatique

Soutenue le 15-02-2013

Validation de métriques de testabilité logicielle pour les programmes objets

par Muhammad Rabee Shaheen sous la direction de Farid Ouabdesselam et de Lydie du Bousquet . - Grenoble 1

Informatique

Soutenue en 2009

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

Tests automatisés dirigés par les exigences pour systèmes cyber-physiques

par Martial Chabot sous la direction de Laurence Pierre - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 30-10-2018

Finding inductive invariants using satisfiability modulo theories and convex optimization

par George Egor Karpenkov sous la direction de David Monniaux - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 29-03-2017

Génération automatique de test pour les contrôleurs logiques programmables synchrones

par Mouna Tka sous la direction de Ioannis Parissis - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 02-06-2016

Modèle à Composant pour Plate-forme Autonomique

par Pierre Bourret sous la direction de Philippe Lalanda - Grenoble

Informatique

Soutenue le 24-10-2014

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

Consolidation de validation fonctionnelle de systèmes critiques à l'aide de model checking : application au contrôle commande de centrales nucléaires

par Yanjun Sun sous la direction de Gérard Memmi et de Sylvie Vignes . - Paris, ENST

Informatique et réseaux

Soutenue le 09-10-2017

Controlling Cloud-Based Systems for Elasticity Testing

par Michel Albonico sous la direction de Gerson Sunyé et de Jean-Marie Mottu . - Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire

Informatique et applications

Soutenue le 28-08-2017

Infeasible Path Detection : a Formal Model and an Algorithm

par Romain Aïssat sous la direction de Burkhart Wolff - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 30-01-2017

Testing and maintenance of graphical user interfaces

par Valeria Lelli leitao sous la direction de Benoit Baudry - Rennes, INSA

Informatique

Soutenue le 19-11-2015

Génération automatique de tests unitaires avec Praspel, un langage de spécification pour PHP

par Ivan Enderlin sous la direction de Fabrice Bouquet , Frédéric Dadeau et de Alain Giorgetti . - Besançon

Informatique

Soutenue le 16-07-2014