Nabil Belala

According to our database, Nabil Belala authored at least 13 papers between 2005 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

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

2020

Towards a Formal Context-Aware Workflow Model for Ambient Environment.

Roumeissa Khennaoui, Nabil Belala

Proceedings of the Impact of Digital Technologies on Public Health in Developed and Developing Countries, 2020

2017

A timed semantics for web services composition.

Imed Eddine Chama, Nabil Belala, Djamel Eddine Saiotadouni

Int. J. Bus. Process. Integr. Manag., 2017

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

Towards a Comprehensive Formal Model for Business Processes.

Khalil Mecheraoui, Nabil Belala, Djamel-Eddine Saïdouni

Proceedings of the Information and Software Technologies - 22nd International Conference, 2016

2015

Formal Modeling and Analysis of Business Process Timed Constraints.

Imed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni

Proceedings of the Formalisms for Reuse and Systems Integration, 2015

2014

Formalizing Timed BPEL by D-LOTOS.

Imed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni

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

Formalization and analysis of timed BPEL.

Imed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni

Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

FMEBP: A Formal Modeling Environment of Business Process.

Imed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni

Proceedings of the Information and Software Technologies - 20th International Conference, 2014

2013

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

2010

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

PhD thesis, 2010

2009

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

2005

Using Maximality-Based Labeled Transition System Model for Concurrency Logic Verification.

Djamel-Eddine Saïdouni, Nabil Belala

Int. Arab J. Inf. Technol., 2005