AADL  Accord de niveau de service  Analyse de performance  Analyse stochastique  Applications véhiculaires  Apprentissage automatique  Asbm  Automobile  Automobiles -- Industrie et commerce  Avions  BDMP Généralisés  Circulation aérienne -- Contrôle  Cloud computing  Codes correcteurs d'erreurs  Composants électroniques  Contrôle-Commande  Disponibilité  Détection d'anomalie  Entretien  Entretien et réparations  Fiabilité  Génie logiciel  ISO 26262  Informatique  Informatique dans les nuages  Informatique distribuée  Informatique en nuage  Informatique mobile  Injection de faute  Injection de fautes  Linux  Logiciels -- Évaluation  Logiciels  Machine de Moore  Machines séquentielles, Théorie des  Maintenance  Markov, Processus de  Modèles de mobilités  Modélisation stochastique  Monitoring  Multiprocesseurs  Méthodes formelles  Méthodes formelles  Ordinateurs -- Fiabilité  Performabilité  Performance  Petri, Réseaux de  Planification  Planification mission  Processus stochastiques  Qualité de service  Représentativité des fautes  Référenciation  Réseaux ad hoc  Réseaux sans fil ad-hoc  SMT  Sensibilité au contexte  Stratégie de reconfiguration  Synthd'architecturesèse  Système avionique  Systèmes Embarqués  Systèmes d'exploitation  Systèmes de communication sans fil  Systèmes dynamiques  Systèmes dynamiques et réparables  Systèmes embarqués  Systèmes informatiques -- Mesures de sûreté  Systèmes informatiques  Systèmes informatiques mobiles  Systèmes stochastiques  Systèmes virtuels  Sécurité  Sûreté de fonctionnement  Test logiciel  Tests  Tests à base de scénarios  Théorie du contrôle  Tolérance  Tolérance aux fautes  Transformation de modèle  Virtualisation  Vérification  Évaluation en ligne  

Karama Kanoun a rédigé la thèse suivante :


Karama Kanoun a dirigé les 13 thèses suivantes :


Karama Kanoun a été président de jury de la thèse suivante :


Karama Kanoun a été membre de jury des 2 thèses suivantes :

Réseaux, télécom, système et architecture
Soutenue le 19-12-2017
Thèse soutenue