Nabil BELALA
Détails
| 5 dernières publications |
|---|
|
Roumeissa Khennaoui; Nabil Belala
A Context-Aware Workflow Model With Time Management. Int. J. of Informatics and Applied Mathematics 6(2): 1-7 (2023) |
|
|
Selsabil Ines Bouhidel; Nabil Belala
Unleashing the Power of Process Mining for Discovering and Analyzing Ad Hoc Networks. 2023 Int. Conf. on Networking and Advanced Systems (ICNAS) (2023) |
|
|
Khalil Mecheraoui; Irina A. Lomazova; Nabil Belala
A Petri net extension for systems of concurrent communicating agents with durable actions. J. of Parallel and Distributed Computing 155: 14-23 (2021) |
|
|
Roumeissa Khennaoui; Nabil Belala
Towards a Formal Context-Aware Workflow Model for Ambient Environment. 18th Int. Conf. on Smart Homes and Health Telematics (ICOST'20): 415-422 (2020) |
|
|
Imed Eddine Chama; Nabil Belala; Djamel Eddine Saidouni
A timed semantics for web services composition. Int. J. of Business Process Integration and Management (IJBPIM) 8(1): 64-79 (2017) |
| Thèse de doctorat |
|---|
|
Nabil Belala
Modèles de temps et leur intérêt à la vérification formelle des systèmes temps-réel. Université Constantine 2, Algérie (2010) |
| Titre | Spécialité | Niveau |
|---|---|---|
|
Administration de Bases de Données
ABD |
Science de l'Informatiques (SCI) | Licence 3 |
|
Réseaux de Communication
RC |
Informatique | Licence 2 |
| Doctorant | Titre | |
|---|---|---|
| Khennaoui Roumeissa | Approche de vérification contextuelle des systèmes ambiants | |
| Bouhidel Selsabil Ines | Utilisation des techniques de Process Mining pour l’analyse, la vérification et l’amélioration des processus métier | |
| Khoums Imane | Proposition et développement d’un cloud privé pour le framework SLS | |
| Lichani Akram | Contribution à la sécurisation des données dans le cloud |
Aucun stage à afficher.