--  Abstraction des prédicats  Accessibilité aux malades d'Alzheimer  Adaptation  Aggrégation de données  Algorithm  Algorithme  Algorithmes  Algèbres de processus  Allocation de ressources  Alzheimer, Maladie d'  Analyse de traces  Analyse des données  Analyse numérique  Applications temps réel  Apprentissage automatique  Apprentissage profond  Approche formelle  Architecture -- Informatique  Architecture  Architecture Orientée Services  Architecture logicielle  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 pondérés  Automates programmables  Automates temporisés  Automates temporisés probabilistes  Bipartite graph  Blocage  Blockchain  Bus de services d'entreprise  Bus de services d'entreprise  Cadre sémantique K  Camionnage  Centres de calcul  Centres de traitement informatique  Chaînes de Markov  Chemins de fer -- Trafic -- Régulation  Circuit graphe  Circulation, Technique de la  Cloud computing  Clouds  Commande automatique  Commande tolérante aux fautes  Commande, Théorie de la  Communication Coopérative  Communication inter-processus  Complétude des Données  Composition de services  Composition dynamique de services  Conception centrée sur l'utilisateur  Conception cross-layer  Concision des Données  Concurrence  Condition suffisante  Conformité  Consommation d'énergie  Contol d'accès et d'usage  Contrôlabilité et observabilité partielle  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  Données liées  Durée de vie  Dynamique  Défauts  Dépendances fonctionnelles  Dépendances sémantiques  ERTMS  Environnement mutli-Domaines  Ethereum  Etude theorique  Europe  Evaluation de la Qualité  Evaluation de performance  Exigences temporelles  Extraction de Schéma  Exécution Symbolique  Fabrication, Systèmes flexibles de  Fiabilité  Flux  Flux de travail  Fms  Folksonomie  Folksonomies  Formalisation  GPAO  Gestion des ressources radio  Graph circuit  Graph theory  Graphe biparti  Graphe de couverture  Graphes, Théorie des  Graphique des connaissances  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  Ingénierie système  Innovations technologiques  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  Intégration des systèmes  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  Maîtrise de la rumeur  Mega-Données  Minimisation d'influence  Mobilité  Model  Model Checking  Model checking  Model-checking  Modèle de mobilité pour l'évaluation des performances  Modèle de seuil linéaire  Modèle haut niveau  Modèle à base de composants  Modèles de mobilité  Modèles mathématiques  Modélisation  Modélisation des données  Monitoring  Multithreading  Mux-Licod  Métadonnées  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  Performance  Petri, Réseaux de  Procédés de fabrication -- Automatisation  Protocoles de routage  Routage  Réseaux d'ordinateurs  Réseaux de Petri  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  Systèmes à événements discrets  Systèmes échantillonnés  Temps réel  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 :

Sciences et technologies de l'information et de la communication spécialité Informatique
En préparation depuis le 01-10-2018
Thèse en préparation

Sciences et technologies de l'information et de la communication spécialité Informatique
En préparation depuis le 01-10-2018
Thèse en préparation

Sciences et technologies de l'information et de la communication spécialité Informatique
En préparation depuis le 21-02-2017
Thèse en préparation

Sciences et technologies de l'information et de la communication spécialité 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 9 thèses suivantes :

Informatique
Soutenue le 13-12-2019
Thèse soutenue
Informatique
Soutenue le 18-10-2012
Thèse soutenue

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

Informatique, données, IA
Soutenue le 24-07-2020
Thèse soutenue
Informatique
Soutenue le 20-09-2019
Thèse soutenue

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