ASTD  Accès -- Contrôle  Allocation de ressources  Allocation de ressources  Assistants de preuve  Attaques internes  Atteignabilité  Automatisation  B  B  B System  Bases de données -- Conception  C  Cloud Computing  Cloud computing  Compilation  Compilation  Condition de détection de vulnérabilité  Configuration des ressources Cloud  Contrôle d'accès  Correction  Cyberterrorisme  Design patterns  Dmp  Dossier médical personnel  Détection automatique  Détection d'intrusions  Formalisme  Gestion d'entreprise  Gestion de processus métier  Gestion de processus métiers  Gestion électronique de documents  Génie Logiciel  Génie logiciel  Informatique dans les nuages  Ingénierie dirigée par les modèles  Ingénierie dirigée par les modèles  Intelligence artificielle  Internet des objets  Logiciels  Model checking  Model-Checking  Modèles de processus configurables  Modélisation du domaine  Médical  Méthode B  Méthodes Formelles  Méthodes formelles  Méthodes formelles  Objets coopérants  Ontologies  Ontologies  Politiques de sécurité  Preuve  Preuves  Propriétés dynamiques  Protection de l'information  Raffinement  Résolution de contraintes  Social computing  Spécification formelle  SysML/KAOS  Système Ferroviaire  Systèmes cyber-physiques  Systèmes d'information  Systèmes de détection d'intrusion  Systèmes embarqués  Systèmes en ligne  Systèmes informatiques -- Mesures de sûreté  Sûreté de fonctionnement  Template  Test passif  Tolérance aux fautes  Transports ferroviaires  Vulnérabilité  Vérification  Vérification formelle  Web semantique  Web sémantique  

Amel Mammar a rédigé la thèse suivante :


Amel Mammar dirige actuellement la thèse suivante :


Amel Mammar a dirigé les 6 thèses suivantes :


Amel Mammar a été membre de jury des 5 thèses suivantes :

Réseaux, information et communications
Soutenue le 10-11-2020
Thèse soutenue