, Lois de poursuite  Acceptation du risque  Algorithme de colonies de fourmis  Analyse de scènes  Analyse en composantes indépendantes  Approche modulaire  Chemins de fer -- Dispositifs de sécurité  Chemins de fer -- Trafic -- Régulation  Commande automatique  Composant-sur-étagère  Conduit coopérative  Contrôle d’intégrité  Contrôle/commande ferroviaire  ERTMS  Essais  Europe  Exigences temporelles  Génération de scénarios de test  Heuristiques  Imagerie tridimensionnelle  Ingénierie des systèmes  Ingénierie dirigée par les modèles  Interopérabilité ferroviaire  Intégration des systèmes  Localisation  Localisation par satellites, Systèmes de  Logiciels -- Vérification  Logique temporelle CTL*  Mesure de confiance  Mise en correspondance stéréoscopique  Model-checking  Modélisation formelle  Modélisation objet UML  Méthodes formelles  Objectifs de sécurité communs  Observateur  Observation  Passages à niveau  Petri, Réseaux de  Programmation dynamique  Propagation de croyance spatio-temporelle  Propagation de croyance sélective  Routes -- Échangeurs et intersections  Réseau de Petri  Réseaux de Petri P-temporisé  Réseaux logiques programmables par l'utilisateur  Signalisation ferroviaire  Spécification  Spécifications  Système ERTMS  Systèmes à paramètres répartis  Sécurité ferroviaire  Temps réel  Tests fonctionnels  Traitement d'images -- Techniques numériques  Traitement du signal  Transformation de modèles  Transports ferroviaires  UML  Vision artificielle  Vérification et validation  Évaluation  Évaluation du risque  

El-Miloudi El-Koursi a dirigé les 5 thèses suivantes :

Automatique, Génie informatique, Traitement du signal et des Images
Soutenue le 21-01-2013
Thèse soutenue


El-Miloudi El-Koursi a été rapporteur de la thèse suivante :


El-Miloudi El-Koursi a été membre de jury de la thèse suivante :