ACSL  ACSL  Adaptation  Adaptations  Agrégation de données  Algorithmes  Algorithmes d'approximation  Algotithme de Metropolis-Hastings  Analyse de contre-Exemple  Antivirus  Applications Web  Applications ponctuelles  Approximation  Approximations  Automates  Automates d'arbres  Automates finis non déterministes  Automates partiellement ordonnés  C  Cartes combinatoires  Certification  Check-lists  Collecte adaptative de données  Combination  Communication  Composant  Composants  Composants dentaires  Composants électroniques  Contraintes  Contraintes  Coq  Coq  Cps adaptatif  Critères de couverture  Cross-Site Request Forgery  Cross-Site Scripting  Débogage  Démonstrateur Spike  Filtrage par préfixe  Flux de travail  Fonction de similarité  Fouille de données  Frama-C  Génération aléatoire uniforrme  Génération de tests aléatoire  Injections SQL  Intelligence artificielle  K-Means  Khi-carré, Test du  Langage C  Model checking  Model-cheking régulier  Modèles algébriques  Modèles comportementaux  Monte-Carlo, Méthode de  Méthode de Monte-Carlo par chaîne de Markov  Méthodes formelles  Ordinateurs -- Fiabilité  Paramodulation  Patterns de Test de Vulnérabilité  Petri, Réseaux de  Preuve de programmes  Preuves par récurrence  Privilege Escalation  Procédures de décisions  Programmes impératifs  Propriété temporelles  Propriétés temporelle  Protocoles de réseaux d'ordinateurs  Raffinement  Reconfiguration  Reconfiguration  Reconfiguration dynamique  Récurrence implicite  Réduction  Réseaux Workflows  Réseaux de capteurs  Réseaux de capteurs périodiques,  Saturation schématique  Sciences pour l'ingénieur et microtechniques  Solveurs de contraintes  Spécifications modales  Surveillance  Système distribué  Systèmes informatiques -- Mesures de sûreté  Systèmes informatiques  Test  Test d'autocorrélation  Test de Gelman-Rubin  Test de Vulnérabilité  Test du khi-deux  Test à partir de Modèles  Théorèmes -- Démonstration automatique  Traitement automatique des données  Vérification  Vérification  

Olga Kouchnarenko a rédigé la thèse suivante :


Olga Kouchnarenko dirige actuellement la thèse suivante :

Informatique
En préparation depuis le 01-10-2017
Thèse en préparation


Olga Kouchnarenko a dirigé les 9 thèses suivantes :


Olga Kouchnarenko a été président de jury des 2 thèses suivantes :


Olga Kouchnarenko a été rapporteur des 2 thèses suivantes :


Olga Kouchnarenko a été membre de jury des 2 thèses suivantes :

Informatique
Soutenue le 30-06-2014
Thèse soutenue