Nabil Belala

ORCID

Publication Activity (10 Years)

Years Active: 2005-2021
Publications (10 Years): 5

Top Venues

Int. J. Embed. Real Time Commun. Syst.

ICIST

ICOST

Int. J. Bus. Process. Integr. Manag.

Constantine 1 University, Algeria (PHD)

Education History

Constantine 1 University, Algeria

PHD

Publications

Khalil Mecheraoui, Irina A. Lomazova, Nabil Belala
A Petri net extension for systems of concurrent communicating agents with durable actions. J. Parallel Distributed Comput. 155 (2021)
Roumeissa Khennaoui, Nabil Belala
Towards a Formal Context-Aware Workflow Model for Ambient Environment. ICOST (2020)
Imed Eddine Chama, Nabil Belala, Djamel Eddine Saiotadouni
A timed semantics for web services composition. Int. J. Bus. Process. Integr. Manag. 8 (1) (2017)
Khalil Mecheraoui, Nabil Belala, Djamel-Eddine Saïdouni
Towards a Comprehensive Formal Model for Business Processes. ICIST (2016)
Said Layadi, Ilham Kitouni, Nabil Belala, Djamel-Eddine Saïdouni
Relative time rates in dynamic timed automata. Int. J. Commun. Networks Distributed Syst. 17 (4) (2016)
Imed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni
FMEBP: A Formal Modeling Environment of Business Process. ICIST (2014)
Imed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni
Formalization and analysis of timed BPEL. IRI (2014)
Imed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni
Formalizing Timed BPEL by D-LOTOS. Int. J. Embed. Real Time Commun. Syst. 5 (2) (2014)
Nabil Belala, Djamel-Eddine Saïdouni, Radja Boukharrou, Ahmed-Chawki Chaouche, A. Seraoui, A. Chachoua
Time Petri Nets with Action Duration: A True Concurrency Real-Time Model. Int. J. Embed. Real Time Commun. Syst. 4 (2) (2013)
Djamel-Eddine Saïdouni, Nabil Belala, Messaouda Bouneb
Using maximality-based labelled transition system as a model for petri nets. Int. Arab J. Inf. Technol. 6 (5) (2009)
Djamel-Eddine Saïdouni, Nabil Belala
Using Maximality-Based Labeled Transition System Model for Concurrency Logic Verification. Int. Arab J. Inf. Technol. 2 (3) (2005)

Nabil Belala.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nabil Belala