Nabil Belala - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Nabil Belala' as author, editor, or advisor:

Towards a Comprehensive Formal Model for Business ProcessesKhalil Mecheraoui, Nabil Belala, Djamel-Eddine Saïdouni. ICIST 2016: 174-186 [doi]
FMEBP: A Formal Modeling Environment of Business ProcessImed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni. ICIST 2014: 211-223 [doi]
Time Petri Nets with Action Duration: A True Concurrency Real-Time ModelNabil Belala, Djamel-Eddine Saïdouni, R. Boukharrou, A.-C. Chaouche, A. Seraoui, A. Chachoua. ijertcs, 4(2):62-83, 2013. [doi]
Formalizing Timed BPEL by D-LOTOSImed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni. ijertcs, 5(2):1-21, 2014. [doi]
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, Constantine 1 University, Algeria, 2010. [doi]
Towards a Formal Context-Aware Workflow Model for Ambient EnvironmentRoumeissa Khennaoui, Nabil Belala. icost 2020: 415-422 [doi]
Formal Modeling and Analysis of Business Process Timed ConstraintsImed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni. In Thouraya Bouabana-Tebibel, Stuart H. Rubin, editors, Formalisms for Reuse and Systems Integration. Volume 346 of Advances in Intelligent Systems and Computing, pages 149-172, Springer, 2015. [doi]
A Petri net extension for systems of concurrent communicating agents with durable actionsKhalil Mecheraoui, Irina A. Lomazova, Nabil Belala. jpdc, 155:14-23, 2021. [doi]
Formalization and analysis of timed BPELImed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni. iri 2014: 483-491 [doi]
Relative time rates in dynamic timed automataSaid Layadi, Ilham Kitouni, Nabil Belala, Djamel-Eddine Saïdouni. ijcnds, 17(4):412-432, 2016. [doi]
A timed semantics for web services compositionImed Eddine Chama, Nabil Belala, Djamel Eddine Saiotadouni. ijbpim, 8(1):64-79, 2017. [doi]

runs on WebDSL