researcher / Kamel Barkaoui

Kamel Barkaoui

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Edit Merge See Links

Thesis:

Contribution aux methodes d'analyse des reseaux de petri par la theorie des graphes

Directed Thesis:

Radio Resource Management in LTE Networks : Load Balancing in Heterogeneous Cellular Networks
Un cadre sémantique formel pour la description, sélection et composition des services web
Méthode de conception de logiciel système critique couplée à une démarche de vérification formelle
Contribution à la formalisation et à la vérification des diagrammes dynamiques UML2 à base des réseaux de Petri
On intrinsically live structure and deadlock control of generalized Petri nets modeling flexible manufacturing systems
Optimal supervisory control of flexible manufacturing systems
Supervisor Synthesis for Automated Manufacturing Systems Based on Structure Theory of Petri Nets
A stepwise compositional approach to model and analyze system C designs at the transactional level and the delta cycle level
Contribution à la modélisation et à la vérification des systèmes multi agents
Web Service Composition Compatibility : adaptation in the presence of Business Protocol Evolution
Conception et évaluation de performance d'un Bus applicatif, massivement parallèle et orienté service
Approches formelles pour l'analyse de la performabilité des systèmes communicants mobiles : Applications aux réseaux de capteurs sans fil
Contribution à la modélisation et à la vérification de processus workflow
Modélisation et analyse des processus Workflows reconfigurables et distribués par les ECATNets récursifs
Modélisation et analyse de la flexibilité dans les systèmes workflow
Modelisation et optimisation de methodes de controle de concurrence dans les modeles de transactions multibases