Formal verification of complex business processes based on high-level Petri nets A Kheldoun, K Barkaoui, M Ioualalen Information Sciences 385, 39-54, 2017 | 81 | 2017 |
Specification and verification of complex business processes-a high-level petri net-based approach A Kheldoun, K Barkaoui, M Ioualalen Business Process Management: 13th International Conference, BPM 2015 …, 2015 | 33 | 2015 |
A high level net for modeling and analysis reconfigurable discrete event control systems A Kheldoun, K Barkaoui, J Zhang, M Ioualalen Computer Science and Its Applications: 5th IFIP TC 5 International …, 2015 | 9 | 2015 |
Recursive ECATNets‐based approach for formally verifying System Modelling Language activity diagrams M Rahim, A Kheldoun, M Boukala-Ioualalen, A Hammad IET Software 9 (5), 119-128, 2015 | 8 | 2015 |
A High-Level Nets based Approach for Reconfigurations of Distributed Control Systems. A Kheldoun, JF Zhang, K Barkaoui, M Ioualalen ADECS@ Petri Nets, 36-51, 2014 | 6 | 2014 |
Transformation BPEL processes to recatnet for analysing web services compositions A Kheldoun, M Ioualalen 2014 2nd International Conference on Model-Driven Engineering and Software …, 2014 | 6 | 2014 |
Modelling and analyzing home care plans using high-level Petri nets K Barkaoui, A Hicheur, A Kheldoun, D Liu 2016 13th International Workshop on Discrete Event Systems (WODES), 284-290, 2016 | 3 | 2016 |
High level petri net modelling and analysis of flexible web services composition A Kheldoun, K Barkaoui, M Ioualalen, D Dahmani Software Engineering Research, Management and Applications, 163-180, 2016 | 3 | 2016 |
Platform for Inter-Institutions E-Governance Based on a Dynamic Web Services Composition EB Toubal, A Belkhir, M Rahim, A Kheldoun International Journal of Computing and Digital Systems 12 (1), 961-977, 2022 | 1 | 2022 |
A Model Driven Approach for Web Service Composition A Belkhir, A Kheldoun, M Rahim 2022 International Conference on Advanced Aspects of Software Engineering …, 2022 | 1 | 2022 |
Proposition d’une approche automatique pour la classification du trafic WebRTC K BATTOU, R BESSERI, A KHELDOUN | 1 | 2022 |
Utilisation des ECATNets récursifs pour la spécification et la vérification des systèmes complexes A Kheldoun | 1 | 2018 |
An adaptive protection coordination for microgrids utilizing an improved optimization technique for user-defined DOCRs characteristics with different groups of settings … O Merabet, A Kheldoun, M Bouchahdane, A Eltom, A Kheldoun Expert Systems with Applications 248, 123449, 2024 | | 2024 |
ALGSL89: An Algerian Sign Language Dataset A KHELDOUN, I KOUAR, EB KOUAR Uluslararası Yönetim Bilişim Sistemleri ve Bilgisayar Bilimleri Dergisi 7 (2 …, 2023 | | 2023 |
Approche Automatique Pour La Classification Du Trafic Réseau A Mestoui, A KHELDOUN | | 2022 |
A Web Services-based Secure Platform for Inter-Institutions E-Governance A Belkhir, M Rahim, A Kheldoun, K Boudjebbour 2018 International Conference on Applied Smart Systems (ICASS), 1-6, 2018 | | 2018 |
Méthode Formelle pour la Modélisation et la Vérification des Processus Métiers Cas d'étude: Le langage BPMN (Business Process Model and Notation) M BABCHIKH, I BENILLES, A KHELDOUN | | 2016 |