Algorithmes génétiques  Analyse par intervalles  Apprentissage  Apprentissage cognitif  Arbres de défaillance flous  Avatars  B  Carte cognitive floue  Cartes cognitives  Chemins de fer -- Accidents  Conception optimale  Disponibilité  Durée de vie  Durée de vie résiduelle  Environnements virtuels  Erreurs humaines  Europe  Facteurs d'importance  Fiabilité  Fiabilité des systèmes  Fiabilité humaine  Fonctions de croyances  Formation en environnements virtuels  Gestion d'incertitudes  Gestion des crises  Gestion du risque  Incertitude  Incertitudes  Ingénierie des systèmes  Intelligence artificielle  Interaction homme-ordinateur  Intervalles  Maintenabilité  Maintenance conditionnelle  Maintenance prévisionnelle  Markov, Processus de  Modèle Or-BAC  Modèle RBAC  Modèles de Markov cachés  Modèles mathématiques  Modélisation UML/B  Méthodes graphiques  Narration  Narration interactive  Niveaux d'Intégrité de Sécurité  Optimisation mathématique  Pannes  Planification  Probabilités  Probabilités des états de fonctionnement  Pronostics  Prévision  Règles d'exploitation ferroviaires  Réalité virtuelle  Réseaux de fiabilité  Scénarisation  SdF  SdS  Système ferroviaire  Système multi-états  Systèmes Instrumentés de Sécurité SIS)  Systèmes complexes  Systèmes d'aide à la décision  Systèmes de systèmes  Systèmes homme-machine  Systèmes virtuels  Sécurité de fonctionnement  Sécurité des systèmes  Sécurité ferroviaire -- Facteurs humains  Sécurité ferroviaire  Sûreté de fonctionnement  Sûreté des systèmes  Temps entre défaillances, Analyse des  Théorie de Dempster-Shafer  Théorie des fonctions de croyances  Trains  Transports ferroviaires  UML  Validation formelle  Vérification formelle  Évaluation du risque  

Mohamed Sallak a rédigé la thèse suivante :


Mohamed Sallak a dirigé les 6 thèses suivantes :

Sciences et Technologies de l'Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253)
Soutenue le 02-03-2020
Thèse soutenue
Sciences et Technologies de l'Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253)
Soutenue le 30-04-2019
Thèse soutenue
Sciences et Technologies de l'Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253)
Soutenue le 08-04-2019
Thèse soutenue
Technologies de l'Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253)
Soutenue le 03-10-2017
Thèse soutenue


Mohamed Sallak a été rapporteur de la thèse suivante :

Automatique, Génie informatique, Traitement du Signal et des Images
Soutenue le 19-02-2016
Thèse soutenue