Using Maximality-Based Labeled Transition System Model for Concurrency Logic Verification. - Djamel-Eddine Saïdouni; Nabil Belala (Int. Arab J. Inf. Technol., 2005)

Using maximality-based labelled transition system as a model for petri nets. - Djamel-Eddine Saïdouni; Nabil Belala; Messaouda Bouneb (Int. Arab J. Inf. Technol., 2009)

Modèles de temps et leur intérêt à la vérification formelle des systèmes temps-réel. (On time models on formal verification of real-time systems). - Nabil Belala (2010)

Time Petri Nets with Action Duration: A True Concurrency Real-Time Model. - Nabil Belala; Djamel-Eddine Saïdouni; Radja Boukharrou; Ahmed-Chawki Chaouche; A. Seraoui; A. Chachoua (Int. J. Embed. Real Time Commun. Syst., 2013)

FMEBP: A Formal Modeling Environment of Business Process. - Imed Eddine Chama; Nabil Belala; Djamel-Eddine Saïdouni (ICIST, 2014)

Formalization and analysis of timed BPEL. - Imed Eddine Chama; Nabil Belala; Djamel-Eddine Saïdouni (IRI, 2014)

Formalizing Timed BPEL by D-LOTOS. - Imed Eddine Chama; Nabil Belala; Djamel-Eddine Saïdouni (Int. J. Embed. Real Time Commun. Syst., 2014)

Formal Modeling and Analysis of Business Process Timed Constraints. - Imed Eddine Chama; Nabil Belala; Djamel-Eddine Saïdouni (Formalisms for Reuse and Systems Integration, 2015)

Towards a Comprehensive Formal Model for Business Processes. - Khalil Mecheraoui; Nabil Belala; Djamel-Eddine Saïdouni (ICIST, 2016)

Relative time rates in dynamic timed automata. - Said Layadi; Ilham Kitouni; Nabil Belala; Djamel-Eddine Saïdouni (Int. J. Commun. Networks Distributed Syst., 2016)

A timed semantics for web services composition. - Imed Eddine Chama; Nabil Belala; Djamel Eddine Saiotadouni (Int. J. Bus. Process. Integr. Manag., 2017)

Towards a Formal Context-Aware Workflow Model for Ambient Environment. - Roumeissa Khennaoui; Nabil Belala (ICOST, 2020)

A Petri net extension for systems of concurrent communicating agents with durable actions. - Khalil Mecheraoui; Irina A. Lomazova; Nabil Belala (J. Parallel Distributed Comput., 2021)