![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Ali Movaghar-Rahimabadi
Person information
- affiliation: Sharif University of Technology, Tehran, Iran
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 1985
- [b1]Ali Movaghar-Rahimabadi:
Performability Modeling with Stochastic Activity Networks. University of Michigan, USA, 1985
Journal Articles
- 2024
- [j116]Zari Shamsa, Ali Rezaee, Sahar Adabi, Ali Movaghar-Rahimabadi, Amir Masoud Rahmani:
A distributed load balancing method for IoT/Fog/Cloud environments with volatile resource support. Clust. Comput. 27(4): 4281-4320 (2024) - [j115]Seyed Mohammad Hosseini
, Sina Darabi
, Amir Hossein Jahangir
, Ali Movaghar
:
Yuz: Improving Performance of Cluster-Based Services by Near-L4 Session-Persistent Load Balancing. IEEE Trans. Netw. Serv. Manag. 21(2): 1929-1942 (2024) - 2023
- [j114]Benyamin T. Tabarsi
, Ali Rezaee
, Ali Movaghar:
ROGI: Partial Computation Offloading and Resource Allocation in the Fog-Based IoT Network Towards Optimizing Latency and Power Consumption. Clust. Comput. 26(3): 1767-1784 (2023) - [j113]Felor Beikzadeh Abbasi, Ali Rezaee
, Sahar Adabi, Ali Movaghar:
Fault-tolerant scheduling of graph-based loads on fog/cloud environments with multi-level queues and LSTM-based workload prediction. Comput. Networks 235: 109964 (2023) - [j112]Soroush Karimian Aliabadi
, Mohammad-Mohsen Aseman-Manzar
, Reza Entezari-Maleki
, Danilo Ardagna
, Bernhard Egger
, Ali Movaghar
:
Fixed-Point Iteration Approach to Spark Scalable Performance Modeling and Evaluation. IEEE Trans. Cloud Comput. 11(1): 897-910 (2023) - [j111]Leila Rashidi
, Don Towsley
, Arman Mohseni-Kabir, Ali Movaghar-Rahimabadi
:
On the Performance Analysis of Epidemic Routing in Non-Sparse Delay Tolerant Networks. IEEE Trans. Mob. Comput. 22(7): 4134-4149 (2023) - [j110]Mohammad-Mohsen Aseman-Manzar
, Soroush Karimian Aliabadi
, Reza Entezari-Maleki
, Bernhard Egger
, Ali Movaghar
:
Cost-Aware Resource Recommendation for DAG-Based Big Data Workflows: An Apache Spark Case Study. IEEE Trans. Serv. Comput. 16(3): 1726-1737 (2023) - 2022
- [j109]Aida Amini Motlagh
, Ali Movaghar
, Amir Masoud Rahmani
:
A new reliability-based task scheduling algorithm in cloud computing. Int. J. Commun. Syst. 35(3) (2022) - [j108]Ehsan Heidari
, Ali Movaghar
, Homayun Motameni
, Behnam Barzegar
:
A novel approach for clustering and routing in WSN using genetic algorithm and equilibrium optimizer. Int. J. Commun. Syst. 35(10) (2022) - [j107]Robabeh Ghafouri
, Ali Movaghar:
An adaptive and deadline-constrained workflow scheduling algorithm in infrastructure as a service clouds. Iran J. Comput. Sci. 5(1) (2022) - [j106]Rana Ghazali, Sahar Adabi, Ali Rezaee, Douglas G. Down, Ali Movaghar:
CLQLMRS: improving cache locality in MapReduce job scheduling using Q-learning. J. Cloud Comput. 11: 45 (2022) - [j105]Seyyed Mohammad Safi, Ali Movaghar, Mohammad Ghorbani:
Privacy protection scheme for mobile social network. J. King Saud Univ. Comput. Inf. Sci. 34(7): 4062-4074 (2022) - [j104]Ehsan Ataie
, Reza Entezari-Maleki
, Sayed Ehsan Etesami
, Bernhard Egger
, Leonel Sousa
, Ali Movaghar:
Modeling and evaluation of dispatching policies in IaaS cloud data centers using SANs. Sustain. Comput. Informatics Syst. 33: 100617 (2022) - [j103]Soroush Aalibagi
, Hamidreza Mahyar
, Ali Movaghar
, Harry Eugene Stanley
:
A Matrix Factorization Model for Hellinger-Based Trust Management in Social Internet of Things. IEEE Trans. Dependable Secur. Comput. 19(4): 2274-2285 (2022) - [j102]Maryam Bagheri
, Marjan Sirjani
, Ehsan Khamespanah, Christel Baier
, Ali Movaghar
:
Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control. IEEE Trans. Software Eng. 48(8): 2732-2747 (2022) - [j101]Hossein Mohtashami
, Ali Movaghar, Mohammad Teshnehlab:
Lifetime Improvement Based on Event Occurrence Patterns for Wireless Sensor Networks Using Multi-Objective Optimization. Wirel. Pers. Commun. 125(4): 3333-3349 (2022) - 2021
- [j100]Pouria Khanzadi, Sepideh Adabi, Babak Majidi
, Ali Movaghar:
Optimal VM-to-user mapping in cloud environment based on sustainable strategy space theory. Clust. Comput. 24(4): 3229-3247 (2021) - [j99]Rana Ghazali, Sahar Adabi
, Douglas G. Down, Ali Movaghar:
A classification of hadoop job schedulers based on performance optimization approaches. Clust. Comput. 24(4): 3381-3403 (2021) - [j98]Morteza Golkarifard
, Carla-Fabiana Chiasserini, Francesco Malandrino, Ali Movaghar:
Dynamic VNF placement, resource allocation and traffic routing in 5G. Comput. Networks 188: 107830 (2021) - [j97]Seyyed Hamid Ghafouri
, Seyyed Mohsen Hashemi
, Mohammad Reza Razzazi
, Ali Movaghar:
Web service quality of service prediction via regional reputation-based matrix factorization. Concurr. Comput. Pract. Exp. 33(17) (2021) - [j96]Afsaneh Sharafi, Sepideh Adabi
, Ali Movaghar, Salah Al-Majeed:
A two-layer attack-robust protocol for IoT healthcare security. IET Commun. 15(19): 2390-2406 (2021) - [j95]Mohammad Sadegh Yousefpoor
, Efat Yousefpoor, Hamid Barati
, Ali Barati
, Ali Movaghar, Mehdi Hosseinzadeh:
Secure data aggregation methods and countermeasures against various attacks in wireless sensor networks: A comprehensive review. J. Netw. Comput. Appl. 190: 103118 (2021) - [j94]Seyyed Mohammad Safi, Ali Movaghar, Komeil Safikhani Mahmoodzadeh:
A Framework for Protecting Privacy on Mobile Social Networks. Mob. Networks Appl. 26(3): 1281-1299 (2021) - [j93]Pouria Khanzadi, Babak Majidi
, Sepideh Adabi
, Jagdish C. Patra, Ali Movaghar:
Robust fuzzy rough set based dimensionality reduction for big multimedia data hashing and unsupervised generative learning. Multim. Tools Appl. 80(12): 17745-17772 (2021) - [j92]Mahsa Faraji Shoyari, Ehsan Ataie
, Reza Entezari-Maleki, Ali Movaghar:
Availability modeling in redundant OpenStack private clouds. Softw. Pract. Exp. 51(6): 1218-1241 (2021) - [j91]Sina Askarnejad
, Marzieh Malekimajd
, Ali Movaghar
:
Network and Application-Aware Cloud Service Selection in Peer-Assisted Environments. IEEE Trans. Cloud Comput. 9(1): 258-271 (2021) - [j90]Reza Entezari-Maleki
, Mohammed Gharib
, Shahbaz Rezaei
, Kishor S. Trivedi
, Ali Movaghar
:
Modeling and Evaluation of Multi-Hop Wireless Networks Using SRNs. IEEE Trans. Netw. Sci. Eng. 8(1): 662-679 (2021) - [j89]Mahdieh Ahmadi
, Morteza Golkarifard
, Ali Movaghar
, Hamed Yousefi
:
Processor Sharing Queues With Impatient Customers and State-Dependent Rates. IEEE/ACM Trans. Netw. 29(6): 2467-2477 (2021) - [j88]Leila Rashidi
, Amir Dalili-Yazdi, Reza Entezari-Maleki
, Leonel Sousa
, Ali Movaghar
:
Modeling Epidemic Routing: Capturing Frequently Visited Locations While Preserving Scalability. IEEE Trans. Veh. Technol. 70(3): 2713-2727 (2021) - 2020
- [j87]Mohammed Gharib
, Ahmad Foroozani, Shahbaz Rezaei, Ali Mohammad Afshin Hemmatyar, Ali Movaghar:
An area-scalable human-based mobility model. Comput. Networks 177: 107300 (2020) - [j86]Aida Amini Motlagh
, Ali Movaghar
, Amir Masoud Rahmani
:
Task scheduling mechanisms in cloud computing: A systematic review. Int. J. Commun. Syst. 33(6) (2020) - [j85]Mahdieh Ahmadi
, James Roberts, Emilio Leonardi
, Ali Movaghar
:
Cache Subsidies for an Optimal Memory for Bandwidth Tradeoff in the Access Network. IEEE J. Sel. Areas Commun. 38(4): 736-749 (2020) - [j84]Mahdieh Ahmadi, James Roberts, Emilio Leonardi, Ali Movaghar:
On the effectiveness of the PIT in reducing upstream demand in an NDN router. Perform. Evaluation 138: 102081 (2020) - [j83]Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib
, Marjan Sirjani, Ali Movaghar:
VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance. Int. J. Softw. Tools Technol. Transf. 22(5): 617-633 (2020) - [j82]Abolfazl Gandomi
, Ali Movaghar
, Midia Reshadi, Ahmad Khademzadeh:
Designing a MapReduce performance model in distributed heterogeneous platforms based on benchmarking approach. J. Supercomput. 76(9): 7177-7203 (2020) - [j81]Marzieh Malekimajd
, Ali Movaghar
:
Minimizing Data Access Latencies for Virtual Machine Assignment in Cloud Systems. IEEE Trans. Serv. Comput. 13(5): 857-870 (2020) - [j80]Reza Entezari-Maleki
, Sayed Ehsan Etesami
, Negar Ghorbani
, Arian Akhavan Niaki
, Leonel Sousa
, Ali Movaghar
:
Modeling and Evaluation of Service Composition in Commercial Multiclouds Using Timed Colored Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 50(3): 947-961 (2020) - 2019
- [j79]Masoud Ebrahimi
, Gholamreza Sotudeh
, Ali Movaghar:
Symbolic checking of Fuzzy CTL on Fuzzy Program Graph. Acta Informatica 56(1): 1-33 (2019) - [j78]Moslem Habibi
, MohammadAmin Fazli, Ali Movaghar:
Efficient distribution of requests in federated cloud computing environments utilizing statistical multiplexing. Future Gener. Comput. Syst. 90: 451-460 (2019) - [j77]Abolfazl Gandomi
, Midia Reshadi, Ali Movaghar, Ahmad Khademzadeh:
HybSMRP: a hybrid scheduling algorithm in Hadoop MapReduce framework. J. Big Data 6: 106 (2019) - [j76]Behnam Barzegar, Homayun Motameni, Ali Movaghar:
EATSDCD: A green energy-aware scheduling algorithm for parallel task-based application using clustering, duplication and DVFS technique in cloud datacenters. J. Intell. Fuzzy Syst. 36(6): 5135-5152 (2019) - [j75]Soroush Karimian Aliabadi
, Danilo Ardagna
, Reza Entezari-Maleki, Eugenio Gianniti, Ali Movaghar:
Analytical composite performance models for Big Data applications. J. Netw. Comput. Appl. 142: 63-75 (2019) - [j74]Mohammad Nikravan
, Ali Movaghar, Mehdi Hosseinzadeh:
A lightweight signcryption scheme for defense against fragment duplication attack in the 6LoWPAN networks. Peer-to-Peer Netw. Appl. 12(1): 209-226 (2019) - [j73]Mohammad Nikravan
, Ali Movaghar, Mehdi Hosseinzadeh:
Correction to: A lightweight signcryption scheme for defense against fragment duplication attack in the 6LoWPAN networks. Peer-to-Peer Netw. Appl. 12(1): 227 (2019) - [j72]Robabeh Ghafouri
, Ali Movaghar, Mehran Mohsenzadeh
:
A budget constrained scheduling algorithm for executing workflow application in infrastructure as a service clouds. Peer-to-Peer Netw. Appl. 12(1): 241-268 (2019) - [j71]Ehsan Ataie
, Reza Entezari-Maleki
, Leila Rashidi
, Kishor S. Trivedi, Danilo Ardagna
, Ali Movaghar
:
Hierarchical Stochastic Models for Performance, Availability, and Power Consumption Analysis of IaaS Clouds. IEEE Trans. Cloud Comput. 7(4): 1039-1056 (2019) - [j70]Shirin Baghoolizadeh
, Ali Movaghar, Negin Majidi:
A uniformization-based algorithm for continuous-time stochastic games model checking. Theor. Comput. Sci. 756: 1-18 (2019) - [j69]Morteza Golkarifard
, Ji Yang
, Zhanpeng Huang, Ali Movaghar
, Pan Hui
:
Dandelion: A Unified Code Offloading System for Wearable Computing. IEEE Trans. Mob. Comput. 18(3): 546-559 (2019) - [j68]Mohammed Gharib
, Homayoun Yousefi'zadeh
, Ali Movaghar
:
Secure Overlay Routing for Large Scale Networks. IEEE Trans. Netw. Sci. Eng. 6(3): 501-511 (2019) - [j67]Leila Rashidi
, Reza Entezari-Maleki
, Dimitris Chatzopoulos
, Pan Hui
, Kishor S. Trivedi
, Ali Movaghar
:
Performance Evaluation of Epidemic Content Retrieval in DTNs With Restricted Mobility. IEEE Trans. Netw. Serv. Manag. 16(2): 701-714 (2019) - 2018
- [j66]Mohammed Gharib
, Marzieh Malekimajd
, Ali Movaghar
:
SLoPCloud: An Efficient Solution for Locality Problem in Peer-to-Peer Cloud Systems. Algorithms 11(10): 150 (2018) - [j65]Sharifeh Fakhrolmobasheri, Ehsan Ataie
, Ali Movaghar
:
Modeling and Evaluation of Power-Aware Software Rejuvenation in Cloud Systems. Algorithms 11(10): 160 (2018) - [j64]Alireza Dehlaghi-Ghadim, Reza Entezari-Maleki, Ali Movaghar:
Cost-Efficient Scheduling for Deadline Constrained Grid Workflows. Comput. Informatics 37(4): 838-864 (2018) - [j63]Reza Entezari-Maleki
, Kishor S. Trivedi, Leonel Sousa, Ali Movaghar:
Performability-Based Workflow Scheduling in Grids. Comput. J. 61(10): 1479-1495 (2018) - [j62]Ehsan Ataie
, Reza Entezari-Maleki, Sayed Ehsan Etesami
, Bernhard Egger
, Danilo Ardagna
, Ali Movaghar:
Power-aware performance analysis of self-adaptive resource management in IaaS clouds. Future Gener. Comput. Syst. 86: 134-144 (2018) - [j61]Reza Entezari-Maleki, Mohammed Gharib
, Maryam Khosravi, Ali Movaghar:
IDS modelling and evaluation in WANETs against black/grey-hole attacks using stochastic models. Int. J. Ad Hoc Ubiquitous Comput. 27(3): 171-186 (2018) - [j60]Mohammad Ahmadinia, Ali Movaghar, Amir Masoud Rahmani:
Semantic Data Gathering of Physical Entities in Semantic Sensor Networks Using Software Agents. Inf. Technol. Control. 47(2): 167-183 (2018) - [j59]Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Narges Khakpour
, Ilge Akkaya, Ali Movaghar, Edward A. Lee:
Coordinated actor model of self-adaptive track-based traffic control systems. J. Syst. Softw. 143: 116-139 (2018) - [j58]Hamidreza Mahyar, Rouzbeh Hasheminezhad, Elaheh Ghalebi, Ali Nazemian, Radu Grosu, Ali Movaghar, Hamid R. Rabiee
:
Identifying central nodes for information flow in social networks using compressive sensing. Soc. Netw. Anal. Min. 8(1): 33:1-33:24 (2018) - [j57]Shahbaz Rezaei
, Mohammed Gharib
, Ali Movaghar
:
Throughput Analysis of IEEE 802.11 Multi-Hop Wireless Networks With Routing Consideration: A General Framework. IEEE Trans. Commun. 66(11): 5430-5443 (2018) - [j56]Mohammad Nikravan
, Ali Movaghar, Mehdi Hosseinzadeh:
A Lightweight Defense Approach to Mitigate Version Number and Rank Attacks in Low-Power and Lossy Networks. Wirel. Pers. Commun. 99(2): 1035-1059 (2018) - [j55]Zeinab Shariat, Ali Movaghar, Mehdi Hosseinzadeh:
TSRN: A Tabu Search-Based Routing Protocol for Named Data Networking. Wirel. Pers. Commun. 101(3): 1411-1428 (2018) - [j54]Robabeh Ghafouri
, Ali Movaghar, Mehran Mohsenzadeh
:
Time-Cost Efficient Scheduling Algorithms for Executing Workflow in Infrastructure as a Service Clouds. Wirel. Pers. Commun. 103(3): 2035-2070 (2018) - 2017
- [j53]Morteza Golkarifard
, Ji Yang, Ali Movaghar, Pan Hui:
A Hitchhiker's Guide to Computation Offloading: Opinions from Practitioners. IEEE Commun. Mag. 55(7): 193-199 (2017) - [j52]Mohammed Gharib
, Zahra Moradlou, Mohammad-Ali Doostari, Ali Movaghar
:
Fully distributed ECC-based key management for mobile ad hoc networks. Comput. Networks 113: 269-283 (2017) - [j51]Reza Entezari-Maleki, Maryam Bagheri, Saeedeh Mehri, Ali Movaghar
:
Performance aware scheduling considering resource availability in grid computing. Eng. Comput. 33(2): 191-206 (2017) - [j50]Reza Entezari-Maleki, Leonel Sousa
, Ali Movaghar
:
Performance and power modeling and evaluation of virtualized servers in IaaS clouds. Inf. Sci. 394: 106-122 (2017) - [j49]Maryam Bagheri, Ehsan Khamespanah, Marjan Sirjani, Ali Movaghar, Edward A. Lee:
Runtime compositional analysis of track-based traffic control systems. SIGBED Rev. 14(3): 38-39 (2017) - [j48]Seyed Mohammad Taheri, Hamidreza Mahyar
, Mohammad Firouzi, Elahe Ghalebi K., Radu Grosu, Ali Movaghar
:
HellRank: a Hellinger-based centrality measure for bipartite social networks. Soc. Netw. Anal. Min. 7(1): 22:1-22:16 (2017) - [j47]Zeinab Shariat, Ali Movaghar
, Mehdi Hosseinzadeh:
A learning automata and clustering-based routing protocol for named data networking. Telecommun. Syst. 65(1): 9-29 (2017) - [j46]Hossein Mohtashami
, Ali Movaghar, Mohammad Teshnehlab:
Multi-objective Node Placement Considering Non-uniform Event Pattern. Wirel. Pers. Commun. 97(4): 6189-6220 (2017) - 2016
- [j45]Ali Barati
, Ali Movaghar
, Masoud Sabaei:
RDTP: reliable data transport protocol in wireless sensor networks. Telecommun. Syst. 62(3): 611-623 (2016) - [j44]Majid Hatamian, Hamid Barati
, Ali Movaghar
, Alireza Naghizadeh:
CGC: centralized genetic-based clustering protocol for wireless sensor networks using onion approach. Telecommun. Syst. 62(4): 657-674 (2016) - [j43]Mohammed Gharib
, Homayoun Yousefi'zadeh, Ali Movaghar
:
Secure Overlay Routing Using Key Pre-Distribution: A Linear Distance Optimization Approach. IEEE Trans. Mob. Comput. 15(9): 2333-2344 (2016) - 2015
- [j42]Sadegh Aliakbary, Jafar Habibi, Ali Movaghar
:
Feature Extraction from Degree Distribution for Comparison and Analysis of Complex Networks. Comput. J. 58(9): 2079-2091 (2015) - [j41]Gholamreza Sotudeh
, Ali Movaghar
:
Abstraction and approximation in fuzzy temporal logics and models. Formal Aspects Comput. 27(2): 309-334 (2015) - [j40]Mohammad Esmail Esmaili, Reza Entezari-Maleki, Ali Movaghar
:
Improved Region-Based TCTL Model Checking of Time Petri Nets. J. Comput. Sci. Eng. 9(1): 9-19 (2015) - [j39]Majid Ashouri, Hamed Yousefi, Javad Basiri
, Ali Mohammad Afshin Hemmatyar, Ali Movaghar
:
PDC: Prediction-based data-aware clustering in wireless sensor networks. J. Parallel Distributed Comput. 81-82: 24-35 (2015) - [j38]Reza Entezari-Maleki, Kishor S. Trivedi, Ali Movaghar
:
Performability Evaluation of Grid Environments Using Stochastic Reward Nets. IEEE Trans. Dependable Secur. Comput. 12(2): 204-216 (2015) - [j37]Marzieh Malekimajd
, Ali Movaghar
, Seyedmahyar Hosseinimotlagh:
Minimizing latency in geo-distributed clouds. J. Supercomput. 71(12): 4423-4445 (2015) - [j36]Hamed Yousefi, Marzieh Malekimajd
, Majid Ashouri, Ali Movaghar
:
Fast Aggregation Scheduling in Wireless Sensor Networks. IEEE Trans. Wirel. Commun. 14(6): 3402-3414 (2015) - [j35]Hamid Barati
, Ali Movaghar
, Amir Masoud Rahmani
:
EACHP: Energy Aware Clustering Hierarchy Protocol for Large Scale Wireless Sensor Networks. Wirel. Pers. Commun. 85(3): 765-789 (2015) - 2014
- [j34]Ali Barati
, Ali Movaghar
, Masoud Sabaei:
Energy Efficient and High Speed Error Control Scheme for Real Time Wireless Sensor Networks. Int. J. Distributed Sens. Networks 10 (2014) - [j33]Shiva Shamaei, Ali Movaghar:
A two-phase wormhole attack detection scheme in MANETs. ISC Int. J. Inf. Secur. 6(2): 183-191 (2014) - [j32]Sepideh Adabi
, Ali Movaghar
, Amir Masoud Rahmani
, Hamid Beigy
, Hengameh Dastmalchy-Tabrizi:
A new fuzzy negotiation protocol for grid resource allocation. J. Netw. Comput. Appl. 37: 89-126 (2014) - [j31]Morteza Mohaqeqi
, Mehdi Kargahi, Ali Movaghar
:
Analytical Leakage-Aware Thermal Modeling of a Real-Time System. IEEE Trans. Computers 63(6): 1378-1392 (2014) - [j30]Sahar Adabi
, Ali Movaghar
, Amir Masoud Rahmani
:
Bi-level fuzzy based advanced reservation of Cloud workflow applications on distributed Grid resources. J. Supercomput. 67(1): 175-218 (2014) - [j29]Ali Rezaee
, Amir Masoud Rahmani
, Ali Movaghar
, Mohammad Teshnehlab:
Formal process algebraic modeling, verification, and analysis of an abstract Fuzzy Inference Cloud Service. J. Supercomput. 67(2): 345-383 (2014) - [j28]Reza Entezari-Maleki, Ali Mohammadkhan, Heon Young Yeom, Ali Movaghar
:
Combined performance and availability analysis of distributed resources in grid computing. J. Supercomput. 69(2): 827-844 (2014) - 2013
- [j27]Fatemeh Ghods, Hamed Yousefi, Ali Mohammad Afshin Hemmatyar, Ali Movaghar
:
MC-MLAS: Multi-channel Minimum Latency Aggregation Scheduling in Wireless Sensor Networks. Comput. Networks 57(18): 3812-3825 (2013) - [j26]Sepideh Adabi
, Ali Movaghar
, Amir Masoud Rahmani
, Hamid Beigy
:
Market_based grid resource allocation using new negotiation model. J. Netw. Comput. Appl. 36(1): 543-565 (2013) - [j25]Sepideh Adabi
, Ali Movaghar
, Amir Masoud Rahmani
, Hamid Beigy
:
Negotiation strategies considering market, time and behavior functions for resource allocation in computational grid. J. Supercomput. 66(3): 1350-1389 (2013) - 2012
- [j24]Hamed Yousefi, Mohammad Hossein Yeganeh, Naser Alinaghipour, Ali Movaghar
:
Structure-free real-time data aggregation in wireless sensor networks. Comput. Commun. 35(9): 1132-1140 (2012) - [j23]Reza Entezari-Maleki, Ali Movaghar
:
A probabilistic task scheduling method for grid environments. Future Gener. Comput. Syst. 28(3): 513-524 (2012) - 2011
- [j22]T. Shafiei, Mohammad Reza Hoseiny Farahabady
, Ali Movaghar
, Hamid Sarbazi-Azad:
On pancyclicity properties of OTIS-mesh. Inf. Process. Lett. 111(8): 353-359 (2011) - [j21]Marzieh Malekimajd
, Mohammad Reza Hoseiny Farahabady
, Ali Movaghar
, Hamid Sarbazi-Azad:
Pancyclicity of OTIS (swapped) networks based on properties of the factor graph. Inf. Process. Lett. 111(23-24): 1114-1119 (2011) - [j20]Ali Movaghar
:
Analysis of a dynamic assignment of impatient customers to parallel queues. Queueing Syst. Theory Appl. 67(3): 251-273 (2011) - [j19]Mehdi Kargahi, Ali Movaghar
:
Performance Optimization Based on Analytical Modeling in a Real-Time System with Constrained Time/Utility Functions. IEEE Trans. Computers 60(8): 1169-1181 (2011) - [j18]Fatemeh Ghassemi, Wan J. Fokkink
, Ali Movaghar
:
Verification of mobile ad hoc networks: An algebraic approach. Theor. Comput. Sci. 412(28): 3262-3282 (2011) - 2010
- [j17]Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi
, Ehsan Khamespanah, Ali Movaghar
:
Symmetry and partial order reduction techniques in model checking Rebeca. Acta Informatica 47(1): 33-66 (2010) - [j16]Mehdi Kargahi, Ali Movaghar
:
Dynamic routing of real-time jobs among parallel EDF queues: A performance study. Comput. Electr. Eng. 36(5): 835-849 (2010) - [j15]Hamid Reza Shahriari
, Mohammad Sadegh Makarem, Marjan Sirjani, Rasool Jalili, Ali Movaghar
:
Vulnerability analysis of networks to detect multiphase attacks using the actor-based language Rebeca. Comput. Electr. Eng. 36(5): 874-885 (2010) - [j14]Fatemeh Ghassemi, Wan J. Fokkink
, Ali Movaghar
:
Equational Reasoning on Mobile Ad Hoc Networks. Fundam. Informaticae 105(4): 375-415 (2010) - [j13]Mohammad Izadi, Ali Movaghar
:
Failure-based equivalence of constraint automata. Int. J. Comput. Math. 87(11): 2426-2443 (2010) - [j12]Mehdi Kargahi, Ali Movaghar
:
Utility Accrual Dynamic Routing in Real-Time Parallel Systems. IEEE Trans. Parallel Distributed Syst. 21(12): 1822-1835 (2010) - 2008
- [j11]Mohammad Izadi, Ali Movaghar:
Model Checking of Component Based Software Using Compositional Reductions. Int. J. Softw. Eng. Knowl. Eng. 18(5): 683-712 (2008) - [j10]Mahdi Asadpour, Behnam Sattarzadeh, Ali Movaghar:
Anonymous authentication protocol for GSM networks. Int. J. Secur. Networks 3(1): 54-62 (2008) - [j9]Masood Niazi Torshiz, Ali Movaghar
:
Design and Performance Evaluation of a Fuzzy-Based Traffic Conditioner for Mobile Ad Hoc Networks. J. Circuits Syst. Comput. 17(6): 995-1014 (2008) - [j8]Mehdi Kargahi, Ali Movaghar
:
Stochastic DVS-based dynamic power management for soft real-time systems. Microprocess. Microsystems 32(3): 121-144 (2008) - 2006
- [j7]Mehdi Kargahi, Ali Movaghar
:
A Method for Performance Analysis of Earliest-Deadline-First Scheduling Policy. J. Supercomput. 37(2): 197-222 (2006) - 2005
- [j6]Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer:
Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models. J. Univers. Comput. Sci. 11(6): 1054-1082 (2005) - [j5]Marjan Sirjani, Frank S. de Boer, Ali Movaghar-Rahimabadi:
Modular Verification of a Component-Based Actor Language. J. Univers. Comput. Sci. 11(10): 1695-1717 (2005) - [j4]Ali Movaghar-Rahimabadi
:
Optimal control of parallel queues with impatient customers. Perform. Evaluation 60(1-4): 327-343 (2005) - [j3]Mohammad Abdollahi Azgomi
, Ali Movaghar
:
A modelling tool for hierarchical stochastic activity networks. Simul. Model. Pract. Theory 13(6): 505-524 (2005) - 2004
- [j2]Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer:
Modeling and Verification of Reactive Systems using Rebeca. Fundam. Informaticae 63(4): 385-410 (2004) - 1998
- [j1]Ali Movaghar:
On queueing with customer impatience until the beginning of service. Queueing Syst. Theory Appl. 29(2-4): 337-350 (1998)
Conference and Workshop Papers
- 2023
- [c104]Hosein Zarini, Mohammad Reza Maleki, Narges Gholipoor, Mohammad Robat Mili, Mehdi Rasti, Ali Movaghar, Derrick Wing Kwan Ng, Ekram Hossain:
Multiplexing eMBB and mMTC Services over Aerial Visible Light Communications. ICC 2023: 2655-2661 - 2021
- [c103]Maryam Bagheri
, Marjan Sirjani
, Ehsan Khamespanah
, Hossein Hojjat
, Ali Movaghar
:
Partial Order Reduction for Timed Actors. VSTTE 2021: 43-60 - 2020
- [c102]Maryam Bagheri, Edward A. Lee, Eunsuk Kang, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar:
Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems. MEMOCODE 2020: 1-10 - 2019
- [c101]Leila Rashidi, Amir Dalili-Yazdi, Reza Entezari-Maleki, Leonel Sousa
, Ali Movaghar:
Scalable Performance Analysis of Epidemic Routing Considering Skewed Location Visiting Preferences. MASCOTS 2019: 201-213 - [c100]Mahdieh Ahmadi, James Roberts, Emilio Leonardi, Ali Movaghar:
Poster: Impact of traffic characteristics on request aggregation in an NDN router. Networking 2019: 1-2 - [c99]Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib
, Marjan Sirjani, Ali Movaghar:
VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs. SPIN 2019: 244-259 - 2018
- [c98]Radu Grosu, Elahe Ghalebi K., Ali Movaghar, Hamidreza Mahyar:
Compressed Sensing in Cyber Physical Social Systems. Principles of Modeling 2018: 287-305 - [c97]Ahmad Norouzi
, Babak Majidi
, Ali Movaghar:
Reliable and Energy-Efficient Routing for Green Software Defined Networking. IST 2018: 221-226 - 2017
- [c96]Seyed Mohammad Taheri, Hamidreza Mahyar, Mohammad Firouzi, Elahe Ghalebi K., Radu Grosu, Ali Movaghar:
Extracting Implicit Social Relation for Social Recommendation Techniques in User Rating Prediction. WWW (Companion Volume) 2017: 1343-1351 - 2016
- [c95]Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour
, Marjan Sirjani, Ali Movaghar
, Edward A. Lee:
Coordinated Actors for Reliable Self-adaptive Systems. FACS 2016: 241-259 - [c94]Reihaneh Hassanzadeh, Ali Movaghar
, Hamid Reza Hassanzadeh:
A multi-dimensional fairness combinatorial double-sided auction model in cloud environment. IST 2016: 672-677 - [c93]Ehsan Ataie
, Eugenio Gianniti, Danilo Ardagna
, Ali Movaghar
:
A Combined Analytical Modeling Machine Learning Approach for Performance Prediction of MapReduce Jobs in Cloud Environment. SYNASC 2016: 431-439 - 2015
- [c92]Mahdieh Ahmadi, Mohammed Gharib
, Fatemeh Ghassemi, Ali Movaghar
:
Probabilistic Key Pre-Distribution for Heterogeneous Mobile Ad Hoc Networks Using Subjective Logic. AINA 2015: 185-192 - [c91]Hamidreza Mahyar, Hamid R. Rabiee
, Ali Movaghar
, Elaheh Ghalebi, Ali Nazemian:
CS-ComDet: A Compressive Sensing Approach for Inter-Community Detection in Social Networks. ASONAM 2015: 89-96 - [c90]Leonid Zeynalvand, Mohammed Gharib
, Ali Movaghar
:
Decentralized Social Networking Using Named-Data. CN 2015: 421-430 - [c89]Hamidreza Mahyar, Hamid R. Rabiee
, Ali Movaghar
, Rouzbeh Hasheminezhad, Elaheh Ghalebi, Ali Nazemian:
A Low-Cost Sparse Recovery Framework for Weighted Networks under Compressive Sensing. SmartCity 2015: 183-190 - 2014
- [c88]Ahmad Foroozani, Mohammed Gharib
, Ali Mohammad Afshin Hemmatyar, Ali Movaghar
:
A novel human mobility model for MANETs based on real data. ICCCN 2014: 1-7 - [c87]Marzieh Malekimajd
, Alessandro Maria Rizzi, Danilo Ardagna
, Michele Ciavotta
, Mauro Passacantando
, Ali Movaghar
:
Optimal Capacity Allocation for Executing MapReduce Jobs in Cloud Systems. SYNASC 2014: 385-392 - 2013
- [c86]Mohammed Gharib
, Ehsan Emamjomeh-Zadeh, Ashkan Norouzi-Fard, Ali Movaghar
:
A Novel Probabilistic Key Management Algorithm for Large-Scale MANETs. AINA Workshops 2013: 349-356 - [c85]Fatemeh Ghassemi, Saeide Ahmadi, Wan J. Fokkink
, Ali Movaghar
:
Model Checking MANETs with Arbitrary Mobility. FSEN 2013: 217-232 - [c84]Mohsen Abdoli, Reza Entezari-Maleki, Ali Movaghar
:
A Rank-Based Hybrid Algorithm for Scheduling Data- and Computation-Intensive Jobs in Grid Environments. ICACNI 2013: 785-796 - [c83]Mohammad Roohitavaf, Reza Entezari-Maleki, Ali Movaghar
:
Availability Modeling and Evaluation of Cloud Virtual Data Centers. ICPADS 2013: 675-680 - [c82]Mohammed Gharib
, Mohsen Minaei, Morteza Golkari
, Ali Movaghar
:
Expert key selection impact on the MANETs' performance using probabilistic key management algorithm. SIN 2013: 347-351 - [c81]Zahra Moradlu, Mohammad-Ali Doostari, Mohammed Gharib
, Ali Movaghar
:
Fully Distributed Self Certified Key Management for Large-Scale MANETs. UIC/ATC 2013: 96-102 - 2012
- [c80]Somaieh Bahrami, Hamed Yousefi, Ali Movaghar
:
DACA: Data-Aware Clustering and Aggregation in Query-Driven Wireless Sensor Networks. ICCCN 2012: 1-7 - [c79]Ilnaz Nikseresht, Hamed Yousefi, Ali Movaghar
, Mohammad Khansari
:
Interference-Aware Multipath Routing for Video Delivery in Wireless Multimedia Sensor Networks. ICDCS Workshops 2012: 216-221 - [c78]Mohammad Hadi Mobini, Reza Entezari-Maleki, Ali Movaghar
:
Biogeography-based optimization of makespan and reliability in grid computing systems. ICUMT 2012: 336-342 - [c77]Majid Ashouri, Hamed Yousefi, Ali Mohammad Afshin Hemmatyar, Ali Movaghar
:
FOMA: Flexible overlay multi-path data aggregation in wireless sensor networks. ISCC 2012: 508-511 - [c76]Mohammad Sadegh Kordafshari
, Azadeh Pourkabirian
, Mohammad Reza Meybodi, Ali Movaghar
:
Distributed QoS routing algorithm in large scale Wireless Sensor Networks. ISIE 2012: 826-830 - [c75]Ehsan Enayati-Noabadi, Hamed Yousefi, Ali Movaghar
:
S-NC: structure-free network coding-aware routing in wireless sensor networks. MSWiM 2012: 403-408 - [c74]Morteza Mohaqeqi, Mehdi Kargahi, Ali Movaghar:
Analytical leakage/temperature-aware power modeling and optimization for a variable speed real-time system. RTNS 2012: 81-89 - [c73]Sarmen Keshishzadeh, Mohammad Izadi, Ali Movaghar
:
A Büchi automata based model checking framework for reo connectors. SAC 2012: 1536-1543 - 2011
- [c72]Ali Barati
, S. Jalaleddin Dastgheib, Ali Movaghar
, Iman Attarzadeh
:
An Optimised Algorithm to Detect Faulty Readings along the Substrate Access Wireless Long-Thin Sensor Networks. EMS 2011: 372-377 - [c71]Fatemeh Ghassemi, Mahmoud Talebi, Ali Movaghar
, Wan J. Fokkink
:
Stochastic Restricted Broadcast Process Theory. EPEW 2011: 72-86 - [c70]Leila Eskandari, Hamed Yousefi, Ali Movaghar
, Mohammad Khansari
:
IMAC: An Interference-Aware Duty-Cycle MAC Protocol for Wireless Sensor Networks Employing Multipath Routing. EUC 2011: 288-293 - [c69]Nabil Tabbaa, Reza Entezari-Maleki, Ali Movaghar
:
A Fault Tolerant Scheduling Algorithm for DAG Applications in Cluster Environments. ICDIPC (1) 2011: 189-199 - [c68]Zohreh Mousavinasab, Reza Entezari-Maleki, Ali Movaghar
:
A Bee Colony Task Scheduling Algorithm in Computational Grids. ICDIPC (1) 2011: 200-210 - [c67]Hamed Yousefi, Mohammad Hossein Yeganeh, Ali Movaghar
:
Long lifetime routing in unreliable wireless sensor networks. ICNSC 2011: 457-462 - [c66]Mohammad Hossein Yeganeh, Hamed Yousefi, Naser Alinaghipour, Ali Movaghar
:
RDAG: A Structure-Free Real-Time Data Aggregation Protocol for Wireless Sensor Networks. RTCSA (1) 2011: 51-60 - [c65]Reza Entezari-Maleki, Ali Movaghar:
Availability modeling of grid computing environments using SANs. SoftCOM 2011: 1-6 - [c64]Naser Alinaghipour, Hamed Yousefi, Mohammad Hossein Yeganeh, Ali Movaghar
:
Long lifetime real-time routing in unreliable Wireless Sensor Networks. Wireless Days 2011: 1-6 - 2010
- [c63]Fatemeh Ghassemi, Ali Movaghar
, Wan J. Fokkink
:
Towards Performance Evaluation of Mobile Ad Hoc Network Protocols. ACSD 2010: 85-92 - [c62]Narges Aghakazem Jourabbaf, Ali Movaghar
:
An Identity-Based Network Access Control Scheme for Single Authority MANETs. APSCC 2010: 462-468 - [c61]Reza Entezari-Maleki, Ali Movaghar
:
A Genetic-Based Scheduling Algorithm to Minimize the Makespan of the Grid Applications. FGIT-GDC/CA 2010: 22-31 - [c60]Sayed Mohammad Mehdi Feiz, Ali Movaghar:
Characteristics of Secure Routing in Vehicular Ad Hoc Network (VANET). ICWN 2010: 128-134 - 2009
- [c59]Habib Seifzadeh, Ali Asghar Pourhaji Kazem
, Mehdi Kargahi, Ali Movaghar-Rahimabadi
:
A Method for Dynamic Software Updating in Real-Time Systems. ACIS-ICIS 2009: 34-38 - [c58]Ali Asghar Pourhaji Kazem
, Habib Seifzadeh, Mehdi Kargahi, Ali Movaghar-Rahimabadi
, Shahriar Lotfi
:
Maximizing the Accrued Utility of an Isochronal Soft Real-Time System Using Genetic Algorithms. ACIS-ICIS 2009: 65-69 - [c57]Mohammad Sadegh Kordafshari
, Azadeh Pourkabirian
, Karim Faez
, Ali Movaghar-Rahimabadi:
Energy-Efficient SPEED Routing Protocol for Wireless Sensor Networks. AICT 2009: 267-271 - [c56]N. Attarzadeh, Ali Barati
, Ali Movaghar
:
A New Method for Coverage in Wireless Sensor Networks. DASC 2009: 369-372 - [c55]Fatemeh Ghassemi, Wan J. Fokkink
, Ali Movaghar
:
Equational Reasoning on Ad Hoc Networks. FSEN 2009: 113-128 - [c54]Rassoul Roustaei, Ebadolah Zohrevandi, Keramat Hassani, Ali Movaghar
:
A New Approach to Improve Quality of Service in SPEED Routing Protocol in Wireless Sensor Network through Data Aggregation. ICECS 2009: 393-397 - [c53]Misagh Mohammadizadeh, Ali Movaghar
, Seyad Mohammad Safi:
SEAODV: secure efficient AODV routing protocol for MANETs networks. ICIS 2009: 940-944 - [c52]Ali Barati
, Mohammad Ali Khosh Kholghi, Ali Movaghar
:
Recovery of Sensors in Wireless Sensor Networks. NCM 2009: 393-396 - [c51]Ehsan Heidari, Ali Movaghar
:
Intelligent Clustering in Wireless Sensor Networks. NetCoM 2009: 12-17 - [c50]Maryam Hosseini Sohei, Najmeh Sadat Bathaee, Ali Movaghar-Rahimabadi
:
Utilizing Network Coding for File Dissemination in Peer-to-Peer Systems. NTMS 2009: 1-5 - [c49]Mohsen Hajsalehi Sichani, Ali Movaghar:
A New Analysis of RC4 - A Data Mining Approach (J48). SECRYPT 2009: 213-218 - [c48]Ehsan Allahyar, Ali Movaghar:
Weighted start-time fair queuing: a new start-time fair queuing for elastic traffic. SpringSim 2009 - [c47]Shahriar Etemadi Tajbakhsh, Ali Movaghar
:
Joint distributed source and network coding for multiple wireless unicast sessions. WCNC 2009: 302-306 - [c46]Mehrdad Khaledi, Seyed Morteza Mousavi, Hamid Reza Rabiee
, Ali Movaghar
, Mojgan Khaledi, Omid Ardakanian
:
Mobility Aware Distributed Topology Control in Mobile Ad-Hoc Networks Using Mobility Pattern Matching. WiMob 2009: 453-458 - 2008
- [c45]Mahmood Hasanlou, Ebrahim Fazli, Ali Movaghar
, Hossein Mohammadi:
3MOKAN: A Novel Mobility Management Mechanism Based on Keeping Alternative Nodes. AINA Workshops 2008: 756-761 - [c44]Fatemeh Saremi, Hamid Mousavi, Ali Movaghar
:
Performance Analysis of SLTC - A Stable Path, Low Overhead, Truthful and Cost Efficient Routing Protocol in MANETs with Selfish Nodes. APSCC 2008: 243-250 - [c43]Ali Haroonabadi, Mohammad Teshnehlab, Ali Movaghar
:
A Novel Method for Modeling and Evaluation of Uncertain Information Systems. ICIT 2008: 238-243 - [c42]Sara NavidPour, Mohammad Izadi, Ali Movaghar
:
Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps. COMPSAC 2008: 211-218 - [c41]Fatemeh Ghassemi, Ali Movaghar
:
Modeling Routing Protocols in Adhoc Networks. CSICC 2008: 419-426 - [c40]Fatemeh Saremi, Hoda Mashayekhi
, Ali Movaghar
, Rasool Jalili:
CEBAC: A Decentralized Cooperation Enforcement Based Access Control Framework in MANETs. CSICC 2008: 427-434 - [c39]Hamid Mousavi, Ali Movaghar
:
Challenges in Using Peer-to-Peer Structures in Order to Design a Large-Scale Web Search Engine. CSICC 2008: 461-468 - [c38]Mehrdad Mahdavi, Rana Forsati, Ali Movaghar
:
Bandwidth-Delay Constrained Least Cost Multicast Routing for Multimedia Communication. CSICC 2008: 737-740 - [c37]Narges Aghakazem Jourabbaf, Ali Movaghar
:
ID-NAC: Identity-based network access control for MANETs. ICON 2008: 1-6 - [c36]S. Kalantary, Ali Movaghar
, A. A. Ghafarizade:
A study on routing method in P2P networks. ICON 2008: 1-6 - [c35]Mohammad Robatmili, Mehdi Mohammadi, Ali Movaghar
, Mehdi Dehghan:
Finding the sensors location and the number of sensors in sensor networks with a genetic algorithm. ICON 2008: 1-3 - [c34]Farzad Sabahi, Ali Movaghar:
Intrusion Detection: A Survey. ICSNC 2008: 23-26 - [c33]S. Nickmanesh, Ali Movaghar
, F. Rookhosh:
Performance Modeling of Fault Tolerant Fully Adaptive Wormhole Switching 2-D Meshes in Presence of Virtual Channels. ICSNC 2008: 109-114 - [c32]Abolfazl Asudeh, Ali Movaghar
:
MEHR: Multi-Hop Energy-Aware Hierarchical Routing for Wireless Sensor Networks. NTMS 2008: 1-6 - [c31]Fatemeh Ghassemi, Wan J. Fokkink
, Ali Movaghar
:
Restricted Broadcast Process Theory. SEFM 2008: 345-354 - 2007
- [c30]Sajad Shirali-Shahreza, Mohammad Shirali-Shahreza, Ali Movaghar
:
Restricted Access to Exam Grades on the Web by HIP. ACIS-ICIS 2007: 967-971 - [c29]Mehdi EffatParvar
, Mehdi Dehghan
, Ali Movaghar
, Amir Dareshorzadeh:
Reliable multicast routing with local recovery approach in Ad Hoc Network. AccessNets 2007: 1-6 - [c28]Mohammad Izadi, Ali Movaghar
, Farhad Arbab:
Model Checking of Component Connectors. COMPSAC (1) 2007: 673-675 - [c27]Hamid Mousavi, Mohammad Ebrahim Rafiei, Ali Movaghar
:
Characterizing the Web Using a New Uniform Sampling Approach. COMSWARE 2007 - [c26]Mohammad Ebrahim Rafiei, Mohsen Taherian, Hamid Mousavi, Ali Movaghar, Rasool Jalili:
Vulnerability Analysis in VGBPS Using Prolog. FSEN 2007: 404-411 - [c25]Sayed Mehran Sharafi, Fereidoon Shams Aliee, Ali Movaghar:
A Review on Specifying Software Architectures Using Extended Automata-Based Models. FSEN 2007: 423-431 - [c24]Sajad Shirali-Shahreza, Ali Movaghar
:
A New Anti-Spam Protocol Using CAPTCHA. ICNSC 2007: 234-238 - [c23]Nima Haghpanah, Masoud Akhoondi, Mehdi Kargar, Ali Movaghar
:
Trusted secure routing for ad hoc networks. MOBIWAC 2007: 176-179 - [c22]Saina Jalili, Ali Movaghar, Maryam Sadrmousavi:
An improved replacement algorithm in fault-tolerant meshes. SCSC 2007: 443-448 - [c21]Mohammad Izadi, Ali Movaghar
:
Compositional failure-based semantic equivalences for Reo specifications. SAVCBS 2007: 99-100 - [c20]Mohammad Izadi, Ali Movaghar
:
Compositional Failure-based Equivalence of Constraint Automata. AVoCS 2007: 105-122 - 2006
- [c19]Ehsan Ataie
, Ali Movaghar
:
Performance Evaluation of Mobile Ad Hoc Networks In the Presence of Energy-based Selfishness. BROADNETS 2006 - [c18]Mohammad Abdollahi Azgomi
, Ali Movaghar
:
Efficient Evaluation of CSAN Models by State Space Analysis Methods. ICSEA 2006: 57 - [c17]Mohammad Abdollahi Azgomi
, Ali Movaghar
:
Modeling and Evaluation of Software Systems with Object Stochastic Activity Networks. ICSEA 2006: 58 - [c16]Mohammad Mahdi Jaghoori, Ali Movaghar, Marjan Sirjani:
Modere: the model-checking engine of Rebeca. SAC 2006: 1810-1815 - 2005
- [c15]Marjan Sirjani, Frank S. de Boer, Ali Movaghar
, Amin Shali:
Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing. ACSD 2005: 212-221 - [c14]Afshin Parvaresh, Mohammed I. Kalantari, Ali Movaghar-Rahimabadi:
An Artificial Intelligent CAC Scheme for Self-Similar Traffic using Fuzzy Case based Reasoning. Communication Systems and Applications 2005: 197-204 - [c13]Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi
, Ali Movaghar
:
Efficient Symmetry Reduction for an Actor-Based Model. ICDCIT 2005: 494-507 - [c12]Mehdi Kargahi, Ali Movaghar
:
Non-Preemptive Earliest-Deadline-First Scheduling Policy: A Performance Study. MASCOTS 2005: 201-210 - [c11]Mohammad Izadi, Ali Movaghar-Rahimabadi:
An Efficient Model Checking Algorithm for a Fragment of µ-Calculus. SEKE 2005: 392-395 - [c10]Ali Kamandi, Mohammad Abdollahi Azgomi
, Ali Movaghar
:
Transformation of UML Models into Analyzable OSAN Models. FSEN 2005: 3-22 - [c9]Mohammad Izadi, Ali Movaghar-Rahimabadi
:
An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata. FSEN 2005: 171-186 - 2004
- [c8]Marjan Sirjani, Amin Shali, Mohammad Mahdi Jaghoori, Hamed Iravanchi, Ali Movaghar
:
A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models. ACSD 2004: 145-150 - [c7]Mehdi Kargahi, Ali Movaghar-Rahimabadi:
A Method for Performance Analysis of Earliest-Deadline-First Scheduling Policy. DSN 2004: 826-834 - [c6]Mohammad Abdollahi Azgomi
, Ali Movaghar-Rahimabadi:
Modeling and Evaluation with Object Stochastic Activity Networks. QEST 2004: 326-327 - 2003
- [c5]Ali Movaghar
:
On Dynamic Assignment of Impatient Customers to Parallel Queues. DSN 2003: 751-759 - [c4]Marjan Sirjani, Ali Movaghar, Hamed Iravanchi, Mohammad Mahdi Jaghoori, Amin Shali:
Model Checking in Rebeca. PDPTA 2003: 1819-1822 - 2002
- [c3]Mohammad Abdollahi Azgomi, Ali Movaghar:
An Introduction to New Extensions for Stochastic Activity Networks. IASTED PDCS 2002: 405-410 - [c2]Marjan Sirjani, Ali Movaghar:
Simulation in Rebeca. PDPTA 2002: 923-926 - 1985
- [c1]John F. Meyer, Ali Movaghar, William H. Sanders:
Stochastic Activity Networks: Structure, Behavior, and Application. PNPM 1985: 106-115
Informal and Other Publications
- 2023
- [i21]Rana Ghazali, Sahar Adabi, Ali Rezaee, Douglas G. Down, Ali Movaghar:
Hadoop-Oriented SVM-LRU (H-SVM-LRU): An Intelligent Cache Replacement Algorithm to Improve MapReduce Performance. CoRR abs/2309.16471 (2023) - [i20]Iman Rahmati, Hamed Shah-Mansouri, Ali Movaghar:
QOCO: A QoE-Oriented Computation Offloading Algorithm based on Deep Reinforcement Learning for Mobile Edge Computing. CoRR abs/2311.02525 (2023) - [i19]Arash Vaezi, Mahdi Cheraghchi, Seyed Mohammad Hussein Kazemi, Negin Bagheri Noghrehy, Seyed Mohsen Kazemi, Ali Movaghar, Mohammad Ghodsi:
Where Quantum Complexity Helps Classical Complexity. CoRR abs/2312.14075 (2023) - 2021
- [i18]Morteza Golkarifard, Carla-Fabiana Chiasserini, Francesco Malandrino, Ali Movaghar:
Dynamic VNF Placement, Resource Allocation and Traffic Routing in 5G. CoRR abs/2102.09426 (2021) - 2020
- [i17]Leila Rashidi, Don Towsley, Arman Mohseni-Kabir, Ali Movaghar:
On the Performance Analysis of Epidemic Routing in Non-Sparse Delay Tolerant Networks. CoRR abs/2002.04834 (2020) - [i16]Leila Rashidi, Amir Dalili-Yazdi, Reza Entezari-Maleki, Leonel Sousa, Ali Movaghar:
Performance Modeling of Epidemic Routing in Mobile Social Networks with Emphasis on Scalability. CoRR abs/2002.05884 (2020) - [i15]Amirhoshang Hoseinpour Dehkordi
, Majid Alizadeh, Ebrahim Ardeshir-Larijani, Ali Movaghar:
MASKS: A Multi-Artificial Neural Networks System's verification approach. CoRR abs/2007.10090 (2020) - [i14]Amirhoshang Hoseinpour Dehkordi, Majid Alizadeh, Ali Movaghar:
Linear Temporal Public Announcement Logic: a new perspective for reasoning the knowledge of multi-classifiers. CoRR abs/2009.03793 (2020) - 2019
- [i13]Mahdieh Ahmadi, James Roberts, Emilio Leonardi, Ali Movaghar:
Impact of Traffic Characteristics on Request Aggregation in an NDN Router. CoRR abs/1903.06419 (2019) - [i12]Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar:
VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs. CoRR abs/1905.01137 (2019) - [i11]Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar:
A Compositional Approach for Reliable Adaptation of Track-based Traffic Control Systems at Runtime. CoRR abs/1905.06732 (2019) - [i10]Mahdieh Ahmadi, James Roberts, Emilio Leonardi, Ali Movaghar:
Cache Subsidies for an Optimal Memory for Bandwidth Tradeoff in the Access Network. CoRR abs/1908.06659 (2019) - [i9]Soroush Aalibagi, Hamidreza Mahyar, Ali Movaghar, Harry Eugene Stanley:
A Matrix Factorization Model for Hellinger-based Trust Management in Social IoT. CoRR abs/1909.12432 (2019) - 2018
- [i8]Shahbaz Rezaei, Mohammed Gharib, Ali Movaghar:
Throughput Analysis of IEEE 802.11 Multi-hop Wireless Networks with Routing Consideration: A General Framework. CoRR abs/1802.00162 (2018) - 2016
- [i7]Reihaneh Hassanzadeh, Ali Movaghar, Hamid Reza Hassanzadeh:
A Multi-Dimensional Fairness Combinatorial Double-Sided Auction Model in Cloud Environment. CoRR abs/1608.05315 (2016) - [i6]Seyed Mohammad Taheri, Hamidreza Mahyar, Mohammad Firouzi, Ali Movaghar:
Extracting Implicit Social Relation for Social Recommendation Techniques in User Rating Prediction. CoRR abs/1612.01428 (2016) - [i5]Seyed Mohammad Taheri, Hamidreza Mahyar, Mohammad Firouzi, Ali Movaghar:
HellRank: A Hellinger-based Centrality Measure for Bipartite Social Networks. CoRR abs/1612.01511 (2016) - 2014
- [i4]Sadegh Aliakbary, Jafar Habibi, Ali Movaghar:
Feature Extraction from Degree Distribution for Comparison and Analysis of Complex Networks. CoRR abs/1407.3386 (2014) - 2013
- [i3]Sadegh Aliakbary, Jafar Habibi, Ali Movaghar:
Quantification and Comparison of Network Degree Distributions. CoRR abs/1307.3625 (2013) - [i2]Sadegh Aliakbary, Sadegh Motallebi, Jafar Habibi, Ali Movaghar:
Learning an Integrated Distance Metric for Comparing Structure of Complex Networks. CoRR abs/1307.3626 (2013) - 2011
- [i1]Ehsan Heidari, Ali Movaghar:
An Efficient Method Based on Genetic Algorithms to Solve Sensor Network Optimization Problem. CoRR abs/1104.0355 (2011)
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-13 21:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint