Stochastic Activity Networks: Structure, Behavior, and Application. - John F. Meyer; Ali Movaghar 001; William H. Sanders (PNPM, 1985)

Performability Modeling with Stochastic Activity Networks. - Ali Movaghar-Rahimabadi (1985)

On queueing with customer impatience until the beginning of service. - Ali Movaghar 001 (Queueing Syst. Theory Appl., 1998)

An Introduction to New Extensions for Stochastic Activity Networks. - Mohammad Abdollahi Azgomi; Ali Movaghar 001 (IASTED PDCS, 2002)

Simulation in Rebeca. - Marjan Sirjani; Ali Movaghar 001 (PDPTA, 2002)

On Dynamic Assignment of Impatient Customers to Parallel Queues. - Ali Movaghar 001 (DSN, 2003)

Model Checking in Rebeca. - Marjan Sirjani; Ali Movaghar 001; Hamed Iravanchi; Mohammad Mahdi Jaghoori; Amin Shali (PDPTA, 2003)

A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models. - Marjan Sirjani; Amin Shali; Mohammad Mahdi Jaghoori; Hamed Iravanchi; Ali Movaghar 001 (ACSD, 2004)

Modeling and Evaluation with Object Stochastic Activity Networks. - Mohammad Abdollahi Azgomi; Ali Movaghar-Rahimabadi (QEST, 2004)

Modeling and Verification of Reactive Systems using Rebeca. - Marjan Sirjani; Ali Movaghar 001; Amin Shali; Frank S. de Boer (Fundam. Informaticae, 2004)

Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing. - Marjan Sirjani; Frank S. de Boer; Ali Movaghar 001; Amin Shali (ACSD, 2005)

An Artificial Intelligent CAC Scheme for Self-Similar Traffic using Fuzzy Case based Reasoning. - Afshin Parvaresh; Mohammed I. Kalantari; Ali Movaghar-Rahimabadi (Communication Systems and Applications, 2005)

Efficient Symmetry Reduction for an Actor-Based Model. - Mohammad Mahdi Jaghoori; Marjan Sirjani; Mohammad Reza Mousavi 001; Ali Movaghar 001 (ICDCIT, 2005)

Non-Preemptive Earliest-Deadline-First Scheduling Policy: A Performance Study. - Mehdi Kargahi; Ali Movaghar 001 (MASCOTS, 2005)

An Efficient Model Checking Algorithm for a Fragment of µ-Calculus. - Mohammad Izadi; Ali Movaghar-Rahimabadi (SEKE, 2005)

An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata. - Mohammad Izadi; Ali Movaghar-Rahimabadi (FSEN, 2005)

Transformation of UML Models into Analyzable OSAN Models. - Ali Kamandi; Mohammad Abdollahi Azgomi; Ali Movaghar 001 (FSEN, 2005)

Modular Verification of a Component-Based Actor Language. - Marjan Sirjani; Frank S. de Boer; Ali Movaghar-Rahimabadi (J. Univers. Comput. Sci., 2005)

Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models. - Marjan Sirjani; Ali Movaghar 001; Amin Shali; Frank S. de Boer (J. Univers. Comput. Sci., 2005)

Optimal control of parallel queues with impatient customers. - Ali Movaghar-Rahimabadi (Perform. Evaluation, 2005)

A modelling tool for hierarchical stochastic activity networks. - Mohammad Abdollahi Azgomi; Ali Movaghar 001 (Simul. Model. Pract. Theory, 2005)

Performance Evaluation of Mobile Ad Hoc Networks In the Presence of Energy-based Selfishness. - Ehsan Ataie; Ali Movaghar 001 (BROADNETS, 2006)

Efficient Evaluation of CSAN Models by State Space Analysis Methods. - Mohammad Abdollahi Azgomi; Ali Movaghar 001 (ICSEA, 2006)

Modeling and Evaluation of Software Systems with Object Stochastic Activity Networks. - Mohammad Abdollahi Azgomi; Ali Movaghar 001 (ICSEA, 2006)

Modere: the model-checking engine of Rebeca. - Mohammad Mahdi Jaghoori; Ali Movaghar 001; Marjan Sirjani (SAC, 2006)

A Method for Performance Analysis of Earliest-Deadline-First Scheduling Policy. - Mehdi Kargahi; Ali Movaghar 001 (J. Supercomput., 2006)

Restricted Access to Exam Grades on the Web by HIP. - Sajad Shirali-Shahreza; Mohammad Shirali-Shahreza; Ali Movaghar 001 (ACIS-ICIS, 2007)

Reliable multicast routing with local recovery approach in Ad Hoc Network. - Mehdi EffatParvar; Mehdi Dehghan 001; Ali Movaghar 001; Amir Dareshorzadeh (AccessNets, 2007)

Model Checking of Component Connectors. - Mohammad Izadi; Ali Movaghar 001; Farhad Arbab (COMPSAC (1), 2007)

Characterizing the Web Using a New Uniform Sampling Approach. - Hamid Mousavi; Mohammad Ebrahim Rafiei; Ali Movaghar 001 (COMSWARE, 2007)

Vulnerability Analysis in VGBPS Using Prolog. - Mohammad Ebrahim Rafiei; Mohsen Taherian; Hamid Mousavi; Ali Movaghar 001; Rasool Jalili (FSEN, 2007)

A Review on Specifying Software Architectures Using Extended Automata-Based Models. - Sayed Mehran Sharafi; Fereidoon Shams Aliee; Ali Movaghar 001 (FSEN, 2007)

A New Anti-Spam Protocol Using CAPTCHA. - Sajad Shirali-Shahreza; Ali Movaghar 001 (ICNSC, 2007)

Trusted secure routing for ad hoc networks. - Nima Haghpanah; Masoud Akhoondi; Mehdi Kargar; Ali Movaghar 001 (MOBIWAC, 2007)

An improved replacement algorithm in fault-tolerant meshes. - Saina Jalili; Ali Movaghar 001; Maryam Sadrmousavi (SCSC, 2007)

Compositional failure-based semantic equivalences for Reo specifications. - Mohammad Izadi; Ali Movaghar 001 (SAVCBS, 2007)

Compositional Failure-based Equivalence of Constraint Automata. - Mohammad Izadi; Ali Movaghar 001 (AVoCS, 2007)

3MOKAN: A Novel Mobility Management Mechanism Based on Keeping Alternative Nodes. - Mahmood Hasanlou; Ebrahim Fazli; Ali Movaghar 001; Hossein Mohammadi (AINA Workshops, 2008)

Performance Analysis of SLTC - A Stable Path, Low Overhead, Truthful and Cost Efficient Routing Protocol in MANETs with Selfish Nodes. - Fatemeh Saremi; Hamid Mousavi; Ali Movaghar 001 (APSCC, 2008)

A Novel Method for Modeling and Evaluation of Uncertain Information Systems. - Ali Haroonabadi; Mohammad Teshnehlab; Ali Movaghar 001 (ICIT, 2008)

Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps. - Sara NavidPour; Mohammad Izadi; Ali Movaghar 001 (COMPSAC, 2008)

Modeling Routing Protocols in Adhoc Networks. - Fatemeh Ghassemi; Ali Movaghar 001 (CSICC, 2008)

Bandwidth-Delay Constrained Least Cost Multicast Routing for Multimedia Communication. - Mehrdad Mahdavi; Rana Forsati; Ali Movaghar 001 (CSICC, 2008)

Challenges in Using Peer-to-Peer Structures in Order to Design a Large-Scale Web Search Engine. - Hamid Mousavi; Ali Movaghar 001 (CSICC, 2008)

CEBAC: A Decentralized Cooperation Enforcement Based Access Control Framework in MANETs. - Fatemeh Saremi; Hoda Mashayekhi; Ali Movaghar 001; Rasool Jalili (CSICC, 2008)

ID-NAC: Identity-based network access control for MANETs. - Narges Aghakazem Jourabbaf; Ali Movaghar 001 (ICON, 2008)

A study on routing method in P2P networks. - S. Kalantary; Ali Movaghar 001; A. A. Ghafarizade (ICON, 2008)

Finding the sensors location and the number of sensors in sensor networks with a genetic algorithm. - Mohammad Robatmili; Mehdi Mohammadi; Ali Movaghar 001; Mehdi Dehghan 001 (ICON, 2008)

Performance Modeling of Fault Tolerant Fully Adaptive Wormhole Switching 2-D Meshes in Presence of Virtual Channels. - S. Nickmanesh; Ali Movaghar 001; F. Rookhosh (ICSNC, 2008)

Intrusion Detection: A Survey. - Farzad Sabahi; Ali Movaghar 001 (ICSNC, 2008)

MEHR: Multi-Hop Energy-Aware Hierarchical Routing for Wireless Sensor Networks. - Abolfazl Asudeh; Ali Movaghar 001 (NTMS, 2008)

Restricted Broadcast Process Theory. - Fatemeh Ghassemi; Wan J. Fokkink; Ali Movaghar 001 (SEFM, 2008)

Model Checking of Component Based Software Using Compositional Reductions. - Mohammad Izadi; Ali Movaghar 001 (Int. J. Softw. Eng. Knowl. Eng., 2008)

Anonymous authentication protocol for GSM networks. - Mahdi Asadpour; Behnam Sattarzadeh; Ali Movaghar 001 (Int. J. Secur. Networks, 2008)

Design and Performance Evaluation of a Fuzzy-Based Traffic Conditioner for Mobile Ad Hoc Networks. - Masood Niazi Torshiz; Ali Movaghar 001 (J. Circuits Syst. Comput., 2008)

Stochastic DVS-based dynamic power management for soft real-time systems. - Mehdi Kargahi; Ali Movaghar 001 (Microprocess. Microsystems, 2008)

Maximizing the Accrued Utility of an Isochronal Soft Real-Time System Using Genetic Algorithms. - Ali Asghar Pourhaji Kazem; Habib Seifzadeh; Mehdi Kargahi; Ali Movaghar-Rahimabadi; Shahriar Lotfi (ACIS-ICIS, 2009)

A Method for Dynamic Software Updating in Real-Time Systems. - Habib Seifzadeh; Ali Asghar Pourhaji Kazem; Mehdi Kargahi; Ali Movaghar-Rahimabadi (ACIS-ICIS, 2009)

Energy-Efficient SPEED Routing Protocol for Wireless Sensor Networks. - Mohammad Sadegh Kordafshari; Azadeh Pourkabirian; Karim Faez; Ali Movaghar-Rahimabadi (AICT, 2009)

A New Method for Coverage in Wireless Sensor Networks. - N. Attarzadeh; Ali Barati; Ali Movaghar 001 (DASC, 2009)

Equational Reasoning on Ad Hoc Networks. - Fatemeh Ghassemi; Wan J. Fokkink; Ali Movaghar 001 (FSEN, 2009)

A New Approach to Improve Quality of Service in SPEED Routing Protocol in Wireless Sensor Network through Data Aggregation. - Rassoul Roustaei; Ebadolah Zohrevandi; Keramat Hassani; Ali Movaghar 001 (ICECS, 2009)

SEAODV: secure efficient AODV routing protocol for MANETs networks. - Misagh Mohammadizadeh; Ali Movaghar 001; Seyad Mohammad Safi (ICIS, 2009)

Recovery of Sensors in Wireless Sensor Networks. - Ali Barati; Mohammad Ali Khosh Kholghi; Ali Movaghar 001 (NCM, 2009)

Intelligent Clustering in Wireless Sensor Networks. - Ehsan Heidari; Ali Movaghar 001 (NetCoM, 2009)

Utilizing Network Coding for File Dissemination in Peer-to-Peer Systems. - Maryam Hosseini Sohei; Najmeh Sadat Bathaee; Ali Movaghar-Rahimabadi (NTMS, 2009)

A New Analysis of RC4 - A Data Mining Approach (J48). - Mohsen Hajsalehi Sichani; Ali Movaghar 001 (SECRYPT, 2009)

Weighted start-time fair queuing: a new start-time fair queuing for elastic traffic. - Ehsan Allahyar; Ali Movaghar 001 (SpringSim, 2009)

Joint distributed source and network coding for multiple wireless unicast sessions. - Shahriar Etemadi Tajbakhsh; Ali Movaghar 001 (WCNC, 2009)

Mobility Aware Distributed Topology Control in Mobile Ad-Hoc Networks Using Mobility Pattern Matching. - Mehrdad Khaledi; Seyed Morteza Mousavi; Hamid Reza Rabiee; Ali Movaghar 001; Mojgan Khaledi; Omid Ardakanian (WiMob, 2009)

Towards Performance Evaluation of Mobile Ad Hoc Network Protocols. - Fatemeh Ghassemi; Ali Movaghar 001; Wan J. Fokkink (ACSD, 2010)

An Identity-Based Network Access Control Scheme for Single Authority MANETs. - Narges Aghakazem Jourabbaf; Ali Movaghar 001 (APSCC, 2010)

A Genetic-Based Scheduling Algorithm to Minimize the Makespan of the Grid Applications. - Reza Entezari-Maleki; Ali Movaghar 001 (FGIT-GDC/CA, 2010)

Characteristics of Secure Routing in Vehicular Ad Hoc Network (VANET). - Sayed Mohammad Mehdi Feiz; Ali Movaghar 001 (ICWN, 2010)

Symmetry and partial order reduction techniques in model checking Rebeca. - Mohammad Mahdi Jaghoori; Marjan Sirjani; Mohammad Reza Mousavi 001; Ehsan Khamespanah; Ali Movaghar 001 (Acta Informatica, 2010)

Dynamic routing of real-time jobs among parallel EDF queues: A performance study. - Mehdi Kargahi; Ali Movaghar 001 (Comput. Electr. Eng., 2010)

Vulnerability analysis of networks to detect multiphase attacks using the actor-based language Rebeca. - Hamid Reza Shahriari; Mohammad Sadegh Makarem; Marjan Sirjani; Rasool Jalili; Ali Movaghar 001 (Comput. Electr. Eng., 2010)

Equational Reasoning on Mobile Ad Hoc Networks. - Fatemeh Ghassemi; Wan J. Fokkink; Ali Movaghar 001 (Fundam. Informaticae, 2010)

Failure-based equivalence of constraint automata. - Mohammad Izadi; Ali Movaghar 001 (Int. J. Comput. Math., 2010)

Utility Accrual Dynamic Routing in Real-Time Parallel Systems. - Mehdi Kargahi; Ali Movaghar 001 (IEEE Trans. Parallel Distributed Syst., 2010)

An Optimised Algorithm to Detect Faulty Readings along the Substrate Access Wireless Long-Thin Sensor Networks. - Ali Barati; S. Jalaleddin Dastgheib; Ali Movaghar 001; Iman Attarzadeh (EMS, 2011)

Stochastic Restricted Broadcast Process Theory. - Fatemeh Ghassemi; Mahmoud Talebi; Ali Movaghar 001; Wan J. Fokkink (EPEW, 2011)

IMAC: An Interference-Aware Duty-Cycle MAC Protocol for Wireless Sensor Networks Employing Multipath Routing. - Leila Eskandari; Hamed Yousefi 001; Ali Movaghar 001; Mohammad Khansari 002 (EUC, 2011)

A Bee Colony Task Scheduling Algorithm in Computational Grids. - Zohreh Mousavinasab; Reza Entezari-Maleki; Ali Movaghar 001 (ICDIPC (1), 2011)

A Fault Tolerant Scheduling Algorithm for DAG Applications in Cluster Environments. - Nabil Tabbaa; Reza Entezari-Maleki; Ali Movaghar 001 (ICDIPC (1), 2011)

Long lifetime routing in unreliable wireless sensor networks. - Hamed Yousefi 001; Mohammad Hossein Yeganeh; Ali Movaghar 001 (ICNSC, 2011)

RDAG: A Structure-Free Real-Time Data Aggregation Protocol for Wireless Sensor Networks. - Mohammad Hossein Yeganeh; Hamed Yousefi 001; Naser Alinaghipour; Ali Movaghar 001 (RTCSA (1), 2011)

Availability modeling of grid computing environments using SANs. - Reza Entezari-Maleki; Ali Movaghar 001 (SoftCOM, 2011)

Long lifetime real-time routing in unreliable Wireless Sensor Networks. - Naser Alinaghipour; Hamed Yousefi 001; Mohammad Hossein Yeganeh; Ali Movaghar 001 (Wireless Days, 2011)

An Efficient Method Based on Genetic Algorithms to Solve Sensor Network Optimization Problem - Ehsan Heidari; Ali Movaghar 001 (CoRR, 2011)

Pancyclicity of OTIS (swapped) networks based on properties of the factor graph. - Marzieh Malekimajd; Mohammad Reza Hoseiny Farahabady; Ali Movaghar 001; Hamid Sarbazi-Azad (Inf. Process. Lett., 2011)

On pancyclicity properties of OTIS-mesh. - T. Shafiei; Mohammad Reza Hoseiny Farahabady; Ali Movaghar 001; Hamid Sarbazi-Azad (Inf. Process. Lett., 2011)

Analysis of a dynamic assignment of impatient customers to parallel queues. - Ali Movaghar 001 (Queueing Syst. Theory Appl., 2011)

Performance Optimization Based on Analytical Modeling in a Real-Time System with Constrained Time/Utility Functions. - Mehdi Kargahi; Ali Movaghar 001 (IEEE Trans. Computers, 2011)

Verification of mobile ad hoc networks: An algebraic approach. - Fatemeh Ghassemi; Wan J. Fokkink; Ali Movaghar 001 (Theor. Comput. Sci., 2011)

DACA: Data-Aware Clustering and Aggregation in Query-Driven Wireless Sensor Networks. - Somaieh Bahrami; Hamed Yousefi 001; Ali Movaghar 001 (ICCCN, 2012)

Interference-Aware Multipath Routing for Video Delivery in Wireless Multimedia Sensor Networks. - Ilnaz Nikseresht; Hamed Yousefi 001; Ali Movaghar 001; Mohammad Khansari 002 (ICDCS Workshops, 2012)

Biogeography-based optimization of makespan and reliability in grid computing systems. - Mohammad Hadi Mobini; Reza Entezari-Maleki; Ali Movaghar 001 (ICUMT, 2012)

FOMA: Flexible overlay multi-path data aggregation in wireless sensor networks. - Majid Ashouri; Hamed Yousefi 001; Ali Mohammad Afshin Hemmatyar; Ali Movaghar 001 (ISCC, 2012)

Distributed QoS routing algorithm in large scale Wireless Sensor Networks. - Mohammad Sadegh Kordafshari; Azadeh Pourkabirian; Mohammad Reza Meybodi; Ali Movaghar 001 (ISIE, 2012)

S-NC: structure-free network coding-aware routing in wireless sensor networks. - Ehsan Enayati-Noabadi; Hamed Yousefi 001; Ali Movaghar 001 (MSWiM, 2012)

Analytical leakage/temperature-aware power modeling and optimization for a variable speed real-time system. - Morteza Mohaqeqi; Mehdi Kargahi; Ali Movaghar 001 (RTNS, 2012)

A Büchi automata based model checking framework for reo connectors. - Sarmen Keshishzadeh; Mohammad Izadi; Ali Movaghar 001 (SAC, 2012)

Structure-free real-time data aggregation in wireless sensor networks. - Hamed Yousefi 001; Mohammad Hossein Yeganeh; Naser Alinaghipour; Ali Movaghar 001 (Comput. Commun., 2012)

A probabilistic task scheduling method for grid environments. - Reza Entezari-Maleki; Ali Movaghar 001 (Future Gener. Comput. Syst., 2012)

A Novel Probabilistic Key Management Algorithm for Large-Scale MANETs. - Mohammed Gharib; Ehsan Emamjomeh-Zadeh; Ashkan Norouzi-Fard; Ali Movaghar 001 (AINA Workshops, 2013)

Model Checking MANETs with Arbitrary Mobility. - Fatemeh Ghassemi; Saeide Ahmadi; Wan J. Fokkink; Ali Movaghar 001 (FSEN, 2013)

A Rank-Based Hybrid Algorithm for Scheduling Data- and Computation-Intensive Jobs in Grid Environments. - Mohsen Abdoli; Reza Entezari-Maleki; Ali Movaghar 001 (ICACNI, 2013)

Availability Modeling and Evaluation of Cloud Virtual Data Centers. - Mohammad Roohitavaf; Reza Entezari-Maleki; Ali Movaghar 001 (ICPADS, 2013)

Expert key selection impact on the MANETs' performance using probabilistic key management algorithm. - Mohammed Gharib; Mohsen Minaei; Morteza Golkari; Ali Movaghar 001 (SIN, 2013)

Fully Distributed Self Certified Key Management for Large-Scale MANETs. - Zahra Moradlu; Mohammad-Ali Doostari; Mohammed Gharib; Ali Movaghar 001 (UIC/ATC, 2013)

MC-MLAS: Multi-channel Minimum Latency Aggregation Scheduling in Wireless Sensor Networks. - Fatemeh Ghods; Hamed Yousefi 001; Ali Mohammad Afshin Hemmatyar; Ali Movaghar 001 (Comput. Networks, 2013)

Quantification and Comparison of Network Degree Distributions. - Sadegh Aliakbary; Jafar Habibi; Ali Movaghar 001 (CoRR, 2013)

Learning an Integrated Distance Metric for Comparing Structure of Complex Networks. - Sadegh Aliakbary; Sadegh Motallebi; Jafar Habibi; Ali Movaghar 001 (CoRR, 2013)

Market_based grid resource allocation using new negotiation model. - Sepideh Adabi; Ali Movaghar 001; Amir Masoud Rahmani; Hamid Beigy (J. Netw. Comput. Appl., 2013)

Negotiation strategies considering market, time and behavior functions for resource allocation in computational grid. - Sepideh Adabi; Ali Movaghar 001; Amir Masoud Rahmani; Hamid Beigy (J. Supercomput., 2013)

A novel human mobility model for MANETs based on real data. - Ahmad Foroozani; Mohammed Gharib; Ali Mohammad Afshin Hemmatyar; Ali Movaghar 001 (ICCCN, 2014)

Optimal Capacity Allocation for Executing MapReduce Jobs in Cloud Systems. - Marzieh Malekimajd; Alessandro Maria Rizzi; Danilo Ardagna; Michele Ciavotta; Mauro Passacantando; Ali Movaghar 001 (SYNASC, 2014)

Energy Efficient and High Speed Error Control Scheme for Real Time Wireless Sensor Networks. - Ali Barati; Ali Movaghar 001; Masoud Sabaei (Int. J. Distributed Sens. Networks, 2014)

A two-phase wormhole attack detection scheme in MANETs. - Shiva Shamaei; Ali Movaghar 001 (ISC Int. J. Inf. Secur., 2014)

A new fuzzy negotiation protocol for grid resource allocation. - Sepideh Adabi; Ali Movaghar 001; Amir Masoud Rahmani; Hamid Beigy; Hengameh Dastmalchy-Tabrizi (J. Netw. Comput. Appl., 2014)

Analytical Leakage-Aware Thermal Modeling of a Real-Time System. - Morteza Mohaqeqi; Mehdi Kargahi; Ali Movaghar 001 (IEEE Trans. Computers, 2014)

Bi-level fuzzy based advanced reservation of Cloud workflow applications on distributed Grid resources. - Sahar Adabi; Ali Movaghar 001; Amir Masoud Rahmani (J. Supercomput., 2014)

Combined performance and availability analysis of distributed resources in grid computing. - Reza Entezari-Maleki; Ali Mohammadkhan; Heon Young Yeom; Ali Movaghar 001 (J. Supercomput., 2014)

Formal process algebraic modeling, verification, and analysis of an abstract Fuzzy Inference Cloud Service. - Ali Rezaee; Amir Masoud Rahmani; Ali Movaghar 001; Mohammad Teshnehlab (J. Supercomput., 2014)

Probabilistic Key Pre-Distribution for Heterogeneous Mobile Ad Hoc Networks Using Subjective Logic. - Mahdieh Ahmadi; Mohammed Gharib; Fatemeh Ghassemi; Ali Movaghar 001 (AINA, 2015)

CS-ComDet: A Compressive Sensing Approach for Inter-Community Detection in Social Networks. - Hamidreza Mahyar; Hamid R. Rabiee; Ali Movaghar 001; Elaheh Ghalebi; Ali Nazemian (ASONAM, 2015)

Decentralized Social Networking Using Named-Data. - Leonid Zeynalvand; Mohammed Gharib; Ali Movaghar 001 (CN, 2015)

A Low-Cost Sparse Recovery Framework for Weighted Networks under Compressive Sensing. - Hamidreza Mahyar; Hamid R. Rabiee; Ali Movaghar 001; Rouzbeh Hasheminezhad; Elaheh Ghalebi; Ali Nazemian (SmartCity, 2015)

Feature Extraction from Degree Distribution for Comparison and Analysis of Complex Networks. - Sadegh Aliakbary; Jafar Habibi; Ali Movaghar 001 (Comput. J., 2015)

Abstraction and approximation in fuzzy temporal logics and models. - Gholamreza Sotudeh; Ali Movaghar 001 (Formal Aspects Comput., 2015)

Improved Region-Based TCTL Model Checking of Time Petri Nets. - Mohammad Esmail Esmaili; Reza Entezari-Maleki; Ali Movaghar 001 (J. Comput. Sci. Eng., 2015)

PDC: Prediction-based data-aware clustering in wireless sensor networks. - Majid Ashouri; Hamed Yousefi 001; Javad Basiri; Ali Mohammad Afshin Hemmatyar; Ali Movaghar 001 (J. Parallel Distributed Comput., 2015)

Performability Evaluation of Grid Environments Using Stochastic Reward Nets. - Reza Entezari-Maleki; Kishor S. Trivedi; Ali Movaghar 001 (IEEE Trans. Dependable Secur. Comput., 2015)

Minimizing latency in geo-distributed clouds. - Marzieh Malekimajd; Ali Movaghar 001; Seyedmahyar Hosseinimotlagh (J. Supercomput., 2015)

Fast Aggregation Scheduling in Wireless Sensor Networks. - Hamed Yousefi 001; Marzieh Malekimajd; Majid Ashouri; Ali Movaghar 001 (IEEE Trans. Wirel. Commun., 2015)

EACHP: Energy Aware Clustering Hierarchy Protocol for Large Scale Wireless Sensor Networks. - Hamid Barati; Ali Movaghar 001; Amir Masoud Rahmani (Wirel. Pers. Commun., 2015)

Coordinated Actors for Reliable Self-adaptive Systems. - Maryam Bagheri 001; Ilge Akkaya; Ehsan Khamespanah; Narges Khakpour; Marjan Sirjani; Ali Movaghar 001; Edward A. Lee (FACS, 2016)

A multi-dimensional fairness combinatorial double-sided auction model in cloud environment. - Reihaneh Hassanzadeh; Ali Movaghar 001; Hamid Reza Hassanzadeh (IST, 2016)

A Combined Analytical Modeling Machine Learning Approach for Performance Prediction of MapReduce Jobs in Cloud Environment. - Ehsan Ataie; Eugenio Gianniti; Danilo Ardagna; Ali Movaghar 001 (SYNASC, 2016)

Extracting Implicit Social Relation for Social Recommendation Techniques in User Rating Prediction. - Seyed Mohammad Taheri; Hamidreza Mahyar; Mohammad Firouzi; Ali Movaghar 001 (CoRR, 2016)

HellRank: A Hellinger-based Centrality Measure for Bipartite Social Networks. - Seyed Mohammad Taheri; Hamidreza Mahyar; Mohammad Firouzi; Ali Movaghar 001 (CoRR, 2016)

RDTP: reliable data transport protocol in wireless sensor networks. - Ali Barati; Ali Movaghar 001; Masoud Sabaei (Telecommun. Syst., 2016)

CGC: centralized genetic-based clustering protocol for wireless sensor networks using onion approach. - Majid Hatamian; Hamid Barati; Ali Movaghar 001; Alireza Naghizadeh (Telecommun. Syst., 2016)

Secure Overlay Routing Using Key Pre-Distribution: A Linear Distance Optimization Approach. - Mohammed Gharib; Homayoun Yousefi'zadeh; Ali Movaghar 001 (IEEE Trans. Mob. Comput., 2016)

Extracting Implicit Social Relation for Social Recommendation Techniques in User Rating Prediction. - Seyed Mohammad Taheri; Hamidreza Mahyar; Mohammad Firouzi; Elahe Ghalebi K.; Radu Grosu; Ali Movaghar 001 (WWW (Companion Volume), 2017)

A Hitchhiker's Guide to Computation Offloading: Opinions from Practitioners. - Morteza Golkarifard; Ji Yang; Ali Movaghar 001; Pan Hui 001 (IEEE Commun. Mag., 2017)

Fully distributed ECC-based key management for mobile ad hoc networks. - Mohammed Gharib; Zahra Moradlou; Mohammad-Ali Doostari; Ali Movaghar 001 (Comput. Networks, 2017)

Performance aware scheduling considering resource availability in grid computing. - Reza Entezari-Maleki; Maryam Bagheri 001; Saeedeh Mehri; Ali Movaghar 001 (Eng. Comput., 2017)

Performance and power modeling and evaluation of virtualized servers in IaaS clouds. - Reza Entezari-Maleki; Leonel Sousa; Ali Movaghar 001 (Inf. Sci., 2017)

Runtime compositional analysis of track-based traffic control systems. - Maryam Bagheri 001; Ehsan Khamespanah; Marjan Sirjani; Ali Movaghar 001; Edward A. Lee (SIGBED Rev., 2017)

HellRank: a Hellinger-based centrality measure for bipartite social networks. - Seyed Mohammad Taheri; Hamidreza Mahyar; Mohammad Firouzi; Elahe Ghalebi K.; Radu Grosu; Ali Movaghar 001 (Soc. Netw. Anal. Min., 2017)

A learning automata and clustering-based routing protocol for named data networking. - Zeinab Shariat; Ali Movaghar 001; Mehdi Hosseinzadeh 001 (Telecommun. Syst., 2017)

Multi-objective Node Placement Considering Non-uniform Event Pattern. - Hossein Mohtashami; Ali Movaghar 001; Mohammad Teshnehlab (Wirel. Pers. Commun., 2017)

Compressed Sensing in Cyber Physical Social Systems. - Radu Grosu; Elahe Ghalebi K.; Ali Movaghar 001; Hamidreza Mahyar (Principles of Modeling, 2018)

Reliable and Energy-Efficient Routing for Green Software Defined Networking. - Ahmad Norouzi; Babak Majidi; Ali Movaghar 001 (IST, 2018)

Modeling and Evaluation of Power-Aware Software Rejuvenation in Cloud Systems. - Sharifeh Fakhrolmobasheri; Ehsan Ataie; Ali Movaghar 001 (Algorithms, 2018)

SLoPCloud: An Efficient Solution for Locality Problem in Peer-to-Peer Cloud Systems. - Mohammed Gharib; Marzieh Malekimajd; Ali Movaghar 001 (Algorithms, 2018)

Cost-Efficient Scheduling for Deadline Constrained Grid Workflows. - Alireza Dehlaghi-Ghadim; Reza Entezari-Maleki; Ali Movaghar 001 (Comput. Informatics, 2018)

Performability-Based Workflow Scheduling in Grids. - Reza Entezari-Maleki; Kishor S. Trivedi; Leonel Sousa; Ali Movaghar 001 (Comput. J., 2018)

Power-aware performance analysis of self-adaptive resource management in IaaS clouds. - Ehsan Ataie; Reza Entezari-Maleki; Sayed Ehsan Etesami; Bernhard Egger 002; Danilo Ardagna; Ali Movaghar 001 (Future Gener. Comput. Syst., 2018)

IDS modelling and evaluation in WANETs against black/grey-hole attacks using stochastic models. - Reza Entezari-Maleki; Mohammed Gharib; Maryam Khosravi; Ali Movaghar 001 (Int. J. Ad Hoc Ubiquitous Comput., 2018)

Semantic Data Gathering of Physical Entities in Semantic Sensor Networks Using Software Agents. - Mohammad Ahmadinia; Ali Movaghar 001; Amir Masoud Rahmani (Inf. Technol. Control., 2018)

Coordinated actor model of self-adaptive track-based traffic control systems. - Maryam Bagheri 001; Marjan Sirjani; Ehsan Khamespanah; Narges Khakpour; Ilge Akkaya; Ali Movaghar 001; Edward A. Lee (J. Syst. Softw., 2018)

Identifying central nodes for information flow in social networks using compressive sensing. - Hamidreza Mahyar; Rouzbeh Hasheminezhad; Elaheh Ghalebi; Ali Nazemian; Radu Grosu; Ali Movaghar 001; Hamid R. Rabiee (Soc. Netw. Anal. Min., 2018)

Throughput Analysis of IEEE 802.11 Multi-Hop Wireless Networks With Routing Consideration: A General Framework. - Shahbaz Rezaei; Mohammed Gharib; Ali Movaghar 001 (IEEE Trans. Commun., 2018)

Time-Cost Efficient Scheduling Algorithms for Executing Workflow in Infrastructure as a Service Clouds. - Robabeh Ghafouri; Ali Movaghar 001; Mehran Mohsenzadeh (Wirel. Pers. Commun., 2018)

A Lightweight Defense Approach to Mitigate Version Number and Rank Attacks in Low-Power and Lossy Networks. - Mohammad Nikravan; Ali Movaghar 001; Mehdi Hosseinzadeh 001 (Wirel. Pers. Commun., 2018)

TSRN: A Tabu Search-Based Routing Protocol for Named Data Networking. - Zeinab Shariat; Ali Movaghar 001; Mehdi Hosseinzadeh 001 (Wirel. Pers. Commun., 2018)

Scalable Performance Analysis of Epidemic Routing Considering Skewed Location Visiting Preferences. - Leila Rashidi; Amir Dalili-Yazdi; Reza Entezari-Maleki; Leonel Sousa; Ali Movaghar 001 (MASCOTS, 2019)

Poster: Impact of traffic characteristics on request aggregation in an NDN router. - Mahdieh Ahmadi; James Roberts; Emilio Leonardi; Ali Movaghar 001 (Networking, 2019)

VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs. - Farnaz Yousefi; Ehsan Khamespanah; Mohammed Gharib; Marjan Sirjani; Ali Movaghar 001 (SPIN, 2019)

Symbolic checking of Fuzzy CTL on Fuzzy Program Graph. - Masoud Ebrahimi 002; Gholamreza Sotudeh; Ali Movaghar 001 (Acta Informatica, 2019)

Impact of Traffic Characteristics on Request Aggregation in an NDN Router. - Mahdieh Ahmadi; James Roberts; Emilio Leonardi; Ali Movaghar 001 (CoRR, 2019)

A Compositional Approach for Reliable Adaptation of Track-based Traffic Control Systems at Runtime. - Maryam Bagheri 001; Marjan Sirjani; Ehsan Khamespanah; Ali Movaghar 001 (CoRR, 2019)

A Matrix Factorization Model for Hellinger-based Trust Management in Social IoT. - Soroush Aalibagi; Hamidreza Mahyar; Ali Movaghar 001; Harry Eugene Stanley (CoRR, 2019)

Efficient distribution of requests in federated cloud computing environments utilizing statistical multiplexing. - Moslem Habibi; MohammadAmin Fazli; Ali Movaghar 001 (Future Gener. Comput. Syst., 2019)

HybSMRP: a hybrid scheduling algorithm in Hadoop MapReduce framework. - Abolfazl Gandomi; Midia Reshadi; Ali Movaghar 001; Ahmad Khademzadeh (J. Big Data, 2019)

EATSDCD: A green energy-aware scheduling algorithm for parallel task-based application using clustering, duplication and DVFS technique in cloud datacenters. - Behnam Barzegar; Homayun Motameni; Ali Movaghar 001 (J. Intell. Fuzzy Syst., 2019)

Analytical composite performance models for Big Data applications. - Soroush Karimian Aliabadi; Danilo Ardagna; Reza Entezari-Maleki; Eugenio Gianniti; Ali Movaghar 001 (J. Netw. Comput. Appl., 2019)

A budget constrained scheduling algorithm for executing workflow application in infrastructure as a service clouds. - Robabeh Ghafouri; Ali Movaghar 001; Mehran Mohsenzadeh (Peer-to-Peer Netw. Appl., 2019)

A lightweight signcryption scheme for defense against fragment duplication attack in the 6LoWPAN networks. - Mohammad Nikravan; Ali Movaghar 001; Mehdi Hosseinzadeh 001 (Peer-to-Peer Netw. Appl., 2019)

Correction to: A lightweight signcryption scheme for defense against fragment duplication attack in the 6LoWPAN networks. - Mohammad Nikravan; Ali Movaghar 001; Mehdi Hosseinzadeh 001 (Peer-to-Peer Netw. Appl., 2019)

Hierarchical Stochastic Models for Performance, Availability, and Power Consumption Analysis of IaaS Clouds. - Ehsan Ataie; Reza Entezari-Maleki; Leila Rashidi; Kishor S. Trivedi; Danilo Ardagna; Ali Movaghar 001 (IEEE Trans. Cloud Comput., 2019)

A uniformization-based algorithm for continuous-time stochastic games model checking. - Shirin Baghoolizadeh; Ali Movaghar 001; Negin Majidi (Theor. Comput. Sci., 2019)

Dandelion: A Unified Code Offloading System for Wearable Computing. - Morteza Golkarifard; Ji Yang; Zhanpeng Huang; Ali Movaghar 001; Pan Hui 001 (IEEE Trans. Mob. Comput., 2019)

Secure Overlay Routing for Large Scale Networks. - Mohammed Gharib; Homayoun Yousefi'zadeh; Ali Movaghar 001 (IEEE Trans. Netw. Sci. Eng., 2019)

Performance Evaluation of Epidemic Content Retrieval in DTNs With Restricted Mobility. - Leila Rashidi; Reza Entezari-Maleki; Dimitris Chatzopoulos; Pan Hui 001; Kishor S. Trivedi; Ali Movaghar 001 (IEEE Trans. Netw. Serv. Manag., 2019)

Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems. - Maryam Bagheri 001; Edward A. Lee; Eunsuk Kang; Marjan Sirjani; Ehsan Khamespanah; Ali Movaghar 001 (MEMOCODE, 2020)

An area-scalable human-based mobility model. - Mohammed Gharib; Ahmad Foroozani; Shahbaz Rezaei; Ali Mohammad Afshin Hemmatyar; Ali Movaghar 001 (Comput. Networks, 2020)

Performance Modeling of Epidemic Routing in Mobile Social Networks with Emphasis on Scalability. - Leila Rashidi; Amir Dalili-Yazdi; Reza Entezari-Maleki; Leonel Sousa; Ali Movaghar 001 (CoRR, 2020)

MASKS: A Multi-Artificial Neural Networks System's verification approach. - Amirhoshang Hoseinpour Dehkordi; Majid Alizadeh; Ebrahim Ardeshir-Larijani; Ali Movaghar 001 (CoRR, 2020)

Linear Temporal Public Announcement Logic: a new perspective for reasoning the knowledge of multi-classifiers. - Amirhoshang Hoseinpour Dehkordi; Majid Alizadeh; Ali Movaghar 001 (CoRR, 2020)

Task scheduling mechanisms in cloud computing: A systematic review. - Aida Amini Motlagh; Ali Movaghar 001; Amir Masoud Rahmani (Int. J. Commun. Syst., 2020)

Cache Subsidies for an Optimal Memory for Bandwidth Tradeoff in the Access Network. - Mahdieh Ahmadi; James Roberts; Emilio Leonardi; Ali Movaghar 001 (IEEE J. Sel. Areas Commun., 2020)

On the effectiveness of the PIT in reducing upstream demand in an NDN router. - Mahdieh Ahmadi; James Roberts; Emilio Leonardi; Ali Movaghar 001 (Perform. Evaluation, 2020)

VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance. - Farnaz Yousefi; Ehsan Khamespanah; Mohammed Gharib; Marjan Sirjani; Ali Movaghar 001 (Int. J. Softw. Tools Technol. Transf., 2020)

Designing a MapReduce performance model in distributed heterogeneous platforms based on benchmarking approach. - Abolfazl Gandomi; Ali Movaghar 001; Midia Reshadi; Ahmad Khademzadeh (J. Supercomput., 2020)

Minimizing Data Access Latencies for Virtual Machine Assignment in Cloud Systems. - Marzieh Malekimajd; Ali Movaghar 001 (IEEE Trans. Serv. Comput., 2020)

Modeling and Evaluation of Service Composition in Commercial Multiclouds Using Timed Colored Petri Nets. - Reza Entezari-Maleki; Sayed Ehsan Etesami; Negar Ghorbani; Arian Akhavan Niaki; Leonel Sousa; Ali Movaghar 001 (IEEE Trans. Syst. Man Cybern. Syst., 2020)

Partial Order Reduction for Timed Actors. - Maryam Bagheri 001; Marjan Sirjani; Ehsan Khamespanah; Hossein Hojjat; Ali Movaghar 001 (VSTTE, 2021)

A classification of hadoop job schedulers based on performance optimization approaches. - Rana Ghazali; Sahar Adabi; Douglas G. Down; Ali Movaghar 001 (Clust. Comput., 2021)

Optimal VM-to-user mapping in cloud environment based on sustainable strategy space theory. - Pouria Khanzadi; Sepideh Adabi; Babak Majidi; Ali Movaghar 001 (Clust. Comput., 2021)

Dynamic VNF placement, resource allocation and traffic routing in 5G. - Morteza Golkarifard; Carla-Fabiana Chiasserini; Francesco Malandrino; Ali Movaghar 001 (Comput. Networks, 2021)

Web service quality of service prediction via regional reputation-based matrix factorization. - Seyyed Hamid Ghafouri; Seyyed Mohsen Hashemi; Mohammad Reza Razzazi; Ali Movaghar 001 (Concurr. Comput. Pract. Exp., 2021)

A two-layer attack-robust protocol for IoT healthcare security. - Afsaneh Sharafi; Sepideh Adabi; Ali Movaghar 001; Salah Al-Majeed (IET Commun., 2021)

Secure data aggregation methods and countermeasures against various attacks in wireless sensor networks: A comprehensive review. - Mohammad Sadegh Yousefpoor; Efat Yousefpoor; Hamid Barati; Ali Barati; Ali Movaghar 001; Mehdi Hosseinzadeh 001 (J. Netw. Comput. Appl., 2021)

A Framework for Protecting Privacy on Mobile Social Networks. - Seyyed Mohammad Safi; Ali Movaghar 001; Komeil Safikhani Mahmoodzadeh (Mob. Networks Appl., 2021)

Robust fuzzy rough set based dimensionality reduction for big multimedia data hashing and unsupervised generative learning. - Pouria Khanzadi; Babak Majidi; Sepideh Adabi; Jagdish C. Patra; Ali Movaghar 001 (Multim. Tools Appl., 2021)

Availability modeling in redundant OpenStack private clouds. - Mahsa Faraji Shoyari; Ehsan Ataie; Reza Entezari-Maleki; Ali Movaghar 001 (Softw. Pract. Exp., 2021)

Network and Application-Aware Cloud Service Selection in Peer-Assisted Environments. - Sina Askarnejad; Marzieh Malekimajd; Ali Movaghar 001 (IEEE Trans. Cloud Comput., 2021)

Modeling and Evaluation of Multi-Hop Wireless Networks Using SRNs. - Reza Entezari-Maleki; Mohammed Gharib; Shahbaz Rezaei; Kishor S. Trivedi; Ali Movaghar 001 (IEEE Trans. Netw. Sci. Eng., 2021)

Processor Sharing Queues With Impatient Customers and State-Dependent Rates. - Mahdieh Ahmadi; Morteza Golkarifard; Ali Movaghar 001; Hamed Yousefi 001 (IEEE/ACM Trans. Netw., 2021)

Modeling Epidemic Routing: Capturing Frequently Visited Locations While Preserving Scalability. - Leila Rashidi; Amir Dalili-Yazdi; Reza Entezari-Maleki; Leonel Sousa; Ali Movaghar 001 (IEEE Trans. Veh. Technol., 2021)

A novel approach for clustering and routing in WSN using genetic algorithm and equilibrium optimizer. - Ehsan Heidari; Ali Movaghar 001; Homayun Motameni; Behnam Barzegar (Int. J. Commun. Syst., 2022)

A new reliability-based task scheduling algorithm in cloud computing. - Aida Amini Motlagh; Ali Movaghar 001; Amir Masoud Rahmani (Int. J. Commun. Syst., 2022)

An adaptive and deadline-constrained workflow scheduling algorithm in infrastructure as a service clouds. - Robabeh Ghafouri; Ali Movaghar 001 (Iran J. Comput. Sci., 2022)

CLQLMRS: improving cache locality in MapReduce job scheduling using Q-learning. - Rana Ghazali; Sahar Adabi; Ali Rezaee; Douglas G. Down; Ali Movaghar 001 (J. Cloud Comput., 2022)

Privacy protection scheme for mobile social network. - Seyyed Mohammad Safi; Ali Movaghar 001; Mohammad Ghorbani (J. King Saud Univ. Comput. Inf. Sci., 2022)

Modeling and evaluation of dispatching policies in IaaS cloud data centers using SANs. - Ehsan Ataie; Reza Entezari-Maleki; Sayed Ehsan Etesami; Bernhard Egger 002; Leonel Sousa; Ali Movaghar 001 (Sustain. Comput. Informatics Syst., 2022)

A Matrix Factorization Model for Hellinger-Based Trust Management in Social Internet of Things. - Soroush Aalibagi; Hamidreza Mahyar; Ali Movaghar 001; Harry Eugene Stanley (IEEE Trans. Dependable Secur. Comput., 2022)

Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control. - Maryam Bagheri 001; Marjan Sirjani; Ehsan Khamespanah; Christel Baier; Ali Movaghar 001 (IEEE Trans. Software Eng., 2022)

Lifetime Improvement Based on Event Occurrence Patterns for Wireless Sensor Networks Using Multi-Objective Optimization. - Hossein Mohtashami; Ali Movaghar 001; Mohammad Teshnehlab (Wirel. Pers. Commun., 2022)

Multiplexing eMBB and mMTC Services over Aerial Visible Light Communications. - Hosein Zarini; Mohammad Reza Maleki; Narges Gholipoor; Mohammad Robat Mili; Mehdi Rasti; Ali Movaghar 001; Derrick Wing Kwan Ng; Ekram Hossain 001 (ICC, 2023)

ROGI: Partial Computation Offloading and Resource Allocation in the Fog-Based IoT Network Towards Optimizing Latency and Power Consumption. - Benyamin T. Tabarsi; Ali Rezaee; Ali Movaghar 001 (Clust. Comput., 2023)

Hadoop-Oriented SVM-LRU (H-SVM-LRU): An Intelligent Cache Replacement Algorithm to Improve MapReduce Performance. - Rana Ghazali; Sahar Adabi; Ali Rezaee; Douglas G. Down; Ali Movaghar 001 (CoRR, 2023)

QOCO: A QoE-Oriented Computation Offloading Algorithm based on Deep Reinforcement Learning for Mobile Edge Computing. - Iman Rahmati; Hamed Shah-Mansouri; Ali Movaghar 001 (CoRR, 2023)

Where Quantum Complexity Helps Classical Complexity. - Arash Vaezi; Mahdi Cheraghchi; Seyed Mohammad Hussein Kazemi; Negin Bagheri Noghrehy; Seyed Mohsen Kazemi; Ali Movaghar 001; Mohammad Ghodsi (CoRR, 2023)

Fixed-Point Iteration Approach to Spark Scalable Performance Modeling and Evaluation. - Soroush Karimian Aliabadi; Mohammad-Mohsen Aseman-Manzar; Reza Entezari-Maleki; Danilo Ardagna; Bernhard Egger 002; Ali Movaghar 001 (IEEE Trans. Cloud Comput., 2023)

Cost-Aware Resource Recommendation for DAG-Based Big Data Workflows: An Apache Spark Case Study. - Mohammad-Mohsen Aseman-Manzar; Soroush Karimian Aliabadi; Reza Entezari-Maleki; Bernhard Egger 002; Ali Movaghar 001 (IEEE Trans. Serv. Comput., 2023)

On the Performance Analysis of Epidemic Routing in Non-Sparse Delay Tolerant Networks. - Leila Rashidi; Don Towsley; Arman Mohseni-Kabir; Ali Movaghar-Rahimabadi (IEEE Trans. Mob. Comput., 2023)

Fault-tolerant scheduling of graph-based loads on fog/cloud environments with multi-level queues and LSTM-based workload prediction. - Felor Beikzadeh Abbasi; Ali Rezaee; Sahar Adabi; Ali Movaghar 001 (Comput. Networks, 2023)

Efficient Collaborative Rule Caching Through Pairing of P4 Switches in SDNs. - Mohammad Saberi; Mahdi Dolati; Ali Movaghar 001; Tooska Dargahi; Ahmad Khonsari (GLOBECOM, 2024)

Energy-aware QoS-based dynamic virtual machine consolidation approach based on RL and ANN. - Mahshid Rezakhani; Nazanin Sarrafzadeh-Ghadimi; Reza Entezari-Maleki; Leonel Sousa; Ali Movaghar 001 (Clust. Comput., 2024)

EdgeLinker: Practical Blockchain-based Framework for Healthcare Fog Applications to Enhance Security in Edge-IoT Data Communications. - Mahdi Akbari Zarkesh; Ehsan Dastani; Bardia Safaei 001; Ali Movaghar 001 (CoRR, 2024)

Yuz: Improving Performance of Cluster-Based Services by Near-L4 Session-Persistent Load Balancing. - Mohammad Hosseini 001; Sina Darabi; Amir Hossein Jahangir; Ali Movaghar 001 (IEEE Trans. Netw. Serv. Manag., 2024)

A distributed load balancing method for IoT/Fog/Cloud environments with volatile resource support. - Zari Shamsa; Ali Rezaee; Sahar Adabi; Ali Movaghar-Rahimabadi; Amir Masoud Rahmani (Clust. Comput., 2024)

QECO: A QoE-Oriented Computation Offloading Algorithm Based on Deep Reinforcement Learning for Mobile Edge Computing. - Iman Rahmaty; Hamed Shah-Mansouri; Ali Movaghar 001 (IEEE Trans. Netw. Sci. Eng., 2025)

Model verification of real-time and distributed stream processing architecture. - Binazir Ganji; Ali Rezaee; Sahar Adabi; Ali Movaghar 001 (Computing, 2025)

Meet MASKS: integrating distributed knowledge and verification for multi-agent systems. - Majid Alizadeh; Amirhoshang Hoseinpour Dehkordi; Ali Movaghar 001 (Soft Comput., 2025)

Multiplexing B5G/6G Services Over Aerial VLC Networks: A Comprehensive Radio Resource Management Framework. - Hosein Zarini; Narges Gholipoor; Mohammad Robat Mili; Mehdi Rasti; Ali Movaghar 001; Jinho Choi 001; Chan-Byoung Chae (IEEE Internet Things J., 2025)