Analyse Dynamique  Analyse Statique, Logiciels critiques  Analyse de contre-exemples  Analyse de traces  Analyse dynamique  Analyse statique  Analyse structurelle  Architecture -- Informatique  Assistants de preuve  Avionique  Avionique modulaire intégrée  Avions -- Équipement électronique  Calcul intensif  Catégories  Concurrence  Contrôleurs synchrones  Dsl  Dynamique holomorphe  Ellipsoïdes  FRAMA-C  Génération automatique de données de test  Ingénierie Dirigée par le Modèles  Ingénierie dirigée par les modèles  Institutions  Interprétation abstraite  Invariants  Invariants quadratiques  Itération sur les stratégies  K-induction  Langage de test  Langages de programmation -- Sémantique  Logiciels -- Vérification  Logiciels  Logiciels embarqués  Logique Temporelle Linéaire  Logique temporelle  Model-checking  Modularité  Modèle de test  Modèle de traces  Modèles mathématiques  Méta-modèle de test  Méthodes formelles  Méthodes formelles  Opérateurs d’intégration  Preuve  Programmation logique  Programmation logique par contraintes  Programmation par contraintes  Programmation semi-définie  Réseaux logiques programmables par l'utilisateur  SDL  Sat  Scpm  Smt  Spécification formelle  Synchronisation syntaxique et sémantique  Système avionique  Système cyberphysiques médicaux  Système embarqué  Systèmes GALS  Systèmes de commande  Systèmes de contrôle-commande  Systèmes embarqués  Systèmes informatiques -- Mise en oeuvre  Systèmes à base de composants  Sémantique opérationnelle  Techniques de descriptions formelles  Test logiciel  Test  Théorie des catégories  Télécommunications  UML  V&v  Verification basée sur les modèles  Vues orientées métier  Vérification compositionnelle hétérogène  Vérification et validation  Élimination de quantificateurs  

Virginie Wiels a rédigé la thèse suivante :


Virginie Wiels a dirigé les 7 thèses suivantes :

Sureté de logiciel et calcul de haute performance
Soutenue le 18-12-2013
Thèse soutenue
Sureté de logiciel et calcul de haute performance
Soutenue le 03-09-2013
Thèse soutenue


Virginie Wiels a été rapporteur des 5 thèses suivantes :