default search action
Nabil Belala
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [j7]Khalil Mecheraoui
, Irina A. Lomazova
A Petri net extension for systems of concurrent communicating agents with durable actions. J. Parallel Distributed Comput. 155: 14-23 (2021) - 2020
- [c4]Roumeissa Khennaoui, Nabil Belala
Towards a Formal Context-Aware Workflow Model for Ambient Environment. ICOST 2020: 415-422
2010 – 2019
- 2017
- [j6]Imed Eddine Chama, Nabil Belala
A timed semantics for web services composition. Int. J. Bus. Process. Integr. Manag. 8(1): 64-79 (2017) - 2016
- [j5]Said Layadi, Ilham Kitouni, Nabil Belala
Relative time rates in dynamic timed automata. Int. J. Commun. Networks Distributed Syst. 17(4): 412-432 (2016) - [c3]Khalil Mecheraoui
Towards a Comprehensive Formal Model for Business Processes. ICIST 2016: 174-186 - 2015
- [p1]Imed Eddine Chama, Nabil Belala
Formal Modeling and Analysis of Business Process Timed Constraints. Formalisms for Reuse and Systems Integration 2015: 149-172 - 2014
- [j4]Imed Eddine Chama, Nabil Belala
Formalizing Timed BPEL by D-LOTOS. Int. J. Embed. Real Time Commun. Syst. 5(2): 1-21 (2014) - [c2]Imed Eddine Chama, Nabil Belala
FMEBP: A Formal Modeling Environment of Business Process. ICIST 2014: 211-223 - [c1]Imed Eddine Chama, Nabil Belala
Formalization and analysis of timed BPEL. IRI 2014: 483-491 - 2013
- [j3]Nabil Belala
Time Petri Nets with Action Duration: A True Concurrency Real-Time Model. Int. J. Embed. Real Time Commun. Syst. 4(2): 62-83 (2013) - 2010
- [b1]Nabil Belala:
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). Constantine 1 University, Algeria, 2010
2000 – 2009
- 2009
- [j2]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): 440-446 (2009) - 2005
- [j1]Djamel-Eddine Saïdouni, Nabil Belala:
Using Maximality-Based Labeled Transition System Model for Concurrency Logic Verification. Int. Arab J. Inf. Technol. 2(3): 199-205 (2005)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: