Abstraction des prédicats  Accessibilité aux malades d'Alzheimer  Adaptation  Aggrégation de données  Algorithmes  Algèbres de processus  Allocation de ressources  Alzheimer, Maladie d'  Analyse de traces  Analyse des données  Applications temps réel  Apprentissage automatique  Apprentissage profond  Approche formelle  Architecture -- Informatique  Architecture  Architecture Orientée Services  Architecture opérationnelle  Architecture orienté services  Architecture orientée service  Architecture orientée services  Architectures de commande  Auto-Adaptatif  Auto-Configuration  Automates  Automates communicants  Automates programmables  Automates temporisés  Automates temporisés probabilistes  Blocage  Blockchain  Bus de services d'entreprise  Bus de services d'entreprise  Cadre sémantique K  Camionnage  Chaînes de Markov  Chemins de fer -- Trafic -- Régulation  Circulation, Technique de la  Cloud computing  Commande automatique  Commande tolérante aux fautes  Communication Coopérative  Communication inter-processus  Composition de services  Composition dynamique de services  Conception cross-layer  Concurrence  Conformité  Consommation d'énergie  Contol d'accès et d'usage  Contrôle/commande ferroviaire  Contrôles d’accès  Correcte par construction  Couche réseau et MAC  Couloirs réservés  Cross layer  Crédibilité des données  DTN  Diagrammes globaux d'interaction  Distribution K  Durée de vie  Dynamique  Défauts  Dépendances fonctionnelles  Dépendances sémantiques  ERTMS  Environnement mutli-Domaines  Europe  Evaluation de performance  Exigences temporelles  Exécution Symbolique  Fabrication, Systèmes flexibles de  Fiabilité  Flux  Flux de travail  Fms  Folksonomie  Folksonomies  Formalisation  GPAO  Gestion des ressources radio  Graphes, Théorie des  Grosses bases de données  Génie logiciel  Géometrie stochastique  Géométrie stochastique  HetNet  Imperfection des données  Incertitude  Indexation  Indexation, classification documentaire, IDM, SOC, folksonomie à facette  Informatique  Informatique omniprésente  Ingénierie des systèmes  Ingénierie dirigée par les modèles  Inspection  Intelligence ambiante  Intelligence artificielle répartie  Interaction  Interblocage  Interblocages  Interfaces utilisateur  Internet des objets  Internet des véhicules  Internet mobile  Intervalles temporels imprécis pour les données liées  IoT Industrielle  LTE  LTE  Langage dédié  Langage spécifique au domaine  Localisation  Logiciels -- Vérification  Logiciels -- Évaluation  Logique temporelle  Logique temporelle des actions  MATLAB  Mega-Données  Mobilité  Model  Model Checking  Model checking  Model-checking  Modèle de mobilité pour l'évaluation des performances  Modèle haut niveau  Modèle à base de composants  Modèles de mobilité  Modèles mathématiques  Modélisation  Monitoring  Multithreading  Mux-Licod  Méthodes Formelles  Méthodes formelle  Méthodes formelles  Méthodes formelles  Métrique  Nettoyage de données  Observateur  Observateurs intervalles  Observation  Ontologies  Optimisation  Optimisation combinatoire  Optimisation de performance.  Ordonnancement  Ordonnancement  Organisation des connaissances  Outil de simulation NS-2  Outils de verification UPPAAL  Paradigme time-triggered  Performabilité  Performance  Petri, Réseaux de  Plan de soins à domicile  Planification  Prism  Process Mining  Processus ponctuels de Poisson  Processus workflow  Procédés de fabrication -- Automatisation  Programmes C  Prothèse de mémoire  Protocoles de routage  Provisionnement éco-énergétique  Qualité -- Contrôle  Qualité d'expérience  Qualité de Service  Qualité de données  RCSF  Radiocommunications mobiles  Recherche d'atteignabilité  Recommandation  Reconfiguration  Reseaux de Petri  Routage  Réduction  Répartition de charge  Réseau de Petri temporisé  Réseau de Petri à Agent  Réseaux S3PR  Réseaux ad hoc de véhicules  Réseaux complexes  Réseaux d'ordinateurs  Réseaux de Petri  Réseaux de Petri  Réseaux de Pétri stochastiques  Réseaux de capteurs  Réseaux sans fil  SOA  Services Web  Siphon  Synthèse de contrôleurs  Systèmes de communication sans fil  Systèmes de production automatisés  Temps réel  Thèses et écrits académiques  Transformation de modèles  Vérification  Vérification formelle  Web sémantique  

Kamel Barkaoui a rédigé la thèse suivante :


Kamel Barkaoui dirige actuellement les 4 thèses suivantes :

Informatique
En préparation depuis le 01-10-2018
Thèse en préparation

Informatique
En préparation depuis le 21-02-2017
Thèse en préparation

Informatique
En préparation depuis le 01-10-2016
Thèse en préparation


Kamel Barkaoui a dirigé les 20 thèses suivantes :


Kamel Barkaoui a été président de jury des 8 thèses suivantes :

Informatique
Soutenue le 18-10-2012
Thèse soutenue

Kamel Barkaoui a été rapporteur des 7 thèses suivantes :

Mathématiques et informatique. Automatique
Soutenue le 09-06-2017
Thèse soutenue

Kamel Barkaoui a été membre de jury des 6 thèses suivantes :

Mathématiques et Informatique
Soutenue le 30-06-2016
Thèse soutenue
Sciences de l'information et de la communication
Soutenue le 03-03-2015
Thèse soutenue