Nabil BELALA
Research Gate DBLP Google Scholar LinkedIn Facebook Twitter
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
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
Nom Lien
Formal Concurrency Verification Environment