| Actions duration in timed models DE Saïdouni, N Belala The International Arab Conference on Information Technology (ACIT), 2006 | 36 | 2006 |
| Non-atomicity in timed models N Belala, DE Saïdouni Proceedings of ACIT 2005, 2005 | 27 | 2005 |
| 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 | 25 | 2008 |
| 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 | 21 | 2005 |
| Modèles de temps et leur intérét à la vérification formelle des systèmes temps-réel N Belala Université Mentouri de Constantine, Algérie, 2010 | 19 | 2010 |
| 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 | 17 | 2013 |
| FOCOVE: Formal concurrency verification environment for complex systems DE Saïdouni, A Benamira, N Belala, F Arfi A||| A 5 (10), 4, 2008 | 16 | 2008 |
| 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 | 11 | 2009 |
| Maximality-based structural operational semantics for Petri nets DE Saıdouni, N Belala, M Bouneb Proceedings of INTELLIGENT SYSTEMS AND AUTOMATION: 2nd Mediterranean …, 2009 | 11 | 2009 |
| Formalisation des systémes temps-réel avec durées d'actions N Belala, DE Saidouni | 8 | 2005 |
| Formalization and analysis of timed BPEL IE Chama, N Belala, DE Saidouni Proceedings of the 2014 IEEE 15th International Conference on Information …, 2014 | 6 | 2014 |
| 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 | 6 | 2004 |
| Actions duration in timed models N Belala, DE Saïdouni Proceeding of International Arab Conference on Information Technology (ACIT …, 2006 | 5 | 2006 |
| 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 | 5 | 2003 |
| Towards a Formal Context-Aware Workflow Model for Ambient Environment R Khennaoui, N Belala The Impact of Digital Technologies on Public Health in Developed and …, 2020 | 3 | 2020 |
| Formalizing Timed BPEL by D-LOTOS IE Chama, N Belala, DE Saidouni International Journal of Embedded and Real-Time Communication Systems …, 2014 | 3 | 2014 |
| FMEBP: a formal modeling environment of business process IE Chama, N Belala, DE Saidouni Information and Software Technologies: 20th International Conference, ICIST …, 2014 | 3 | 2014 |
| A Petri net extension for systems of concurrent communicating agents with durable actions K Mecheraoui, IA Lomazova, N Belala Journal of Parallel and Distributed Computing 155, 14-23, 2021 | 2 | 2021 |
| 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 | 2 | 2017 |
| Towards a comprehensive formal model for business processes K Mecheraoui, N Belala, DE Saïdouni Information and Software Technologies: 22nd International Conference, ICIST …, 2016 | 2 | 2016 |
Djamel Eddine SaïdouniProfesseur d'informatique, Université Abdelhamid Mehri - Constantine 2Geverifieerd e-mailadres voor univ-constantine2.dz
