Nabil Belala
Nabil Belala
Maitre de Conférences A, Université Constantine 2
Verified email at univ-constantine2.dz
Title
Cited by
Cited by
Year
Actions duration in timed models
DE Saïdouni, N Belala
The International Arab Conference on Information Technology (ACIT), 2006
302006
Using Maximality-Based Labeled Transition System Model for Concurrency Logic Verification.
DE Saïdouni, N Belala
Int. Arab J. Inf. Technol. 2 (3), 199-205, 2005
242005
Non-atomicity in timed models
N Belala, DE Saïdouni
Proceedings of ACIT 2005, 2005
232005
Aggregation of transitions in marking graph generation based on maximality semantics for Petri nets
DE Saïdouni, N Belala, M Bouneb
Second International Workshop on Verification and Evaluation of Computer and …, 2008
222008
Modèles de temps et leur intérêt à la vérification formelle des systèmes temps-réel
N Belala
152010
FOCOVE: Formal concurrency verification environment for complex systems
DE Saïdouni, A Benamira, N Belala, F Arfi
AIP Conference Proceedings 1019 (1), 375-380, 2008
152008
Time petri nets with action duration: a true concurrency real-time model
N Belala, DE Saїdouni, R Boukharrou, AC Chaouche, A Seraoui, ...
International Journal of Embedded and Real-Time Communication Systems …, 2013
122013
Maximality‐Based Structural Operational Semantics for Petri Nets
DE Saïdouni, N Belala, M Bouneb
AIP Conference Proceedings 1107 (1), 269-274, 2009
92009
Using Maximality-Based Labelled Transition System as a Model for Petri Nets.
DE Saidouni, N Belala, M Bouneb
International Arab Journal of Information Technology (IAJIT) 6 (5), 2009
72009
Formalisation des systémes temps-réel avec durées d'actions
N Belala
72005
Straightforward adaptation of interleavingbased solutions for true concurrency-based logic verification approaches
DE Saïdouni, N Belala
Proceedings of International Conference on Complex Systems (CISC’2004), 2004
72004
Vérification de propriétes exprimées en ctl sur le modele des systemes de transitions étiquetées maximales
DE Saïdouni, N Belala
CIP’2003, Conférence Internationale de Productique, 2003
62003
Actions duration in timed models
N Belala, DE Saïdouni
Proceeding of International Arab Conference on Information Technology (ACIT …, 2006
52006
FMEBP: a formal modeling environment of business process
IE Chama, N Belala, DE Saidouni
International Conference on Information and Software Technologies, 211-223, 2014
32014
Formalization and analysis of Timed BPEL
IE Chama, N Belala, DE Saidouni
Proceedings of the 2014 IEEE 15th International Conference on Information …, 2014
32014
Formalizing Timed BPEL by D-LOTOS
IE Chama, N Belala, DE Saidouni
International Journal of Embedded and Real-Time Communication Systems …, 2014
32014
Non atomicité dans les modèles temporisés
N Belala, DE Saïdouni
Research Report IPG05-001, Laboratoire LIRE, Université Mentouri, 25000 …, 2005
32005
Aggregation of transitions in marking graph generation based on maximality semantics for Petri nets (extended version
DE Saı̈douni, N Belala, M Bouneb
22008
Mémoire de Magistère
N BELALA
Etude et traitement de l’eau du barrage Djorf-Eltorba de la wilaya de Bechar …, 2006
22006
A timed semantics for web services composition
IE Chama, N Belala, DE Saϊdouni
International Journal of Business Process Integration and Management 8 (1 …, 2017
12017
The system can't perform the operation now. Try again later.
Articles 1–20