| ۱ | Anomaly Detection of Policies in Distributed Firewalls using Data Log Analysis | A.Andalib and S.M.Babamir | The Journal of Supercomputing | 2024-06-29 |
| ۲ | Anomaly Detection of Policies in Distributed Firewalls using Data Log Analysis | A.Andalib and S.M.Babamir | The Journal of Supercomputing | 2023-05-29 |
| ۳ | Reserve policy‑aware VM positioning based on prediction in multi‑cloud environment | E.Kholdi, S.M.Babamir | The Journal of Supercomputing | 2024-07-22 |
| ۴ | 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 |
| ۵ | 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 |
| ۶ | A hybrid energy‑aware algorithm for virtual machine placement in cloud computing | M.Yousofi and S.M.Babamir | Computing | 2024-04-03 |
| ۷ | QoS-aware web service composition using Gray Wolf Optimizer | Meysam Karimi ans Seyed Morteza Babamir | International Journal of Information & Communication Technology | 2017-02-11 |
| ۸ | 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 |
| ۹ | 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 |
| ۱۰ | 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 |
| ۱۱ | 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 |
| ۱۲ | Constructing Formal Rules to verify Message Communication in Distributed Systems | S.M. Babamir | The Journal of Supercomputing | 2011-01-27 |
| ۱۳ | 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 |
| ۱۴ | Constructing a Model-Based Software Monitor for the Insulin Pump Behavior | S.M. Babamir | Journal of Medical Systems | 2010-07-13 |
| ۱۵ | Active Program Analysis Using Rule-Based Modification and Aspectation | S.M. Babamir | ُStudies in Informatics and Control | 2011-11-11 |
| ۱۶ | 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 |
| ۱۷ | 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 |
| ۱۸ | Web Service Protection Using a Cryptography Layer on WSDL File | ارزو میرطالبی-سید مرتضی بابامیر | | 2017-6-01 |
| ۱۹ | Web Service Protection Using a Cryptography Layer on WSDL File | ارزو میرطالبی,سید مرتضی بابامیر | Journal of Advanced Mathematics and Applications | 2017-06-11 |
| ۲۰ | A Pareto-based Optimizer for Workflow Scheduling in Cloud Computing Environment | ازاده خلیلی اردلی-سید مرتضی بابامیر | | 2016-3-01 |