Knowledge Tree

researcher / Karama Kanoun

Karama Kanoun

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Croissance de la sûreté de fonctionnement des logiciels : caractérisation, modélisation, évaluation

Directed Thesis:

Monitoring et détection d'anomalie par apprentissage dans les infrastructures virtualisées

Test de systèmes ubiquitaires avec prise en compte explicite de la mobilité

From safety analysis to experimental validation by fault injection - Case of automotive embedded systems

Spécification et construction incrémentale de modèles de sûreté de fonctionnement : application au CAUTRA

Interactions entre composants matériel et logiciel de systèmes tolérants aux fautes : caractérisation, formalisation, modélisation : application à la sûreté de fonctionnement du CAUTRA

Modèle hyperexponentiel en temps continu et en temps discret pour l'évaluation de la croissance de la sûreté de fonctionnement