--  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  Android  Applications temps réel  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  Automatisation  Bipartite graph  Blocage  Blockchain  Blockchains  Bus de services d'entreprise  Bus de services d'entreprise  Cadre sémantique K  Camionnage  Centre de données virtualisé  Centres de calcul  Centres de traitement informatique  Chaînes de Markov  Chemins de fer -- Trafic -- Régulation  Chiffrement homomorphe  Chiffrement homomorphe et diffusion  Circuit graphe  Circuits d'interface  Circulation, Technique de la  Cloud  Cloud computing  Clouds  Commande automatique  Commande tolérante aux fautes  Commande, Théorie de la  Communication Automobile  Communication Coopérative  Communication inter-processus  Commutateur virtuel  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  E-Santé  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 modes de fonctionnement  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  IA  Imperfection des données  Incertitude  Indexation  Indexation, classification documentaire, IDM, SOC, folksonomie à facette  Informatique  Informatique dans les nuages  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 Industriel  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  Mesures de sûreté  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  Méthodes formelles  Optimisation  Petri, Réseaux de  Protocoles de routage  Routage  Réseaux d'ordinateurs  Réseaux de Petri  Réseaux de capteurs  Réseaux sans fil  SOA  Services Web  Supervision  Systèmes complexes  Systèmes d'allocation de ressources  Systèmes de communication sans fil  Systèmes de transport intelligent  Systèmes ferroviaires  Systèmes à événements discrets  Systèmes échantillonnés  Temps réel  Transformation de modèles  Vérification  Vérification formelle  Web sémantique  Évitement de blocages  

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


Kamel Barkaoui dirige actuellement les 2 thèses suivantes :

Nouvelles Méthodes de protection de données personnelles basées sur le chiffrement homomorphe

par Bachar Kachouh sous la direction de Kamel Barkaoui , Abed Ellatif Samhat et de Layth Sliman . - Paris, HESAM

Sciences pour l'ingénieur spécialité Informatique
En préparation depuis le 01-10-2021
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


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


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

Automatique, génie informatique, traitement du signal et des images
Soutenue le 20-01-2020
Thèse soutenue
Informatique
Soutenue le 13-12-2019
Thèse soutenue
Informatique
Soutenue le 18-10-2012
Thèse soutenue

Kamel Barkaoui a été rapporteur des 14 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