BibTeX records: Ali Movaghar-Rahimabadi

download as .bib file

@article{DBLP:journals/tnsm/HosseiniDJM24,
  author       = {Seyed Mohammad Hosseini and
                  Sina Darabi and
                  Amir Hossein Jahangir and
                  Ali Movaghar},
  title        = {Yuz: Improving Performance of Cluster-Based Services by Near-L4 Session-Persistent
                  Load Balancing},
  journal      = {{IEEE} Trans. Netw. Serv. Manag.},
  volume       = {21},
  number       = {2},
  pages        = {1929--1942},
  year         = {2024},
  url          = {https://doi.org/10.1109/TNSM.2023.3341964},
  doi          = {10.1109/TNSM.2023.3341964},
  timestamp    = {Sat, 04 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tnsm/HosseiniDJM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cluster/TabarsiR023,
  author       = {Benyamin T. Tabarsi and
                  Ali Rezaee and
                  Ali Movaghar},
  title        = {{ROGI:} Partial Computation Offloading and Resource Allocation in
                  the Fog-Based IoT Network Towards Optimizing Latency and Power Consumption},
  journal      = {Clust. Comput.},
  volume       = {26},
  number       = {3},
  pages        = {1767--1784},
  year         = {2023},
  url          = {https://doi.org/10.1007/s10586-022-03710-3},
  doi          = {10.1007/S10586-022-03710-3},
  timestamp    = {Fri, 08 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cluster/TabarsiR023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/AbbasiRAM23,
  author       = {Felor Beikzadeh Abbasi and
                  Ali Rezaee and
                  Sahar Adabi and
                  Ali Movaghar},
  title        = {Fault-tolerant scheduling of graph-based loads on fog/cloud environments
                  with multi-level queues and LSTM-based workload prediction},
  journal      = {Comput. Networks},
  volume       = {235},
  pages        = {109964},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.comnet.2023.109964},
  doi          = {10.1016/J.COMNET.2023.109964},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cn/AbbasiRAM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcc/AliabadiAEAEM23,
  author       = {Soroush Karimian Aliabadi and
                  Mohammad{-}Mohsen Aseman{-}Manzar and
                  Reza Entezari{-}Maleki and
                  Danilo Ardagna and
                  Bernhard Egger and
                  Ali Movaghar},
  title        = {Fixed-Point Iteration Approach to Spark Scalable Performance Modeling
                  and Evaluation},
  journal      = {{IEEE} Trans. Cloud Comput.},
  volume       = {11},
  number       = {1},
  pages        = {897--910},
  year         = {2023},
  url          = {https://doi.org/10.1109/TCC.2021.3119943},
  doi          = {10.1109/TCC.2021.3119943},
  timestamp    = {Sun, 05 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcc/AliabadiAEAEM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmc/RashidiTMM23,
  author       = {Leila Rashidi and
                  Don Towsley and
                  Arman Mohseni{-}Kabir and
                  Ali Movaghar{-}Rahimabadi},
  title        = {On the Performance Analysis of Epidemic Routing in Non-Sparse Delay
                  Tolerant Networks},
  journal      = {{IEEE} Trans. Mob. Comput.},
  volume       = {22},
  number       = {7},
  pages        = {4134--4149},
  year         = {2023},
  url          = {https://doi.org/10.1109/TMC.2022.3144683},
  doi          = {10.1109/TMC.2022.3144683},
  timestamp    = {Fri, 07 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tmc/RashidiTMM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/AsemanManzarAEEM23,
  author       = {Mohammad{-}Mohsen Aseman{-}Manzar and
                  Soroush Karimian Aliabadi and
                  Reza Entezari{-}Maleki and
                  Bernhard Egger and
                  Ali Movaghar},
  title        = {Cost-Aware Resource Recommendation for DAG-Based Big Data Workflows:
                  An Apache Spark Case Study},
  journal      = {{IEEE} Trans. Serv. Comput.},
  volume       = {16},
  number       = {3},
  pages        = {1726--1737},
  year         = {2023},
  url          = {https://doi.org/10.1109/TSC.2022.3203010},
  doi          = {10.1109/TSC.2022.3203010},
  timestamp    = {Sun, 05 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsc/AsemanManzarAEEM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/ZariniMGMRMNH23,
  author       = {Hosein Zarini and
                  Mohammad Reza Maleki and
                  Narges Gholipoor and
                  Mohammad Robat Mili and
                  Mehdi Rasti and
                  Ali Movaghar and
                  Derrick Wing Kwan Ng and
                  Ekram Hossain},
  title        = {Multiplexing eMBB and mMTC Services over Aerial Visible Light Communications},
  booktitle    = {{IEEE} International Conference on Communications, {ICC} 2023, Rome,
                  Italy, May 28 - June 1, 2023},
  pages        = {2655--2661},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICC45041.2023.10279143},
  doi          = {10.1109/ICC45041.2023.10279143},
  timestamp    = {Thu, 02 Nov 2023 17:09:41 +0100},
  biburl       = {https://dblp.org/rec/conf/icc/ZariniMGMRMNH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-16471,
  author       = {Rana Ghazali and
                  Sahar Adabi and
                  Ali Rezaee and
                  Douglas G. Down and
                  Ali Movaghar},
  title        = {Hadoop-Oriented {SVM-LRU} {(H-SVM-LRU):} An Intelligent Cache Replacement
                  Algorithm to Improve MapReduce Performance},
  journal      = {CoRR},
  volume       = {abs/2309.16471},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2309.16471},
  doi          = {10.48550/ARXIV.2309.16471},
  eprinttype    = {arXiv},
  eprint       = {2309.16471},
  timestamp    = {Tue, 17 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-16471.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-02525,
  author       = {Iman Rahmati and
                  Hamed Shah{-}Mansouri and
                  Ali Movaghar},
  title        = {{QOCO:} {A} QoE-Oriented Computation Offloading Algorithm based on
                  Deep Reinforcement Learning for Mobile Edge Computing},
  journal      = {CoRR},
  volume       = {abs/2311.02525},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2311.02525},
  doi          = {10.48550/ARXIV.2311.02525},
  eprinttype    = {arXiv},
  eprint       = {2311.02525},
  timestamp    = {Wed, 08 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-02525.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-14075,
  author       = {Arash Vaezi and
                  Mahdi Cheraghchi and
                  Seyed Mohammad Hussein Kazemi and
                  Negin Bagheri Noghrehy and
                  Seyed Mohsen Kazemi and
                  Ali Movaghar and
                  Mohammad Ghodsi},
  title        = {Where Quantum Complexity Helps Classical Complexity},
  journal      = {CoRR},
  volume       = {abs/2312.14075},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2312.14075},
  doi          = {10.48550/ARXIV.2312.14075},
  eprinttype    = {arXiv},
  eprint       = {2312.14075},
  timestamp    = {Wed, 17 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2312-14075.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcomsys/MotlaghMR22,
  author       = {Aida Amini Motlagh and
                  Ali Movaghar and
                  Amir Masoud Rahmani},
  title        = {A new reliability-based task scheduling algorithm in cloud computing},
  journal      = {Int. J. Commun. Syst.},
  volume       = {35},
  number       = {3},
  year         = {2022},
  url          = {https://doi.org/10.1002/dac.5022},
  doi          = {10.1002/DAC.5022},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijcomsys/MotlaghMR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcomsys/HeidariMMB22,
  author       = {Ehsan Heidari and
                  Ali Movaghar and
                  Homayun Motameni and
                  Behnam Barzegar},
  title        = {A novel approach for clustering and routing in {WSN} using genetic
                  algorithm and equilibrium optimizer},
  journal      = {Int. J. Commun. Syst.},
  volume       = {35},
  number       = {10},
  year         = {2022},
  url          = {https://doi.org/10.1002/dac.5148},
  doi          = {10.1002/DAC.5148},
  timestamp    = {Mon, 13 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijcomsys/HeidariMMB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/irjocs/GhafouriM22,
  author       = {Robabeh Ghafouri and
                  Ali Movaghar},
  title        = {An adaptive and deadline-constrained workflow scheduling algorithm
                  in infrastructure as a service clouds},
  journal      = {Iran J. Comput. Sci.},
  volume       = {5},
  number       = {1},
  year         = {2022},
  url          = {https://doi.org/10.1007/s42044-021-00082-6},
  doi          = {10.1007/S42044-021-00082-6},
  timestamp    = {Wed, 18 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/irjocs/GhafouriM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcloudc/GhazaliARDM22,
  author       = {Rana Ghazali and
                  Sahar Adabi and
                  Ali Rezaee and
                  Douglas G. Down and
                  Ali Movaghar},
  title        = {{CLQLMRS:} improving cache locality in MapReduce job scheduling using
                  Q-learning},
  journal      = {J. Cloud Comput.},
  volume       = {11},
  pages        = {45},
  year         = {2022},
  url          = {https://doi.org/10.1186/s13677-022-00322-5},
  doi          = {10.1186/S13677-022-00322-5},
  timestamp    = {Fri, 07 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcloudc/GhazaliARDM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jksucis/SafiMG22,
  author       = {Seyyed Mohammad Safi and
                  Ali Movaghar and
                  Mohammad Ghorbani},
  title        = {Privacy protection scheme for mobile social network},
  journal      = {J. King Saud Univ. Comput. Inf. Sci.},
  volume       = {34},
  number       = {7},
  pages        = {4062--4074},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.jksuci.2022.05.011},
  doi          = {10.1016/J.JKSUCI.2022.05.011},
  timestamp    = {Wed, 27 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jksucis/SafiMG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/suscom/AtaieEEES022,
  author       = {Ehsan Ataie and
                  Reza Entezari{-}Maleki and
                  Sayed Ehsan Etesami and
                  Bernhard Egger and
                  Leonel Sousa and
                  Ali Movaghar},
  title        = {Modeling and evaluation of dispatching policies in IaaS cloud data
                  centers using SANs},
  journal      = {Sustain. Comput. Informatics Syst.},
  volume       = {33},
  pages        = {100617},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.suscom.2021.100617},
  doi          = {10.1016/J.SUSCOM.2021.100617},
  timestamp    = {Sun, 05 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/suscom/AtaieEEES022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/AalibagiM0S22,
  author       = {Soroush Aalibagi and
                  Hamidreza Mahyar and
                  Ali Movaghar and
                  Harry Eugene Stanley},
  title        = {A Matrix Factorization Model for Hellinger-Based Trust Management
                  in Social Internet of Things},
  journal      = {{IEEE} Trans. Dependable Secur. Comput.},
  volume       = {19},
  number       = {4},
  pages        = {2274--2285},
  year         = {2022},
  url          = {https://doi.org/10.1109/TDSC.2021.3052953},
  doi          = {10.1109/TDSC.2021.3052953},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tdsc/AalibagiM0S22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BagheriSKBM22,
  author       = {Maryam Bagheri and
                  Marjan Sirjani and
                  Ehsan Khamespanah and
                  Christel Baier and
                  Ali Movaghar},
  title        = {Magnifier: {A} Compositional Analysis Approach for Autonomous Traffic
                  Control},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {48},
  number       = {8},
  pages        = {2732--2747},
  year         = {2022},
  url          = {https://doi.org/10.1109/TSE.2021.3069192},
  doi          = {10.1109/TSE.2021.3069192},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/BagheriSKBM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wpc/MohtashamiMT22,
  author       = {Hossein Mohtashami and
                  Ali Movaghar and
                  Mohammad Teshnehlab},
  title        = {Lifetime Improvement Based on Event Occurrence Patterns for Wireless
                  Sensor Networks Using Multi-Objective Optimization},
  journal      = {Wirel. Pers. Commun.},
  volume       = {125},
  number       = {4},
  pages        = {3333--3349},
  year         = {2022},
  url          = {https://doi.org/10.1007/s11277-022-09712-z},
  doi          = {10.1007/S11277-022-09712-Z},
  timestamp    = {Thu, 25 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/wpc/MohtashamiMT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cluster/KhanzadiAMM21,
  author       = {Pouria Khanzadi and
                  Sepideh Adabi and
                  Babak Majidi and
                  Ali Movaghar},
  title        = {Optimal VM-to-user mapping in cloud environment based on sustainable
                  strategy space theory},
  journal      = {Clust. Comput.},
  volume       = {24},
  number       = {4},
  pages        = {3229--3247},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10586-021-03323-2},
  doi          = {10.1007/S10586-021-03323-2},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cluster/KhanzadiAMM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cluster/GhazaliADM21,
  author       = {Rana Ghazali and
                  Sahar Adabi and
                  Douglas G. Down and
                  Ali Movaghar},
  title        = {A classification of hadoop job schedulers based on performance optimization
                  approaches},
  journal      = {Clust. Comput.},
  volume       = {24},
  number       = {4},
  pages        = {3381--3403},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10586-021-03339-8},
  doi          = {10.1007/S10586-021-03339-8},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cluster/GhazaliADM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/GolkarifardCMM21,
  author       = {Morteza Golkarifard and
                  Carla{-}Fabiana Chiasserini and
                  Francesco Malandrino and
                  Ali Movaghar},
  title        = {Dynamic {VNF} placement, resource allocation and traffic routing in
                  5G},
  journal      = {Comput. Networks},
  volume       = {188},
  pages        = {107830},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.comnet.2021.107830},
  doi          = {10.1016/J.COMNET.2021.107830},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cn/GolkarifardCMM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/GhafouriHRM21,
  author       = {Seyyed Hamid Ghafouri and
                  Seyyed Mohsen Hashemi and
                  Mohammad Reza Razzazi and
                  Ali Movaghar},
  title        = {Web service quality of service prediction via regional reputation-based
                  matrix factorization},
  journal      = {Concurr. Comput. Pract. Exp.},
  volume       = {33},
  number       = {17},
  year         = {2021},
  url          = {https://doi.org/10.1002/cpe.6318},
  doi          = {10.1002/CPE.6318},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/concurrency/GhafouriHRM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iet-com/SharafiA0A21,
  author       = {Afsaneh Sharafi and
                  Sepideh Adabi and
                  Ali Movaghar and
                  Salah Al{-}Majeed},
  title        = {A two-layer attack-robust protocol for IoT healthcare security},
  journal      = {{IET} Commun.},
  volume       = {15},
  number       = {19},
  pages        = {2390--2406},
  year         = {2021},
  url          = {https://doi.org/10.1049/cmu2.12278},
  doi          = {10.1049/CMU2.12278},
  timestamp    = {Fri, 13 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iet-com/SharafiA0A21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jnca/YousefpoorYBBMH21,
  author       = {Mohammad Sadegh Yousefpoor and
                  Efat Yousefpoor and
                  Hamid Barati and
                  Ali Barati and
                  Ali Movaghar and
                  Mehdi Hosseinzadeh},
  title        = {Secure data aggregation methods and countermeasures against various
                  attacks in wireless sensor networks: {A} comprehensive review},
  journal      = {J. Netw. Comput. Appl.},
  volume       = {190},
  pages        = {103118},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.jnca.2021.103118},
  doi          = {10.1016/J.JNCA.2021.103118},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jnca/YousefpoorYBBMH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/monet/SafiMM21,
  author       = {Seyyed Mohammad Safi and
                  Ali Movaghar and
                  Komeil Safikhani Mahmoodzadeh},
  title        = {A Framework for Protecting Privacy on Mobile Social Networks},
  journal      = {Mob. Networks Appl.},
  volume       = {26},
  number       = {3},
  pages        = {1281--1299},
  year         = {2021},
  url          = {https://doi.org/10.1007/s11036-021-01761-1},
  doi          = {10.1007/S11036-021-01761-1},
  timestamp    = {Wed, 04 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/monet/SafiMM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mta/KhanzadiMAPM21,
  author       = {Pouria Khanzadi and
                  Babak Majidi and
                  Sepideh Adabi and
                  Jagdish C. Patra and
                  Ali Movaghar},
  title        = {Robust fuzzy rough set based dimensionality reduction for big multimedia
                  data hashing and unsupervised generative learning},
  journal      = {Multim. Tools Appl.},
  volume       = {80},
  number       = {12},
  pages        = {17745--17772},
  year         = {2021},
  url          = {https://doi.org/10.1007/s11042-021-10571-2},
  doi          = {10.1007/S11042-021-10571-2},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mta/KhanzadiMAPM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/ShoyariAEM21,
  author       = {Mahsa Faraji Shoyari and
                  Ehsan Ataie and
                  Reza Entezari{-}Maleki and
                  Ali Movaghar},
  title        = {Availability modeling in redundant OpenStack private clouds},
  journal      = {Softw. Pract. Exp.},
  volume       = {51},
  number       = {6},
  pages        = {1218--1241},
  year         = {2021},
  url          = {https://doi.org/10.1002/spe.2953},
  doi          = {10.1002/SPE.2953},
  timestamp    = {Sun, 16 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/ShoyariAEM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcc/AskarnejadMM21,
  author       = {Sina Askarnejad and
                  Marzieh Malekimajd and
                  Ali Movaghar},
  title        = {Network and Application-Aware Cloud Service Selection in Peer-Assisted
                  Environments},
  journal      = {{IEEE} Trans. Cloud Comput.},
  volume       = {9},
  number       = {1},
  pages        = {258--271},
  year         = {2021},
  url          = {https://doi.org/10.1109/TCC.2018.2865560},
  doi          = {10.1109/TCC.2018.2865560},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcc/AskarnejadMM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tnse/Entezari-Maleki21,
  author       = {Reza Entezari{-}Maleki and
                  Mohammed Gharib and
                  Shahbaz Rezaei and
                  Kishor S. Trivedi and
                  Ali Movaghar},
  title        = {Modeling and Evaluation of Multi-Hop Wireless Networks Using SRNs},
  journal      = {{IEEE} Trans. Netw. Sci. Eng.},
  volume       = {8},
  number       = {1},
  pages        = {662--679},
  year         = {2021},
  url          = {https://doi.org/10.1109/TNSE.2020.3048096},
  doi          = {10.1109/TNSE.2020.3048096},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tnse/Entezari-Maleki21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ton/AhmadiGMY21,
  author       = {Mahdieh Ahmadi and
                  Morteza Golkarifard and
                  Ali Movaghar and
                  Hamed Yousefi},
  title        = {Processor Sharing Queues With Impatient Customers and State-Dependent
                  Rates},
  journal      = {{IEEE/ACM} Trans. Netw.},
  volume       = {29},
  number       = {6},
  pages        = {2467--2477},
  year         = {2021},
  url          = {https://doi.org/10.1109/TNET.2021.3091189},
  doi          = {10.1109/TNET.2021.3091189},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ton/AhmadiGMY21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvt/RashidiDESM21,
  author       = {Leila Rashidi and
                  Amir Dalili{-}Yazdi and
                  Reza Entezari{-}Maleki and
                  Leonel Sousa and
                  Ali Movaghar},
  title        = {Modeling Epidemic Routing: Capturing Frequently Visited Locations
                  While Preserving Scalability},
  journal      = {{IEEE} Trans. Veh. Technol.},
  volume       = {70},
  number       = {3},
  pages        = {2713--2727},
  year         = {2021},
  url          = {https://doi.org/10.1109/TVT.2021.3057541},
  doi          = {10.1109/TVT.2021.3057541},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tvt/RashidiDESM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/BagheriSKHM21,
  author       = {Maryam Bagheri and
                  Marjan Sirjani and
                  Ehsan Khamespanah and
                  Hossein Hojjat and
                  Ali Movaghar},
  editor       = {Roderick Bloem and
                  Rayna Dimitrova and
                  Chuchu Fan and
                  Natasha Sharygina},
  title        = {Partial Order Reduction for Timed Actors},
  booktitle    = {Software Verification - 13th International Conference, {VSTTE} 2021,
                  New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop,
                  {NSV} 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13124},
  pages        = {43--60},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-95561-8\_4},
  doi          = {10.1007/978-3-030-95561-8\_4},
  timestamp    = {Sun, 02 Oct 2022 16:17:05 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/BagheriSKHM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-09426,
  author       = {Morteza Golkarifard and
                  Carla{-}Fabiana Chiasserini and
                  Francesco Malandrino and
                  Ali Movaghar},
  title        = {Dynamic {VNF} Placement, Resource Allocation and Traffic Routing in
                  5G},
  journal      = {CoRR},
  volume       = {abs/2102.09426},
  year         = {2021},
  url          = {https://arxiv.org/abs/2102.09426},
  eprinttype    = {arXiv},
  eprint       = {2102.09426},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2102-09426.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/GharibFRHM20,
  author       = {Mohammed Gharib and
                  Ahmad Foroozani and
                  Shahbaz Rezaei and
                  Ali Mohammad Afshin Hemmatyar and
                  Ali Movaghar},
  title        = {An area-scalable human-based mobility model},
  journal      = {Comput. Networks},
  volume       = {177},
  pages        = {107300},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.comnet.2020.107300},
  doi          = {10.1016/J.COMNET.2020.107300},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cn/GharibFRHM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcomsys/MotlaghMR20,
  author       = {Aida Amini Motlagh and
                  Ali Movaghar and
                  Amir Masoud Rahmani},
  title        = {Task scheduling mechanisms in cloud computing: {A} systematic review},
  journal      = {Int. J. Commun. Syst.},
  volume       = {33},
  number       = {6},
  year         = {2020},
  url          = {https://doi.org/10.1002/dac.4302},
  doi          = {10.1002/DAC.4302},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijcomsys/MotlaghMR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsac/AhmadiRLM20,
  author       = {Mahdieh Ahmadi and
                  James Roberts and
                  Emilio Leonardi and
                  Ali Movaghar},
  title        = {Cache Subsidies for an Optimal Memory for Bandwidth Tradeoff in the
                  Access Network},
  journal      = {{IEEE} J. Sel. Areas Commun.},
  volume       = {38},
  number       = {4},
  pages        = {736--749},
  year         = {2020},
  url          = {https://doi.org/10.1109/JSAC.2020.2971806},
  doi          = {10.1109/JSAC.2020.2971806},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsac/AhmadiRLM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/AhmadiRLM20,
  author       = {Mahdieh Ahmadi and
                  James Roberts and
                  Emilio Leonardi and
                  Ali Movaghar},
  title        = {On the effectiveness of the {PIT} in reducing upstream demand in an
                  {NDN} router},
  journal      = {Perform. Evaluation},
  volume       = {138},
  pages        = {102081},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.peva.2020.102081},
  doi          = {10.1016/J.PEVA.2020.102081},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pe/AhmadiRLM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/YousefiKGSM20,
  author       = {Farnaz Yousefi and
                  Ehsan Khamespanah and
                  Mohammed Gharib and
                  Marjan Sirjani and
                  Ali Movaghar},
  title        = {VeriVANca framework: verification of VANETs by property-based message
                  passing of actors in Rebeca with inheritance},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {22},
  number       = {5},
  pages        = {617--633},
  year         = {2020},
  url          = {https://doi.org/10.1007/s10009-020-00579-8},
  doi          = {10.1007/S10009-020-00579-8},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sttt/YousefiKGSM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/GandomiMRK20,
  author       = {Abolfazl Gandomi and
                  Ali Movaghar and
                  Midia Reshadi and
                  Ahmad Khademzadeh},
  title        = {Designing a MapReduce performance model in distributed heterogeneous
                  platforms based on benchmarking approach},
  journal      = {J. Supercomput.},
  volume       = {76},
  number       = {9},
  pages        = {7177--7203},
  year         = {2020},
  url          = {https://doi.org/10.1007/s11227-020-03162-9},
  doi          = {10.1007/S11227-020-03162-9},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tjs/GandomiMRK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/MalekimajdM20,
  author       = {Marzieh Malekimajd and
                  Ali Movaghar},
  title        = {Minimizing Data Access Latencies for Virtual Machine Assignment in
                  Cloud Systems},
  journal      = {{IEEE} Trans. Serv. Comput.},
  volume       = {13},
  number       = {5},
  pages        = {857--870},
  year         = {2020},
  url          = {https://doi.org/10.1109/TSC.2017.2735972},
  doi          = {10.1109/TSC.2017.2735972},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsc/MalekimajdM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/Entezari-Maleki20,
  author       = {Reza Entezari{-}Maleki and
                  Sayed Ehsan Etesami and
                  Negar Ghorbani and
                  Arian Akhavan Niaki and
                  Leonel Sousa and
                  Ali Movaghar},
  title        = {Modeling and Evaluation of Service Composition in Commercial Multiclouds
                  Using Timed Colored Petri Nets},
  journal      = {{IEEE} Trans. Syst. Man Cybern. Syst.},
  volume       = {50},
  number       = {3},
  pages        = {947--961},
  year         = {2020},
  url          = {https://doi.org/10.1109/TSMC.2017.2768586},
  doi          = {10.1109/TSMC.2017.2768586},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsmc/Entezari-Maleki20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/0001LKSKM20,
  author       = {Maryam Bagheri and
                  Edward A. Lee and
                  Eunsuk Kang and
                  Marjan Sirjani and
                  Ehsan Khamespanah and
                  Ali Movaghar},
  title        = {Lightweight Formal Method for Robust Routing in Track-based Traffic
                  Control Systems},
  booktitle    = {18th {ACM/IEEE} International Conference on Formal Methods and Models
                  for System Design, {MEMOCODE} 2020, Jaipur, India, December 2-4, 2020},
  pages        = {1--10},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/MEMOCODE51338.2020.9315135},
  doi          = {10.1109/MEMOCODE51338.2020.9315135},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/0001LKSKM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-04834,
  author       = {Leila Rashidi and
                  Don Towsley and
                  Arman Mohseni{-}Kabir and
                  Ali Movaghar},
  title        = {On the Performance Analysis of Epidemic Routing in Non-Sparse Delay
                  Tolerant Networks},
  journal      = {CoRR},
  volume       = {abs/2002.04834},
  year         = {2020},
  url          = {https://arxiv.org/abs/2002.04834},
  eprinttype    = {arXiv},
  eprint       = {2002.04834},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2002-04834.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-05884,
  author       = {Leila Rashidi and
                  Amir Dalili{-}Yazdi and
                  Reza Entezari{-}Maleki and
                  Leonel Sousa and
                  Ali Movaghar},
  title        = {Performance Modeling of Epidemic Routing in Mobile Social Networks
                  with Emphasis on Scalability},
  journal      = {CoRR},
  volume       = {abs/2002.05884},
  year         = {2020},
  url          = {https://arxiv.org/abs/2002.05884},
  eprinttype    = {arXiv},
  eprint       = {2002.05884},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2002-05884.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-10090,
  author       = {Amirhoshang Hoseinpour Dehkordi and
                  Majid Alizadeh and
                  Ebrahim Ardeshir{-}Larijani and
                  Ali Movaghar},
  title        = {{MASKS:} {A} Multi-Artificial Neural Networks System's verification
                  approach},
  journal      = {CoRR},
  volume       = {abs/2007.10090},
  year         = {2020},
  url          = {https://arxiv.org/abs/2007.10090},
  eprinttype    = {arXiv},
  eprint       = {2007.10090},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-10090.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-03793,
  author       = {Amirhoshang Hoseinpour Dehkordi and
                  Majid Alizadeh and
                  Ali Movaghar},
  title        = {Linear Temporal Public Announcement Logic: a new perspective for reasoning
                  the knowledge of multi-classifiers},
  journal      = {CoRR},
  volume       = {abs/2009.03793},
  year         = {2020},
  url          = {https://arxiv.org/abs/2009.03793},
  eprinttype    = {arXiv},
  eprint       = {2009.03793},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-03793.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/EbrahimiSM19,
  author       = {Masoud Ebrahimi and
                  Gholamreza Sotudeh and
                  Ali Movaghar},
  title        = {Symbolic checking of Fuzzy {CTL} on Fuzzy Program Graph},
  journal      = {Acta Informatica},
  volume       = {56},
  number       = {1},
  pages        = {1--33},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00236-018-0311-3},
  doi          = {10.1007/S00236-018-0311-3},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/EbrahimiSM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/HabibiFM19,
  author       = {Moslem Habibi and
                  MohammadAmin Fazli and
                  Ali Movaghar},
  title        = {Efficient distribution of requests in federated cloud computing environments
                  utilizing statistical multiplexing},
  journal      = {Future Gener. Comput. Syst.},
  volume       = {90},
  pages        = {451--460},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.future.2018.08.032},
  doi          = {10.1016/J.FUTURE.2018.08.032},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fgcs/HabibiFM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbd/GandomiRMK19,
  author       = {Abolfazl Gandomi and
                  Midia Reshadi and
                  Ali Movaghar and
                  Ahmad Khademzadeh},
  title        = {HybSMRP: a hybrid scheduling algorithm in Hadoop MapReduce framework},
  journal      = {J. Big Data},
  volume       = {6},
  pages        = {106},
  year         = {2019},
  url          = {https://doi.org/10.1186/s40537-019-0253-9},
  doi          = {10.1186/S40537-019-0253-9},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jbd/GandomiRMK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jifs/BarzegarMM19,
  author       = {Behnam Barzegar and
                  Homayun Motameni and
                  Ali Movaghar},
  title        = {{EATSDCD:} {A} green energy-aware scheduling algorithm for parallel
                  task-based application using clustering, duplication and {DVFS} technique
                  in cloud datacenters},
  journal      = {J. Intell. Fuzzy Syst.},
  volume       = {36},
  number       = {6},
  pages        = {5135--5152},
  year         = {2019},
  url          = {https://doi.org/10.3233/JIFS-171927},
  doi          = {10.3233/JIFS-171927},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jifs/BarzegarMM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jnca/AliabadiAEGM19,
  author       = {Soroush Karimian Aliabadi and
                  Danilo Ardagna and
                  Reza Entezari{-}Maleki and
                  Eugenio Gianniti and
                  Ali Movaghar},
  title        = {Analytical composite performance models for Big Data applications},
  journal      = {J. Netw. Comput. Appl.},
  volume       = {142},
  pages        = {63--75},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.jnca.2019.06.009},
  doi          = {10.1016/J.JNCA.2019.06.009},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jnca/AliabadiAEGM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppna/NikravanMH19,
  author       = {Mohammad Nikravan and
                  Ali Movaghar and
                  Mehdi Hosseinzadeh},
  title        = {A lightweight signcryption scheme for defense against fragment duplication
                  attack in the 6LoWPAN networks},
  journal      = {Peer-to-Peer Netw. Appl.},
  volume       = {12},
  number       = {1},
  pages        = {209--226},
  year         = {2019},
  url          = {https://doi.org/10.1007/s12083-018-0659-8},
  doi          = {10.1007/S12083-018-0659-8},
  timestamp    = {Tue, 03 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ppna/NikravanMH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppna/NikravanMH19a,
  author       = {Mohammad Nikravan and
                  Ali Movaghar and
                  Mehdi Hosseinzadeh},
  title        = {Correction to: {A} lightweight signcryption scheme for defense against
                  fragment duplication attack in the 6LoWPAN networks},
  journal      = {Peer-to-Peer Netw. Appl.},
  volume       = {12},
  number       = {1},
  pages        = {227},
  year         = {2019},
  url          = {https://doi.org/10.1007/s12083-018-0664-y},
  doi          = {10.1007/S12083-018-0664-Y},
  timestamp    = {Tue, 03 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ppna/NikravanMH19a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppna/GhafouriMM19,
  author       = {Robabeh Ghafouri and
                  Ali Movaghar and
                  Mehran Mohsenzadeh},
  title        = {A budget constrained scheduling algorithm for executing workflow application
                  in infrastructure as a service clouds},
  journal      = {Peer-to-Peer Netw. Appl.},
  volume       = {12},
  number       = {1},
  pages        = {241--268},
  year         = {2019},
  url          = {https://doi.org/10.1007/s12083-018-0662-0},
  doi          = {10.1007/S12083-018-0662-0},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ppna/GhafouriMM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcc/AtaieERTAM19,
  author       = {Ehsan Ataie and
                  Reza Entezari{-}Maleki and
                  Leila Rashidi and
                  Kishor S. Trivedi and
                  Danilo Ardagna and
                  Ali Movaghar},
  title        = {Hierarchical Stochastic Models for Performance, Availability, and
                  Power Consumption Analysis of IaaS Clouds},
  journal      = {{IEEE} Trans. Cloud Comput.},
  volume       = {7},
  number       = {4},
  pages        = {1039--1056},
  year         = {2019},
  url          = {https://doi.org/10.1109/TCC.2017.2760836},
  doi          = {10.1109/TCC.2017.2760836},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcc/AtaieERTAM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BaghoolizadehMM19,
  author       = {Shirin Baghoolizadeh and
                  Ali Movaghar and
                  Negin Majidi},
  title        = {A uniformization-based algorithm for continuous-time stochastic games
                  model checking},
  journal      = {Theor. Comput. Sci.},
  volume       = {756},
  pages        = {1--18},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2018.10.009},
  doi          = {10.1016/J.TCS.2018.10.009},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BaghoolizadehMM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmc/GolkarifardYHMH19,
  author       = {Morteza Golkarifard and
                  Ji Yang and
                  Zhanpeng Huang and
                  Ali Movaghar and
                  Pan Hui},
  title        = {Dandelion: {A} Unified Code Offloading System for Wearable Computing},
  journal      = {{IEEE} Trans. Mob. Comput.},
  volume       = {18},
  number       = {3},
  pages        = {546--559},
  year         = {2019},
  url          = {https://doi.org/10.1109/TMC.2018.2841836},
  doi          = {10.1109/TMC.2018.2841836},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tmc/GolkarifardYHMH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tnse/GharibYM19,
  author       = {Mohammed Gharib and
                  Homayoun Yousefi'zadeh and
                  Ali Movaghar},
  title        = {Secure Overlay Routing for Large Scale Networks},
  journal      = {{IEEE} Trans. Netw. Sci. Eng.},
  volume       = {6},
  number       = {3},
  pages        = {501--511},
  year         = {2019},
  url          = {https://doi.org/10.1109/TNSE.2018.2812830},
  doi          = {10.1109/TNSE.2018.2812830},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tnse/GharibYM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tnsm/RashidiECHTM19,
  author       = {Leila Rashidi and
                  Reza Entezari{-}Maleki and
                  Dimitris Chatzopoulos and
                  Pan Hui and
                  Kishor S. Trivedi and
                  Ali Movaghar},
  title        = {Performance Evaluation of Epidemic Content Retrieval in DTNs With
                  Restricted Mobility},
  journal      = {{IEEE} Trans. Netw. Serv. Manag.},
  volume       = {16},
  number       = {2},
  pages        = {701--714},
  year         = {2019},
  url          = {https://doi.org/10.1109/TNSM.2019.2909108},
  doi          = {10.1109/TNSM.2019.2909108},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tnsm/RashidiECHTM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/RashidiDESM19,
  author       = {Leila Rashidi and
                  Amir Dalili{-}Yazdi and
                  Reza Entezari{-}Maleki and
                  Leonel Sousa and
                  Ali Movaghar},
  title        = {Scalable Performance Analysis of Epidemic Routing Considering Skewed
                  Location Visiting Preferences},
  booktitle    = {27th {IEEE} International Symposium on Modeling, Analysis, and Simulation
                  of Computer and Telecommunication Systems, {MASCOTS} 2019, Rennes,
                  France, October 21-25, 2019},
  pages        = {201--213},
  publisher    = {{IEEE} Computer Society},
  year         = {2019},
  url          = {https://doi.org/10.1109/MASCOTS.2019.00029},
  doi          = {10.1109/MASCOTS.2019.00029},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mascots/RashidiDESM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/networking/AhmadiRLM19,
  author       = {Mahdieh Ahmadi and
                  James Roberts and
                  Emilio Leonardi and
                  Ali Movaghar},
  title        = {Poster: Impact of traffic characteristics on request aggregation in
                  an {NDN} router},
  booktitle    = {2019 {IFIP} Networking Conference, Networking 2019, Warsaw, Poland,
                  May 20-22, 2019},
  pages        = {1--2},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.23919/IFIPNetworking46909.2019.8999462},
  doi          = {10.23919/IFIPNETWORKING46909.2019.8999462},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/networking/AhmadiRLM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/YousefiKGSM19,
  author       = {Farnaz Yousefi and
                  Ehsan Khamespanah and
                  Mohammed Gharib and
                  Marjan Sirjani and
                  Ali Movaghar},
  editor       = {Fabrizio Biondi and
                  Thomas Given{-}Wilson and
                  Axel Legay},
  title        = {VeriVANca: An Actor-Based Framework for Formal Verification of Warning
                  Message Dissemination Schemes in VANETs},
  booktitle    = {Model Checking Software - 26th International Symposium, {SPIN} 2019,
                  Beijing, China, July 15-16, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11636},
  pages        = {244--259},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30923-7\_14},
  doi          = {10.1007/978-3-030-30923-7\_14},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/spin/YousefiKGSM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-06419,
  author       = {Mahdieh Ahmadi and
                  James Roberts and
                  Emilio Leonardi and
                  Ali Movaghar},
  title        = {Impact of Traffic Characteristics on Request Aggregation in an {NDN}
                  Router},
  journal      = {CoRR},
  volume       = {abs/1903.06419},
  year         = {2019},
  url          = {http://arxiv.org/abs/1903.06419},
  eprinttype    = {arXiv},
  eprint       = {1903.06419},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1903-06419.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-01137,
  author       = {Farnaz Yousefi and
                  Ehsan Khamespanah and
                  Mohammed Gharib and
                  Marjan Sirjani and
                  Ali Movaghar},
  title        = {VeriVANca: An Actor-Based Framework for Formal Verification of Warning
                  Message Dissemination Schemes in VANETs},
  journal      = {CoRR},
  volume       = {abs/1905.01137},
  year         = {2019},
  url          = {http://arxiv.org/abs/1905.01137},
  eprinttype    = {arXiv},
  eprint       = {1905.01137},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1905-01137.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-06732,
  author       = {Maryam Bagheri and
                  Marjan Sirjani and
                  Ehsan Khamespanah and
                  Ali Movaghar},
  title        = {A Compositional Approach for Reliable Adaptation of Track-based Traffic
                  Control Systems at Runtime},
  journal      = {CoRR},
  volume       = {abs/1905.06732},
  year         = {2019},
  url          = {http://arxiv.org/abs/1905.06732},
  eprinttype    = {arXiv},
  eprint       = {1905.06732},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1905-06732.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-06659,
  author       = {Mahdieh Ahmadi and
                  James Roberts and
                  Emilio Leonardi and
                  Ali Movaghar},
  title        = {Cache Subsidies for an Optimal Memory for Bandwidth Tradeoff in the
                  Access Network},
  journal      = {CoRR},
  volume       = {abs/1908.06659},
  year         = {2019},
  url          = {http://arxiv.org/abs/1908.06659},
  eprinttype    = {arXiv},
  eprint       = {1908.06659},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1908-06659.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-12432,
  author       = {Soroush Aalibagi and
                  Hamidreza Mahyar and
                  Ali Movaghar and
                  Harry Eugene Stanley},
  title        = {A Matrix Factorization Model for Hellinger-based Trust Management
                  in Social IoT},
  journal      = {CoRR},
  volume       = {abs/1909.12432},
  year         = {2019},
  url          = {http://arxiv.org/abs/1909.12432},
  eprinttype    = {arXiv},
  eprint       = {1909.12432},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-12432.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithms/GharibMM18,
  author       = {Mohammed Gharib and
                  Marzieh Malekimajd and
                  Ali Movaghar},
  title        = {SLoPCloud: An Efficient Solution for Locality Problem in Peer-to-Peer
                  Cloud Systems},
  journal      = {Algorithms},
  volume       = {11},
  number       = {10},
  pages        = {150},
  year         = {2018},
  url          = {https://doi.org/10.3390/a11100150},
  doi          = {10.3390/A11100150},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/algorithms/GharibMM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithms/Fakhrolmobasheri18,
  author       = {Sharifeh Fakhrolmobasheri and
                  Ehsan Ataie and
                  Ali Movaghar},
  title        = {Modeling and Evaluation of Power-Aware Software Rejuvenation in Cloud
                  Systems},
  journal      = {Algorithms},
  volume       = {11},
  number       = {10},
  pages        = {160},
  year         = {2018},
  url          = {https://doi.org/10.3390/a11100160},
  doi          = {10.3390/A11100160},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/algorithms/Fakhrolmobasheri18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/Dehlaghi-Ghadim18,
  author       = {Alireza Dehlaghi{-}Ghadim and
                  Reza Entezari{-}Maleki and
                  Ali Movaghar},
  title        = {Cost-Efficient Scheduling for Deadline Constrained Grid Workflows},
  journal      = {Comput. Informatics},
  volume       = {37},
  number       = {4},
  pages        = {838--864},
  year         = {2018},
  url          = {https://doi.org/10.4149/cai\_2018\_4\_838},
  doi          = {10.4149/CAI\_2018\_4\_838},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cai/Dehlaghi-Ghadim18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Entezari-Maleki18,
  author       = {Reza Entezari{-}Maleki and
                  Kishor S. Trivedi and
                  Leonel Sousa and
                  Ali Movaghar},
  title        = {Performability-Based Workflow Scheduling in Grids},
  journal      = {Comput. J.},
  volume       = {61},
  number       = {10},
  pages        = {1479--1495},
  year         = {2018},
  url          = {https://doi.org/10.1093/comjnl/bxx125},
  doi          = {10.1093/COMJNL/BXX125},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Entezari-Maleki18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/AtaieEEEAM18,
  author       = {Ehsan Ataie and
                  Reza Entezari{-}Maleki and
                  Sayed Ehsan Etesami and
                  Bernhard Egger and
                  Danilo Ardagna and
                  Ali Movaghar},
  title        = {Power-aware performance analysis of self-adaptive resource management
                  in IaaS clouds},
  journal      = {Future Gener. Comput. Syst.},
  volume       = {86},
  pages        = {134--144},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.future.2018.02.042},
  doi          = {10.1016/J.FUTURE.2018.02.042},
  timestamp    = {Sun, 05 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fgcs/AtaieEEEAM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijahuc/Entezari-Maleki18,
  author       = {Reza Entezari{-}Maleki and
                  Mohammed Gharib and
                  Maryam Khosravi and
                  Ali Movaghar},
  title        = {{IDS} modelling and evaluation in WANETs against black/grey-hole attacks
                  using stochastic models},
  journal      = {Int. J. Ad Hoc Ubiquitous Comput.},
  volume       = {27},
  number       = {3},
  pages        = {171--186},
  year         = {2018},
  url          = {https://doi.org/10.1504/IJAHUC.2015.10001797},
  doi          = {10.1504/IJAHUC.2015.10001797},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijahuc/Entezari-Maleki18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itc/AhmadiniaMR18,
  author       = {Mohammad Ahmadinia and
                  Ali Movaghar and
                  Amir Masoud Rahmani},
  title        = {Semantic Data Gathering of Physical Entities in Semantic Sensor Networks
                  Using Software Agents},
  journal      = {Inf. Technol. Control.},
  volume       = {47},
  number       = {2},
  pages        = {167--183},
  year         = {2018},
  url          = {https://doi.org/10.5755/j01.itc.47.2.16073},
  doi          = {10.5755/J01.ITC.47.2.16073},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/itc/AhmadiniaMR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/BagheriSKKAML18,
  author       = {Maryam Bagheri and
                  Marjan Sirjani and
                  Ehsan Khamespanah and
                  Narges Khakpour and
                  Ilge Akkaya and
                  Ali Movaghar and
                  Edward A. Lee},
  title        = {Coordinated actor model of self-adaptive track-based traffic control
                  systems},
  journal      = {J. Syst. Softw.},
  volume       = {143},
  pages        = {116--139},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jss.2018.05.034},
  doi          = {10.1016/J.JSS.2018.05.034},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/BagheriSKKAML18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/snam/MahyarHGNGMR18,
  author       = {Hamidreza Mahyar and
                  Rouzbeh Hasheminezhad and
                  Elaheh Ghalebi and
                  Ali Nazemian and
                  Radu Grosu and
                  Ali Movaghar and
                  Hamid R. Rabiee},
  title        = {Identifying central nodes for information flow in social networks
                  using compressive sensing},
  journal      = {Soc. Netw. Anal. Min.},
  volume       = {8},
  number       = {1},
  pages        = {33:1--33:24},
  year         = {2018},
  url          = {https://doi.org/10.1007/s13278-018-0506-1},
  doi          = {10.1007/S13278-018-0506-1},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/snam/MahyarHGNGMR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcom/RezaeiGM18,
  author       = {Shahbaz Rezaei and
                  Mohammed Gharib and
                  Ali Movaghar},
  title        = {Throughput Analysis of {IEEE} 802.11 Multi-Hop Wireless Networks With
                  Routing Consideration: {A} General Framework},
  journal      = {{IEEE} Trans. Commun.},
  volume       = {66},
  number       = {11},
  pages        = {5430--5443},
  year         = {2018},
  url          = {https://doi.org/10.1109/TCOMM.2018.2848905},
  doi          = {10.1109/TCOMM.2018.2848905},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcom/RezaeiGM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wpc/NikravanMH18,
  author       = {Mohammad Nikravan and
                  Ali Movaghar and
                  Mehdi Hosseinzadeh},
  title        = {A Lightweight Defense Approach to Mitigate Version Number and Rank
                  Attacks in Low-Power and Lossy Networks},
  journal      = {Wirel. Pers. Commun.},
  volume       = {99},
  number       = {2},
  pages        = {1035--1059},
  year         = {2018},
  url          = {https://doi.org/10.1007/s11277-017-5165-4},
  doi          = {10.1007/S11277-017-5165-4},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/wpc/NikravanMH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wpc/ShariatMH18,
  author       = {Zeinab Shariat and
                  Ali Movaghar and
                  Mehdi Hosseinzadeh},
  title        = {{TSRN:} {A} Tabu Search-Based Routing Protocol for Named Data Networking},
  journal      = {Wirel. Pers. Commun.},
  volume       = {101},
  number       = {3},
  pages        = {1411--1428},
  year         = {2018},
  url          = {https://doi.org/10.1007/s11277-018-5769-3},
  doi          = {10.1007/S11277-018-5769-3},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/wpc/ShariatMH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wpc/GhafouriMM18,
  author       = {Robabeh Ghafouri and
                  Ali Movaghar and
                  Mehran Mohsenzadeh},
  title        = {Time-Cost Efficient Scheduling Algorithms for Executing Workflow in
                  Infrastructure as a Service Clouds},
  journal      = {Wirel. Pers. Commun.},
  volume       = {103},
  number       = {3},
  pages        = {2035--2070},
  year         = {2018},
  url          = {https://doi.org/10.1007/s11277-018-5895-y},
  doi          = {10.1007/S11277-018-5895-Y},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/wpc/GhafouriMM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GrosuKMM18,
  author       = {Radu Grosu and
                  Elahe Ghalebi K. and
                  Ali Movaghar and
                  Hamidreza Mahyar},
  editor       = {Marten Lohstroh and
                  Patricia Derler and
                  Marjan Sirjani},
  title        = {Compressed Sensing in Cyber Physical Social Systems},
  booktitle    = {Principles of Modeling - Essays Dedicated to Edward A. Lee on the
                  Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {10760},
  pages        = {287--305},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-95246-8\_17},
  doi          = {10.1007/978-3-319-95246-8\_17},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/GrosuKMM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istel/NorouziMM18,
  author       = {Ahmad Norouzi and
                  Babak Majidi and
                  Ali Movaghar},
  title        = {Reliable and Energy-Efficient Routing for Green Software Defined Networking},
  booktitle    = {9th International Symposium on Telecommunications, {IST} 2018, Tehran,
                  Iran, December 17-19, 2018},
  pages        = {221--226},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/ISTEL.2018.8660986},
  doi          = {10.1109/ISTEL.2018.8660986},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/istel/NorouziMM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-00162,
  author       = {Shahbaz Rezaei and
                  Mohammed Gharib and
                  Ali Movaghar},
  title        = {Throughput Analysis of {IEEE} 802.11 Multi-hop Wireless Networks with
                  Routing Consideration: {A} General Framework},
  journal      = {CoRR},
  volume       = {abs/1802.00162},
  year         = {2018},
  url          = {http://arxiv.org/abs/1802.00162},
  eprinttype    = {arXiv},
  eprint       = {1802.00162},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1802-00162.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cm/GolkarifardYMH17,
  author       = {Morteza Golkarifard and
                  Ji Yang and
                  Ali Movaghar and
                  Pan Hui},
  title        = {A Hitchhiker's Guide to Computation Offloading: Opinions from Practitioners},
  journal      = {{IEEE} Commun. Mag.},
  volume       = {55},
  number       = {7},
  pages        = {193--199},
  year         = {2017},
  url          = {https://doi.org/10.1109/MCOM.2017.1600481},
  doi          = {10.1109/MCOM.2017.1600481},
  timestamp    = {Wed, 03 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cm/GolkarifardYMH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/GharibMDM17,
  author       = {Mohammed Gharib and
                  Zahra Moradlou and
                  Mohammad{-}Ali Doostari and
                  Ali Movaghar},
  title        = {Fully distributed ECC-based key management for mobile ad hoc networks},
  journal      = {Comput. Networks},
  volume       = {113},
  pages        = {269--283},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.comnet.2016.12.017},
  doi          = {10.1016/J.COMNET.2016.12.017},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cn/GharibMDM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ewc/Entezari-Maleki17,
  author       = {Reza Entezari{-}Maleki and
                  Maryam Bagheri and
                  Saeedeh Mehri and
                  Ali Movaghar},
  title        = {Performance aware scheduling considering resource availability in
                  grid computing},
  journal      = {Eng. Comput.},
  volume       = {33},
  number       = {2},
  pages        = {191--206},
  year         = {2017},
  url          = {https://doi.org/10.1007/s00366-016-0464-z},
  doi          = {10.1007/S00366-016-0464-Z},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ewc/Entezari-Maleki17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/Entezari-Maleki17,
  author       = {Reza Entezari{-}Maleki and
                  Leonel Sousa and
                  Ali Movaghar},
  title        = {Performance and power modeling and evaluation of virtualized servers
                  in IaaS clouds},
  journal      = {Inf. Sci.},
  volume       = {394},
  pages        = {106--122},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.ins.2017.02.024},
  doi          = {10.1016/J.INS.2017.02.024},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isci/Entezari-Maleki17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/BagheriKSML17,
  author       = {Maryam Bagheri and
                  Ehsan Khamespanah and
                  Marjan Sirjani and
                  Ali Movaghar and
                  Edward A. Lee},
  title        = {Runtime compositional analysis of track-based traffic control systems},
  journal      = {{SIGBED} Rev.},
  volume       = {14},
  number       = {3},
  pages        = {38--39},
  year         = {2017},
  url          = {https://doi.org/10.1145/3166227.3166233},
  doi          = {10.1145/3166227.3166233},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigbed/BagheriKSML17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/snam/TaheriMFKGM17,
  author       = {Seyed Mohammad Taheri and
                  Hamidreza Mahyar and
                  Mohammad Firouzi and
                  Elahe Ghalebi K. and
                  Radu Grosu and
                  Ali Movaghar},
  title        = {HellRank: a Hellinger-based centrality measure for bipartite social
                  networks},
  journal      = {Soc. Netw. Anal. Min.},
  volume       = {7},
  number       = {1},
  pages        = {22:1--22:16},
  year         = {2017},
  url          = {https://doi.org/10.1007/s13278-017-0440-7},
  doi          = {10.1007/S13278-017-0440-7},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/snam/TaheriMFKGM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/telsys/ShariatMH17,
  author       = {Zeinab Shariat and
                  Ali Movaghar and
                  Mehdi Hosseinzadeh},
  title        = {A learning automata and clustering-based routing protocol for named
                  data networking},
  journal      = {Telecommun. Syst.},
  volume       = {65},
  number       = {1},
  pages        = {9--29},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11235-016-0209-8},
  doi          = {10.1007/S11235-016-0209-8},
  timestamp    = {Tue, 03 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/telsys/ShariatMH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wpc/MohtashamiMT17,
  author       = {Hossein Mohtashami and
                  Ali Movaghar and
                  Mohammad Teshnehlab},
  title        = {Multi-objective Node Placement Considering Non-uniform Event Pattern},
  journal      = {Wirel. Pers. Commun.},
  volume       = {97},
  number       = {4},
  pages        = {6189--6220},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11277-017-4834-7},
  doi          = {10.1007/S11277-017-4834-7},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/wpc/MohtashamiMT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/TaheriMFKGM17,
  author       = {Seyed Mohammad Taheri and
                  Hamidreza Mahyar and
                  Mohammad Firouzi and
                  Elahe Ghalebi K. and
                  Radu Grosu and
                  Ali Movaghar},
  editor       = {Rick Barrett and
                  Rick Cummings and
                  Eugene Agichtein and
                  Evgeniy Gabrilovich},
  title        = {Extracting Implicit Social Relation for Social Recommendation Techniques
                  in User Rating Prediction},
  booktitle    = {Proceedings of the 26th International Conference on World Wide Web
                  Companion, Perth, Australia, April 3-7, 2017},
  pages        = {1343--1351},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3041021.3051153},
  doi          = {10.1145/3041021.3051153},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/www/TaheriMFKGM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/telsys/BaratiMS16,
  author       = {Ali Barati and
                  Ali Movaghar and
                  Masoud Sabaei},
  title        = {{RDTP:} reliable data transport protocol in wireless sensor networks},
  journal      = {Telecommun. Syst.},
  volume       = {62},
  number       = {3},
  pages        = {611--623},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11235-015-0098-2},
  doi          = {10.1007/S11235-015-0098-2},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/telsys/BaratiMS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/telsys/HatamianBMN16,
  author       = {Majid Hatamian and
                  Hamid Barati and
                  Ali Movaghar and
                  Alireza Naghizadeh},
  title        = {{CGC:} centralized genetic-based clustering protocol for wireless
                  sensor networks using onion approach},
  journal      = {Telecommun. Syst.},
  volume       = {62},
  number       = {4},
  pages        = {657--674},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11235-015-0102-x},
  doi          = {10.1007/S11235-015-0102-X},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/telsys/HatamianBMN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmc/GharibYM16,
  author       = {Mohammed Gharib and
                  Homayoun Yousefi'zadeh and
                  Ali Movaghar},
  title        = {Secure Overlay Routing Using Key Pre-Distribution: {A} Linear Distance
                  Optimization Approach},
  journal      = {{IEEE} Trans. Mob. Comput.},
  volume       = {15},
  number       = {9},
  pages        = {2333--2344},
  year         = {2016},
  url          = {https://doi.org/10.1109/TMC.2015.2486758},
  doi          = {10.1109/TMC.2015.2486758},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tmc/GharibYM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BagheriAKKSML16,
  author       = {Maryam Bagheri and
                  Ilge Akkaya and
                  Ehsan Khamespanah and
                  Narges Khakpour and
                  Marjan Sirjani and
                  Ali Movaghar and
                  Edward A. Lee},
  editor       = {Olga Kouchnarenko and
                  Ramtin Khosravi},
  title        = {Coordinated Actors for Reliable Self-adaptive Systems},
  booktitle    = {Formal Aspects of Component Software - 13th International Conference,
                  {FACS} 2016, Besan{\c{c}}on, France, October 19-21, 2016, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10231},
  pages        = {241--259},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-57666-4\_15},
  doi          = {10.1007/978-3-319-57666-4\_15},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/facs2/BagheriAKKSML16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istel/HassanzadehMH16,
  author       = {Reihaneh Hassanzadeh and
                  Ali Movaghar and
                  Hamid Reza Hassanzadeh},
  title        = {A multi-dimensional fairness combinatorial double-sided auction model
                  in cloud environment},
  booktitle    = {8th International Symposium on Telecommunications, {IST} 2016, Tehran,
                  Iran, September 27-28, 2016},
  pages        = {672--677},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/ISTEL.2016.7881907},
  doi          = {10.1109/ISTEL.2016.7881907},
  timestamp    = {Mon, 09 Aug 2021 14:54:01 +0200},
  biburl       = {https://dblp.org/rec/conf/istel/HassanzadehMH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/AtaieGAM16,
  author       = {Ehsan Ataie and
                  Eugenio Gianniti and
                  Danilo Ardagna and
                  Ali Movaghar},
  editor       = {James H. Davenport and
                  Viorel Negru and
                  Tetsuo Ida and
                  Tudor Jebelean and
                  Dana Petcu and
                  Stephen M. Watt and
                  Daniela Zaharie},
  title        = {A Combined Analytical Modeling Machine Learning Approach for Performance
                  Prediction of MapReduce Jobs in Cloud Environment},
  booktitle    = {18th International Symposium on Symbolic and Numeric Algorithms for
                  Scientific Computing, {SYNASC} 2016, Timisoara, Romania, September
                  24-27, 2016},
  pages        = {431--439},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/SYNASC.2016.072},
  doi          = {10.1109/SYNASC.2016.072},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/synasc/AtaieGAM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HassanzadehMH16,
  author       = {Reihaneh Hassanzadeh and
                  Ali Movaghar and
                  Hamid Reza Hassanzadeh},
  title        = {A Multi-Dimensional Fairness Combinatorial Double-Sided Auction Model
                  in Cloud Environment},
  journal      = {CoRR},
  volume       = {abs/1608.05315},
  year         = {2016},
  url          = {http://arxiv.org/abs/1608.05315},
  eprinttype    = {arXiv},
  eprint       = {1608.05315},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HassanzadehMH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TaheriMFM16,
  author       = {Seyed Mohammad Taheri and
                  Hamidreza Mahyar and
                  Mohammad Firouzi and
                  Ali Movaghar},
  title        = {Extracting Implicit Social Relation for Social Recommendation Techniques
                  in User Rating Prediction},
  journal      = {CoRR},
  volume       = {abs/1612.01428},
  year         = {2016},
  url          = {http://arxiv.org/abs/1612.01428},
  eprinttype    = {arXiv},
  eprint       = {1612.01428},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/TaheriMFM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TaheriMFM16a,
  author       = {Seyed Mohammad Taheri and
                  Hamidreza Mahyar and
                  Mohammad Firouzi and
                  Ali Movaghar},
  title        = {HellRank: {A} Hellinger-based Centrality Measure for Bipartite Social
                  Networks},
  journal      = {CoRR},
  volume       = {abs/1612.01511},
  year         = {2016},
  url          = {http://arxiv.org/abs/1612.01511},
  eprinttype    = {arXiv},
  eprint       = {1612.01511},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/TaheriMFM16a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/AliakbaryHM15,
  author       = {Sadegh Aliakbary and
                  Jafar Habibi and
                  Ali Movaghar},
  title        = {Feature Extraction from Degree Distribution for Comparison and Analysis
                  of Complex Networks},
  journal      = {Comput. J.},
  volume       = {58},
  number       = {9},
  pages        = {2079--2091},
  year         = {2015},
  url          = {https://doi.org/10.1093/comjnl/bxv007},
  doi          = {10.1093/COMJNL/BXV007},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/AliakbaryHM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/SotudehM15,
  author       = {Gholamreza Sotudeh and
                  Ali Movaghar},
  title        = {Abstraction and approximation in fuzzy temporal logics and models},
  journal      = {Formal Aspects Comput.},
  volume       = {27},
  number       = {2},
  pages        = {309--334},
  year         = {2015},
  url          = {https://doi.org/10.1007/s00165-014-0318-7},
  doi          = {10.1007/S00165-014-0318-7},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/SotudehM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcse/EsmailiEM15,
  author       = {Mohammad Esmail Esmaili and
                  Reza Entezari{-}Maleki and
                  Ali Movaghar},
  title        = {Improved Region-Based {TCTL} Model Checking of Time Petri Nets},
  journal      = {J. Comput. Sci. Eng.},
  volume       = {9},
  number       = {1},
  pages        = {9--19},
  year         = {2015},
  url          = {https://doi.org/10.5626/JCSE.2015.9.1.9},
  doi          = {10.5626/JCSE.2015.9.1.9},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcse/EsmailiEM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/AshouriYBHM15,
  author       = {Majid Ashouri and
                  Hamed Yousefi and
                  Javad Basiri and
                  Ali Mohammad Afshin Hemmatyar and
                  Ali Movaghar},
  title        = {{PDC:} Prediction-based data-aware clustering in wireless sensor networks},
  journal      = {J. Parallel Distributed Comput.},
  volume       = {81-82},
  pages        = {24--35},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jpdc.2015.02.004},
  doi          = {10.1016/J.JPDC.2015.02.004},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jpdc/AshouriYBHM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/Entezari-Maleki15,
  author       = {Reza Entezari{-}Maleki and
                  Kishor S. Trivedi and
                  Ali Movaghar},
  title        = {Performability Evaluation of Grid Environments Using Stochastic Reward
                  Nets},
  journal      = {{IEEE} Trans. Dependable Secur. Comput.},
  volume       = {12},
  number       = {2},
  pages        = {204--216},
  year         = {2015},
  url          = {https://doi.org/10.1109/TDSC.2014.2320741},
  doi          = {10.1109/TDSC.2014.2320741},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tdsc/Entezari-Maleki15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/MalekimajdMH15,
  author       = {Marzieh Malekimajd and
                  Ali Movaghar and
                  Seyedmahyar Hosseinimotlagh},
  title        = {Minimizing latency in geo-distributed clouds},
  journal      = {J. Supercomput.},
  volume       = {71},
  number       = {12},
  pages        = {4423--4445},
  year         = {2015},
  url          = {https://doi.org/10.1007/s11227-015-1538-1},
  doi          = {10.1007/S11227-015-1538-1},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tjs/MalekimajdMH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/twc/YousefiMAM15,
  author       = {Hamed Yousefi and
                  Marzieh Malekimajd and
                  Majid Ashouri and
                  Ali Movaghar},
  title        = {Fast Aggregation Scheduling in Wireless Sensor Networks},
  journal      = {{IEEE} Trans. Wirel. Commun.},
  volume       = {14},
  number       = {6},
  pages        = {3402--3414},
  year         = {2015},
  url          = {https://doi.org/10.1109/TWC.2015.2405060},
  doi          = {10.1109/TWC.2015.2405060},
  timestamp    = {Fri, 23 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/twc/YousefiMAM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wpc/BaratiMR15,
  author       = {Hamid Barati and
                  Ali Movaghar and
                  Amir Masoud Rahmani},
  title        = {{EACHP:} Energy Aware Clustering Hierarchy Protocol for Large Scale
                  Wireless Sensor Networks},
  journal      = {Wirel. Pers. Commun.},
  volume       = {85},
  number       = {3},
  pages        = {765--789},
  year         = {2015},
  url          = {https://doi.org/10.1007/s11277-015-2807-2},
  doi          = {10.1007/S11277-015-2807-2},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/wpc/BaratiMR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/AhmadiGGM15,
  author       = {Mahdieh Ahmadi and
                  Mohammed Gharib and
                  Fatemeh Ghassemi and
                  Ali Movaghar},
  editor       = {Leonard Barolli and
                  Makoto Takizawa and
                  Fatos Xhafa and
                  Tomoya Enokido and
                  Jong Hyuk Park},
  title        = {Probabilistic Key Pre-Distribution for Heterogeneous Mobile Ad Hoc
                  Networks Using Subjective Logic},
  booktitle    = {29th {IEEE} International Conference on Advanced Information Networking
                  and Applications, {AINA} 2015, Gwangju, South Korea, March 24-27,
                  2015},
  pages        = {185--192},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/AINA.2015.184},
  doi          = {10.1109/AINA.2015.184},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aina/AhmadiGGM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asunam/MahyarRMGN15,
  author       = {Hamidreza Mahyar and
                  Hamid R. Rabiee and
                  Ali Movaghar and
                  Elaheh Ghalebi and
                  Ali Nazemian},
  editor       = {Jian Pei and
                  Fabrizio Silvestri and
                  Jie Tang},
  title        = {CS-ComDet: {A} Compressive Sensing Approach for Inter-Community Detection
                  in Social Networks},
  booktitle    = {Proceedings of the 2015 {IEEE/ACM} International Conference on Advances
                  in Social Networks Analysis and Mining, {ASONAM} 2015, Paris, France,
                  August 25 - 28, 2015},
  pages        = {89--96},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2808797.2808856},
  doi          = {10.1145/2808797.2808856},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/asunam/MahyarRMGN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cn/ZeynalvandGM15,
  author       = {Leonid Zeynalvand and
                  Mohammed Gharib and
                  Ali Movaghar},
  editor       = {Piotr Gaj and
                  Andrzej Kwiecien and
                  Piotr Stera},
  title        = {Decentralized Social Networking Using Named-Data},
  booktitle    = {Computer Networks - 22nd International Conference, {CN} 2015, Brun{\'{o}}w,
                  Poland, June 16-19, 2015. Proceedings},
  series       = {Communications in Computer and Information Science},
  volume       = {522},
  pages        = {421--430},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19419-6\_40},
  doi          = {10.1007/978-3-319-19419-6\_40},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cn/ZeynalvandGM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcity/MahyarRMHGN15,
  author       = {Hamidreza Mahyar and
                  Hamid R. Rabiee and
                  Ali Movaghar and
                  Rouzbeh Hasheminezhad and
                  Elaheh Ghalebi and
                  Ali Nazemian},
  title        = {A Low-Cost Sparse Recovery Framework for Weighted Networks under Compressive
                  Sensing},
  booktitle    = {2015 {IEEE} International Conference on Smart City/SocialCom/SustainCom/DataCom/SC2
                  2015, Chengdu, China, December 19-21, 2015},
  pages        = {183--190},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/SmartCity.2015.68},
  doi          = {10.1109/SMARTCITY.2015.68},
  timestamp    = {Thu, 13 Apr 2023 12:52:26 +0200},
  biburl       = {https://dblp.org/rec/conf/smartcity/MahyarRMHGN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijdsn/BaratiMS14,
  author       = {Ali Barati and
                  Ali Movaghar and
                  Masoud Sabaei},
  title        = {Energy Efficient and High Speed Error Control Scheme for Real Time
                  Wireless Sensor Networks},
  journal      = {Int. J. Distributed Sens. Networks},
  volume       = {10},
  year         = {2014},
  url          = {https://doi.org/10.1155/2014/698125},
  doi          = {10.1155/2014/698125},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijdsn/BaratiMS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isecure/ShamaeiM14,
  author       = {Shiva Shamaei and
                  Ali Movaghar},
  title        = {A two-phase wormhole attack detection scheme in MANETs},
  journal      = {{ISC} Int. J. Inf. Secur.},
  volume       = {6},
  number       = {2},
  pages        = {183--191},
  year         = {2014},
  url          = {https://doi.org/10.22042/isecure.2015.6.2.7},
  doi          = {10.22042/ISECURE.2015.6.2.7},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isecure/ShamaeiM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jnca/AdabiMRBD14,
  author       = {Sepideh Adabi and
                  Ali Movaghar and
                  Amir Masoud Rahmani and
                  Hamid Beigy and
                  Hengameh Dastmalchy{-}Tabrizi},
  title        = {A new fuzzy negotiation protocol for grid resource allocation},
  journal      = {J. Netw. Comput. Appl.},
  volume       = {37},
  pages        = {89--126},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.jnca.2012.12.030},
  doi          = {10.1016/J.JNCA.2012.12.030},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jnca/AdabiMRBD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/MohaqeqiKM14,
  author       = {Morteza Mohaqeqi and
                  Mehdi Kargahi and
                  Ali Movaghar},
  title        = {Analytical Leakage-Aware Thermal Modeling of a Real-Time System},
  journal      = {{IEEE} Trans. Computers},
  volume       = {63},
  number       = {6},
  pages        = {1378--1392},
  year         = {2014},
  url          = {https://doi.org/10.1109/TC.2012.237},
  doi          = {10.1109/TC.2012.237},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/MohaqeqiKM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/AdabiMR14,
  author       = {Sahar Adabi and
                  Ali Movaghar and
                  Amir Masoud Rahmani},
  title        = {Bi-level fuzzy based advanced reservation of Cloud workflow applications
                  on distributed Grid resources},
  journal      = {J. Supercomput.},
  volume       = {67},
  number       = {1},
  pages        = {175--218},
  year         = {2014},
  url          = {https://doi.org/10.1007/s11227-013-0994-8},
  doi          = {10.1007/S11227-013-0994-8},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tjs/AdabiMR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/RezaeeRMT14,
  author       = {Ali Rezaee and
                  Amir Masoud Rahmani and
                  Ali Movaghar and
                  Mohammad Teshnehlab},
  title        = {Formal process algebraic modeling, verification, and analysis of an
                  abstract Fuzzy Inference Cloud Service},
  journal      = {J. Supercomput.},
  volume       = {67},
  number       = {2},
  pages        = {345--383},
  year         = {2014},
  url          = {https://doi.org/10.1007/s11227-013-1005-9},
  doi          = {10.1007/S11227-013-1005-9},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tjs/RezaeeRMT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/Entezari-MalekiMYM14,
  author       = {Reza Entezari{-}Maleki and
                  Ali Mohammadkhan and
                  Heon Young Yeom and
                  Ali Movaghar},
  title        = {Combined performance and availability analysis of distributed resources
                  in grid computing},
  journal      = {J. Supercomput.},
  volume       = {69},
  number       = {2},
  pages        = {827--844},
  year         = {2014},
  url          = {https://doi.org/10.1007/s11227-014-1184-z},
  doi          = {10.1007/S11227-014-1184-Z},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tjs/Entezari-MalekiMYM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icccn/ForoozaniGHM14,
  author       = {Ahmad Foroozani and
                  Mohammed Gharib and
                  Ali Mohammad Afshin Hemmatyar and
                  Ali Movaghar},
  title        = {A novel human mobility model for MANETs based on real data},
  booktitle    = {23rd International Conference on Computer Communication and Networks,
                  {ICCCN} 2014, Shanghai, China, August 4-7, 2014},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICCCN.2014.6911864},
  doi          = {10.1109/ICCCN.2014.6911864},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icccn/ForoozaniGHM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/MalekimajdRACPM14,
  author       = {Marzieh Malekimajd and
                  Alessandro Maria Rizzi and
                  Danilo Ardagna and
                  Michele Ciavotta and
                  Mauro Passacantando and
                  Ali Movaghar},
  editor       = {Franz Winkler and
                  Viorel Negru and
                  Tetsuo Ida and
                  Tudor Jebelean and
                  Dana Petcu and
                  Stephen M. Watt and
                  Daniela Zaharie},
  title        = {Optimal Capacity Allocation for Executing MapReduce Jobs in Cloud
                  Systems},
  booktitle    = {16th International Symposium on Symbolic and Numeric Algorithms for
                  Scientific Computing, {SYNASC} 2014, Timisoara, Romania, September
                  22-25, 2014},
  pages        = {385--392},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/SYNASC.2014.58},
  doi          = {10.1109/SYNASC.2014.58},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/synasc/MalekimajdRACPM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AliakbaryHM14,
  author       = {Sadegh Aliakbary and
                  Jafar Habibi and
                  Ali Movaghar},
  title        = {Feature Extraction from Degree Distribution for Comparison and Analysis
                  of Complex Networks},
  journal      = {CoRR},
  volume       = {abs/1407.3386},
  year         = {2014},
  url          = {http://arxiv.org/abs/1407.3386},
  eprinttype    = {arXiv},
  eprint       = {1407.3386},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AliakbaryHM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/GhodsYHM13,
  author       = {Fatemeh Ghods and
                  Hamed Yousefi and
                  Ali Mohammad Afshin Hemmatyar and
                  Ali Movaghar},
  title        = {{MC-MLAS:} Multi-channel Minimum Latency Aggregation Scheduling in
                  Wireless Sensor Networks},
  journal      = {Comput. Networks},
  volume       = {57},
  number       = {18},
  pages        = {3812--3825},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.comnet.2013.09.007},
  doi          = {10.1016/J.COMNET.2013.09.007},
  timestamp    = {Fri, 23 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cn/GhodsYHM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jnca/AdabiMRB13,
  author       = {Sepideh Adabi and
                  Ali Movaghar and
                  Amir Masoud Rahmani and
                  Hamid Beigy},
  title        = {Market{\_}based grid resource allocation using new negotiation model},
  journal      = {J. Netw. Comput. Appl.},
  volume       = {36},
  number       = {1},
  pages        = {543--565},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.jnca.2012.02.008},
  doi          = {10.1016/J.JNCA.2012.02.008},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jnca/AdabiMRB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/AdabiMRB13,
  author       = {Sepideh Adabi and
                  Ali Movaghar and
                  Amir Masoud Rahmani and
                  Hamid Beigy},
  title        = {Negotiation strategies considering market, time and behavior functions
                  for resource allocation in computational grid},
  journal      = {J. Supercomput.},
  volume       = {66},
  number       = {3},
  pages        = {1350--1389},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11227-012-0808-4},
  doi          = {10.1007/S11227-012-0808-4},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tjs/AdabiMRB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/GharibENM13,
  author       = {Mohammed Gharib and
                  Ehsan Emamjomeh{-}Zadeh and
                  Ashkan Norouzi{-}Fard and
                  Ali Movaghar},
  editor       = {Leonard Barolli and
                  Fatos Xhafa and
                  Makoto Takizawa and
                  Tomoya Enokido and
                  Hui{-}Huang Hsu},
  title        = {A Novel Probabilistic Key Management Algorithm for Large-Scale MANETs},
  booktitle    = {27th International Conference on Advanced Information Networking and
                  Applications Workshops, {WAINA} 2013, Barcelona, Spain, March 25-28,
                  2013},
  pages        = {349--356},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/WAINA.2013.107},
  doi          = {10.1109/WAINA.2013.107},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aina/GharibENM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/GhassemiAFM13,
  author       = {Fatemeh Ghassemi and
                  Saeide Ahmadi and
                  Wan J. Fokkink and
                  Ali Movaghar},
  editor       = {Farhad Arbab and
                  Marjan Sirjani},
  title        = {Model Checking MANETs with Arbitrary Mobility},
  booktitle    = {Fundamentals of Software Engineering - 5th International Conference,
                  {FSEN} 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8161},
  pages        = {217--232},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40213-5\_14},
  doi          = {10.1007/978-3-642-40213-5\_14},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsen/GhassemiAFM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icacni/AbdoliEM13,
  author       = {Mohsen Abdoli and
                  Reza Entezari{-}Maleki and
                  Ali Movaghar},
  editor       = {Durga Prasad Mohapatra and
                  Srikanta Patnaik},
  title        = {A Rank-Based Hybrid Algorithm for Scheduling Data- and Computation-Intensive
                  Jobs in Grid Environments},
  booktitle    = {Intelligent Computing, Networking, and Informatics, Proceedings of
                  the International Conference on Advanced Computing, Networking, and
                  Informatics, {ICACNI} 2013, Raipur, Chhattisgarh, India, 12-14 June
                  2013},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {243},
  pages        = {785--796},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-81-322-1665-0\_79},
  doi          = {10.1007/978-81-322-1665-0\_79},
  timestamp    = {Tue, 07 May 2024 20:11:07 +0200},
  biburl       = {https://dblp.org/rec/conf/icacni/AbdoliEM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/RoohitavafEM13,
  author       = {Mohammad Roohitavaf and
                  Reza Entezari{-}Maleki and
                  Ali Movaghar},
  title        = {Availability Modeling and Evaluation of Cloud Virtual Data Centers},
  booktitle    = {19th {IEEE} International Conference on Parallel and Distributed Systems,
                  {ICPADS} 2013, Seoul, Korea, December 15-18, 2013},
  pages        = {675--680},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICPADS.2013.120},
  doi          = {10.1109/ICPADS.2013.120},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpads/RoohitavafEM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sin/GharibMGM13,
  author       = {Mohammed Gharib and
                  Mohsen Minaei and
                  Morteza Golkari and
                  Ali Movaghar},
  editor       = {Atilla El{\c{c}}i and
                  Manoj Singh Gaur and
                  Mehmet A. Orgun and
                  Oleg B. Makarevich},
  title        = {Expert key selection impact on the MANETs' performance using probabilistic
                  key management algorithm},
  booktitle    = {The 6th International Conference on Security of Information and Networks,
                  {SIN} '13, Aksaray, Turkey, November 26-28, 2013},
  pages        = {347--351},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2523514.2523556},
  doi          = {10.1145/2523514.2523556},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sin/GharibMGM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uic/MoradluDGM13,
  author       = {Zahra Moradlu and
                  Mohammad{-}Ali Doostari and
                  Mohammed Gharib and
                  Ali Movaghar},
  title        = {Fully Distributed Self Certified Key Management for Large-Scale MANETs},
  booktitle    = {2013 {IEEE} 10th International Conference on Ubiquitous Intelligence
                  and Computing and 2013 {IEEE} 10th International Conference on Autonomic
                  and Trusted Computing, {UIC/ATC} 2013, Vietri sul Mare, Sorrento Peninsula,
                  Italy, December 18-21, 2013},
  pages        = {96--102},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/UIC-ATC.2013.60},
  doi          = {10.1109/UIC-ATC.2013.60},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/uic/MoradluDGM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AliakbaryHM13,
  author       = {Sadegh Aliakbary and
                  Jafar Habibi and
                  Ali Movaghar},
  title        = {Quantification and Comparison of Network Degree Distributions},
  journal      = {CoRR},
  volume       = {abs/1307.3625},
  year         = {2013},
  url          = {http://arxiv.org/abs/1307.3625},
  eprinttype    = {arXiv},
  eprint       = {1307.3625},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AliakbaryHM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AliakbaryMHM13,
  author       = {Sadegh Aliakbary and
                  Sadegh Motallebi and
                  Jafar Habibi and
                  Ali Movaghar},
  title        = {Learning an Integrated Distance Metric for Comparing Structure of
                  Complex Networks},
  journal      = {CoRR},
  volume       = {abs/1307.3626},
  year         = {2013},
  url          = {http://arxiv.org/abs/1307.3626},
  eprinttype    = {arXiv},
  eprint       = {1307.3626},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AliakbaryMHM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/YousefiYAM12,
  author       = {Hamed Yousefi and
                  Mohammad Hossein Yeganeh and
                  Naser Alinaghipour and
                  Ali Movaghar},
  title        = {Structure-free real-time data aggregation in wireless sensor networks},
  journal      = {Comput. Commun.},
  volume       = {35},
  number       = {9},
  pages        = {1132--1140},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.comcom.2011.11.007},
  doi          = {10.1016/J.COMCOM.2011.11.007},
  timestamp    = {Fri, 23 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/comcom/YousefiYAM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/Entezari-MalekiM12,
  author       = {Reza Entezari{-}Maleki and
                  Ali Movaghar},
  title        = {A probabilistic task scheduling method for grid environments},
  journal      = {Future Gener. Comput. Syst.},
  volume       = {28},
  number       = {3},
  pages        = {513--524},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.future.2011.09.005},
  doi          = {10.1016/J.FUTURE.2011.09.005},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fgcs/Entezari-MalekiM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icccn/BahramiYM12,
  author       = {Somaieh Bahrami and
                  Hamed Yousefi and
                  Ali Movaghar},
  title        = {{DACA:} Data-Aware Clustering and Aggregation in Query-Driven Wireless
                  Sensor Networks},
  booktitle    = {21st International Conference on Computer Communications and Networks,
                  {ICCCN} 2012, Munich, Germany, July 30 - August 2, 2012},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICCCN.2012.6289260},
  doi          = {10.1109/ICCCN.2012.6289260},
  timestamp    = {Fri, 23 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icccn/BahramiYM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/NiksereshtYMK12,
  author       = {Ilnaz Nikseresht and
                  Hamed Yousefi and
                  Ali Movaghar and
                  Mohammad Khansari},
  title        = {Interference-Aware Multipath Routing for Video Delivery in Wireless
                  Multimedia Sensor Networks},
  booktitle    = {32nd International Conference on Distributed Computing Systems Workshops
                  {(ICDCS} 2012 Workshops), Macau, China, June 18-21, 2012},
  pages        = {216--221},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICDCSW.2012.84},
  doi          = {10.1109/ICDCSW.2012.84},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcsw/NiksereshtYMK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icumt/MobiniEM12,
  author       = {Mohammad Hadi Mobini and
                  Reza Entezari{-}Maleki and
                  Ali Movaghar},
  title        = {Biogeography-based optimization of makespan and reliability in grid
                  computing systems},
  booktitle    = {4th International Congress on Ultra Modern Telecommunications and
                  Control Systems, {ICUMT} 2012, St. Petersburg, Russia, October 3-5,
                  2012},
  pages        = {336--342},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICUMT.2012.6459689},
  doi          = {10.1109/ICUMT.2012.6459689},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icumt/MobiniEM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscc/AshouriYHM12,
  author       = {Majid Ashouri and
                  Hamed Yousefi and
                  Ali Mohammad Afshin Hemmatyar and
                  Ali Movaghar},
  title        = {{FOMA:} Flexible overlay multi-path data aggregation in wireless sensor
                  networks},
  booktitle    = {2012 {IEEE} Symposium on Computers and Communications, {ISCC} 2012,
                  Cappadocia, Turkey, July 1-4, 2012},
  pages        = {508--511},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISCC.2012.6249346},
  doi          = {10.1109/ISCC.2012.6249346},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iscc/AshouriYHM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isie/KordafshariPMM12,
  author       = {Mohammad Sadegh Kordafshari and
                  Azadeh Pourkabirian and
                  Mohammad Reza Meybodi and
                  Ali Movaghar},
  title        = {Distributed QoS routing algorithm in large scale Wireless Sensor Networks},
  booktitle    = {21st {IEEE} International Symposium on Industrial Electronics, {ISIE}
                  2012, Hangzhou, China, 28-31 May, 2012},
  pages        = {826--830},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISIE.2012.6237195},
  doi          = {10.1109/ISIE.2012.6237195},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isie/KordafshariPMM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mswim/Enayati-NoabadiYM12,
  author       = {Ehsan Enayati{-}Noabadi and
                  Hamed Yousefi and
                  Ali Movaghar},
  editor       = {Albert Y. Zomaya and
                  Bj{\"{o}}rn Landfeldt and
                  Ravi Prakash},
  title        = {{S-NC:} structure-free network coding-aware routing in wireless sensor
                  networks},
  booktitle    = {The 15th {ACM} International Conference on Modeling, Analysis and
                  Simulation of Wireless and Mobile Systems, MSWiM '12, Paphos, Cyprus,
                  October 21-25, 2012},
  pages        = {403--408},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2387238.2387305},
  doi          = {10.1145/2387238.2387305},
  timestamp    = {Wed, 22 Mar 2023 16:53:34 +0100},
  biburl       = {https://dblp.org/rec/conf/mswim/Enayati-NoabadiYM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/MohaqeqiKM12,
  author       = {Morteza Mohaqeqi and
                  Mehdi Kargahi and
                  Ali Movaghar},
  editor       = {Liliana Cucu{-}Grosjean and
                  Nicolas Navet and
                  Christine Rochange and
                  James H. Anderson},
  title        = {Analytical leakage/temperature-aware power modeling and optimization
                  for a variable speed real-time system},
  booktitle    = {20th International Conference on Real-Time and Network Systems, {RTNS}
                  '12, Pont a Mousson, France - November 08 - 09, 2012},
  pages        = {81--89},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2392987.2392997},
  doi          = {10.1145/2392987.2392997},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtns/MohaqeqiKM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/KeshishzadehIM12,
  author       = {Sarmen Keshishzadeh and
                  Mohammad Izadi and
                  Ali Movaghar},
  editor       = {Sascha Ossowski and
                  Paola Lecca},
  title        = {A B{\"{u}}chi automata based model checking framework for reo
                  connectors},
  booktitle    = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
                  Riva, Trento, Italy, March 26-30, 2012},
  pages        = {1536--1543},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2245276.2232021},
  doi          = {10.1145/2245276.2232021},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/KeshishzadehIM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ShafieiHMS11,
  author       = {T. Shafiei and
                  Mohammad Reza Hoseiny Farahabady and
                  Ali Movaghar and
                  Hamid Sarbazi{-}Azad},
  title        = {On pancyclicity properties of OTIS-mesh},
  journal      = {Inf. Process. Lett.},
  volume       = {111},
  number       = {8},
  pages        = {353--359},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.ipl.2010.11.027},
  doi          = {10.1016/J.IPL.2010.11.027},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/ShafieiHMS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/MalekimajdFMS11,
  author       = {Marzieh Malekimajd and
                  Mohammad Reza Hoseiny Farahabady and
                  Ali Movaghar and
                  Hamid Sarbazi{-}Azad},
  title        = {Pancyclicity of {OTIS} (swapped) networks based on properties of the
                  factor graph},
  journal      = {Inf. Process. Lett.},
  volume       = {111},
  number       = {23-24},
  pages        = {1114--1119},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.ipl.2011.07.020},
  doi          = {10.1016/J.IPL.2011.07.020},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/MalekimajdFMS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/questa/Movaghar11,
  author       = {Ali Movaghar},
  title        = {Analysis of a dynamic assignment of impatient customers to parallel
                  queues},
  journal      = {Queueing Syst. Theory Appl.},
  volume       = {67},
  number       = {3},
  pages        = {251--273},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11134-010-9207-9},
  doi          = {10.1007/S11134-010-9207-9},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/questa/Movaghar11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/KargahiM11,
  author       = {Mehdi Kargahi and
                  Ali Movaghar},
  title        = {Performance Optimization Based on Analytical Modeling in a Real-Time
                  System with Constrained Time/Utility Functions},
  journal      = {{IEEE} Trans. Computers},
  volume       = {60},
  number       = {8},
  pages        = {1169--1181},
  year         = {2011},
  url          = {https://doi.org/10.1109/TC.2010.151},
  doi          = {10.1109/TC.2010.151},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/KargahiM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GhassemiFM11,
  author       = {Fatemeh Ghassemi and
                  Wan J. Fokkink and
                  Ali Movaghar},
  title        = {Verification of mobile ad hoc networks: An algebraic approach},
  journal      = {Theor. Comput. Sci.},
  volume       = {412},
  number       = {28},
  pages        = {3262--3282},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.tcs.2011.03.017},
  doi          = {10.1016/J.TCS.2011.03.017},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/GhassemiFM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ems/BaratiDMA11,
  author       = {Ali Barati and
                  S. Jalaleddin Dastgheib and
                  Ali Movaghar and
                  Iman Attarzadeh},
  editor       = {David Al{-}Dabass and
                  Alessandra Orsoni and
                  Athanasios A. Pantelous and
                  Gregorio Romero and
                  Jes{\'{u}}s F{\'{e}}lez},
  title        = {An Optimised Algorithm to Detect Faulty Readings along the Substrate
                  Access Wireless Long-Thin Sensor Networks},
  booktitle    = {Proceedings of the UKSim 5th European Symposium on Computer Modeling
                  and Simulation, {EMS} 2011, Madrid, Spain, November 16-18, 2011},
  pages        = {372--377},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/EMS.2011.42},
  doi          = {10.1109/EMS.2011.42},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ems/BaratiDMA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/GhassemiTMF11,
  author       = {Fatemeh Ghassemi and
                  Mahmoud Talebi and
                  Ali Movaghar and
                  Wan J. Fokkink},
  editor       = {Nigel Thomas},
  title        = {Stochastic Restricted Broadcast Process Theory},
  booktitle    = {Computer Performance Engineering - 8th European Performance Engineering
                  Workshop, {EPEW} 2011, Borrowdale, UK, October 12-13, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6977},
  pages        = {72--86},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24749-1\_7},
  doi          = {10.1007/978-3-642-24749-1\_7},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/GhassemiTMF11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euc/EskandariYMK11,
  author       = {Leila Eskandari and
                  Hamed Yousefi and
                  Ali Movaghar and
                  Mohammad Khansari},
  title        = {{IMAC:} An Interference-Aware Duty-Cycle {MAC} Protocol for Wireless
                  Sensor Networks Employing Multipath Routing},
  booktitle    = {{IEEE/IFIP} 9th International Conference on Embedded and Ubiquitous
                  Computing, {EUC} 2011, Melbourne, Australia, October 24-26, 2011},
  pages        = {288--293},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/EUC.2011.43},
  doi          = {10.1109/EUC.2011.43},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/euc/EskandariYMK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdipc/TabbaaEM11,
  author       = {Nabil Tabbaa and
                  Reza Entezari{-}Maleki and
                  Ali Movaghar},
  editor       = {V{\'{a}}clav Sn{\'{a}}sel and
                  Jan Platos and
                  Eyas El{-}Qawasmeh},
  title        = {A Fault Tolerant Scheduling Algorithm for {DAG} Applications in Cluster
                  Environments},
  booktitle    = {Digital Information Processing and Communications - International
                  Conference , {ICDIPC} 2011, Ostrava, Czech Republic, July 7-9, 2011,
                  Proceedings, Part {I}},
  series       = {Communications in Computer and Information Science},
  volume       = {188},
  pages        = {189--199},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22389-1\_18},
  doi          = {10.1007/978-3-642-22389-1\_18},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdipc/TabbaaEM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdipc/MousavinasabEM11,
  author       = {Zohreh Mousavinasab and
                  Reza Entezari{-}Maleki and
                  Ali Movaghar},
  editor       = {V{\'{a}}clav Sn{\'{a}}sel and
                  Jan Platos and
                  Eyas El{-}Qawasmeh},
  title        = {A Bee Colony Task Scheduling Algorithm in Computational Grids},
  booktitle    = {Digital Information Processing and Communications - International
                  Conference , {ICDIPC} 2011, Ostrava, Czech Republic, July 7-9, 2011,
                  Proceedings, Part {I}},
  series       = {Communications in Computer and Information Science},
  volume       = {188},
  pages        = {200--210},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22389-1\_19},
  doi          = {10.1007/978-3-642-22389-1\_19},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdipc/MousavinasabEM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnsc/YousefiYM11,
  author       = {Hamed Yousefi and
                  Mohammad Hossein Yeganeh and
                  Ali Movaghar},
  title        = {Long lifetime routing in unreliable wireless sensor networks},
  booktitle    = {Proceedings of the {IEEE} International Conference on Networking,
                  Sensing and Control, {ICNSC} 2011, Delft, The Netherlands, 11-13 April
                  2011},
  pages        = {457--462},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/ICNSC.2011.5874911},
  doi          = {10.1109/ICNSC.2011.5874911},
  timestamp    = {Fri, 23 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icnsc/YousefiYM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/YeganehYAM11,
  author       = {Mohammad Hossein Yeganeh and
                  Hamed Yousefi and
                  Naser Alinaghipour and
                  Ali Movaghar},
  title        = {{RDAG:} {A} Structure-Free Real-Time Data Aggregation Protocol for
                  Wireless Sensor Networks},
  booktitle    = {17th {IEEE} International Conference on Embedded and Real-Time Computing
                  Systems and Applications, {RTCSA} 2011, Toyama, Japan, August 28-31,
                  2011, Volume 1},
  pages        = {51--60},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/RTCSA.2011.70},
  doi          = {10.1109/RTCSA.2011.70},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtcsa/YeganehYAM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/softcom/Entezari-Maleki11,
  author       = {Reza Entezari{-}Maleki and
                  Ali Movaghar},
  title        = {Availability modeling of grid computing environments using SANs},
  booktitle    = {19th International Conference on Software, Telecommunications and
                  Computer Networks, SoftCOM 2011, Split, Croatia, September 15-17,
                  2011},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/xpl/freeabs\_all.jsp?arnumber=6064363},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/softcom/Entezari-Maleki11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wd/AlinaghipourYYM11,
  author       = {Naser Alinaghipour and
                  Hamed Yousefi and
                  Mohammad Hossein Yeganeh and
                  Ali Movaghar},
  title        = {Long lifetime real-time routing in unreliable Wireless Sensor Networks},
  booktitle    = {Proceedings of the {IFIP} Wireless Days Conference 2011, Niagara Falls,
                  ON, Canada, October 10-12, 2011},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/WD.2011.6098213},
  doi          = {10.1109/WD.2011.6098213},
  timestamp    = {Fri, 23 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wd/AlinaghipourYYM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-0355,
  author       = {Ehsan Heidari and
                  Ali Movaghar},
  title        = {An Efficient Method Based on Genetic Algorithms to Solve Sensor Network
                  Optimization Problem},
  journal      = {CoRR},
  volume       = {abs/1104.0355},
  year         = {2011},
  url          = {http://arxiv.org/abs/1104.0355},
  eprinttype    = {arXiv},
  eprint       = {1104.0355},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1104-0355.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/JaghooriSMKM10,
  author       = {Mohammad Mahdi Jaghoori and
                  Marjan Sirjani and
                  Mohammad Reza Mousavi and
                  Ehsan Khamespanah and
                  Ali Movaghar},
  title        = {Symmetry and partial order reduction techniques in model checking
                  Rebeca},
  journal      = {Acta Informatica},
  volume       = {47},
  number       = {1},
  pages        = {33--66},
  year         = {2010},
  url          = {https://doi.org/10.1007/s00236-009-0111-x},
  doi          = {10.1007/S00236-009-0111-X},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/JaghooriSMKM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cee/KargahiM10,
  author       = {Mehdi Kargahi and
                  Ali Movaghar},
  title        = {Dynamic routing of real-time jobs among parallel {EDF} queues: {A}
                  performance study},
  journal      = {Comput. Electr. Eng.},
  volume       = {36},
  number       = {5},
  pages        = {835--849},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.compeleceng.2008.04.004},
  doi          = {10.1016/J.COMPELECENG.2008.04.004},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cee/KargahiM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cee/ShahriariMSJM10,
  author       = {Hamid Reza Shahriari and
                  Mohammad Sadegh Makarem and
                  Marjan Sirjani and
                  Rasool Jalili and
                  Ali Movaghar},
  title        = {Vulnerability analysis of networks to detect multiphase attacks using
                  the actor-based language Rebeca},
  journal      = {Comput. Electr. Eng.},
  volume       = {36},
  number       = {5},
  pages        = {874--885},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.compeleceng.2008.04.009},
  doi          = {10.1016/J.COMPELECENG.2008.04.009},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cee/ShahriariMSJM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GhassemiFM10,
  author       = {Fatemeh Ghassemi and
                  Wan J. Fokkink and
                  Ali Movaghar},
  title        = {Equational Reasoning on Mobile Ad Hoc Networks},
  journal      = {Fundam. Informaticae},
  volume       = {105},
  number       = {4},
  pages        = {375--415},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-371},
  doi          = {10.3233/FI-2010-371},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/GhassemiFM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcm/IzadiM10,
  author       = {Mohammad Izadi and
                  Ali Movaghar},
  title        = {Failure-based equivalence of constraint automata},
  journal      = {Int. J. Comput. Math.},
  volume       = {87},
  number       = {11},
  pages        = {2426--2443},
  year         = {2010},
  url          = {https://doi.org/10.1080/00207160902915886},
  doi          = {10.1080/00207160902915886},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijcm/IzadiM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/KargahiM10,
  author       = {Mehdi Kargahi and
                  Ali Movaghar},
  title        = {Utility Accrual Dynamic Routing in Real-Time Parallel Systems},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {21},
  number       = {12},
  pages        = {1822--1835},
  year         = {2010},
  url          = {https://doi.org/10.1109/TPDS.2010.50},
  doi          = {10.1109/TPDS.2010.50},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tpds/KargahiM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/GhassemiMF10,
  author       = {Fatemeh Ghassemi and
                  Ali Movaghar and
                  Wan J. Fokkink},
  editor       = {Lu{\'{\i}}s Gomes and
                  Victor Khomenko and
                  Jo{\~{a}}o M. Fernandes},
  title        = {Towards Performance Evaluation of Mobile Ad Hoc Network Protocols},
  booktitle    = {10th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2010, Braga, Portugal, 21-25 June 2010},
  pages        = {85--92},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ACSD.2010.20},
  doi          = {10.1109/ACSD.2010.20},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/GhassemiMF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apscc/JourabbafM10,
  author       = {Narges Aghakazem Jourabbaf and
                  Ali Movaghar},
  title        = {An Identity-Based Network Access Control Scheme for Single Authority
                  MANETs},
  booktitle    = {5th {IEEE} Asia-Pacific Services Computing Conference, {APSCC} 2010,
                  6-10 December 2010, Hangzhou, China, Proceedings},
  pages        = {462--468},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/APSCC.2010.42},
  doi          = {10.1109/APSCC.2010.42},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apscc/JourabbafM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgit/Entezari-MalekiM10,
  author       = {Reza Entezari{-}Maleki and
                  Ali Movaghar},
  editor       = {Tai{-}Hoon Kim and
                  Stephen S. Yau and
                  Osvaldo Gervasi and
                  Byeong Ho Kang and
                  Adrian Stoica and
                  Dominik Slezak},
  title        = {A Genetic-Based Scheduling Algorithm to Minimize the Makespan of the
                  Grid Applications},
  booktitle    = {Grid and Distributed Computing, Control and Automation - International
                  Conferences, {GDC} and {CA} 2010, Held as Part of the Future Generation
                  Information Technology Conference, {FGIT} 2010, Jeju Island, Korea,
                  December 13-15, 2010. Proceedings},
  series       = {Communications in Computer and Information Science},
  volume       = {121},
  pages        = {22--31},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17625-8\_3},
  doi          = {10.1007/978-3-642-17625-8\_3},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fgit/Entezari-MalekiM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwn/FeizM10,
  author       = {Sayed Mohammad Mehdi Feiz and
                  Ali Movaghar},
  editor       = {Hamid R. Arabnia and
                  Victor A. Clincy and
                  Leonidas Deligiannidis and
                  Ashu M. G. Solo},
  title        = {Characteristics of Secure Routing in Vehicular Ad Hoc Network {(VANET)}},
  booktitle    = {Proceedings of the 2010 International Conference on Wireless Networks,
                  {ICWN} 2010, July 12-15, 2010, Las Vegas Nevada, USA, 2 Volumes},
  pages        = {128--134},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icwn/FeizM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACISicis/SeifzadehKKM09,
  author       = {Habib Seifzadeh and
                  Ali Asghar Pourhaji Kazem and
                  Mehdi Kargahi and
                  Ali Movaghar{-}Rahimabadi},
  editor       = {Huaikou Miao and
                  Gongzhu Hu},
  title        = {A Method for Dynamic Software Updating in Real-Time Systems},
  booktitle    = {8th {IEEE/ACIS} International Conference on Computer and Information
                  Science, {IEEE/ACIS} {ICIS} 2009, June 1-3, 2009, Shanghai, China},
  pages        = {34--38},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ICIS.2009.206},
  doi          = {10.1109/ICIS.2009.206},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ACISicis/SeifzadehKKM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACISicis/KazemSKML09,
  author       = {Ali Asghar Pourhaji Kazem and
                  Habib Seifzadeh and
                  Mehdi Kargahi and
                  Ali Movaghar{-}Rahimabadi and
                  Shahriar Lotfi},
  editor       = {Huaikou Miao and
                  Gongzhu Hu},
  title        = {Maximizing the Accrued Utility of an Isochronal Soft Real-Time System
                  Using Genetic Algorithms},
  booktitle    = {8th {IEEE/ACIS} International Conference on Computer and Information
                  Science, {IEEE/ACIS} {ICIS} 2009, June 1-3, 2009, Shanghai, China},
  pages        = {65--69},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ICIS.2009.207},
  doi          = {10.1109/ICIS.2009.207},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ACISicis/KazemSKML09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aict/KordafshariPFM09,
  author       = {Mohammad Sadegh Kordafshari and
                  Azadeh Pourkabirian and
                  Karim Faez and
                  Ali Movaghar{-}Rahimabadi},
  editor       = {Paul J. Geraci and
                  Michael D. Logothetis and
                  Sema F. Oktug and
                  Cosmin Dini},
  title        = {Energy-Efficient {SPEED} Routing Protocol for Wireless Sensor Networks},
  booktitle    = {The Fifth Advanced International Conference on Telecommunications,
                  {AICT} 2009, 24-28 May 2009, Venice/Mestre, Italy},
  pages        = {267--271},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/AICT.2009.52},
  doi          = {10.1109/AICT.2009.52},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aict/KordafshariPFM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasc/AttarzadehBM09,
  author       = {N. Attarzadeh and
                  Ali Barati and
                  Ali Movaghar},
  title        = {A New Method for Coverage in Wireless Sensor Networks},
  booktitle    = {Eighth {IEEE} International Conference on Dependable, Autonomic and
                  Secure Computing, {DASC} 2009, Chengdu, China, 12-14 December, 2009},
  pages        = {369--372},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DASC.2009.142},
  doi          = {10.1109/DASC.2009.142},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dasc/AttarzadehBM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/GhassemiFM09,
  author       = {Fatemeh Ghassemi and
                  Wan J. Fokkink and
                  Ali Movaghar},
  editor       = {Farhad Arbab and
                  Marjan Sirjani},
  title        = {Equational Reasoning on Ad Hoc Networks},
  booktitle    = {Fundamentals of Software Engineering, Third {IPM} International Conference,
                  {FSEN} 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5961},
  pages        = {113--128},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-11623-0\_6},
  doi          = {10.1007/978-3-642-11623-0\_6},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsen/GhassemiFM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icecs/RoustaeiZHM09,
  author       = {Rassoul Roustaei and
                  Ebadolah Zohrevandi and
                  Keramat Hassani and
                  Ali Movaghar},
  title        = {A New Approach to Improve Quality of Service in {SPEED} Routing Protocol
                  in Wireless Sensor Network through Data Aggregation},
  booktitle    = {2009 Second International Conference on Environmental and Computer
                  Science, {ICECS} 2009, Dubai, UAE, 28-30 December 2009},
  pages        = {393--397},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ICECS.2009.69},
  doi          = {10.1109/ICECS.2009.69},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icecs/RoustaeiZHM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interaction/MohammadizadehMS09,
  author       = {Misagh Mohammadizadeh and
                  Ali Movaghar and
                  Seyad Mohammad Safi},
  editor       = {Sungwon Sohn and
                  Ling Chen and
                  Soonwook Hwang and
                  Kyungeun Cho and
                  Shigeo Kawata and
                  Kyhyun Um and
                  Franz I. S. Ko and
                  Kae{-}Dal Kwack and
                  Jong Hyung Lee and
                  Gang Kou and
                  Kiyoshi Nakamura and
                  Alvis Cheuk M. Fong and
                  Patrick C. M. Ma},
  title        = {{SEAODV:} secure efficient {AODV} routing protocol for MANETs networks},
  booktitle    = {Proceedings of the 2nd International Conference on Interaction Sciences:
                  Information Technology, Culture and Human {(ICIS} 2009), Seoul, Korea,
                  24-26 November 2009},
  series       = {{ACM} International Conference Proceeding Series},
  volume       = {403},
  pages        = {940--944},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1655925.1656096},
  doi          = {10.1145/1655925.1656096},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/interaction/MohammadizadehMS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ncm/BaratiKM09,
  author       = {Ali Barati and
                  Mohammad Ali Khosh Kholghi and
                  Ali Movaghar},
  editor       = {Jinhwa Kim and
                  Dursun Delen and
                  Jinsoo Park and
                  Franz Ko and
                  Chen Rui and
                  Jong Hyung Lee and
                  Jian Wang and
                  Gang Kou},
  title        = {Recovery of Sensors in Wireless Sensor Networks},
  booktitle    = {International Conference on Networked Computing and Advanced Information
                  Management, {NCM} 2009, Fifth International Joint Conference on INC,
                  {IMS} and {IDC:} {INC} 2009: International Conference on Networked
                  Computing, {IMS} 2009: International Conference on Advanced Information
                  Management and Service, {IDC} 2009: International Conference on Digital
                  Content, Multimedia Technology and its Applications, Seoul, Korea,
                  August 25-27, 2009},
  pages        = {393--396},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/NCM.2009.200},
  doi          = {10.1109/NCM.2009.200},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ncm/BaratiKM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netcom/HeidariM09,
  author       = {Ehsan Heidari and
                  Ali Movaghar},
  title        = {Intelligent Clustering in Wireless Sensor Networks},
  booktitle    = {First International Conference on Networks and Communications, NetCoM
                  2009, Chennai, India, December 27-29, 2009},
  pages        = {12--17},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/NetCoM.2009.61},
  doi          = {10.1109/NETCOM.2009.61},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/netcom/HeidariM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ntms/SoheiBM09,
  author       = {Maryam Hosseini Sohei and
                  Najmeh Sadat Bathaee and
                  Ali Movaghar{-}Rahimabadi},
  editor       = {Khaldoun Al Agha and
                  Mohamad Badra and
                  Gregory B. Newby},
  title        = {Utilizing Network Coding for File Dissemination in Peer-to-Peer Systems},
  booktitle    = {{NTMS} 2009, 3rd International Conference on New Technologies, Mobility
                  and Security, 20-23 December 2009, Cairo, Egypt},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/NTMS.2009.5384693},
  doi          = {10.1109/NTMS.2009.5384693},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/ntms/SoheiBM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/SichaniM09,
  author       = {Mohsen Hajsalehi Sichani and
                  Ali Movaghar},
  editor       = {Eduardo Fern{\'{a}}ndez{-}Medina and
                  Manu Malek and
                  Javier Hernando},
  title        = {A New Analysis of {RC4} - {A} Data Mining Approach {(J48)}},
  booktitle    = {{SECRYPT} 2009, Proceedings of the International Conference on Security
                  and Cryptography, Milan, Italy, July 7-10, 2009, {SECRYPT} is part
                  of {ICETE} - The International Joint Conference on e-Business and
                  Telecommunications},
  pages        = {213--218},
  publisher    = {{INSTICC} Press},
  year         = {2009},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/secrypt/SichaniM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/springsim/AllahyarM09,
  author       = {Ehsan Allahyar and
                  Ali Movaghar},
  editor       = {Gabriel A. Wainer and
                  Clifford A. Shaffer and
                  Robert M. McGraw and
                  Michael J. Chinni},
  title        = {Weighted start-time fair queuing: a new start-time fair queuing for
                  elastic traffic},
  booktitle    = {Proceedings of the 2009 Spring Simulation Multiconference, SpringSim
                  2009, San Diego, California, USA, March 22-27, 2009},
  publisher    = {{SCS/ACM}},
  year         = {2009},
  url          = {http://dl.acm.org/citation.cfm?id=1639809.1639892},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/springsim/AllahyarM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcnc/TajbakhshM09,
  author       = {Shahriar Etemadi Tajbakhsh and
                  Ali Movaghar},
  title        = {Joint distributed source and network coding for multiple wireless
                  unicast sessions},
  booktitle    = {2009 {IEEE} Wireless Communications and Networking Conference, {WCNC}
                  2009, Proceedings, Budapest, Hungary, 5-8 April 2009},
  pages        = {302--306},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/WCNC.2009.4917769},
  doi          = {10.1109/WCNC.2009.4917769},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcnc/TajbakhshM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wimob/KhalediMRMKA09,
  author       = {Mehrdad Khaledi and
                  Seyed Morteza Mousavi and
                  Hamid Reza Rabiee and
                  Ali Movaghar and
                  Mojgan Khaledi and
                  Omid Ardakanian},
  title        = {Mobility Aware Distributed Topology Control in Mobile Ad-Hoc Networks
                  Using Mobility Pattern Matching},
  booktitle    = {5th {IEEE} International Conference on Wireless and Mobile Computing,
                  Networking and Communications, WiMob 2009, Marrakech, Morocco, 12-14
                  October 2009, Proceedings},
  pages        = {453--458},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/WiMob.2009.83},
  doi          = {10.1109/WIMOB.2009.83},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wimob/KhalediMRMKA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/IzadiM08,
  author       = {Mohammad Izadi and
                  Ali Movaghar},
  title        = {Model Checking of Component Based Software Using Compositional Reductions},
  journal      = {Int. J. Softw. Eng. Knowl. Eng.},
  volume       = {18},
  number       = {5},
  pages        = {683--712},
  year         = {2008},
  url          = {https://doi.org/10.1142/S0218194008003775},
  doi          = {10.1142/S0218194008003775},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijseke/IzadiM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsn/AsadpourSM08,
  author       = {Mahdi Asadpour and
                  Behnam Sattarzadeh and
                  Ali Movaghar},
  title        = {Anonymous authentication protocol for {GSM} networks},
  journal      = {Int. J. Secur. Networks},
  volume       = {3},
  number       = {1},
  pages        = {54--62},
  year         = {2008},
  url          = {https://doi.org/10.1504/IJSN.2008.016202},
  doi          = {10.1504/IJSN.2008.016202},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijsn/AsadpourSM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcsc/TorshizM08,
  author       = {Masood Niazi Torshiz and
                  Ali Movaghar},
  title        = {Design and Performance Evaluation of a Fuzzy-Based Traffic Conditioner
                  for Mobile \emph{Ad Hoc} Networks},
  journal      = {J. Circuits Syst. Comput.},
  volume       = {17},
  number       = {6},
  pages        = {995--1014},
  year         = {2008},
  url          = {https://doi.org/10.1142/S0218126608004848},
  doi          = {10.1142/S0218126608004848},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcsc/TorshizM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/KargahiM08,
  author       = {Mehdi Kargahi and
                  Ali Movaghar},
  title        = {Stochastic DVS-based dynamic power management for soft real-time systems},
  journal      = {Microprocess. Microsystems},
  volume       = {32},
  number       = {3},
  pages        = {121--144},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.micpro.2007.06.001},
  doi          = {10.1016/J.MICPRO.2007.06.001},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mam/KargahiM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/HasanlouFMM08,
  author       = {Mahmood Hasanlou and
                  Ebrahim Fazli and
                  Ali Movaghar and
                  Hossein Mohammadi},
  title        = {3MOKAN: {A} Novel Mobility Management Mechanism Based on Keeping Alternative
                  Nodes},
  booktitle    = {22nd International Conference on Advanced Information Networking and
                  Applications, {AINA} 2008, Workshops Proceedings, GinoWan, Okinawa,
                  Japan, March 25-28, 2008},
  pages        = {756--761},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/WAINA.2008.179},
  doi          = {10.1109/WAINA.2008.179},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aina/HasanlouFMM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apscc/SaremiMM08,
  author       = {Fatemeh Saremi and
                  Hamid Mousavi and
                  Ali Movaghar},
  title        = {Performance Analysis of {SLTC} - {A} Stable Path, Low Overhead, Truthful
                  and Cost Efficient Routing Protocol in MANETs with Selfish Nodes},
  booktitle    = {Proceedings of the 3rd {IEEE} Asia-Pacific Services Computing Conference,
                  {APSCC} 2008, Yilan, Taiwan, 9-12 December 2008},
  pages        = {243--250},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/APSCC.2008.260},
  doi          = {10.1109/APSCC.2008.260},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apscc/SaremiMM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cit/HaroonabadiTM08,
  author       = {Ali Haroonabadi and
                  Mohammad Teshnehlab and
                  Ali Movaghar},
  title        = {A Novel Method for Modeling and Evaluation of Uncertain Information
                  Systems},
  booktitle    = {2008 International Conference on Information Technology, {ICIT} '08,
                  Bhubaneswar, India, December 17-20, 2008},
  pages        = {238--243},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICIT.2008.24},
  doi          = {10.1109/ICIT.2008.24},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cit/HaroonabadiTM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/NavidPourIM08,
  author       = {Sara NavidPour and
                  Mohammad Izadi and
                  Ali Movaghar},
  title        = {Live and Fair Constraint Automata and Their Linear Temporal Logic
                  of Steps},
  booktitle    = {Proceedings of the 32nd Annual {IEEE} International Computer Software
                  and Applications Conference, {COMPSAC} 2008, 28 July - 1 August 2008,
                  Turku, Finland},
  pages        = {211--218},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/COMPSAC.2008.130},
  doi          = {10.1109/COMPSAC.2008.130},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/NavidPourIM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csicc/GhassemiM08,
  author       = {Fatemeh Ghassemi and
                  Ali Movaghar},
  editor       = {Hamid Sarbazi{-}Azad and
                  Behrooz Parhami and
                  Seyed Ghassem Miremadi and
                  Shaahin Hessabi},
  title        = {Modeling Routing Protocols in Adhoc Networks},
  booktitle    = {Advances in Computer Science and Engineering - 13th International
                  {CSI} Computer Conference, {CSICC} 2008, Kish Island, Iran, March
                  9-11, 2008 Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {6},
  pages        = {419--426},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89985-3\_52},
  doi          = {10.1007/978-3-540-89985-3\_52},
  timestamp    = {Thu, 23 Jun 2022 19:54:33 +0200},
  biburl       = {https://dblp.org/rec/conf/csicc/GhassemiM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csicc/SaremiMMJ08,
  author       = {Fatemeh Saremi and
                  Hoda Mashayekhi and
                  Ali Movaghar and
                  Rasool Jalili},
  editor       = {Hamid Sarbazi{-}Azad and
                  Behrooz Parhami and
                  Seyed Ghassem Miremadi and
                  Shaahin Hessabi},
  title        = {{CEBAC:} {A} Decentralized Cooperation Enforcement Based Access Control
                  Framework in MANETs},
  booktitle    = {Advances in Computer Science and Engineering - 13th International
                  {CSI} Computer Conference, {CSICC} 2008, Kish Island, Iran, March
                  9-11, 2008 Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {6},
  pages        = {427--434},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89985-3\_53},
  doi          = {10.1007/978-3-540-89985-3\_53},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csicc/SaremiMMJ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csicc/MousaviM08,
  author       = {Hamid Mousavi and
                  Ali Movaghar},
  editor       = {Hamid Sarbazi{-}Azad and
                  Behrooz Parhami and
                  Seyed Ghassem Miremadi and
                  Shaahin Hessabi},
  title        = {Challenges in Using Peer-to-Peer Structures in Order to Design a Large-Scale
                  Web Search Engine},
  booktitle    = {Advances in Computer Science and Engineering - 13th International
                  {CSI} Computer Conference, {CSICC} 2008, Kish Island, Iran, March
                  9-11, 2008 Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {6},
  pages        = {461--468},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89985-3\_57},
  doi          = {10.1007/978-3-540-89985-3\_57},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csicc/MousaviM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csicc/MahdaviFM08,
  author       = {Mehrdad Mahdavi and
                  Rana Forsati and
                  Ali Movaghar},
  editor       = {Hamid Sarbazi{-}Azad and
                  Behrooz Parhami and
                  Seyed Ghassem Miremadi and
                  Shaahin Hessabi},
  title        = {Bandwidth-Delay Constrained Least Cost Multicast Routing for Multimedia
                  Communication},
  booktitle    = {Advances in Computer Science and Engineering - 13th International
                  {CSI} Computer Conference, {CSICC} 2008, Kish Island, Iran, March
                  9-11, 2008 Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {6},
  pages        = {737--740},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89985-3\_92},
  doi          = {10.1007/978-3-540-89985-3\_92},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csicc/MahdaviFM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icon/JourabbafM08,
  author       = {Narges Aghakazem Jourabbaf and
                  Ali Movaghar},
  title        = {{ID-NAC:} Identity-based network access control for MANETs},
  booktitle    = {Proceedings of the 16th International Conference on Networks, {ICON}
                  2008, December 12-14, 2008, held at India Habitat Centre, New Delhi,
                  India},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICON.2008.4772595},
  doi          = {10.1109/ICON.2008.4772595},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icon/JourabbafM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icon/KalantaryMG08,
  author       = {S. Kalantary and
                  Ali Movaghar and
                  A. A. Ghafarizade},
  title        = {A study on routing method in {P2P} networks},
  booktitle    = {Proceedings of the 16th International Conference on Networks, {ICON}
                  2008, December 12-14, 2008, held at India Habitat Centre, New Delhi,
                  India},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICON.2008.4772626},
  doi          = {10.1109/ICON.2008.4772626},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icon/KalantaryMG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icon/RobatmiliMMD08,
  author       = {Mohammad Robatmili and
                  Mehdi Mohammadi and
                  Ali Movaghar and
                  Mehdi Dehghan},
  title        = {Finding the sensors location and the number of sensors in sensor networks
                  with a genetic algorithm},
  booktitle    = {Proceedings of the 16th International Conference on Networks, {ICON}
                  2008, December 12-14, 2008, held at India Habitat Centre, New Delhi,
                  India},
  pages        = {1--3},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICON.2008.4772651},
  doi          = {10.1109/ICON.2008.4772651},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icon/RobatmiliMMD08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsnc/SabahiM08,
  author       = {Farzad Sabahi and
                  Ali Movaghar},
  title        = {Intrusion Detection: {A} Survey},
  booktitle    = {3rd International Conference on Systems and Networks Communications,
                  {ICSNC} 2008, Sliema, Malta, October 26-31, 2008},
  pages        = {23--26},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICSNC.2008.44},
  doi          = {10.1109/ICSNC.2008.44},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsnc/SabahiM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsnc/NickmaneshMR08,
  author       = {S. Nickmanesh and
                  Ali Movaghar and
                  F. Rookhosh},
  title        = {Performance Modeling of Fault Tolerant Fully Adaptive Wormhole Switching
                  2-D Meshes in Presence of Virtual Channels},
  booktitle    = {3rd International Conference on Systems and Networks Communications,
                  {ICSNC} 2008, Sliema, Malta, October 26-31, 2008},
  pages        = {109--114},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICSNC.2008.26},
  doi          = {10.1109/ICSNC.2008.26},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsnc/NickmaneshMR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ntms/AsudehM08,
  author       = {Abolfazl Asudeh and
                  Ali Movaghar},
  editor       = {Akshai Aggarwal and
                  Mohamad Badra and
                  Fabio Massacci},
  title        = {{MEHR:} Multi-Hop Energy-Aware Hierarchical Routing for Wireless Sensor
                  Networks},
  booktitle    = {{NTMS} 2008, 2nd International Conference on New Technologies, Mobility
                  and Security, November 5-7, 2008, Tangier, Morocco},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/NTMS.2008.ECP.60},
  doi          = {10.1109/NTMS.2008.ECP.60},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ntms/AsudehM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/GhassemiFM08,
  author       = {Fatemeh Ghassemi and
                  Wan J. Fokkink and
                  Ali Movaghar},
  editor       = {Antonio Cerone and
                  Stefan Gruner},
  title        = {Restricted Broadcast Process Theory},
  booktitle    = {Sixth {IEEE} International Conference on Software Engineering and
                  Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November
                  2008},
  pages        = {345--354},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/SEFM.2008.25},
  doi          = {10.1109/SEFM.2008.25},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/GhassemiFM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACISicis/Shirali-ShahrezaSM07,
  author       = {Sajad Shirali{-}Shahreza and
                  Mohammad Shirali{-}Shahreza and
                  Ali Movaghar},
  title        = {Restricted Access to Exam Grades on the Web by {HIP}},
  booktitle    = {6th Annual {IEEE/ACIS} International Conference on Computer and Information
                  Science {(ICIS} 2007), 11-13 July 2007, Melbourne, Australia},
  pages        = {967--971},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICIS.2007.158},
  doi          = {10.1109/ICIS.2007.158},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ACISicis/Shirali-ShahrezaSM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/accessnets/EffatParvarDMD07,
  author       = {Mehdi EffatParvar and
                  Mehdi Dehghan and
                  Ali Movaghar and
                  Amir Dareshorzadeh},
  editor       = {Jun Zheng and
                  Shiwen Mao},
  title        = {Reliable multicast routing with local recovery approach in Ad Hoc
                  Network},
  booktitle    = {2nd International {ICST} Conference on Access Networks, {ACCESSNETS}
                  2007, Ottawa, Canada, August 22-24, 2007},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/ACCESSNETS.2007.4447136},
  doi          = {10.1109/ACCESSNETS.2007.4447136},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/accessnets/EffatParvarDMD07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/IzadiMA07,
  author       = {Mohammad Izadi and
                  Ali Movaghar and
                  Farhad Arbab},
  title        = {Model Checking of Component Connectors},
  booktitle    = {31st Annual International Computer Software and Applications Conference,
                  {COMPSAC} 2007, Beijing, China, July 24-27, 2007. Volume 1},
  pages        = {673--675},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/COMPSAC.2007.153},
  doi          = {10.1109/COMPSAC.2007.153},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/IzadiMA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comsware/MousaviRM07,
  author       = {Hamid Mousavi and
                  Mohammad Ebrahim Rafiei and
                  Ali Movaghar},
  editor       = {Sanjoy Paul and
                  Henning Schulzrinne and
                  G. Venkatesh},
  title        = {Characterizing the Web Using a New Uniform Sampling Approach},
  booktitle    = {Proceedings of the Second International Conference on COMmunication
                  System softWAre and MiddlewaRE {(COMSWARE} 2007), January 7-12, 2007,
                  Bangalore, India},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/COMSWA.2007.382558},
  doi          = {10.1109/COMSWA.2007.382558},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/comsware/MousaviRM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/RafieiTMMJ07,
  author       = {Mohammad Ebrahim Rafiei and
                  Mohsen Taherian and
                  Hamid Mousavi and
                  Ali Movaghar and
                  Rasool Jalili},
  editor       = {Farhad Arbab and
                  Marjan Sirjani},
  title        = {Vulnerability Analysis in {VGBPS} Using Prolog},
  booktitle    = {International Symposium on Fundamentals of Software Engineering, International
                  Symposium, {FSEN} 2007, Tehran, Iran, April 17-19, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4767},
  pages        = {404--411},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75698-9\_28},
  doi          = {10.1007/978-3-540-75698-9\_28},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsen/RafieiTMMJ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/SharafiAM07,
  author       = {Sayed Mehran Sharafi and
                  Fereidoon Shams Aliee and
                  Ali Movaghar},
  editor       = {Farhad Arbab and
                  Marjan Sirjani},
  title        = {A Review on Specifying Software Architectures Using Extended Automata-Based
                  Models},
  booktitle    = {International Symposium on Fundamentals of Software Engineering, International
                  Symposium, {FSEN} 2007, Tehran, Iran, April 17-19, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4767},
  pages        = {423--431},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75698-9\_30},
  doi          = {10.1007/978-3-540-75698-9\_30},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsen/SharafiAM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnsc/Shirali-ShahrezaM07,
  author       = {Sajad Shirali{-}Shahreza and
                  Ali Movaghar},
  title        = {A New Anti-Spam Protocol Using {CAPTCHA}},
  booktitle    = {Proceedings of the {IEEE} International Conference on Networking,
                  Sensing and Control, {ICNSC} 2007, London, UK, 15-17 April 2007},
  pages        = {234--238},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICNSC.2007.372783},
  doi          = {10.1109/ICNSC.2007.372783},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icnsc/Shirali-ShahrezaM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobiwac/HaghpanahAKM07,
  author       = {Nima Haghpanah and
                  Masoud Akhoondi and
                  Mehdi Kargar and
                  Ali Movaghar},
  editor       = {Albert Y. Zomaya and
                  Sherali Zeadally},
  title        = {Trusted secure routing for ad hoc networks},
  booktitle    = {Proceedings of the Fifth {ACM} International Workshop on Mobility
                  Management {\&} Wireless Access, {MOBIWAC} 2007, Chania, Crete
                  Island, Greece, October 22, 2007},
  pages        = {176--179},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1298091.1298123},
  doi          = {10.1145/1298091.1298123},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mobiwac/HaghpanahAKM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scsc/JaliliMS07,
  author       = {Saina Jalili and
                  Ali Movaghar and
                  Maryam Sadrmousavi},
  editor       = {Gabriel A. Wainer},
  title        = {An improved replacement algorithm in fault-tolerant meshes},
  booktitle    = {Proceedings of the 2007 Summer Computer Simulation Conference, {SCSC}
                  2007, San Diego, California, USA, July 16-19, 2007},
  pages        = {443--448},
  publisher    = {Simulation Councils, Inc.},
  year         = {2007},
  url          = {https://dl.acm.org/citation.cfm?id=1357980},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scsc/JaliliMS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/IzadiM07,
  author       = {Mohammad Izadi and
                  Ali Movaghar},
  editor       = {Arnd Poetzsch{-}Heffter},
  title        = {Compositional failure-based semantic equivalences for Reo specifications},
  booktitle    = {Proceedings of the 2007 Conference Specification and Verification
                  of Component-Based Systems, {SAVCBS} 2007, Dubrovnik, Croatia, September
                  3-4, 2007},
  pages        = {99--100},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1292316.1292329},
  doi          = {10.1145/1292316.1292329},
  timestamp    = {Tue, 01 Feb 2022 10:45:16 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/IzadiM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/IzadiM09,
  author       = {Mohammad Izadi and
                  Ali Movaghar},
  editor       = {Michael Goldsmith and
                  Bill Roscoe},
  title        = {Compositional Failure-based Equivalence of Constraint Automata},
  booktitle    = {Proceedings of the Seventh International Workshop on Automated Verification
                  of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {250},
  number       = {1},
  pages        = {105--122},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2009.08.008},
  doi          = {10.1016/J.ENTCS.2009.08.008},
  timestamp    = {Fri, 24 Feb 2023 13:48:46 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/IzadiM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/KargahiM06,
  author       = {Mehdi Kargahi and
                  Ali Movaghar},
  title        = {A Method for Performance Analysis of Earliest-Deadline-First Scheduling
                  Policy},
  journal      = {J. Supercomput.},
  volume       = {37},
  number       = {2},
  pages        = {197--222},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11227-006-5944-2},
  doi          = {10.1007/S11227-006-5944-2},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tjs/KargahiM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/broadnets/AtaieM06,
  author       = {Ehsan Ataie and
                  Ali Movaghar},
  title        = {Performance Evaluation of Mobile Ad Hoc Networks In the Presence of
                  Energy-based Selfishness},
  booktitle    = {3rd International Conference on Broadband Communications, Networks,
                  and Systems {(BROADNETS} 2006), 1-5 October 2006, San Jos{\'{e}},
                  California, {USA}},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/BROADNETS.2006.4374408},
  doi          = {10.1109/BROADNETS.2006.4374408},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/broadnets/AtaieM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsea/AzgomiM06,
  author       = {Mohammad Abdollahi Azgomi and
                  Ali Movaghar},
  title        = {Efficient Evaluation of {CSAN} Models by State Space Analysis Methods},
  booktitle    = {Proceedings of the International Conference on Software Engineering
                  Advances {(ICSEA} 2006), October 28 - November 2, 2006, Papeete, Tahiti,
                  French Polynesia},
  pages        = {57},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ICSEA.2006.261313},
  doi          = {10.1109/ICSEA.2006.261313},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsea/AzgomiM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsea/AzgomiM06a,
  author       = {Mohammad Abdollahi Azgomi and
                  Ali Movaghar},
  title        = {Modeling and Evaluation of Software Systems with Object Stochastic
                  Activity Networks},
  booktitle    = {Proceedings of the International Conference on Software Engineering
                  Advances {(ICSEA} 2006), October 28 - November 2, 2006, Papeete, Tahiti,
                  French Polynesia},
  pages        = {58},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ICSEA.2006.261314},
  doi          = {10.1109/ICSEA.2006.261314},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsea/AzgomiM06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/JaghooriMS06,
  author       = {Mohammad Mahdi Jaghoori and
                  Ali Movaghar and
                  Marjan Sirjani},
  editor       = {Hisham Haddad},
  title        = {Modere: the model-checking engine of Rebeca},
  booktitle    = {Proceedings of the 2006 {ACM} Symposium on Applied Computing (SAC),
                  Dijon, France, April 23-27, 2006},
  pages        = {1810--1815},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1141277.1141704},
  doi          = {10.1145/1141277.1141704},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/JaghooriMS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/SirjaniMSB05,
  author       = {Marjan Sirjani and
                  Ali Movaghar and
                  Amin Shali and
                  Frank S. de Boer},
  title        = {Model Checking, Automated Abstraction, and Compositional Verification
                  of Rebeca Models},
  journal      = {J. Univers. Comput. Sci.},
  volume       = {11},
  number       = {6},
  pages        = {1054--1082},
  year         = {2005},
  url          = {https://doi.org/10.3217/jucs-011-06-1054},
  doi          = {10.3217/JUCS-011-06-1054},
  timestamp    = {Thu, 07 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jucs/SirjaniMSB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/SirjaniBM05,
  author       = {Marjan Sirjani and
                  Frank S. de Boer and
                  Ali Movaghar{-}Rahimabadi},
  title        = {Modular Verification of a Component-Based Actor Language},
  journal      = {J. Univers. Comput. Sci.},
  volume       = {11},
  number       = {10},
  pages        = {1695--1717},
  year         = {2005},
  url          = {https://doi.org/10.3217/jucs-011-10-1695},
  doi          = {10.3217/JUCS-011-10-1695},
  timestamp    = {Thu, 07 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jucs/SirjaniBM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/Movaghar-Rahimabadi05,
  author       = {Ali Movaghar{-}Rahimabadi},
  title        = {Optimal control of parallel queues with impatient customers},
  journal      = {Perform. Evaluation},
  volume       = {60},
  number       = {1-4},
  pages        = {327--343},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.peva.2004.10.016},
  doi          = {10.1016/J.PEVA.2004.10.016},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pe/Movaghar-Rahimabadi05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simpra/AzgomiM05,
  author       = {Mohammad Abdollahi Azgomi and
                  Ali Movaghar},
  title        = {A modelling tool for hierarchical stochastic activity networks},
  journal      = {Simul. Model. Pract. Theory},
  volume       = {13},
  number       = {6},
  pages        = {505--524},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.simpat.2005.01.004},
  doi          = {10.1016/J.SIMPAT.2005.01.004},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/simpra/AzgomiM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/SirjaniBMS05,
  author       = {Marjan Sirjani and
                  Frank S. de Boer and
                  Ali Movaghar and
                  Amin Shali},
  title        = {Extended Rebeca: {A} Component-Based Actor Language with Synchronous
                  Message Passing},
  booktitle    = {Fifth International Conference on Application of Concurrency to System
                  Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
  pages        = {212--221},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/ACSD.2005.12},
  doi          = {10.1109/ACSD.2005.12},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/SirjaniBMS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csa/ParvareshKM05,
  author       = {Afshin Parvaresh and
                  Mohammed I. Kalantari and
                  Ali Movaghar{-}Rahimabadi},
  editor       = {Abraham O. Fapojuwo},
  title        = {An Artificial Intelligent {CAC} Scheme for Self-Similar Traffic using
                  Fuzzy Case based Reasoning},
  booktitle    = {The {IASTED} International Conference on Communication Systems and
                  Applications, Banff, Alberta, Canada, July 19-21, 2005},
  pages        = {197--204},
  publisher    = {{IASTED/ACTA} Press},
  year         = {2005},
  timestamp    = {Fri, 28 Apr 2006 13:05:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csa/ParvareshKM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/JaghooriSMM05,
  author       = {Mohammad Mahdi Jaghoori and
                  Marjan Sirjani and
                  Mohammad Reza Mousavi and
                  Ali Movaghar},
  editor       = {Goutam Chakraborty},
  title        = {Efficient Symmetry Reduction for an Actor-Based Model},
  booktitle    = {Distributed Computing and Internet Technology, Second International
                  Conference, {ICDCIT} 2005, Bhubaneswar, India, December 22-24, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3816},
  pages        = {494--507},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11604655\_56},
  doi          = {10.1007/11604655\_56},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcit/JaghooriSMM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/KargahiM05,
  author       = {Mehdi Kargahi and
                  Ali Movaghar},
  title        = {Non-Preemptive Earliest-Deadline-First Scheduling Policy: {A} Performance
                  Study},
  booktitle    = {13th International Symposium on Modeling, Analysis, and Simulation
                  of Computer and Telecommunication Systems {(MASCOTS} 2005), 27-29
                  September 2005, Atlanta, GA, {USA}},
  pages        = {201--210},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/MASCOTS.2005.44},
  doi          = {10.1109/MASCOTS.2005.44},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mascots/KargahiM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/IzadiM05,
  author       = {Mohammad Izadi and
                  Ali Movaghar{-}Rahimabadi},
  editor       = {William C. Chu and
                  Natalia Juristo Juzgado and
                  W. Eric Wong},
  title        = {An Efficient Model Checking Algorithm for a Fragment of {\(\mathrm{\mu}\)}-Calculus},
  booktitle    = {Proceedings of the 17th International Conference on Software Engineering
                  and Knowledge Engineering (SEKE'2005), Taipei, Taiwan, Republic of
                  China, July 14-16, 2005},
  pages        = {392--395},
  year         = {2005},
  timestamp    = {Thu, 12 Mar 2020 11:30:49 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/IzadiM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KamandiAM06,
  author       = {Ali Kamandi and
                  Mohammad Abdollahi Azgomi and
                  Ali Movaghar},
  editor       = {Farhad Arbab and
                  Marjan Sirjani},
  title        = {Transformation of {UML} Models into Analyzable {OSAN} Models},
  booktitle    = {Proceedings of the First {IPM} International Workshop on Foundations
                  of Software Engineering, {FSEN} 2005, Tehran, Iran, October 1-3, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {159},
  pages        = {3--22},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.12.059},
  doi          = {10.1016/J.ENTCS.2005.12.059},
  timestamp    = {Thu, 15 Dec 2022 16:21:31 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KamandiAM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/IzadiM06,
  author       = {Mohammad Izadi and
                  Ali Movaghar{-}Rahimabadi},
  editor       = {Farhad Arbab and
                  Marjan Sirjani},
  title        = {An Equivalence Based Method for Compositional Verification of the
                  Linear Temporal Logic of Constraint Automata},
  booktitle    = {Proceedings of the First {IPM} International Workshop on Foundations
                  of Software Engineering, {FSEN} 2005, Tehran, Iran, October 1-3, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {159},
  pages        = {171--186},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.12.068},
  doi          = {10.1016/J.ENTCS.2005.12.068},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/IzadiM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/SirjaniMSB04,
  author       = {Marjan Sirjani and
                  Ali Movaghar and
                  Amin Shali and
                  Frank S. de Boer},
  title        = {Modeling and Verification of Reactive Systems using Rebeca},
  journal      = {Fundam. Informaticae},
  volume       = {63},
  number       = {4},
  pages        = {385--410},
  year         = {2004},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi63-4-05},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/SirjaniMSB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/SirjaniSJIM04,
  author       = {Marjan Sirjani and
                  Amin Shali and
                  Mohammad Mahdi Jaghoori and
                  Hamed Iravanchi and
                  Ali Movaghar},
  title        = {A Front-End Tool for Automated Abstraction and Modular Verification
                  of Actor-Based Models},
  booktitle    = {4th International Conference on Application of Concurrency to System
                  Design {(ACSD} 2004), 16-18 June 2004, Hamilton, Canada},
  pages        = {145--150},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/CSD.2004.1309125},
  doi          = {10.1109/CSD.2004.1309125},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/SirjaniSJIM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/KargahiM04,
  author       = {Mehdi Kargahi and
                  Ali Movaghar{-}Rahimabadi},
  title        = {A Method for Performance Analysis of Earliest-Deadline-First Scheduling
                  Policy},
  booktitle    = {2004 International Conference on Dependable Systems and Networks {(DSN}
                  2004), 28 June - 1 July 2004, Florence, Italy, Proceedings},
  pages        = {826--834},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/DSN.2004.1311953},
  doi          = {10.1109/DSN.2004.1311953},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/KargahiM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AzgomiM04,
  author       = {Mohammad Abdollahi Azgomi and
                  Ali Movaghar{-}Rahimabadi},
  title        = {Modeling and Evaluation with Object Stochastic Activity Networks},
  booktitle    = {1st International Conference on Quantitative Evaluation of Systems
                  {(QEST} 2004), 27-30 September 2004, Enschede, The Netherlands},
  pages        = {326--327},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/QEST.2004.1348050},
  doi          = {10.1109/QEST.2004.1348050},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/AzgomiM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/Movaghar03,
  author       = {Ali Movaghar},
  title        = {On Dynamic Assignment of Impatient Customers to Parallel Queues},
  booktitle    = {2003 International Conference on Dependable Systems and Networks {(DSN}
                  2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings},
  pages        = {751--759},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/DSN.2003.1209990},
  doi          = {10.1109/DSN.2003.1209990},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/Movaghar03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/SirjaniMIJS03,
  author       = {Marjan Sirjani and
                  Ali Movaghar and
                  Hamed Iravanchi and
                  Mohammad Mahdi Jaghoori and
                  Amin Shali},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun},
  title        = {Model Checking in Rebeca},
  booktitle    = {Proceedings of the International Conference on Parallel and Distributed
                  Processing Techniques and Applications, {PDPTA} '03, June 23 - 26,
                  2003, Las Vegas, Nevada, USA, Volume 4},
  pages        = {1819--1822},
  publisher    = {{CSREA} Press},
  year         = {2003},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pdpta/SirjaniMIJS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdcs/AzgomiM02,
  author       = {Mohammad Abdollahi Azgomi and
                  Ali Movaghar},
  editor       = {Selim G. Akl and
                  Teofilo F. Gonzalez},
  title        = {An Introduction to New Extensions for Stochastic Activity Networks},
  booktitle    = {International Conference on Parallel and Distributed Computing Systems,
                  {PDCS} 2002, November 4-6, 2002, Cambridge, {USA}},
  pages        = {405--410},
  publisher    = {{IASTED/ACTA} Press},
  year         = {2002},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pdcs/AzgomiM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/SirjaniM02,
  author       = {Marjan Sirjani and
                  Ali Movaghar},
  editor       = {Hamid R. Arabnia},
  title        = {Simulation in Rebeca},
  booktitle    = {Proceedings of the International Conference on Parallel and Distributed
                  Processing Techniques and Applications, {PDPTA} '02, June 24 - 27,
                  2002, Las Vegas, Nevada, USA, Volume 2},
  pages        = {923--926},
  publisher    = {{CSREA} Press},
  year         = {2002},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pdpta/SirjaniM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/questa/Movaghar98,
  author       = {Ali Movaghar},
  title        = {On queueing with customer impatience until the beginning of service},
  journal      = {Queueing Syst. Theory Appl.},
  volume       = {29},
  number       = {2-4},
  pages        = {337--350},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1019196416987},
  doi          = {10.1023/A:1019196416987},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/questa/Movaghar98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Movaghar85,
  author       = {Ali Movaghar{-}Rahimabadi},
  title        = {Performability Modeling with Stochastic Activity Networks},
  school       = {University of Michigan, {USA}},
  year         = {1985},
  url          = {https://hdl.handle.net/2027.42/160702},
  timestamp    = {Thu, 12 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/us/Movaghar85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/MeyerMS85,
  author       = {John F. Meyer and
                  Ali Movaghar and
                  William H. Sanders},
  title        = {Stochastic Activity Networks: Structure, Behavior, and Application},
  booktitle    = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
                  1985},
  pages        = {106--115},
  publisher    = {{IEEE} Computer Society},
  year         = {1985},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pnpm/MeyerMS85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics