Details
5 recent publications
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)
Imed Eddine Chama; Nabil Belala; Djamel Eddine Saidouni
Formalizing Timed BPEL by D-LOTOS. Int. J. of Embedded and Real-Time Communication Systems (IJERTCS) 5(2): 1-21 (2014)
PhD thesis
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)
Title Speciality Level
Administration de Bases de Données
ABD
Science de l'Informatiques (SCI) Licence 3
Réseaux de Communication
RC
Informatique Licence 2
PhD student Title
Khennaoui Roumeissa Approche de vérification contextuelle des systèmes ambiants
Mecheraoui Khalil Un cadre formel pour l'analyse et la vérification des processus métiers
Name Link
Formal Concurrency Verification Environment