Ali Movaghar

243 papers A 2B 15C 12Misc 13Journal 144Unranked 57
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Novel Method for Community Detection in Bipartite Networks.
Inf.
Ali Khosrozadeh, Ali Movaghar, Mohammad Mehdi Gilanian Sadeghi, Hamidreza Mahyar
2025 J jnl
Aligning DevOps and Microservice Architecture: Empirical Mapping, Taxonomy, and RAG-Based Decision Support.
IEEE Access
Ehsan Azizi Khadem, Ali Movaghar
2025 J jnl
Formal Foundations for Controlled Stochastic Activity Networks.
CoRR
Ali Movaghar
2025 J jnl
From challenges to metrics: An LLM-driven DevOps recommendation system grounded in evidence-based mappings.
Array
Ehsan Azizi Khadem, Ali Movaghar
2025 J jnl
Meet MASKS: integrating distributed knowledge and verification for multi-agent systems.
Soft Comput.
Majid Alizadeh, Amirhoshang Hoseinpour Dehkordi, Ali Movaghar
2025 J jnl
Model verification of real-time and distributed stream processing architecture.
Computing
Binazir Ganji, Ali Rezaee, Sahar Adabi, Ali Movaghar
2025 J jnl
Multiplexing B5G/6G Services Over Aerial VLC Networks: A Comprehensive Radio Resource Management Framework.
IEEE Internet Things J.
Hosein Zarini, Narges Gholipoor, Mohammad Robat Mili, Mehdi Rasti, Ali Movaghar, Jinho Choi, Chan-Byoung Chae
2025 B conf
On the Application of Active RIS to Stacked Intelligent Metasurface Systems.
PIMRC
Hosein Zarini, Seyed Mohsen Kazemi, Jiancheng An, Ali Movaghar, Mehdi Sookhak, Nuri Yilmazer
2025 — conf
On the Performance of Unmanned Aerial Vehicles With Mimo Vlc.
ICC
Hosein Zarini, Amir Mohammadisarab, Maryam Farajzadeh Dehkordi, Mohammad Robat Mili, Bardia Safaei, Ali Movaghar, Sinem Coleri, Eduard A. Jorswieck
2025 J jnl
QECO: A QoE-Oriented Computation Offloading Algorithm Based on Deep Reinforcement Learning for Mobile Edge Computing.
IEEE Trans. Netw. Sci. Eng.
Iman Rahmaty, Hamed Shah-Mansouri, Ali Movaghar
2025 B conf
QoE-Driven Resource Allocation for Stacked Intelligent Metasurface Systems.
PIMRC
Hosein Zarini, S. Mohsen Kazemi, Jiancheng An, Ali Movaghar, Mehdi Sookhak, Nuri Yilmazer
2024 J jnl
EdgeLinker: Practical Blockchain-based Framework for Healthcare Fog Applications to Enhance Security in Edge-IoT Data Communications.
CoRR
Mahdi Akbari Zarkesh, Ehsan Dastani, Bardia Safaei, Ali Movaghar
2024 B conf
Efficient Collaborative Rule Caching Through Pairing of P4 Switches in SDNs.
GLOBECOM
Mohammad Saberi, Mahdi Dolati, Ali Movaghar, Tooska Dargahi, Ahmad Khonsari
2024 J jnl
Energy-aware QoS-based dynamic virtual machine consolidation approach based on RL and ANN.
Clust. Comput.
Mahshid Rezakhani, Nazanin Sarrafzadeh-Ghadimi, Reza Entezari-Maleki, Leonel Sousa, Ali Movaghar
2024 J jnl
Yuz: Improving Performance of Cluster-Based Services by Near-L4 Session-Persistent Load Balancing.
IEEE Trans. Netw. Serv. Manag.
Mohammad Hosseini, Sina Darabi, Amir Hossein Jahangir, Ali Movaghar
2023 J jnl
Cost-Aware Resource Recommendation for DAG-Based Big Data Workflows: An Apache Spark Case Study.
IEEE Trans. Serv. Comput.
Mohammad-Mohsen Aseman-Manzar, Soroush Karimian Aliabadi, Reza Entezari-Maleki, Bernhard Egger, Ali Movaghar
2023 J jnl
Fault-tolerant scheduling of graph-based loads on fog/cloud environments with multi-level queues and LSTM-based workload prediction.
Comput. Networks
Felor Beikzadeh Abbasi, Ali Rezaee, Sahar Adabi, Ali Movaghar
2023 J jnl
Fixed-Point Iteration Approach to Spark Scalable Performance Modeling and Evaluation.
IEEE Trans. Cloud Comput.
Soroush Karimian Aliabadi, Mohammad-Mohsen Aseman-Manzar, Reza Entezari-Maleki, Danilo Ardagna, Bernhard Egger, Ali Movaghar
2023 J jnl
Hadoop-Oriented SVM-LRU (H-SVM-LRU): An Intelligent Cache Replacement Algorithm to Improve MapReduce Performance.
CoRR
Rana Ghazali, Sahar Adabi, Ali Rezaee, Douglas G. Down, Ali Movaghar
2023 — conf
Multiplexing eMBB and mMTC Services over Aerial Visible Light Communications.
ICC
Hosein Zarini, Mohammad Reza Maleki, Narges Gholipoor, Mohammad Robat Mili, Mehdi Rasti, Ali Movaghar, Derrick Wing Kwan Ng, Ekram Hossain
2023 J jnl
QOCO: A QoE-Oriented Computation Offloading Algorithm based on Deep Reinforcement Learning for Mobile Edge Computing.
CoRR
Iman Rahmati, Hamed Shah-Mansouri, Ali Movaghar
2023 J jnl
ROGI: Partial Computation Offloading and Resource Allocation in the Fog-Based IoT Network Towards Optimizing Latency and Power Consumption.
Clust. Comput.
Benyamin T. Tabarsi, Ali Rezaee, Ali Movaghar
2023 J jnl
Where Quantum Complexity Helps Classical Complexity.
CoRR
Arash Vaezi, Mahdi Cheraghchi, Seyed Mohammad Hussein Kazemi, Negin Bagheri Noghrehy, Seyed Mohsen Kazemi, Ali Movaghar, Mohammad Ghodsi
2022 J jnl
A Matrix Factorization Model for Hellinger-Based Trust Management in Social Internet of Things.
IEEE Trans. Dependable Secur. Comput.
Soroush Aalibagi, Hamidreza Mahyar, Ali Movaghar, Harry Eugene Stanley
2022 J jnl
A new reliability-based task scheduling algorithm in cloud computing.
Int. J. Commun. Syst.
Aida Amini Motlagh, Ali Movaghar, Amir Masoud Rahmani
2022 J jnl
A novel approach for clustering and routing in WSN using genetic algorithm and equilibrium optimizer.
Int. J. Commun. Syst.
Ehsan Heidari, Ali Movaghar, Homayun Motameni, Behnam Barzegar
2022 J jnl
An adaptive and deadline-constrained workflow scheduling algorithm in infrastructure as a service clouds.
Iran J. Comput. Sci.
Robabeh Ghafouri, Ali Movaghar
2022 J jnl
CLQLMRS: improving cache locality in MapReduce job scheduling using Q-learning.
J. Cloud Comput.
Rana Ghazali, Sahar Adabi, Ali Rezaee, Douglas G. Down, Ali Movaghar
2022 J jnl
Lifetime Improvement Based on Event Occurrence Patterns for Wireless Sensor Networks Using Multi-Objective Optimization.
Wirel. Pers. Commun.
Hossein Mohtashami, Ali Movaghar, Mohammad Teshnehlab
2022 J jnl
Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control.
IEEE Trans. Software Eng.
Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Christel Baier, Ali Movaghar
2022 J jnl
Modeling and evaluation of dispatching policies in IaaS cloud data centers using SANs.
Sustain. Comput. Informatics Syst.
Ehsan Ataie, Reza Entezari-Maleki, Sayed Ehsan Etesami, Bernhard Egger, Leonel Sousa, Ali Movaghar
2022 J jnl
Privacy protection scheme for mobile social network.
J. King Saud Univ. Comput. Inf. Sci.
Seyyed Mohammad Safi, Ali Movaghar, Mohammad Ghorbani
2021 J jnl
A Framework for Protecting Privacy on Mobile Social Networks.
Mob. Networks Appl.
Seyyed Mohammad Safi, Ali Movaghar, Komeil Safikhani Mahmoodzadeh
2021 J jnl
A classification of hadoop job schedulers based on performance optimization approaches.
Clust. Comput.
Rana Ghazali, Sahar Adabi, Douglas G. Down, Ali Movaghar
2021 J jnl
A two-layer attack-robust protocol for IoT healthcare security.
IET Commun.
Afsaneh Sharafi, Sepideh Adabi, Ali Movaghar, Salah Al-Majeed
2021 J jnl
Availability modeling in redundant OpenStack private clouds.
Softw. Pract. Exp.
Mahsa Faraji Shoyari, Ehsan Ataie, Reza Entezari-Maleki, Ali Movaghar
2021 J jnl
Dynamic VNF Placement, Resource Allocation and Traffic Routing in 5G.
CoRR
Morteza Golkarifard, Carla-Fabiana Chiasserini, Francesco Malandrino, Ali Movaghar
2021 J jnl
Dynamic VNF placement, resource allocation and traffic routing in 5G.
Comput. Networks
Morteza Golkarifard, Carla-Fabiana Chiasserini, Francesco Malandrino, Ali Movaghar
2021 J jnl
Modeling Epidemic Routing: Capturing Frequently Visited Locations While Preserving Scalability.
IEEE Trans. Veh. Technol.
Leila Rashidi, Amir Dalili-Yazdi, Reza Entezari-Maleki, Leonel Sousa, Ali Movaghar
2021 J jnl
Modeling and Evaluation of Multi-Hop Wireless Networks Using SRNs.
IEEE Trans. Netw. Sci. Eng.
Reza Entezari-Maleki, Mohammed Gharib, Shahbaz Rezaei, Kishor S. Trivedi, Ali Movaghar
2021 J jnl
Network and Application-Aware Cloud Service Selection in Peer-Assisted Environments.
IEEE Trans. Cloud Comput.
Sina Askarnejad, Marzieh Malekimajd, Ali Movaghar
2021 J jnl
Optimal VM-to-user mapping in cloud environment based on sustainable strategy space theory.
Clust. Comput.
Pouria Khanzadi, Sepideh Adabi, Babak Majidi, Ali Movaghar
2021 — conf
Partial Order Reduction for Timed Actors.
VSTTE
Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Hossein Hojjat, Ali Movaghar
2021 J jnl
Processor Sharing Queues With Impatient Customers and State-Dependent Rates.
IEEE/ACM Trans. Netw.
Mahdieh Ahmadi, Morteza Golkarifard, Ali Movaghar, Hamed Yousefi
2021 J jnl
Robust fuzzy rough set based dimensionality reduction for big multimedia data hashing and unsupervised generative learning.
Multim. Tools Appl.
Pouria Khanzadi, Babak Majidi, Sepideh Adabi, Jagdish C. Patra, Ali Movaghar
2021 J jnl
Secure data aggregation methods and countermeasures against various attacks in wireless sensor networks: A comprehensive review.
J. Netw. Comput. Appl.
Mohammad Sadegh Yousefpoor, Efat Yousefpoor, Hamid Barati, Ali Barati, Ali Movaghar, Mehdi Hosseinzadeh
2021 J jnl
Web service quality of service prediction via regional reputation-based matrix factorization.
Concurr. Comput. Pract. Exp.
Seyyed Hamid Ghafouri, Seyyed Mohsen Hashemi, Mohammad Reza Razzazi, Ali Movaghar
2020 J jnl
An area-scalable human-based mobility model.
Comput. Networks
Mohammed Gharib, Ahmad Foroozani, Shahbaz Rezaei, Ali Mohammad Afshin Hemmatyar, Ali Movaghar
2020 J jnl
Cache Subsidies for an Optimal Memory for Bandwidth Tradeoff in the Access Network.
IEEE J. Sel. Areas Commun.
Mahdieh Ahmadi, James Roberts, Emilio Leonardi, Ali Movaghar
2020 J jnl
Designing a MapReduce performance model in distributed heterogeneous platforms based on benchmarking approach.
J. Supercomput.
Abolfazl Gandomi, Ali Movaghar, Midia Reshadi, Ahmad Khademzadeh
2020 C conf
Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems.
MEMOCODE
Maryam Bagheri, Edward A. Lee, Eunsuk Kang, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar
2020 J jnl
Linear Temporal Public Announcement Logic: a new perspective for reasoning the knowledge of multi-classifiers.
CoRR
Amirhoshang Hoseinpour Dehkordi, Majid Alizadeh, Ali Movaghar
2020 J jnl
MASKS: A Multi-Artificial Neural Networks System's verification approach.
CoRR
Amirhoshang Hoseinpour Dehkordi, Majid Alizadeh, Ebrahim Ardeshir-Larijani, Ali Movaghar
2020 J jnl
Minimizing Data Access Latencies for Virtual Machine Assignment in Cloud Systems.
IEEE Trans. Serv. Comput.
Marzieh Malekimajd, Ali Movaghar
2020 J jnl
Modeling and Evaluation of Service Composition in Commercial Multiclouds Using Timed Colored Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst.
Reza Entezari-Maleki, Sayed Ehsan Etesami, Negar Ghorbani, Arian Akhavan Niaki, Leonel Sousa, Ali Movaghar
2020 J jnl
On the Performance Analysis of Epidemic Routing in Non-Sparse Delay Tolerant Networks.
CoRR
Leila Rashidi, Don Towsley, Arman Mohseni-Kabir, Ali Movaghar
2020 J jnl
On the effectiveness of the PIT in reducing upstream demand in an NDN router.
Perform. Evaluation
Mahdieh Ahmadi, James Roberts, Emilio Leonardi, Ali Movaghar
2020 J jnl
Performance Modeling of Epidemic Routing in Mobile Social Networks with Emphasis on Scalability.
CoRR
Leila Rashidi, Amir Dalili-Yazdi, Reza Entezari-Maleki, Leonel Sousa, Ali Movaghar
2020 J jnl
Task scheduling mechanisms in cloud computing: A systematic review.
Int. J. Commun. Syst.
Aida Amini Motlagh, Ali Movaghar, Amir Masoud Rahmani
2020 J jnl
VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance.
Int. J. Softw. Tools Technol. Transf.
Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar
2019 J jnl
A Compositional Approach for Reliable Adaptation of Track-based Traffic Control Systems at Runtime.
CoRR
Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar
2019 J jnl
A Matrix Factorization Model for Hellinger-based Trust Management in Social IoT.
CoRR
Soroush Aalibagi, Hamidreza Mahyar, Ali Movaghar, Harry Eugene Stanley
2019 J jnl
A budget constrained scheduling algorithm for executing workflow application in infrastructure as a service clouds.
Peer-to-Peer Netw. Appl.
Robabeh Ghafouri, Ali Movaghar, Mehran Mohsenzadeh
2019 J jnl
A lightweight signcryption scheme for defense against fragment duplication attack in the 6LoWPAN networks.
Peer-to-Peer Netw. Appl.
Mohammad Nikravan, Ali Movaghar, Mehdi Hosseinzadeh
2019 J jnl
A uniformization-based algorithm for continuous-time stochastic games model checking.
Theor. Comput. Sci.
Shirin Baghoolizadeh, Ali Movaghar, Negin Majidi
2019 J jnl
Analytical composite performance models for Big Data applications.
J. Netw. Comput. Appl.
Soroush Karimian Aliabadi, Danilo Ardagna, Reza Entezari-Maleki, Eugenio Gianniti, Ali Movaghar
2019 J jnl
Cache Subsidies for an Optimal Memory for Bandwidth Tradeoff in the Access Network.
CoRR
Mahdieh Ahmadi, James Roberts, Emilio Leonardi, Ali Movaghar
2019 J jnl
Correction to: A lightweight signcryption scheme for defense against fragment duplication attack in the 6LoWPAN networks.
Peer-to-Peer Netw. Appl.
Mohammad Nikravan, Ali Movaghar, Mehdi Hosseinzadeh
2019 J jnl
Dandelion: A Unified Code Offloading System for Wearable Computing.
IEEE Trans. Mob. Comput.
Morteza Golkarifard, Ji Yang, Zhanpeng Huang, Ali Movaghar, Pan Hui
2019 J jnl
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.
Behnam Barzegar, Homayun Motameni, Ali Movaghar
2019 J jnl
Efficient distribution of requests in federated cloud computing environments utilizing statistical multiplexing.
Future Gener. Comput. Syst.
Moslem Habibi, MohammadAmin Fazli, Ali Movaghar
2019 J jnl
Hierarchical Stochastic Models for Performance, Availability, and Power Consumption Analysis of IaaS Clouds.
IEEE Trans. Cloud Comput.
Ehsan Ataie, Reza Entezari-Maleki, Leila Rashidi, Kishor S. Trivedi, Danilo Ardagna, Ali Movaghar
2019 J jnl
HybSMRP: a hybrid scheduling algorithm in Hadoop MapReduce framework.
J. Big Data
Abolfazl Gandomi, Midia Reshadi, Ali Movaghar, Ahmad Khademzadeh
2019 J jnl
Impact of Traffic Characteristics on Request Aggregation in an NDN Router.
CoRR
Mahdieh Ahmadi, James Roberts, Emilio Leonardi, Ali Movaghar
2019 J jnl
Performance Evaluation of Epidemic Content Retrieval in DTNs With Restricted Mobility.
IEEE Trans. Netw. Serv. Manag.
Leila Rashidi, Reza Entezari-Maleki, Dimitris Chatzopoulos, Pan Hui, Kishor S. Trivedi, Ali Movaghar
2019 B conf
Poster: Impact of traffic characteristics on request aggregation in an NDN router.
Networking
Mahdieh Ahmadi, James Roberts, Emilio Leonardi, Ali Movaghar
2019 B conf
Scalable Performance Analysis of Epidemic Routing Considering Skewed Location Visiting Preferences.
MASCOTS
Leila Rashidi, Amir Dalili-Yazdi, Reza Entezari-Maleki, Leonel Sousa, Ali Movaghar
2019 J jnl
Secure Overlay Routing for Large Scale Networks.
IEEE Trans. Netw. Sci. Eng.
Mohammed Gharib, Homayoun Yousefi'zadeh, Ali Movaghar
2019 J jnl
Symbolic checking of Fuzzy CTL on Fuzzy Program Graph.
Acta Informatica
Masoud Ebrahimi, Gholamreza Sotudeh, Ali Movaghar
2019 — conf
VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs.
SPIN
Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar
2019 J jnl
VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs.
CoRR
Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar
2018 J jnl
A Lightweight Defense Approach to Mitigate Version Number and Rank Attacks in Low-Power and Lossy Networks.
Wirel. Pers. Commun.
Mohammad Nikravan, Ali Movaghar, Mehdi Hosseinzadeh
2018 — conf
Compressed Sensing in Cyber Physical Social Systems.
Principles of Modeling
Radu Grosu, Elahe Ghalebi K., Ali Movaghar, Hamidreza Mahyar
2018 J jnl
Coordinated actor model of self-adaptive track-based traffic control systems.
J. Syst. Softw.
Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Narges Khakpour, Ilge Akkaya, Ali Movaghar, Edward A. Lee
2018 J jnl
Cost-Efficient Scheduling for Deadline Constrained Grid Workflows.
Comput. Informatics
Alireza Dehlaghi-Ghadim, Reza Entezari-Maleki, Ali Movaghar
2018 J jnl
IDS modelling and evaluation in WANETs against black/grey-hole attacks using stochastic models.
Int. J. Ad Hoc Ubiquitous Comput.
Reza Entezari-Maleki, Mohammed Gharib, Maryam Khosravi, Ali Movaghar
2018 J jnl
Identifying central nodes for information flow in social networks using compressive sensing.
Soc. Netw. Anal. Min.
Hamidreza Mahyar, Rouzbeh Hasheminezhad, Elaheh Ghalebi, Ali Nazemian, Radu Grosu, Ali Movaghar, Hamid R. Rabiee
2018 J jnl
Modeling and Evaluation of Power-Aware Software Rejuvenation in Cloud Systems.
Algorithms
Sharifeh Fakhrolmobasheri, Ehsan Ataie, Ali Movaghar
2018 J jnl
Performability-Based Workflow Scheduling in Grids.
Comput. J.
Reza Entezari-Maleki, Kishor S. Trivedi, Leonel Sousa, Ali Movaghar
2018 J jnl
Power-aware performance analysis of self-adaptive resource management in IaaS clouds.
Future Gener. Comput. Syst.
Ehsan Ataie, Reza Entezari-Maleki, Sayed Ehsan Etesami, Bernhard Egger, Danilo Ardagna, Ali Movaghar
2018 — conf
Reliable and Energy-Efficient Routing for Green Software Defined Networking.
IST
Ahmad Norouzi, Babak Majidi, Ali Movaghar
2018 J jnl
SLoPCloud: An Efficient Solution for Locality Problem in Peer-to-Peer Cloud Systems.
Algorithms
Mohammed Gharib, Marzieh Malekimajd, Ali Movaghar
2018 J jnl
Semantic Data Gathering of Physical Entities in Semantic Sensor Networks Using Software Agents.
Inf. Technol. Control.
Mohammad Ahmadinia, Ali Movaghar, Amir Masoud Rahmani
2018 J jnl
TSRN: A Tabu Search-Based Routing Protocol for Named Data Networking.
Wirel. Pers. Commun.
Zeinab Shariat, Ali Movaghar, Mehdi Hosseinzadeh
2018 J jnl
Throughput Analysis of IEEE 802.11 Multi-Hop Wireless Networks With Routing Consideration: A General Framework.
IEEE Trans. Commun.
Shahbaz Rezaei, Mohammed Gharib, Ali Movaghar
2018 J jnl
Throughput Analysis of IEEE 802.11 Multi-hop Wireless Networks with Routing Consideration: A General Framework.
CoRR
Shahbaz Rezaei, Mohammed Gharib, Ali Movaghar
2018 J jnl
Time-Cost Efficient Scheduling Algorithms for Executing Workflow in Infrastructure as a Service Clouds.
Wirel. Pers. Commun.
Robabeh Ghafouri, Ali Movaghar, Mehran Mohsenzadeh
2017 J jnl
A Hitchhiker's Guide to Computation Offloading: Opinions from Practitioners.
IEEE Commun. Mag.
Morteza Golkarifard, Ji Yang, Ali Movaghar, Pan Hui
2017 J jnl
A learning automata and clustering-based routing protocol for named data networking.
Telecommun. Syst.
Zeinab Shariat, Ali Movaghar, Mehdi Hosseinzadeh
2017 — conf
Extracting Implicit Social Relation for Social Recommendation Techniques in User Rating Prediction.
WWW (Companion Volume)
Seyed Mohammad Taheri, Hamidreza Mahyar, Mohammad Firouzi, Elahe Ghalebi K., Radu Grosu, Ali Movaghar
2017 J jnl
Fully distributed ECC-based key management for mobile ad hoc networks.
Comput. Networks
Mohammed Gharib, Zahra Moradlou, Mohammad-Ali Doostari, Ali Movaghar
2017 J jnl
HellRank: a Hellinger-based centrality measure for bipartite social networks.
Soc. Netw. Anal. Min.
Seyed Mohammad Taheri, Hamidreza Mahyar, Mohammad Firouzi, Elahe Ghalebi K., Radu Grosu, Ali Movaghar
2017 J jnl
Multi-objective Node Placement Considering Non-uniform Event Pattern.
Wirel. Pers. Commun.
Hossein Mohtashami, Ali Movaghar, Mohammad Teshnehlab
2017 J jnl
Performance and power modeling and evaluation of virtualized servers in IaaS clouds.
Inf. Sci.
Reza Entezari-Maleki, Leonel Sousa, Ali Movaghar
2017 J jnl
Performance aware scheduling considering resource availability in grid computing.
Eng. Comput.
Reza Entezari-Maleki, Maryam Bagheri, Saeedeh Mehri, Ali Movaghar
2017 J jnl
Runtime compositional analysis of track-based traffic control systems.
SIGBED Rev.
Maryam Bagheri, Ehsan Khamespanah, Marjan Sirjani, Ali Movaghar, Edward A. Lee
2016 Misc conf
A Combined Analytical Modeling Machine Learning Approach for Performance Prediction of MapReduce Jobs in Cloud Environment.
SYNASC
Ehsan Ataie, Eugenio Gianniti, Danilo Ardagna, Ali Movaghar
2016 J jnl
A Multi-Dimensional Fairness Combinatorial Double-Sided Auction Model in Cloud Environment.
CoRR
Reihaneh Hassanzadeh, Ali Movaghar, Hamid Reza Hassanzadeh
2016 — conf
A multi-dimensional fairness combinatorial double-sided auction model in cloud environment.
IST
Reihaneh Hassanzadeh, Ali Movaghar, Hamid Reza Hassanzadeh
2016 J jnl
CGC: centralized genetic-based clustering protocol for wireless sensor networks using onion approach.
Telecommun. Syst.
Majid Hatamian, Hamid Barati, Ali Movaghar, Alireza Naghizadeh
2016 — conf
Coordinated Actors for Reliable Self-adaptive Systems.
FACS
Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar, Edward A. Lee
2016 J jnl
Extracting Implicit Social Relation for Social Recommendation Techniques in User Rating Prediction.
CoRR
Seyed Mohammad Taheri, Hamidreza Mahyar, Mohammad Firouzi, Ali Movaghar
2016 J jnl
HellRank: A Hellinger-based Centrality Measure for Bipartite Social Networks.
CoRR
Seyed Mohammad Taheri, Hamidreza Mahyar, Mohammad Firouzi, Ali Movaghar
2016 J jnl
RDTP: reliable data transport protocol in wireless sensor networks.
Telecommun. Syst.
Ali Barati, Ali Movaghar, Masoud Sabaei
2016 J jnl
Secure Overlay Routing Using Key Pre-Distribution: A Linear Distance Optimization Approach.
IEEE Trans. Mob. Comput.
Mohammed Gharib, Homayoun Yousefi'zadeh, Ali Movaghar
2015 — conf
A Low-Cost Sparse Recovery Framework for Weighted Networks under Compressive Sensing.
SmartCity
Hamidreza Mahyar, Hamid R. Rabiee, Ali Movaghar, Rouzbeh Hasheminezhad, Elaheh Ghalebi, Ali Nazemian
2015 J jnl
Abstraction and approximation in fuzzy temporal logics and models.
Formal Aspects Comput.
Gholamreza Sotudeh, Ali Movaghar
2015 B conf
CS-ComDet: A Compressive Sensing Approach for Inter-Community Detection in Social Networks.
ASONAM
Hamidreza Mahyar, Hamid R. Rabiee, Ali Movaghar, Elaheh Ghalebi, Ali Nazemian
2015 — conf
Decentralized Social Networking Using Named-Data.
CN
Leonid Zeynalvand, Mohammed Gharib, Ali Movaghar
2015 J jnl
EACHP: Energy Aware Clustering Hierarchy Protocol for Large Scale Wireless Sensor Networks.
Wirel. Pers. Commun.
Hamid Barati, Ali Movaghar, Amir Masoud Rahmani
2015 J jnl
Fast Aggregation Scheduling in Wireless Sensor Networks.
IEEE Trans. Wirel. Commun.
Hamed Yousefi, Marzieh Malekimajd, Majid Ashouri, Ali Movaghar
2015 J jnl
Feature Extraction from Degree Distribution for Comparison and Analysis of Complex Networks.
Comput. J.
Sadegh Aliakbary, Jafar Habibi, Ali Movaghar
2015 J jnl
Improved Region-Based TCTL Model Checking of Time Petri Nets.
J. Comput. Sci. Eng.
Mohammad Esmail Esmaili, Reza Entezari-Maleki, Ali Movaghar
2015 J jnl
Minimizing latency in geo-distributed clouds.
J. Supercomput.
Marzieh Malekimajd, Ali Movaghar, Seyedmahyar Hosseinimotlagh
2015 J jnl
PDC: Prediction-based data-aware clustering in wireless sensor networks.
J. Parallel Distributed Comput.
Majid Ashouri, Hamed Yousefi, Javad Basiri, Ali Mohammad Afshin Hemmatyar, Ali Movaghar
2015 J jnl
Performability Evaluation of Grid Environments Using Stochastic Reward Nets.
IEEE Trans. Dependable Secur. Comput.
Reza Entezari-Maleki, Kishor S. Trivedi, Ali Movaghar
2015 B conf
Probabilistic Key Pre-Distribution for Heterogeneous Mobile Ad Hoc Networks Using Subjective Logic.
AINA
Mahdieh Ahmadi, Mohammed Gharib, Fatemeh Ghassemi, Ali Movaghar
2014 J jnl
A new fuzzy negotiation protocol for grid resource allocation.
J. Netw. Comput. Appl.
Sepideh Adabi, Ali Movaghar, Amir Masoud Rahmani, Hamid Beigy, Hengameh Dastmalchy-Tabrizi
2014 B conf
A novel human mobility model for MANETs based on real data.
ICCCN
Ahmad Foroozani, Mohammed Gharib, Ali Mohammad Afshin Hemmatyar, Ali Movaghar
2014 J jnl
A two-phase wormhole attack detection scheme in MANETs.
ISC Int. J. Inf. Secur.
Shiva Shamaei, Ali Movaghar
2014 J jnl
Analytical Leakage-Aware Thermal Modeling of a Real-Time System.
IEEE Trans. Computers
Morteza Mohaqeqi, Mehdi Kargahi, Ali Movaghar
2014 J jnl
Bi-level fuzzy based advanced reservation of Cloud workflow applications on distributed Grid resources.
J. Supercomput.
Sahar Adabi, Ali Movaghar, Amir Masoud Rahmani
2014 J jnl
Combined performance and availability analysis of distributed resources in grid computing.
J. Supercomput.
Reza Entezari-Maleki, Ali Mohammadkhan, Heon Young Yeom, Ali Movaghar
2014 J jnl
Energy Efficient and High Speed Error Control Scheme for Real Time Wireless Sensor Networks.
Int. J. Distributed Sens. Networks
Ali Barati, Ali Movaghar, Masoud Sabaei
2014 J jnl
Feature Extraction from Degree Distribution for Comparison and Analysis of Complex Networks.
CoRR
Sadegh Aliakbary, Jafar Habibi, Ali Movaghar
2014 J jnl
Formal process algebraic modeling, verification, and analysis of an abstract Fuzzy Inference Cloud Service.
J. Supercomput.
Ali Rezaee, Amir Masoud Rahmani, Ali Movaghar, Mohammad Teshnehlab
2014 Misc conf
Optimal Capacity Allocation for Executing MapReduce Jobs in Cloud Systems.
SYNASC
Marzieh Malekimajd, Alessandro Maria Rizzi, Danilo Ardagna, Michele Ciavotta, Mauro Passacantando, Ali Movaghar
2013 — conf
A Novel Probabilistic Key Management Algorithm for Large-Scale MANETs.
AINA Workshops
Mohammed Gharib, Ehsan Emamjomeh-Zadeh, Ashkan Norouzi-Fard, Ali Movaghar
2013 — conf
A Rank-Based Hybrid Algorithm for Scheduling Data- and Computation-Intensive Jobs in Grid Environments.
ICACNI
Mohsen Abdoli, Reza Entezari-Maleki, Ali Movaghar
2013 B conf
Availability Modeling and Evaluation of Cloud Virtual Data Centers.
ICPADS
Mohammad Roohitavaf, Reza Entezari-Maleki, Ali Movaghar
2013 C conf
Expert key selection impact on the MANETs' performance using probabilistic key management algorithm.
SIN
Mohammed Gharib, Mohsen Minaei, Morteza Golkari, Ali Movaghar
2013 — conf
Fully Distributed Self Certified Key Management for Large-Scale MANETs.
UIC/ATC
Zahra Moradlu, Mohammad-Ali Doostari, Mohammed Gharib, Ali Movaghar
2013 J jnl
Learning an Integrated Distance Metric for Comparing Structure of Complex Networks.
CoRR
Sadegh Aliakbary, Sadegh Motallebi, Jafar Habibi, Ali Movaghar
2013 J jnl
MC-MLAS: Multi-channel Minimum Latency Aggregation Scheduling in Wireless Sensor Networks.
Comput. Networks
Fatemeh Ghods, Hamed Yousefi, Ali Mohammad Afshin Hemmatyar, Ali Movaghar
2013 J jnl
Market_based grid resource allocation using new negotiation model.
J. Netw. Comput. Appl.
Sepideh Adabi, Ali Movaghar, Amir Masoud Rahmani, Hamid Beigy
2013 — conf
Model Checking MANETs with Arbitrary Mobility.
FSEN
Fatemeh Ghassemi, Saeide Ahmadi, Wan J. Fokkink, Ali Movaghar
2013 J jnl
Negotiation strategies considering market, time and behavior functions for resource allocation in computational grid.
J. Supercomput.
Sepideh Adabi, Ali Movaghar, Amir Masoud Rahmani, Hamid Beigy
2013 J jnl
Quantification and Comparison of Network Degree Distributions.
CoRR
Sadegh Aliakbary, Jafar Habibi, Ali Movaghar
2012 Misc conf
A Büchi automata based model checking framework for reo connectors.
SAC
Sarmen Keshishzadeh, Mohammad Izadi, Ali Movaghar
2012 J jnl
A probabilistic task scheduling method for grid environments.
Future Gener. Comput. Syst.
Reza Entezari-Maleki, Ali Movaghar
2012 Misc conf
Analytical leakage/temperature-aware power modeling and optimization for a variable speed real-time system.
RTNS
Morteza Mohaqeqi, Mehdi Kargahi, Ali Movaghar
2012 — conf
Biogeography-based optimization of makespan and reliability in grid computing systems.
ICUMT
Mohammad Hadi Mobini, Reza Entezari-Maleki, Ali Movaghar
2012 B conf
DACA: Data-Aware Clustering and Aggregation in Query-Driven Wireless Sensor Networks.
ICCCN
Somaieh Bahrami, Hamed Yousefi, Ali Movaghar
2012 — conf
Distributed QoS routing algorithm in large scale Wireless Sensor Networks.
ISIE
Mohammad Sadegh Kordafshari, Azadeh Pourkabirian, Mohammad Reza Meybodi, Ali Movaghar
2012 C conf
FOMA: Flexible overlay multi-path data aggregation in wireless sensor networks.
ISCC
Majid Ashouri, Hamed Yousefi, Ali Mohammad Afshin Hemmatyar, Ali Movaghar
2012 — conf
Interference-Aware Multipath Routing for Video Delivery in Wireless Multimedia Sensor Networks.
ICDCS Workshops
Ilnaz Nikseresht, Hamed Yousefi, Ali Movaghar, Mohammad Khansari
2012 A conf
S-NC: structure-free network coding-aware routing in wireless sensor networks.
MSWiM
Ehsan Enayati-Noabadi, Hamed Yousefi, Ali Movaghar
2012 J jnl
Structure-free real-time data aggregation in wireless sensor networks.
Comput. Commun.
Hamed Yousefi, Mohammad Hossein Yeganeh, Naser Alinaghipour, Ali Movaghar
2011 — conf
A Bee Colony Task Scheduling Algorithm in Computational Grids.
ICDIPC (1)
Zohreh Mousavinasab, Reza Entezari-Maleki, Ali Movaghar
2011 — conf
A Fault Tolerant Scheduling Algorithm for DAG Applications in Cluster Environments.
ICDIPC (1)
Nabil Tabbaa, Reza Entezari-Maleki, Ali Movaghar
2011 J jnl
An Efficient Method Based on Genetic Algorithms to Solve Sensor Network Optimization Problem
CoRR
Ehsan Heidari, Ali Movaghar
2011 — conf
An Optimised Algorithm to Detect Faulty Readings along the Substrate Access Wireless Long-Thin Sensor Networks.
EMS
Ali Barati, S. Jalaleddin Dastgheib, Ali Movaghar, Iman Attarzadeh
2011 J jnl
Analysis of a dynamic assignment of impatient customers to parallel queues.
Queueing Syst. Theory Appl.
Ali Movaghar
2011 Misc conf
Availability modeling of grid computing environments using SANs.
SoftCOM
Reza Entezari-Maleki, Ali Movaghar
2011 C conf
IMAC: An Interference-Aware Duty-Cycle MAC Protocol for Wireless Sensor Networks Employing Multipath Routing.
EUC
Leila Eskandari, Hamed Yousefi, Ali Movaghar, Mohammad Khansari
2011 — conf
Long lifetime real-time routing in unreliable Wireless Sensor Networks.
Wireless Days
Naser Alinaghipour, Hamed Yousefi, Mohammad Hossein Yeganeh, Ali Movaghar
2011 — conf
Long lifetime routing in unreliable wireless sensor networks.
ICNSC
Hamed Yousefi, Mohammad Hossein Yeganeh, Ali Movaghar
2011 J jnl
On pancyclicity properties of OTIS-mesh.
Inf. Process. Lett.
T. Shafiei, Mohammad Reza Hoseiny Farahabady, Ali Movaghar, Hamid Sarbazi-Azad
2011 J jnl
Pancyclicity of OTIS (swapped) networks based on properties of the factor graph.
Inf. Process. Lett.
Marzieh Malekimajd, Mohammad Reza Hoseiny Farahabady, Ali Movaghar, Hamid Sarbazi-Azad
2011 J jnl
Performance Optimization Based on Analytical Modeling in a Real-Time System with Constrained Time/Utility Functions.
IEEE Trans. Computers
Mehdi Kargahi, Ali Movaghar
2011 — conf
RDAG: A Structure-Free Real-Time Data Aggregation Protocol for Wireless Sensor Networks.
RTCSA (1)
Mohammad Hossein Yeganeh, Hamed Yousefi, Naser Alinaghipour, Ali Movaghar
2011 — conf
Stochastic Restricted Broadcast Process Theory.
EPEW
Fatemeh Ghassemi, Mahmoud Talebi, Ali Movaghar, Wan J. Fokkink
2011 J jnl
Verification of mobile ad hoc networks: An algebraic approach.
Theor. Comput. Sci.
Fatemeh Ghassemi, Wan J. Fokkink, Ali Movaghar
2010 — conf
A Genetic-Based Scheduling Algorithm to Minimize the Makespan of the Grid Applications.
FGIT-GDC/CA
Reza Entezari-Maleki, Ali Movaghar
2010 C conf
An Identity-Based Network Access Control Scheme for Single Authority MANETs.
APSCC
Narges Aghakazem Jourabbaf, Ali Movaghar
2010 — conf
Characteristics of Secure Routing in Vehicular Ad Hoc Network (VANET).
ICWN
Sayed Mohammad Mehdi Feiz, Ali Movaghar
2010 J jnl
Dynamic routing of real-time jobs among parallel EDF queues: A performance study.
Comput. Electr. Eng.
Mehdi Kargahi, Ali Movaghar
2010 J jnl
Equational Reasoning on Mobile Ad Hoc Networks.
Fundam. Informaticae
Fatemeh Ghassemi, Wan J. Fokkink, Ali Movaghar
2010 J jnl
Failure-based equivalence of constraint automata.
Int. J. Comput. Math.
Mohammad Izadi, Ali Movaghar
2010 J jnl
Symmetry and partial order reduction techniques in model checking Rebeca.
Acta Informatica
Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ehsan Khamespanah, Ali Movaghar
2010 — conf
Towards Performance Evaluation of Mobile Ad Hoc Network Protocols.
ACSD
Fatemeh Ghassemi, Ali Movaghar, Wan J. Fokkink
2010 J jnl
Utility Accrual Dynamic Routing in Real-Time Parallel Systems.
IEEE Trans. Parallel Distributed Syst.
Mehdi Kargahi, Ali Movaghar
2010 J jnl
Vulnerability analysis of networks to detect multiphase attacks using the actor-based language Rebeca.
Comput. Electr. Eng.
Hamid Reza Shahriari, Mohammad Sadegh Makarem, Marjan Sirjani, Rasool Jalili, Ali Movaghar
2009 C conf
A New Analysis of RC4 - A Data Mining Approach (J48).
SECRYPT
Mohsen Hajsalehi Sichani, Ali Movaghar
2009 — conf
A New Approach to Improve Quality of Service in SPEED Routing Protocol in Wireless Sensor Network through Data Aggregation.
ICECS
Rassoul Roustaei, Ebadolah Zohrevandi, Keramat Hassani, Ali Movaghar
2009 C conf
A New Method for Coverage in Wireless Sensor Networks.
DASC
N. Attarzadeh, Ali Barati, Ali Movaghar
2009 — conf
Equational Reasoning on Ad Hoc Networks.
FSEN
Fatemeh Ghassemi, Wan J. Fokkink, Ali Movaghar
2009 — conf
Intelligent Clustering in Wireless Sensor Networks.
NetCoM
Ehsan Heidari, Ali Movaghar
2009 B conf
Joint distributed source and network coding for multiple wireless unicast sessions.
WCNC
Shahriar Etemadi Tajbakhsh, Ali Movaghar
2009 B conf
Mobility Aware Distributed Topology Control in Mobile Ad-Hoc Networks Using Mobility Pattern Matching.
WiMob
Mehrdad Khaledi, Seyed Morteza Mousavi, H. R. Rabiee, Ali Movaghar, Mojgan Khaledi, Omid Ardakanian
2009 — conf
Recovery of Sensors in Wireless Sensor Networks.
NCM
Ali Barati, Mohammad Ali Khosh Kholghi, Ali Movaghar
2009 C conf
SEAODV: secure efficient AODV routing protocol for MANETs networks.
ICIS
Misagh Mohammadizadeh, Ali Movaghar, Seyad Mohammad Safi
2009 — conf
Weighted start-time fair queuing: a new start-time fair queuing for elastic traffic.
SpringSim
Ehsan Allahyar, Ali Movaghar
2008 — conf
3MOKAN: A Novel Mobility Management Mechanism Based on Keeping Alternative Nodes.
AINA Workshops
Mahmood Hasanlou, Ebrahim Fazli, Ali Movaghar, Hossein Mohammadi
2008 — conf
A Novel Method for Modeling and Evaluation of Uncertain Information Systems.
ICIT
Ali Haroonabadi, Mohammad Teshnehlab, Ali Movaghar
2008 — conf
A study on routing method in P2P networks.
ICON
S. Kalantary, Ali Movaghar, A. A. Ghafarizade
2008 J jnl
Anonymous authentication protocol for GSM networks.
Int. J. Secur. Networks
Mahdi Asadpour, Behnam Sattarzadeh, Ali Movaghar
2008 Misc conf
Bandwidth-Delay Constrained Least Cost Multicast Routing for Multimedia Communication.
CSICC
Mehrdad Mahdavi, Rana Forsati, Ali Movaghar
2008 Misc conf
CEBAC: A Decentralized Cooperation Enforcement Based Access Control Framework in MANETs.
CSICC
Fatemeh Saremi, Hoda Mashayekhi, Ali Movaghar, Rasool Jalili
2008 Misc conf
Challenges in Using Peer-to-Peer Structures in Order to Design a Large-Scale Web Search Engine.
CSICC
Hamid Mousavi, Ali Movaghar
2008 J jnl
Design and Performance Evaluation of a Fuzzy-Based Traffic Conditioner for Mobile
J. Circuits Syst. Comput.
Masood Niazi Torshiz, Ali Movaghar
2008 — conf
Finding the sensors location and the number of sensors in sensor networks with a genetic algorithm.
ICON
Mohammad Robatmili, Mehdi Mohammadi, Ali Movaghar, Mehdi Dehghan
2008 — conf
ID-NAC: Identity-based network access control for MANETs.
ICON
Narges Aghakazem Jourabbaf, Ali Movaghar
2008 — conf
Intrusion Detection: A Survey.
ICSNC
Farzad Sabahi, Ali Movaghar
2008 B conf
Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps.
COMPSAC
Sara NavidPour, Mohammad Izadi, Ali Movaghar
2008 — conf
MEHR: Multi-Hop Energy-Aware Hierarchical Routing for Wireless Sensor Networks.
NTMS
Abolfazl Asudeh, Ali Movaghar
2008 J jnl
Model Checking of Component Based Software Using Compositional Reductions.
Int. J. Softw. Eng. Knowl. Eng.
Mohammad Izadi, Ali Movaghar
2008 Misc conf
Modeling Routing Protocols in Adhoc Networks.
CSICC
Fatemeh Ghassemi, Ali Movaghar
2008 C conf
Performance Analysis of SLTC - A Stable Path, Low Overhead, Truthful and Cost Efficient Routing Protocol in MANETs with Selfish Nodes.
APSCC
Fatemeh Saremi, Hamid Mousavi, Ali Movaghar
2008 — conf
Performance Modeling of Fault Tolerant Fully Adaptive Wormhole Switching 2-D Meshes in Presence of Virtual Channels.
ICSNC
S. Nickmanesh, Ali Movaghar, F. Rookhosh
2008 B conf
Restricted Broadcast Process Theory.
SEFM
Fatemeh Ghassemi, Wan J. Fokkink, Ali Movaghar
2008 J jnl
Stochastic DVS-based dynamic power management for soft real-time systems.
Microprocess. Microsystems
Mehdi Kargahi, Ali Movaghar
2007 — conf
A New Anti-Spam Protocol Using CAPTCHA.
ICNSC
Sajad Shirali-Shahreza, Ali Movaghar
2007 — conf
A Review on Specifying Software Architectures Using Extended Automata-Based Models.
FSEN
Sayed Mehran Sharafi, Fereidoon Shams Aliee, Ali Movaghar
2007 — conf
An improved replacement algorithm in fault-tolerant meshes.
SCSC
Saina Jalili, Ali Movaghar, Maryam Sadrmousavi
2007 — conf
Characterizing the Web Using a New Uniform Sampling Approach.
COMSWARE
Hamid Mousavi, Mohammad Ebrahim Rafiei, Ali Movaghar
2007 — conf
Compositional Failure-based Equivalence of Constraint Automata.
AVoCS
Mohammad Izadi, Ali Movaghar
2007 — conf
Compositional failure-based semantic equivalences for Reo specifications.
SAVCBS
Mohammad Izadi, Ali Movaghar
2007 — conf
Model Checking of Component Connectors.
COMPSAC (1)
Mohammad Izadi, Ali Movaghar, Farhad Arbab
2007 — conf
Reliable multicast routing with local recovery approach in Ad Hoc Network.
AccessNets
Mehdi Effatparvar, Mehdi Dehghan, Ali Movaghar, Amir Dareshorzadeh
2007 — conf
Restricted Access to Exam Grades on the Web by HIP.
ACIS-ICIS
Sajad Shirali-Shahreza, Mohammad Shirali-Shahreza, Ali Movaghar
2007 — conf
Trusted secure routing for ad hoc networks.
MOBIWAC
Nima Haghpanah, Masoud Akhoondi, Mehdi Kargar, Ali Movaghar
2007 J jnl
Using Team Automata to Specify Software Architectures.
Res. Comput. Sci.
Ali Movaghar, Fereidon Shams Aliee, Sayed Mehran Sharafi
2007 — conf
Vulnerability Analysis in VGBPS Using Prolog.
FSEN
Mohammad Ebrahim Rafiei, Mohsen Taherian, Hamid Mousavi, Ali Movaghar, Rasool Jalili
2006 J jnl
A Method for Performance Analysis of Earliest-Deadline-First Scheduling Policy.
J. Supercomput.
Mehdi Kargahi, Ali Movaghar
2006 C conf
Efficient Evaluation of CSAN Models by State Space Analysis Methods.
ICSEA
Mohammad Abdollahi Azgomi, Ali Movaghar
2006 C conf
Modeling and Evaluation of Software Systems with Object Stochastic Activity Networks.
ICSEA
Mohammad Abdollahi Azgomi, Ali Movaghar
2006 Misc conf
Modere: the model-checking engine of Rebeca.
SAC
Mohammad Mahdi Jaghoori, Ali Movaghar, Marjan Sirjani
2006 C conf
Performance Evaluation of Mobile Ad Hoc Networks In the Presence of Energy-based Selfishness.
BROADNETS
Ehsan Ataie, Ali Movaghar
2005 J jnl
A modelling tool for hierarchical stochastic activity networks.
Simul. Model. Pract. Theory
Mohammad Abdollahi Azgomi, Ali Movaghar
2005 Misc conf
Efficient Symmetry Reduction for an Actor-Based Model.
ICDCIT
Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ali Movaghar
2005 — conf
Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing.
ACSD
Marjan Sirjani, Frank S. de Boer, Ali Movaghar, Amin Shali
2005 J jnl
Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models.
J. Univers. Comput. Sci.
Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer
2005 B conf
Non-Preemptive Earliest-Deadline-First Scheduling Policy: A Performance Study.
MASCOTS
Mehdi Kargahi, Ali Movaghar
2005 — conf
Transformation of UML Models into Analyzable OSAN Models.
FSEN
Ali Kamandi, Mohammad Abdollahi Azgomi, Ali Movaghar
2004 — conf
A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models.
ACSD
Marjan Sirjani, Amin Shali, Mohammad Mahdi Jaghoori, Hamed Iravanchi, Ali Movaghar
2004 J jnl
Modeling and Verification of Reactive Systems using Rebeca.
Fundam. Informaticae
Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer
2003 Misc conf
Model Checking in Rebeca.
PDPTA
Marjan Sirjani, Ali Movaghar, Hamed Iravanchi, Mohammad Mahdi Jaghoori, Amin Shali
2003 A conf
On Dynamic Assignment of Impatient Customers to Parallel Queues.
DSN
Ali Movaghar
2002 — conf
An Introduction to New Extensions for Stochastic Activity Networks.
IASTED PDCS
Mohammad Abdollahi Azgomi, Ali Movaghar
2002 Misc conf
Simulation in Rebeca.
PDPTA
Marjan Sirjani, Ali Movaghar
1998 J jnl
On queueing with customer impatience until the beginning of service.
Queueing Syst. Theory Appl.
Ali Movaghar
1985 — conf
Stochastic Activity Networks: Structure, Behavior, and Application.
PNPM
John F. Meyer, Ali Movaghar, William H. Sanders