Détails
5 dernières publications
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)
Imed Eddine Chama; Nabil Belala; Djamel Eddine Saidouni
FMEBP: A Formal Modeling Environment of Business Process. 20th Int. Conf. Information and Software Technologies (ICIST'14): 211-223 (2014)
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
Mecheraoui Khalil Un cadre formel pour l'analyse et la vérification des processus métiers
Khennaoui Roumeissa Approche de vérification contextuelle des systèmes ambiants
Nom Lien
Formal Concurrency Verification Environment