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  Code source  Combinaison d'analyse  Concurrence  Contrôleurs synchrones  Couverture de code  Dsl  Dynamique holomorphe  Electrum  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 -- Développement  Logiciels -- Vérification  Logiciels  Logiciels embarqués  Logique  Logique Temporelle Linéaire  Logique du premier ordre  Logique temporelle  Logique temporelle lineaire  Model-Checking  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  Méthodes formelles  Opérateurs d’intégration  Preuve  Preuve de programmes  Programmation logique  Programmation logique par contraintes  Programmation par contraintes  Programmation semi-définie  Protocole de recherche distribuée Chord  Qualité du code  Robotique  Réseau peer-To-Peer  Réseaux logiques programmables par l'utilisateur  SDL  Sat  Scpm  Smt  Spécification et Vérification Formelle  Spécification formelle  Synchronisation syntaxique et sémantique  Système GALS  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  Test unitaire  Tests de conformité  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  Vérification compositionnelle hétérogène  Vérification de modèles  Vérification de programmes  Vérification et validation  Électrum  Élimination de quantificateurs  

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

Informatique fondamentale et parallélisme
Soutenue en 1997
Thèse soutenue


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

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

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 6 thèses suivantes :


Virginie Wiels a été membre de jury de la thèse suivante :