On the verification of opacity in web services and their composition A Bourouis, K Klai, NB Hadj-Alouane, Y El Touati IEEE Transactions on Services Computing 10 (1), 66-79, 2016 | 30 | 2016 |
Bounded opacity for timed systems I Ammar, Y El Touati, M Yeddes, J Mullins Journal of Information Security and Applications 61, 102926, 2021 | 17 | 2021 |
Opacity preserving abstraction for web services and their composition using SOGs A Bourouis, K Klai, Y El Touati, NB Hadj-Alouane 2015 IEEE International Conference on Web Services, 313-320, 2015 | 12 | 2015 |
Checking opacity of vulnerable critical systems on-the-fly A Bourouis, K Klai, Y El Touati, NB Hadj-Alouane International Journal of Information Technology and Web Engineering (IJITWE …, 2015 | 9 | 2015 |
Method of moments versus advanced transverse wave approach for EM validation of complex microwave and RF applications M Ayari, Y El Touati, S Altowaijri Journal of Electromagnetic Engineering and Science 20 (1), 31-38, 2020 | 8 | 2020 |
A novel image encryption approach for cloud computing applications S Altowaijri, M Ayari, Y El Touati International Journal of Advanced Computer Science and Applications 9 (12), 2018 | 5 | 2018 |
Impact of multi-sensor technology for enhancing global security in closed environments using cloud-based resources S Altowaijri, M Ayari, Y El Touati Journal of Sensor and Actuator Networks 8 (1), 4, 2019 | 3 | 2019 |
Mutual coupling between antennas in periodic network using the advanced transverse wave approach for wireless applications M Ayari, S Altowaijri, Y El Touati International Journal of Advanced and Applied Sciences 6 (1), 99-105, 2019 | 2 | 2019 |
Control of Industrial Systems to Avoid Failures: Application to Electrical System Y El Touati, S Altowaijri, M Ayari International Journal of Advanced Computer Science and Applications 9 (5), 2018 | 2 | 2018 |
Réseau de Petri temporel étendu: Proposition d'un nouveau modèle basé sur les réseaux de Petri temporels Y EL TOUATI, N BEN HADJ ALOUANE, M YEDDES Journal européen des systèmes automatisés 39 (1-3), 207-222, 2005 | 2 | 2005 |
Deadline Verification for Web Services Using Timed Automata Y El Touati Engineering, Technology & Applied Science Research 12 (1), 8013-8016, 2022 | 1 | 2022 |
Advanced Transverse Wave Approach for MM-Wave Analysis of Planar Antennas applied in 5G-Technology M Ayari, YE Touati, S Altowaijri International Journal of Computer Science and Network Security 22 (1), 295-299, 2022 | 1 | 2022 |
Timed bounded verification of inclusion based on timed bounded discretized language I Ammar, Y El Touati, J Mullins, M Yeddes International Journal of Foundations of Computer Science 32 (02), 175-202, 2021 | 1 | 2021 |
Minimization of Linear Constraints in Constant Slope Hybrid Dynamic Systems Y El Touati International Journal of Advanced Computer Science and Applications 18 (10 …, 2018 | 1 | 2018 |
Extended Time Petri Net and Hybrid Petri Net: Modeling Multi-Instance Dynamic Hybrid Systems YE Touati, M Ayari, S Altowaijri International Journal of Computer Science and Network Security 18 (5), 75-83, 2018 | 1 | 2018 |
Modeling and control of constant speed Dynamic Hybrid Systems using Extended Time Petri Networks Y El Touati, NBH Alouane, M Yeddes 2012 24th Chinese Control and Decision Conference (CCDC), 634-641, 2012 | 1 | 2012 |
Time Petri Networks with Memory-Enabled Tokens: An Application to the Modeling of Dynamic Hybrid Systems Y EL TOUATI, M YEDDES, NBENH ALOUANE 11th international workshop on Discrete Event systems WODES 12, 3-5, 0 | 1 | |
Adaptive Method for Feature Selection in the Machine Learning Context Y El Touati, JB Slimane, T Saidani Engineering, Technology & Applied Science Research 14 (3), 14295-14300, 2024 | | 2024 |
Securing Cloud Computing Services with an Intelligent Preventive Approach SM Altowaijri, Y El Touati Engineering, Technology & Applied Science Research 14 (3), 13998-14005, 2024 | | 2024 |
Feature Imputation using Neutrosophic Set Theory in Machine Learning Regression Context Y El Touati, W Abdelfattah Engineering, Technology & Applied Science Research 14 (2), 13688-13694, 2024 | | 2024 |