| 1 | Anomaly Detection of Policies in Distributed Firewalls using Data Log Analysis | A.Andalib and S.M.Babamir | The Journal of Supercomputing | 2023-05-29 |
| 2 | Anomaly Detection of Policies in Distributed Firewalls using Data Log Analysis | A.Andalib and S.M.Babamir | The Journal of Supercomputing | 2024-06-29 |
| 3 | Reserve policy‑aware VM positioning based on prediction in multi‑cloud environment | E.Kholdi, S.M.Babamir | The Journal of Supercomputing | 2024-07-22 |
| 4 | A PSO-based task scheduling algorithm improved using a load-balancing technique for the cloud computing environment | F. Ebadifard and S.M. Babamir | Concurrency & Computation, Practice and Experience | 2017-09-06 |
| 5 | Fuzzy Colored Petri Nets-Based Method to Analyze and Verify the Functionality of Software | M.Chavoshi and S.M.Babamir | CAII transactions on intelligent technology | 2023-10-16 |
| 6 | A hybrid energy‑aware algorithm for virtual machine placement in cloud computing | M.Yousofi and S.M.Babamir | Computing | 2024-04-03 |
| 7 | QoS-aware web service composition using Gray Wolf Optimizer | Meysam Karimi ans Seyed Morteza Babamir | International Journal of Information & Communication Technology | 2017-02-11 |
| 8 | Specification and Verification of Medical Monitoring System Using Petri-nets | N.Majma and S.M.Babamir | Journal of Medical Signals and Sensors | 2014-07-12 |
| 9 | Modeling and Simulation of Fuzzy-rule Based WBAN using Multi-level Fuzzy Colored Petri-nets and Reinforcement Learning | N.Majma and S.M.Babamir | Journal of Computational Science | 2024-10-10 |
| 10 | Run-time Verification of Service-oriented Systems: A Well-rounded Survey | R. Babaee and S.M. Babamir | International Journal of Web and Grid Services | 2013-08-06 |
| 11 | Using a process algebra interface for verification and validation of UML statecharts | S. Doostali, S.M. Babamir, and M.Javani | Computer Standards and Interfaces | 2023-03-09 |
| 12 | A Framework for Specifying Safe Behavior of the CIIP Medical System | S.M. Babamir | Advances in Experimental Medicine and Biology Series, Collection Software Tools and Algorithms for Biological Systems | 2011-03-15 |
| 13 | Constructing Formal Rules to verify Message Communication in Distributed Systems | S.M. Babamir | The Journal of Supercomputing | 2011-01-27 |
| 14 | Constructing a Model-Based Software Monitor for the Insulin Pump Behavior | S.M. Babamir | Journal of Medical Systems | 2010-07-13 |
| 15 | Active Program Analysis Using Rule-Based Modification and Aspectation | S.M. Babamir | ُStudies in Informatics and Control | 2011-11-11 |
| 16 | Synthesizing A Specification-Based Monitor For Safety Requirements | S.M. Babamir and S.Jalili | Iranian Journal of Science & Technology, Transaction B: Engineering | 2010-06-01 |
| 17 | Making real-time systems fault tolerant: a specification-based approach | S.M. Babamir and S.Jalili | Journal of Scientific and Industrial Research | 2010-07-11 |
| 18 | Web Service Protection Using a Cryptography Layer on WSDL File | ارزو میرطالبی,سید مرتضی بابامیر | Journal of Advanced Mathematics and Applications | 2017-06-11 |
| 19 | Optimal Scheduling workflows in Cloud Computing Environment Using Pareto based Grey Wolf Optimizer | ازاده خلیلی اردلی,سید مرتضی بابامیر | CONCURR COMP-PRACT E | 2017-06-11 |
| 20 | Duplicate Detection Models for Bug Reports of Software Triage Systems: A Survey | بهزاد سلیمانی نیسیانی,سید مرتضی بابامیر | Current Trends In Computer Sciences & Applications | 2019-12-17 |
