An efficient task scheduling approach using moth‐flame optimization algorithm for cyber‐physical system applications in fog computing M Ghobaei‐Arani, A Souri, F Safara, M Norouzi Transactions on Emerging Telecommunications Technologies 31 (2), e3770, 2020 | 176 | 2020 |
A systematic review of IoT communication strategies for an efficient smart environment A Souri, A Hussien, M Hoseyninezhad, M Norouzi Transactions on Emerging Telecommunications Technologies 33 (3), e3736, 2022 | 124 | 2022 |
A data mining classification approach for behavioral malware detection M Norouzi, A Souri, M Samad Zamini Journal of Computer Networks and Communications 2016, 2016 | 68 | 2016 |
A state-of-the-art survey on formal verification of the internet of things applications A Souri, M Norouzi Journal of Service Science Research 11 (1), 47-67, 2019 | 60 | 2019 |
A hybrid service selection and composition model for cloud-edge computing in the internet of things M Hosseinzadeh, QT Tho, S Ali, AM Rahmani, A Souri, M Norouzi, ... IEEE Access 8, 85939-85949, 2020 | 54 | 2020 |
A model checking approach for user relationship management in the social network A Souri, M Nourozi, AM Rahmani, NJ Navimipour Kybernetes 48 (3), 407-423, 2018 | 35 | 2018 |
Formalizing and verification of an antivirus protection service using model checking A Safarkhanlou, A Souri, M Norouzi, SHEH Sardroud Procedia Computer Science 57, 1324-1331, 2015 | 27 | 2015 |
A new probable decision making approach for verification of probabilistic real-time systems A Souri, M Norouzi 2015 6th IEEE international conference on software engineering and service …, 2015 | 25 | 2015 |
Systematic review on next-generation web-based software architecture clustering models T Yang, Z Jiang, Y Shang, M Norouzi Computer Communications 167, 63-74, 2021 | 15 | 2021 |
An optimized human resource management model for cloud-edge computing in the internet of things Y Liu, W Zhang, Q Zhang, M Norouzi Cluster Computing 25 (4), 2527-2539, 2022 | 13 | 2022 |
A systematic literature review on formal verification of software‐defined networks A Souri, M Norouzi, P Asghari, AM Rahmani, G Emadi Transactions on Emerging Telecommunications Technologies 31 (2), e3788, 2020 | 13 | 2020 |
Analyzing SMV & UPPAAL model checkers in real-time systems A Souria, MA Shariflooa, M Norouzia Computer Science 1, 631-639, 2012 | 13 | 2012 |
A new approach for formal behavioral modeling of protection services in antivirus systems M Norouzi, S Parsa, A Mahjur arXiv preprint arXiv:1406.2791, 2014 | 10 | 2014 |
A dynamic data replication with consistency approach in data grids: modeling and verification A Souri, M Norouzi, A Safarkhanlou, SHEH Sardroud Baltic Journal of Modern Computing 4 (3), 546, 2016 | 9 | 2016 |
An analytical automated refinement approach for structural modeling large-scale codes using reverse engineering A Souri, M Norouzi, P Asghari International Journal of Information Technology 9, 329-333, 2017 | 7 | 2017 |
Application of GPS in Orienteering Competitions M Norouzi International Journal of Mobile Network Communications & Telematics 3 (4), 7-13, 2013 | 7 | 2013 |
Formalizing class diagram in UML A Souri, M ali Sharifloo, M Norouzi 2011 IEEE 2nd International Conference on Software Engineering and Service …, 2011 | 7 | 2011 |
Towards techniques, challenges and efforts of software as a service layer based on business applications in cloud environments M Fardinpour, A Sadeghi Milani, M Norouzi Kybernetes 49 (12), 2993-3018, 2020 | 3 | 2020 |
Data processing in Grid systems by using cluster algorithms M Norouzi, S Akbarpour 2013 IEEE 4th International Conference on Software Engineering and Service …, 2013 | 3 | 2013 |
Fault Tolerant Location-Based Service Discovery Protocol (LBSDP): A New Approach in Vehicular Networks A Souri, M Norouzi American Journal of Scientific Research 57, 84-89, 2012 | 3 | 2012 |