Nabil BELALA
Détails
| 5 dernières publications |
|---|
|
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) |
|
|
Said Layadi; Ilham Kitouni; Nabil Belala; Djamel Eddine Saidouni
Relative time rates in dynamic timed automata. Int. J. of Communication Networks and Distributed Systems (IJCNDS) 17(4): 412-432 (2016) |
|
|
Khalil Mecheraoui; Nabil Belala; Djamel Eddine Saidouni
Towards a Comprehensive Formal Model for Business Processes. 22nd Int. Conf. Information and Software Technologies (ICIST'16): 174-186 (2016) |
| 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 |
Aucun stage à afficher.