Nabil Belala

15 papers C 1Misc 1Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
A requirement-driven method for process mining based on model-driven engineering.
Comput. Stand. Interfaces
Selsabil Ines Bouhidel, Mohammed Mounir Bouhamed, Gregorio Díaz, Nabil Belala
2026 J jnl
Optimization of urban mobility processes through the integration of process mining.
Simul. Model. Pract. Theory
Selsabil Ines Bouhidel, Nabil Belala
2021 J jnl
A Petri net extension for systems of concurrent communicating agents with durable actions.
J. Parallel Distributed Comput.
Khalil Mecheraoui, Irina A. Lomazova, Nabil Belala
2020 C conf
Towards a Formal Context-Aware Workflow Model for Ambient Environment.
ICOST
Roumeissa Khennaoui, Nabil Belala
2017 J jnl
A timed semantics for web services composition.
Int. J. Bus. Process. Integr. Manag.
Imed Eddine Chama, Nabil Belala, Djamel Eddine Saiotadouni
2016 J jnl
Relative time rates in dynamic timed automata.
Int. J. Commun. Networks Distributed Syst.
Said Layadi, Ilham Kitouni, Nabil Belala, Djamel-Eddine Saïdouni
2016 — conf
Towards a Comprehensive Formal Model for Business Processes.
ICIST
Khalil Mecheraoui, Nabil Belala, Djamel-Eddine Saïdouni
2015 — ch.
Formal Modeling and Analysis of Business Process Timed Constraints.
Formalisms for Reuse and Systems Integration
Imed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni
2014 — conf
FMEBP: A Formal Modeling Environment of Business Process.
ICIST
Imed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni
2014 Misc conf
Formalization and analysis of timed BPEL.
IRI
Imed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni
2014 J jnl
Formalizing Timed BPEL by D-LOTOS.
Int. J. Embed. Real Time Commun. Syst.
Imed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni
2013 J jnl
Time Petri Nets with Action Duration: A True Concurrency Real-Time Model.
Int. J. Embed. Real Time Commun. Syst.
Nabil Belala, Djamel-Eddine Saïdouni, Radja Boukharrou, Ahmed-Chawki Chaouche, A. Seraoui, A. Chachoua
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
2009 J jnl
Using maximality-based labelled transition system as a model for petri nets.
Int. Arab J. Inf. Technol.
Djamel-Eddine Saïdouni, Nabil Belala, Messaouda Bouneb
2005 J jnl
Using Maximality-Based Labeled Transition System Model for Concurrency Logic Verification.
Int. Arab J. Inf. Technol.
Djamel-Eddine Saïdouni, Nabil Belala