| Workflow soundness verification based on structure theory of Petri nets K Barkaoui, RB Ayed, Z Sbai International Journal of Computing and Information Sciences 5 (1), 51-61, 2007 | 71 | 2007 |
| On the verification of business processes by model checking techniques Z Sbaï, A Missaoui, K Barkaoui, RB Ayed 2010 2nd International Conference on Software Technology and Engineering 1 …, 2010 | 25 | 2010 |
| Deep learning approaches for intrusion detection in IIoT networks–opportunities and future directions T Vaiyapuri, Z Sbai, H Alaskar, NA Alaseem International Journal of Advanced Computer Science and Applications 12 (4), 2021 | 22 | 2021 |
| Deep learning approaches for automatic localization in medical images H Alaskar, A Hussain, B Almaslukh, T Vaiyapuri, Z Sbai, AK Dubey Computational Intelligence and Neuroscience 2022, 2022 | 14 | 2022 |
| GA-based multi-objective optimization technique for medical image denoising in wavelet domain T Vaiyapuri, H Alaskar, Z Sbai, S Devi Journal of Intelligent & Fuzzy Systems 41 (1), 1575-1588, 2021 | 11 | 2021 |
| Compatibility Analysis of Time Open Workflow Nets. Z Sbaï, K Barkaoui, H Boucheneb PNSE@ Petri Nets, 249-268, 2014 | 11 | 2014 |
| A data science approach for reliable classification of neuro-degenerative diseases using gait patterns H Alaskar, AJ Hussain, W Khan, H Tawfik, P Trevorrow, P Liatsis, Z Sbaï Journal of Reliable Intelligent Environments 6, 233-247, 2020 | 10 | 2020 |
| Intelligent techniques for deception detection: a survey and critical study H Alaskar, Z Sbaï, W Khan, A Hussain, A Alrawais Soft Computing 27 (7), 3581-3600, 2023 | 9 | 2023 |
| Towards a system for cloud service discovery and composition based on ontology R Guerfel, Z Sbaï, RB Ayed Computational Collective Intelligence: 7th International Conference, ICCCI …, 2015 | 9 | 2015 |
| Computational intelligence-based melanoma detection and classification using dermoscopic images T Vaiyapuri, P Balaji, H Alaskar, Z Sbai Computational Intelligence and Neuroscience 2022, 2022 | 8 | 2022 |
| CTL model checking of web services composition based on open workflow nets modeling Z Sbaï, R Guerfel International Journal of Service Science, Management, Engineering, and …, 2016 | 8 | 2016 |
| Metaheuristics with federated learning enabled intrusion detection system in Internet of Things environment T Vaiyapuri, S Algamdi, R John, Z Sbai, M Al‐Helal, A Alkhayyat, D Gupta Expert Systems 40 (5), e13138, 2023 | 7 | 2023 |
| V\'erification Formelle des Processus Workflow Collaboratifs Z Sbaï, K Barkaoui arXiv preprint arXiv:1306.4308, 2013 | 7 | 2013 |
| On the Use of Similarity or Query Languages in Cloud Discovery Based on Ontology R Guerfel, Z Sbaï, RB Ayed International Journal of Service Science, Management, Engineering, and …, 2017 | 6 | 2017 |
| Modeling and formal verification framework of web services composition R Guerfel, Z Sbaï, K Barkaoui Int. Conf. Control Eng. Inf. Technol.(CEIT 2013) 2, 140-145, 2013 | 6 | 2013 |
| Vérification formelle des processus workflow: Extension aux workflows inter-organisationnels K Barkaoui Ingenierie des Systemes d'Information 18 (5), 33-57, 2013 | 6 | 2013 |
| Dates fruit classification using convolution neural networks H Alaskar, S Alhewaidi, B Obaid, G Alzahrani, A Abdulahi, Z Sbai, ... Proceedings of Sixth International Congress on Information and Communication …, 2022 | 5 | 2022 |
| On Expressiveness of TCTL for Model Checking Distributed Systems N Jbeli, Z Sbaï, RB Ayed International Conference on Computational Collective Intelligence, 323-332, 2016 | 5 | 2016 |
| Contribution à la modélisation et à la vérification de processus workflow Z Sbaï Paris, CNAM, 2010 | 5 | 2010 |
| On improving model checking of time Petri nets and its application to the formal verification N Jbeli, Z Sbai International Journal of Service Science, Management, Engineering, and …, 2021 | 4 | 2021 |
Kamel BarkaouiProfessor, Conservatoire National des Arts et MetiersAdresse e-mail validée de cnam.fr
