Ali Movaghar-Rahimabadi
Orcid: 0000-0002-6803-6750Affiliations:
- Sharif University of Technology, Tehran, Iran
According to our database1,
Ali Movaghar-Rahimabadi
authored at least 233 papers
between 1985 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on scopus.com
-
on orcid.org
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Yuz: Improving Performance of Cluster-Based Services by Near-L4 Session-Persistent Load Balancing.
IEEE Trans. Netw. Serv. Manag., April, 2024
2023
Fault-tolerant scheduling of graph-based loads on fog/cloud environments with multi-level queues and LSTM-based workload prediction.
Comput. Networks, November, 2023
On the Performance Analysis of Epidemic Routing in Non-Sparse Delay Tolerant Networks.
IEEE Trans. Mob. Comput., July, 2023
Cost-Aware Resource Recommendation for DAG-Based Big Data Workflows: An Apache Spark Case Study.
IEEE Trans. Serv. Comput., 2023
Fixed-Point Iteration Approach to Spark Scalable Performance Modeling and Evaluation.
IEEE Trans. Cloud Comput., 2023
QOCO: A QoE-Oriented Computation Offloading Algorithm based on Deep Reinforcement Learning for Mobile Edge Computing.
CoRR, 2023
Hadoop-Oriented SVM-LRU (H-SVM-LRU): An Intelligent Cache Replacement Algorithm to Improve MapReduce Performance.
CoRR, 2023
ROGI: Partial Computation Offloading and Resource Allocation in the Fog-Based IoT Network Towards Optimizing Latency and Power Consumption.
Clust. Comput., 2023
Proceedings of the IEEE International Conference on Communications, 2023
2022
Lifetime Improvement Based on Event Occurrence Patterns for Wireless Sensor Networks Using Multi-Objective Optimization.
Wirel. Pers. Commun., 2022
IEEE Trans. Software Eng., 2022
A Matrix Factorization Model for Hellinger-Based Trust Management in Social Internet of Things.
IEEE Trans. Dependable Secur. Comput., 2022
Modeling and evaluation of dispatching policies in IaaS cloud data centers using SANs.
Sustain. Comput. Informatics Syst., 2022
J. King Saud Univ. Comput. Inf. Sci., 2022
J. Cloud Comput., 2022
An adaptive and deadline-constrained workflow scheduling algorithm in infrastructure as a service clouds.
Iran J. Comput. Sci., 2022
Int. J. Commun. Syst., 2022
A novel approach for clustering and routing in WSN using genetic algorithm and equilibrium optimizer.
Int. J. Commun. Syst., 2022
2021
Modeling Epidemic Routing: Capturing Frequently Visited Locations While Preserving Scalability.
IEEE Trans. Veh. Technol., 2021
IEEE/ACM Trans. Netw., 2021
IEEE Trans. Netw. Sci. Eng., 2021
IEEE Trans. Cloud Comput., 2021
Softw. Pract. Exp., 2021
Robust fuzzy rough set based dimensionality reduction for big multimedia data hashing and unsupervised generative learning.
Multim. Tools Appl., 2021
Mob. Networks Appl., 2021
Secure data aggregation methods and countermeasures against various attacks in wireless sensor networks: A comprehensive review.
J. Netw. Comput. Appl., 2021
Web service quality of service prediction via regional reputation-based matrix factorization.
Concurr. Comput. Pract. Exp., 2021
Comput. Networks, 2021
Optimal VM-to-user mapping in cloud environment based on sustainable strategy space theory.
Clust. Comput., 2021
A classification of hadoop job schedulers based on performance optimization approaches.
Clust. Comput., 2021
Proceedings of the Software Verification - 13th International Conference, 2021
2020
Modeling and Evaluation of Service Composition in Commercial Multiclouds Using Timed Colored Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst., 2020
IEEE Trans. Serv. Comput., 2020
Designing a MapReduce performance model in distributed heterogeneous platforms based on benchmarking approach.
J. Supercomput., 2020
VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance.
Int. J. Softw. Tools Technol. Transf., 2020
Perform. Evaluation, 2020
IEEE J. Sel. Areas Commun., 2020
Int. J. Commun. Syst., 2020
Linear Temporal Public Announcement Logic: a new perspective for reasoning the knowledge of multi-classifiers.
CoRR, 2020
Performance Modeling of Epidemic Routing in Mobile Social Networks with Emphasis on Scalability.
CoRR, 2020
Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020
2019
Performance Evaluation of Epidemic Content Retrieval in DTNs With Restricted Mobility.
IEEE Trans. Netw. Serv. Manag., 2019
IEEE Trans. Mob. Comput., 2019
A uniformization-based algorithm for continuous-time stochastic games model checking.
Theor. Comput. Sci., 2019
Hierarchical Stochastic Models for Performance, Availability, and Power Consumption Analysis of IaaS Clouds.
IEEE Trans. Cloud Comput., 2019
Correction to: A lightweight signcryption scheme for defense against fragment duplication attack in the 6LoWPAN networks.
Peer-to-Peer Netw. Appl., 2019
A lightweight signcryption scheme for defense against fragment duplication attack in the 6LoWPAN networks.
Peer-to-Peer Netw. Appl., 2019
A budget constrained scheduling algorithm for executing workflow application in infrastructure as a service clouds.
Peer-to-Peer Netw. Appl., 2019
J. Netw. Comput. Appl., 2019
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., 2019
J. Big Data, 2019
Efficient distribution of requests in federated cloud computing environments utilizing statistical multiplexing.
Future Gener. Comput. Syst., 2019
CoRR, 2019
A Compositional Approach for Reliable Adaptation of Track-based Traffic Control Systems at Runtime.
CoRR, 2019
CoRR, 2019
VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs.
Proceedings of the Model Checking Software - 26th International Symposium, 2019
Proceedings of the 2019 IFIP Networking Conference, 2019
Scalable Performance Analysis of Epidemic Routing Considering Skewed Location Visiting Preferences.
Proceedings of the 27th IEEE International Symposium on Modeling, 2019
2018
Wirel. Pers. Commun., 2018
A Lightweight Defense Approach to Mitigate Version Number and Rank Attacks in Low-Power and Lossy Networks.
Wirel. Pers. Commun., 2018
Time-Cost Efficient Scheduling Algorithms for Executing Workflow in Infrastructure as a Service Clouds.
Wirel. Pers. Commun., 2018
Throughput Analysis of IEEE 802.11 Multi-Hop Wireless Networks With Routing Consideration: A General Framework.
IEEE Trans. Commun., 2018
Identifying central nodes for information flow in social networks using compressive sensing.
Soc. Netw. Anal. Min., 2018
J. Syst. Softw., 2018
Semantic Data Gathering of Physical Entities in Semantic Sensor Networks Using Software Agents.
Inf. Technol. Control., 2018
IDS modelling and evaluation in WANETs against black/grey-hole attacks using stochastic models.
Int. J. Ad Hoc Ubiquitous Comput., 2018
Power-aware performance analysis of self-adaptive resource management in IaaS clouds.
Future Gener. Comput. Syst., 2018
Comput. Informatics, 2018
Algorithms, 2018
Algorithms, 2018
Proceedings of the 9th International Symposium on Telecommunications, 2018
Proceedings of the Principles of Modeling, 2018
2017
Wirel. Pers. Commun., 2017
Telecommun. Syst., 2017
Soc. Netw. Anal. Min., 2017
SIGBED Rev., 2017
Inf. Sci., 2017
Eng. Comput., 2017
Comput. Networks, 2017
IEEE Commun. Mag., 2017
Extracting Implicit Social Relation for Social Recommendation Techniques in User Rating Prediction.
Proceedings of the 26th International Conference on World Wide Web Companion, 2017
2016
Secure Overlay Routing Using Key Pre-Distribution: A Linear Distance Optimization Approach.
IEEE Trans. Mob. Comput., 2016
CGC: centralized genetic-based clustering protocol for wireless sensor networks using onion approach.
Telecommun. Syst., 2016
Telecommun. Syst., 2016
CoRR, 2016
Extracting Implicit Social Relation for Social Recommendation Techniques in User Rating Prediction.
CoRR, 2016
A Combined Analytical Modeling Machine Learning Approach for Performance Prediction of MapReduce Jobs in Cloud Environment.
Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016
A multi-dimensional fairness combinatorial double-sided auction model in cloud environment.
Proceedings of the 8th International Symposium on Telecommunications, 2016
Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016
2015
EACHP: Energy Aware Clustering Hierarchy Protocol for Large Scale Wireless Sensor Networks.
Wirel. Pers. Commun., 2015
IEEE Trans. Wirel. Commun., 2015
IEEE Trans. Dependable Secur. Comput., 2015
J. Parallel Distributed Comput., 2015
J. Comput. Sci. Eng., 2015
Formal Aspects Comput., 2015
Feature Extraction from Degree Distribution for Comparison and Analysis of Complex Networks.
Comput. J., 2015
A Low-Cost Sparse Recovery Framework for Weighted Networks under Compressive Sensing.
Proceedings of the 2015 IEEE International Conference on Smart City/SocialCom/SustainCom/DataCom/SC2 2015, 2015
Proceedings of the Computer Networks - 22nd International Conference, 2015
CS-ComDet: A Compressive Sensing Approach for Inter-Community Detection in Social Networks.
Proceedings of the 2015 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2015
Probabilistic Key Pre-Distribution for Heterogeneous Mobile Ad Hoc Networks Using Subjective Logic.
Proceedings of the 29th IEEE International Conference on Advanced Information Networking and Applications, 2015
2014
Formal process algebraic modeling, verification, and analysis of an abstract Fuzzy Inference Cloud Service.
J. Supercomput., 2014
Combined performance and availability analysis of distributed resources in grid computing.
J. Supercomput., 2014
Bi-level fuzzy based advanced reservation of Cloud workflow applications on distributed Grid resources.
J. Supercomput., 2014
IEEE Trans. Computers, 2014
J. Netw. Comput. Appl., 2014
ISC Int. J. Inf. Secur., 2014
Energy Efficient and High Speed Error Control Scheme for Real Time Wireless Sensor Networks.
Int. J. Distributed Sens. Networks, 2014
Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014
Proceedings of the 23rd International Conference on Computer Communication and Networks, 2014
2013
Negotiation strategies considering market, time and behavior functions for resource allocation in computational grid.
J. Supercomput., 2013
J. Netw. Comput. Appl., 2013
CoRR, 2013
MC-MLAS: Multi-channel Minimum Latency Aggregation Scheduling in Wireless Sensor Networks.
Comput. Networks, 2013
Proceedings of the 2013 IEEE 10th International Conference on Ubiquitous Intelligence and Computing and 2013 IEEE 10th International Conference on Autonomic and Trusted Computing, 2013
Expert key selection impact on the MANETs' performance using probabilistic key management algorithm.
Proceedings of the 6th International Conference on Security of Information and Networks, 2013
Proceedings of the 19th IEEE International Conference on Parallel and Distributed Systems, 2013
A Rank-Based Hybrid Algorithm for Scheduling Data- and Computation-Intensive Jobs in Grid Environments.
Proceedings of the Intelligent Computing, 2013
Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013
Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops, 2013
2012
Future Gener. Comput. Syst., 2012
Comput. Commun., 2012
Proceedings of the ACM Symposium on Applied Computing, 2012
Analytical leakage/temperature-aware power modeling and optimization for a variable speed real-time system.
Proceedings of the 20th International Conference on Real-Time and Network Systems, 2012
Proceedings of the 15th ACM International Conference on Modeling, 2012
Proceedings of the 21st IEEE International Symposium on Industrial Electronics, 2012
Proceedings of the 2012 IEEE Symposium on Computers and Communications, 2012
Biogeography-based optimization of makespan and reliability in grid computing systems.
Proceedings of the 4th International Congress on Ultra Modern Telecommunications and Control Systems, 2012
Interference-Aware Multipath Routing for Video Delivery in Wireless Multimedia Sensor Networks.
Proceedings of the 32nd International Conference on Distributed Computing Systems Workshops (ICDCS 2012 Workshops), 2012
DACA: Data-Aware Clustering and Aggregation in Query-Driven Wireless Sensor Networks.
Proceedings of the 21st International Conference on Computer Communications and Networks, 2012
2011
Theor. Comput. Sci., 2011
Performance Optimization Based on Analytical Modeling in a Real-Time System with Constrained Time/Utility Functions.
IEEE Trans. Computers, 2011
Queueing Syst. Theory Appl., 2011
Inf. Process. Lett., 2011
An Efficient Method Based on Genetic Algorithms to Solve Sensor Network Optimization Problem
CoRR, 2011
Proceedings of the IFIP Wireless Days Conference 2011, 2011
Proceedings of the 19th International Conference on Software, 2011
RDAG: A Structure-Free Real-Time Data Aggregation Protocol for Wireless Sensor Networks.
Proceedings of the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2011
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2011
Proceedings of the Digital Information Processing and Communications, 2011
Proceedings of the Digital Information Processing and Communications, 2011
IMAC: An Interference-Aware Duty-Cycle MAC Protocol for Wireless Sensor Networks Employing Multipath Routing.
Proceedings of the IEEE/IFIP 9th International Conference on Embedded and Ubiquitous Computing, 2011
Proceedings of the Computer Performance Engineering, 2011
An Optimised Algorithm to Detect Faulty Readings along the Substrate Access Wireless Long-Thin Sensor Networks.
Proceedings of the UKSim 5th European Symposium on Computer Modeling and Simulation, 2011
2010
IEEE Trans. Parallel Distributed Syst., 2010
Vulnerability analysis of networks to detect multiphase attacks using the actor-based language Rebeca.
Comput. Electr. Eng., 2010
Comput. Electr. Eng., 2010
Acta Informatica, 2010
Characteristics of Secure Routing in Vehicular Ad Hoc Network (VANET).
Proceedings of the 2010 International Conference on Wireless Networks, 2010
A Genetic-Based Scheduling Algorithm to Minimize the Makespan of the Grid Applications.
Proceedings of the Grid and Distributed Computing, Control and Automation, 2010
Proceedings of the 5th IEEE Asia-Pacific Services Computing Conference, 2010
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010
2009
Mobility Aware Distributed Topology Control in Mobile Ad-Hoc Networks Using Mobility Pattern Matching.
Proceedings of the 5th IEEE International Conference on Wireless and Mobile Computing, 2009
Proceedings of the 2009 IEEE Wireless Communications and Networking Conference, 2009
Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, 2009
A New Analysis of RC4 - A Data Mining Approach (J48).
Proceedings of the SECRYPT 2009, 2009
Proceedings of the NTMS 2009, 2009
Proceedings of the First International Conference on Networks and Communications, 2009
Proceedings of the International Conference on Networked Computing and Advanced Information Management, 2009
Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, 2009
A New Approach to Improve Quality of Service in SPEED Routing Protocol in Wireless Sensor Network through Data Aggregation.
Proceedings of the 2009 Second International Conference on Environmental and Computer Science, 2009
Proceedings of the Fundamentals of Software Engineering, 2009
Proceedings of the Eighth IEEE International Conference on Dependable, 2009
Proceedings of the Fifth Advanced International Conference on Telecommunications, 2009
Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009
Maximizing the Accrued Utility of an Isochronal Soft Real-Time System Using Genetic Algorithms.
Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009
2008
Microprocess. Microsystems, 2008
Design and Performance Evaluation of a Fuzzy-Based Traffic Conditioner for Mobile <i>Ad Hoc</i> Networks.
J. Circuits Syst. Comput., 2008
Int. J. Softw. Eng. Knowl. Eng., 2008
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008
Proceedings of the NTMS 2008, 2008
Proceedings of the 3rd International Conference on Systems and Networks Communications, 2008
Performance Modeling of Fault Tolerant Fully Adaptive Wormhole Switching 2-D Meshes in Presence of Virtual Channels.
Proceedings of the 3rd International Conference on Systems and Networks Communications, 2008
Finding the sensors location and the number of sensors in sensor networks with a genetic algorithm.
Proceedings of the 16th International Conference on Networks, 2008
Proceedings of the 16th International Conference on Networks, 2008
Proceedings of the 16th International Conference on Networks, 2008
CEBAC: A Decentralized Cooperation Enforcement Based Access Control Framework in MANETs.
Proceedings of the Advances in Computer Science and Engineering, 2008
Challenges in Using Peer-to-Peer Structures in Order to Design a Large-Scale Web Search Engine.
Proceedings of the Advances in Computer Science and Engineering, 2008
Bandwidth-Delay Constrained Least Cost Multicast Routing for Multimedia Communication.
Proceedings of the Advances in Computer Science and Engineering, 2008
Proceedings of the Advances in Computer Science and Engineering, 2008
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008
Proceedings of the 2008 International Conference on Information Technology, 2008
Performance Analysis of SLTC - A Stable Path, Low Overhead, Truthful and Cost Efficient Routing Protocol in MANETs with Selfish Nodes.
Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, 2008
Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008
2007
Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, 2007
Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007
Proceedings of the 2007 Summer Computer Simulation Conference, 2007
Proceedings of the Fifth ACM International Workshop on Mobility Management & Wireless Access, 2007
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2007
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007
Proceedings of the Second International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2007), 2007
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007
Proceedings of the 2nd International ICST Conference on Access Networks, 2007
Proceedings of the 6th Annual IEEE/ACIS International Conference on Computer and Information Science (ICIS 2007), 2007
2006
J. Supercomput., 2006
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
Modeling and Evaluation of Software Systems with Object Stochastic Activity Networks.
Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28, 2006
Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28, 2006
Performance Evaluation of Mobile Ad Hoc Networks In the Presence of Energy-based Selfishness.
Proceedings of the 3rd International Conference on Broadband Communications, 2006
2005
Simul. Model. Pract. Theory, 2005
Perform. Evaluation, 2005
Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models.
J. Univers. Comput. Sci., 2005
J. Univers. Comput. Sci., 2005
Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005
An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata.
Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005
An Efficient Model Checking Algorithm for a Fragment of µ-Calculus.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005
Proceedings of the 13th International Symposium on Modeling, 2005
Proceedings of the Distributed Computing and Internet Technology, 2005
An Artificial Intelligent CAC Scheme for Self-Similar Traffic using Fuzzy Case based Reasoning.
Proceedings of the IASTED International Conference on Communication Systems and Applications, 2005
Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005
2004
Fundam. Informaticae, 2004
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004
A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models.
Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004
2003
Model Checking in Rebeca.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003
2002
Simulation in Rebeca.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002
An Introduction to New Extensions for Stochastic Activity Networks.
Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2002
1998
Queueing Syst. Theory Appl., 1998
1985
Stochastic Activity Networks: Structure, Behavior, and Application.
Proceedings of the International Workshop on Timed Petri Nets, 1985