Analyzing SMV & UPPAAL model checkers in real-time systems

Alireza Souria , Mohammad Ali Shariflooa , Monire Norouzia
Computer Science 1 631 -639

13
2012
Systematic review on next-generation web-based software architecture clustering models

Tianfu Yang , Zhiyong Jiang , Yanhong Shang , Monire Norouzi
Computer Communications 167 63 -74

7
2021
A Hybrid Service Selection and Composition Model for Cloud-Edge Computing in the Internet of Things

Mehdi Hosseinzadeh , Quan Thanh Tho , Saqib Ali , Amir Masoud Rahmani
IEEE Access 8 85939 -85949

35
2020
Formalizing class diagram in UML

Alireza Souri , Mohammad ali Sharifloo , Monire Norouzi
international conference on software engineering 524 -527

2011
Data processing in Grid systems by using cluster algorithms

Monire Norouzi , Shahin Akbarpour ,
international conference on software engineering 309 -312

2013
Towards techniques, challenges and efforts of software as a service layer based on business applications in cloud environments

Mojgan Fardinpour , Alireza Sadeghi Milani , Monire Norouzi
Kybernetes 49 ( 12) 2993 -3018

2020
A new probable decision making approach for verification of probabilistic real-time systems

Alireza Souri , Monire Norouzi
international conference on software engineering 44 -47

17
2015
Application of GPS in Orienteering Competitions

Monire Norouzi
International Journal of Mobile Network Communications & Telematics 3 ( 4) 7 -13

2013
A State-of-the-Art Survey on Formal Verification of the Internet of Things Applications

Alireza Souri , Monire Norouzi
Journal of Service Science Research 11 ( 1) 47 -67

11
2019
Research on node localization algorithm based on CNRD in wireless sensor network

Alireza Souri , Monire Norouzi ,
International Journal of Information and Network Security 2 ( 4) 278 -284

2013
Formalizing and Verification of an Antivirus Protection Service using Model Checking

Adalat Safarkhanlou , Alireza Souri , Monire Norouzi , SeyedHassan Es. Haghi Sardroud
Procedia Computer Science 57 1324 -1331

13
2015
A Data Mining Classification Approach for Behavioral Malware Detection

Monire Norouzi , Alireza Souri , Majid Samad Zamini
Journal of Computer Networks and Communications 2016 ( 2016) 1 -9

21
2016
An analytical automated refinement approach for structural modeling large-scale codes using reverse engineering

Alireza Souri , Monire Norouzi , Parvaneh Asghari
International Journal of Information Technology 9 ( 4) 329 -333

2
2017
VERIFICATION OF THE PROTECTION SERVICES IN ANTIVIRUS SYSTEMS BY USING NUSMV MODEL CHECKER

Monire Norouzi , Saeed Parsa
foundations of computer science 4 ( 5) 57 -67

3
2014
A new approach for formal behavioral modeling of protection services in antivirus systems

Monire Norouzi , Saeed Parsa , Ali Mahjur
arXiv preprint arXiv:1406.2791

10
2014
A systematic review of IoT communication strategies for an efficient smart environment

Alireza Souri , Aseel Hussien , Mahdi Hoseyninezhad , Monire Norouzi
Transactions on Emerging Telecommunications Technologies 33 ( 3) e3736 -e3736

126
2022
A systematic literature review on formal verification of software‐defined networks

Alireza Souri , Monire Norouzi , Parvaneh Asghari , Amir Masoud Rahmani
Transactions on Emerging Telecommunications Technologies

14
2019
A dynamic data replication with consistency approach in data grids: modeling and verification

Alireza Souri , Monire Norouzi , Adalat Safarkhanlou , Seyed Hassan Es Haghi Sardroud
Baltic Journal of Modern Computing 4 ( 3) 546 -546

9
2016
4
2023