Kamel Barkaoui
Kamel Barkaoui wrote the following thesis:
Contribution aux methodes d'analyse des reseaux de petri par la theorie des graphes
by Kamel Barkaoui supervised by Bernard Lemaire - Paris 6
Sciences appliquées
defended on 1988
Kamel Barkaoui currently supervises the 2 following theses
Nouvelles Méthodes de protection de données personnelles basées sur le chiffrement homomorphe
by Bachar Kachouh supervised by Kamel Barkaoui , Abed Ellatif Samhat and Layth Sliman . - Paris, HESAM
Sciences pour l'ingénieur spécialité Informatique
Ongoing since 01-10-2021
Gestion Optimale des Flux des Mega-Données dans le contexte de l'Internet Industriel des Objets (IIoT)
by Ines Gharbi supervised by Kamel Barkaoui - Paris, HESAM
Sciences pour l'ingénieur spécialité Informatique
Ongoing since 21-02-2017
Kamel Barkaoui supervised the 22 following theses
Sûreté de fonctionnement et provisionnement éco-énergétique dans les centres de données virtualisés IaaS
by Zeineb Tayachi supervised by Kamel Barkaoui and Mohamed Escheikh . - Paris, CNAM
Informatique
defended on 09-07-2021
Blockchain for the Internet of vehicles : A decentralized IoT Solution for vehicles communication and payment using Ethereum
by Jabbar Rateb supervised by Kamel Barkaoui - Paris, HESAM
Informatique
defended on 02-07-2021
Design and Development of an Intelligent and Secure E-Health System Based on Probabilistic Reasoning and Blockchain Technology
by Hossain Kordestani supervised by Kamel Barkaoui - Paris, HESAM
Informatique
defended on 04-06-2021
Radio Resource Management in LTE Networks : Load Balancing in Heterogeneous Cellular Networks
by Hana Jouini supervised by Kamel Barkaoui and Tahar Ezzedine . - Paris, CNAM
Informatique
defended on 20-12-2017
Un cadre sémantique formel pour la description, sélection et composition des services web
by Manel Amel Djenouhat supervised by Kamel Barkaoui and Faiza Belala . - Paris, CNAM
Informatique
defended on 23-10-2017
Méthode de conception de logiciel système critique couplée à une démarche de vérification formelle
by Amira Methni supervised by Kamel Barkaoui and Serge Haddad . - Paris, CNAM
Informatique
defended on 07-07-2016
Contribution à la formalisation et à la vérification des diagrammes dynamiques UML2 à base des réseaux de Petri
by Aymen Louati supervised by Kamel Barkaoui and Noureddine Ellouze . - Paris, CNAM
Informatique
defended on 09-12-2015
On intrinsically live structure and deadlock control of generalized Petri nets modeling flexible manufacturing systems
by Ding Liu supervised by Kamel Barkaoui - Paris, CNAM
Informatique
defended on 08-07-2015
Optimal supervisory control of flexible manufacturing systems
by Yufeng Chen supervised by Kamel Barkaoui - Paris, CNAM
Informatique
defended on 07-07-2015
Supervisor Synthesis for Automated Manufacturing Systems Based on Structure Theory of Petri Nets
by Gaiyun Liu supervised by Kamel Barkaoui - Paris, CNAM
Informatique
defended on 27-12-2014
A stepwise compositional approach to model and analyze system C designs at the transactional level and the delta cycle level
by Nesrine Harrath supervised by Kamel Barkaoui and Bruno Monsuez . - Paris, CNAM
Informatique
defended on 04-11-2014
Contribution à la modélisation et à la vérification des systèmes multi agents
by Borhen Marzougui supervised by Kamel Barkaoui and Néjib Ben Hadj-Alouane . - Paris, CNAM
Informatique
defended on 12-06-2014
Web Service Composition Compatibility : adaptation in the presence of Business Protocol Evolution
by Maryam Eslamichalandar (Darvish) supervised by Kamel Barkaoui - Paris, CNAM
Informatique
defended on 19-12-2013
Conception et évaluation de performance d'un Bus applicatif, massivement parallèle et orienté service
by Ridha Mohammed Benosman supervised by Kamel Barkaoui - Paris, CNAM
Informatique
defended on 12-12-2013
Approches formelles pour l'analyse de la performabilité des systèmes communicants mobiles : Applications aux réseaux de capteurs sans fil
by Robert Abo supervised by Kamel Barkaoui - Paris, CNAM
Informatique
defended on 06-12-2011
Contribution à la modélisation et à la vérification de processus workflow
by Zohra Sbaï supervised by Kamel Barkaoui - Paris, CNAM
Informatique
defended on 13-11-2010
Adaptation de liens et mécanisme inter-couches pour les réseaux coopératifs
by Jun Chen supervised by Kamel Barkaoui - Paris, CNAM
Informatique
defended on 2010
Etude et optimisation des protocoles de réseaux de capteurs sans fil
by Hafedh Zayani supervised by Kamel Barkaoui - Paris, CNAM
Informatique
defended on 2009
Modélisation et analyse des processus Workflows reconfigurables et distribués par les ECATNets récursifs
by Awatef Hicheur supervised by Kamel Barkaoui - Paris, CNAM
Informatique
defended on 2009
Modélisation et analyse de la flexibilité dans les systèmes workflow
by Rim Hachicha supervised by Kamel Barkaoui - Paris, CNAM
Informatique
defended on 2007
Modelisation et optimisation de methodes de controle de concurrence dans les modeles de transactions multibases
by RABAH BENAMARA supervised by Kamel Barkaoui - Paris, CNAM
Sciences et techniques
defended on 1999
Méthodes d'allocation de ressources dans les systèmes flexibles de production manufacturière fondées sur l'analyse structurelle des réseaux Petri
by Imed Ben Abdallah supervised by Kamel Barkaoui and Pierre Dejax . - Châtenay-Malabry, Ecole centrale de Paris
Productique et recherche opérationnelle
defended on 1996
Kamel Barkaoui was president of the thesis committee the 11 following theses
Gestion des modes de systèmes à événements discrets : application au passage de frontière sous ERTMS
by Hela Kadri supervised by Simon Collart-Dutilleul and Samir Ben Ahmed . - Centrale Lille Institut
Automatique, génie informatique, traitement du signal et des images
defended on 20-01-2020
Linked data quality : completeness and conciseness
by Subhi Issa supervised by Samira Si-Said Cherfi - Paris, CNAM
Informatique
defended on 13-12-2019
Modélisation de la configuration automatique dans des systèmes auto-adaptatifs basés sur l'architecture
by Rim El Ballouli supervised by Saddek Bensalem - Université Grenoble Alpes (ComUE)
Informatique
defended on 20-03-2019
Hybrid cloud model checking using the interaction layer of HARMS for ambient assistive living environments
by Mauricio Alejandro Gomez Morales supervised by Yacine Amirat and Eric T. Matson . - Paris Est
Informatique
defended on 17-12-2018
Dialogue graphique intelligent, fondé sur une ontologie, pour une prothèse de mémoire
by Fatma Ghorbel supervised by Elisabeth Métais and Nebrasse Ellouze . - Paris, CNAM
Informatique
defended on 10-07-2018
Amélioration de la qualité des données : correction sémantique des anomalies inter-colonnes
by Houda Zaidi supervised by Yann Pollet , Naoufel Kraiem and Faouzi Boufares . - Paris, CNAM
Informatique
defended on 01-02-2017
Using timed automata formalism for modeling and analyzing home care plans
by Kahina Gani supervised by Farouk Toumani and Rémi Bastide . - Clermont-Ferrand 2
Informatique
defended on 02-12-2015
Gestion de l’hétérogénéité d’un SI de classification documentaire multifacette et positionnement dans l’environnement des ECM.
by Manel Ankoud supervised by Manuel Zacklad - Paris, CNAM
Sciences de l'information et de la communication
defended on 19-12-2014
Ordonnancement et qualité de service dans les réseaux sans fil véhiculaires
by Lusheng Miao supervised by Karim Djouani - Paris Est
Informatique
defended on 16-12-2014
La mobilité sociale : Modèles et traces
by Hervé Costantini supervised by Selma Boumerdassi - Paris, CNAM
Informatique
defended on 18-10-2012
Une solution tolérante aux délais pour des applications de localisation et de traçabilité a posteriori en milieux confinés
by Mohamed Chakib Baouche supervised by Michel Misson and Antonio Freitas . - Clermont-Ferrand 2
Informatique
defended on 12-07-2012
Kamel Barkaoui was examiner the 15 following theses
Détection d'intrusion à faible empreinte carbone dans les systèmes IoT basée sur un algorithmes Deep Learning combiné à une métaheuristique
by Mohamed Sassi supervised by Rachid Chelouah - CY Cergy Paris Université
STIC (Sciences et Technologies de l'Information et de la Communication) - ED EM2PSI
defended on 03-05-2023
Contributions to event driven control of batches Petri nets for steady state reaching
by Ruotian Liu supervised by Isabel Demongodin , Leonardo Brenner and Rabah Ammour . - Aix-Marseille
Automatique
defended on 14-12-2021
Synthèse de contrôleurs pour des classes de réseau de Petri à contrôlabilité et observabilité partielles : application au contrôle automatisé des trains
by Paul Cazenave supervised by Armand Abdoul Karim Toguyeni and Manel Khlif . - Centrale Lille Institut
Automatique, génie informatique, traitement du signal et des images
defended on 26-11-2020
Product Usability Driven System Engineering
by Saad Aldoihi supervised by Omar Hammami - Institut polytechnique de Paris
Informatique, données, IA
defended on 24-07-2020
Influence minimization and rumor containment in social networks
by Lan Yang supervised by Alessandro Giua and Zhiwu Li . - Aix-Marseille
Automatique
defended on 18-11-2019
Data centers energy optimization
by Léa Bayati supervised by Nihal Pekergin - Paris Est
Informatique
defended on 20-09-2019
Modélisation de la configuration automatique dans des systèmes auto-adaptatifs basés sur l'architecture
by Rim El Ballouli supervised by Saddek Bensalem - Université Grenoble Alpes (ComUE)
Informatique
defended on 20-03-2019
Séquences de synchronisation pour les réseaux de Petri synchronisés non bornés
by Changshun Wu supervised by Alessandro Giua and Isabel Demongodin . - Aix-Marseille
Automatique
defended on 10-12-2018
Style and Meta-Style : another Way to Reuse Software Architecture Evolution
by Adel Hassan supervised by Mourad-Chabane Oussalah - Nantes
Génie logiciel
defended on 24-09-2018
Des systèmes à base de composants aux implémentations cadencées par le temps : une approche correcte par conception
by Hela Guesmi supervised by Saddek Bensalem - Université Grenoble Alpes (ComUE)
Informatique
defended on 27-10-2017
Performance optimization of a class of deterministic timed Petri nets : weighted marked graphs
by Zhou He supervised by Alessandro Giua and Zhiwu Li . - Aix-Marseille
Mathématiques et informatique. Automatique
defended on 09-06-2017
Using timed automata formalism for modeling and analyzing home care plans
by Kahina Gani supervised by Farouk Toumani and Rémi Bastide . - Clermont-Ferrand 2
Informatique
defended on 02-12-2015
Allocation de fonctions de commande de systèmes critiques par recherche d'atteignabilité dans un réseau d'automates communicants
by Thibault Lemattre supervised by Jean-Marc Faure - Cachan, Ecole normale supérieure
Électronique Électrotechnique Automatique
defended on 09-07-2013
Contribution à la Spécification et à la Vérification des Exigences Temporelles : Proposition d’une extension des SRS d’ERTMS niveau 2
by Ahmed Mekki supervised by Armand Abdoul Karim Toguyeni and Mohamed Ghazel . - Ecole centrale de Lille
Automatique, génie informatique, traitement du signal et images
defended on 18-04-2012
Monitoring business process compliance : a view based approach
by Samir Sebahi supervised by Mohand Saïd Hacid and Salima Benbernou . - Lyon 1
Informatique
defended on 22-03-2012
Kamel Barkaoui was thesis committee member the 6 following theses
Approche cross-layer pour la minimisation d’énergie dans les réseaux de capteurs sans fil
by Amira Ben Ammar supervised by Michel Terré and Habib Youssef . - Paris, CNAM
Informatique. Radiocommunications
defended on 16-11-2018
Contributions à l'observation et à la commande tolérante aux fautes des systèmes incertains
by Rihab Lamouchi supervised by Tarek Raissi and Mohamed Aoun . - Paris, CNAM
Informatique
defended on 30-09-2017
A study on lane reservation problems in transportation networks
by Peng Wu supervised by Feng Chu and Ada Che . - Université Paris-Saclay (ComUE)
Mathématiques et Informatique
defended on 30-06-2016
Une nouvelle approche topologique pour la recommandation de tags dans les folksonomies
by Manel Hmimida supervised by Manuel Zacklad and Rushed Kanawati . - Paris, CNAM
Sciences de l'information et de la communication
defended on 03-03-2015
Canevas sémantique et méthodologie formelle pour le développement des applications ambiantes multi-domaine
by Mohamed Hilia supervised by Karim Djouani - Paris Est
Informatique
defended on 16-12-2013
Vers une intégration des comportements communautaires dans les réseaux mobiles
by Leïla Harfouche supervised by Selma Boumerdassi - Paris, CNAM
Informatique
defended on 27-09-2011
