Follow
Mohammad Izadi
Mohammad Izadi
Associate Professor of Computer Engineering, Sharif University of Technology
Verified email at sharif.edu - Homepage
Title
Cited by
Cited by
Year
Phishing detection using machine learning techniques
V Shahrivari, MM Darabi, M Izadi
arXiv preprint arXiv:2009.11116, 2020
822020
An efficient power-aware VM allocation mechanism in cloud data centers: a micro genetic-based approach
M Tarahomi, M Izadi, M Ghobaei-Arani
Cluster Computing 24 (2), 919-934, 2021
572021
An empirical approach to modeling user-system interaction conflicts in smart homes
FJ Miandashti, M Izadi, AAN Shirehjini, S Shirmohammadi
IEEE Transactions on Human-Machine Systems 50 (6), 573-583, 2020
232020
Modeling component connectors: Synchronisation and context-dependency
M Izadi, MM Bonsangue, D Clarke
2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008
232008
A prediction‐based and power‐aware virtual machine allocation algorithm in three‐tier cloud data centers
M Tarahomi, M Izadi
International Journal of Communication Systems 32 (3), e3870, 2019
202019
A crisis situations decision-making systems software development process with rescue experiences
A Nowroozi, P Teymoori, T Ramezanifarkhani, MR Besharati, M Izadi
IEEE Access 8, 59599-59617, 2020
162020
Recasting constraint automata into Büchi automata
M Izadi, MM Bonsangue
Theoretical Aspects of Computing-ICTAC 2008: 5th International Colloquium …, 2008
152008
Decreasing the execution time of reducers by revising clustering based on the futuristic greedy approach
A Bakhthemmat, M Izadi
Journal of Big Data 7, 1-21, 2020
142020
Büchi automata for modeling component connectors
M Izadi, M Bonsangue, D Clarke
Software & Systems Modeling 10, 183-200, 2011
112011
Model checking of component connectors
M Izadi, A Movaghar, F Arbab
31st Annual International Computer Software and Applications Conference …, 2007
112007
Improving security issues in MANET AODV routing protocol
M Gharehkoolchian, AMA Hemmatyar, M Izadi
Ad Hoc Networks: 7th International Conference, AdHocHets 2015, San Remo …, 2015
102015
K-means-G*: Accelerating k-means clustering algorithm utilizing primitive geometric concepts
H Ismkhan, M Izadi
Information Sciences 618, 298-316, 2022
92022
Automata based model checking for Reo connectors
MM Bonsangue, M Izadi
International Conference on Fundamentals of Software Engineering, 260-275, 2009
92009
Offloading coalition formation for scheduling scientific workflow ensembles in fog environments
H Siar, M Izadi
Journal of Grid Computing 19 (3), 34, 2021
82021
Communities detection for advertising by futuristic greedy method with clustering approach
A Bakhthemmat, M Izadi
Big Data 9 (1), 22-40, 2021
82021
KARB Solution: Compliance to Quality by Rule Based Benchmarking
MR Besharati, M Izadi
arXiv preprint arXiv:2007.05874, 2020
72020
DAST Model: Deciding About Semantic Complexity of a Text
MR Besharati, M Izadi
arXiv preprint arXiv:1908.09080, 2019
72019
An equivalence based method for compositional verification of the linear temporal logic of constraint automata
M Izadi, AM Rahimabadi
Electronic Notes in Theoretical Computer Science 159, 171-186, 2006
72006
Model checking of component connectors
M Izadi
Leiden University, 2011
62011
Predicting human behavior in size-variant repeated games through deep convolutional neural networks
A Vazifedan, M Izadi
Progress in artificial intelligence, 1-14, 2022
52022
The system can't perform the operation now. Try again later.
Articles 1–20