Publications
Search result : Author = Belala Nabil
2020
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)
2017
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)
2016
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)
2014
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)
Imed Eddine Chama; Nabil Belala; Djamel Eddine Saidouni
Formalization and analysis of timed BPEL. 15th IEEE Int. Conf. on Information Reuse and Integration (IRI'14): 483-491 (2014)
Imed Eddine Chama; Nabil Belala; Djamel Eddine Saidouni
Formal Modeling and Analysis of Business Process Timed Constraints. 2nd Workshop on Formal Methods Integration (FMI'14): 149-172 (2014)
2013
Nabil Belala; Djamel Eddine Saïdouni; Radja Boukharrou; Ahmed-Chawki Chaouche; Adel Seraoui; Asma Chachoua
Time Petri Nets with Action Duration: A True Concurrency Real-Time Model. Int. J. of Embedded and Real-Time Communication Systems (IJERTCS) 4(2): 62-83 (2013)
2009
Djamel Eddine Saidouni; Nabil Belala; Messaouda Bouneb
Using maximality-based labelled transition system as a model for petri nets. Int. Arab J. of Information Technology (IAJIT) 6(5): 441-447 (2009)
2008
Djamel Eddine Saidouni; Adel Benamira; Nabil Belala; Farid Arfi
FOCOVE: Formal Concurrency Verification Environment for Complex Systems. 1st Mediterranean Conf. on Intelligent Systems and Automation (CISA’08): 375-380 (2008)
2005
Djamel Eddine Saidouni; Nabil Belala
Using Maximality-Based Labeled Transition System Model for Concurrency Logic Verification. Int. Arab J. of Information Technology (IAJIT) 2(3): 199-205 (2005)