
Laboratory: Performance and Dependability Laboratory
(PDL) Curriculum Vita
(as of Jan. 2019)
Ph.D. in Computer, Information and Control Engineering, The University of Michigan, Ann Arbor, MI, USA, 1985. M.S. in Computer, Information and Control Engineering, The University of Michigan, Ann Arbor, MI, USA, 1979. B.S. in Electrical Engineering, University of Tehran, Tehran, Iran, 1977.
October 2015  November 2017: Dean of International Affairs, Sharif University of Technology, Tehran, Iran. May 2015  November 2015: Chair, Information Technology Division, Department of Computer Engineering, Sharif University of Technology, Tehran, Iran. October 2012  October 2014: Chair, Software Division, Department of Computer Engineering, Sharif University of Technology, Tehran, Iran. January 2011  August 2011: On sabbatical Leave in the Department of Electrical Engineering and Computer Science, University of California, Irvine, USA. 20092011: Chair, Information Technology Division, Department of Computer Engineering, Sharif University of Technology, Tehran, Iran. 20072008: Dean of Graduate Studies, School of Science and Engineering, International Campus of Sharif University of Technology at Kish Island, Persian Gulf, Iran. 20022006: Chair, Graduate Committee,
Department of Engineering, Sharif University of Technology, Tehran, Iran.
1. Performance and Dependability Modeling 2. Formal Verification 3. Wireless and Mobile Networks 4. Distributed RealTime Systems 5. CyberPhysical Systems
· Member of Editorial Board, Queueing Models and Service Management (QMSM) · Member of Editorial Board, International Journal of Information Communication Technology (IJICT) · Member of Editorial Board, journal
of AI and Data Mining (JADM) · EditorinChief, Journal of Computer and Robotics (JCR) · EditorinChief, Journal of Advances in Computer Research (JACR)
Journal/Electronic Notes papers 1. S. Rezaei, M. Gharib
and A. Movaghar, Throughput
Analysis of IEEE 802.11 Multihop Wireless Networks with Routing
Consideration: A General Framework, to appear in the
IEEE Transactions on Communications. 2. S. Fakhrolmobasheri, E. Ataie
and A. Movaghar, Modeling
and Evaluation of PowerAware Software Rejuvenation in Cloud
Systems,
to appear in Algorithms. 3. M. Askarnejad, M. Malekimajd
and A. Movaghar, Network and ApplicationAware
Cloud Service Selection in PeerAssisted Environments, to
appear in IEEE Transactions on Cloud Computing. 4. R. Ghafouri, A. Movaghar
and M. Mohsenzadeh, Timecost efficient scheduling algorithms for
executing workflow in infrastructure as a service clouds, to appear in the Wireless Personal Communications. 5. Z. Shariat,
A. Movaghar and M. Hoseinzadeh,
TSRN: A Tabu SearchBased Routing Protocol for Named Data
Networking, to appear in the Wireless Personal
Communications. 6. M. Ahmadnia, A. Movaghar
and A.M. Rahmani, OntologyBased
Modelling and Information Extracting of Physical entities in Semantic Sensor
Networks, to appear in IETE Journal of Research. 7. M. Gharib,
H. Yousefzadeh and A. Movaghar,
A
Secure Overlay Routing for Large Scale Networks, to appear in the IEEE Transactions on Network
Science and Engineering. 8. R. EntezariMaleki, S.E. Etesami, N. Ghorbani, A.A. Niaki, L. Sousa, and A. Movaghar, Modeling and Evaluation of Service Composition in
Commercial MultiClouds using Timed Colored Petri Nets,
to appear in the IEEE Transactions on Systems, Man, and Cybernetics: Systems. 9. E. Ataie, R. EntezariMaleki,
L. Rashidi, K. S. Trivedi, D. Ardagna,
and A. Movaghar, Hierarchical
Stochastic Models for Performance, Availability, and Power Consumption
Analysis of IaaS Clouds,
to appear in the IEEE Transactions on Cloud Computing. 10. M. Malekimajd and A. Movaghar, Minimizing data access latencies for virtual machine assignment in
cloud systems, to appear in the IEEE Transactions on
Service Computing. 11. M. Golkarifard, J. Yang, Z. Huang, A. Movaghar and P. Hui, Dandelion: A Unified Code Offloading System for Wearable
Computing, IEEE Transactions on Mobile Computing, Vol.
18, No. 3, pp. 546559, March 2019. 12. R. Ghafouri, A. Movaghar
and M. Mohsenzadeh, A budget constrained scheduling algorithm for
executing workflow application in infrastructure as a service clouds,
PeertoPeer Networking and Applications, Vol. 12, No. 1, pp. 241248,
January 2019. 13. M. Nikravan,
A. Movaghar and M. Hosseinzadeh,
A Lightweight Signcryption
Scheme for Defense Against Fragment Duplication Attack in the 6LoWPAN
Networks,
PeertoPeer Networking and Applications, Vol.
12, No. 1, pp. 209  226, January 2019. 14. M. Ebrahimi, G. Sotudeh
and A. Movaghar, Symbolic Checking of Fuzzy CTL on Fuzzy Program
Graph, Acta Informatica, Vol. 56, No. 1, pp. 133, 2019. 15. S. Bagholizadeh, A. Movaghar
and N. Majidi, A UniformizationBased Algorithm
for ContinuousTime Stochastic Games Model Checking,
Theoretical Computer Science, Vol. 756, pp. 118, January 2019. 16. M.
Habibi, M. Fazli and A. Movaghar, Efficient distribution of requests in
federated cloud computing environments utilizing statistical multiplexing, Future Generation Comp.
Syst., Vol. 90, pp. 451460, 2019. 17. M. Gharib, M. Malekimajd
and A. Movaghar, SlopCloud:An
Efficient Solution for Locality problem in PeertoPeer Cloud Systems,
Algorithms, Vol. 11, No. 10, 150, 2018. 18. S. Fakhrolmobasheri, E. Ataie
and A. Movaghar, Modeling and Evaluation of PowerAware Software
Rejuvenation in Cloud Systems, Algorithms, Vol. 11,
No. 10, 160, 2018. 19. M. Ahmadnia, A. Movaghar
and A.M. Rahmani, Semantic Data Gathering of Physical Entities in
Semantic Sensor Networks Using Software Agents, Information Technology and Control, Vol. 47,
No. 2, pp. 167183, 2018. 20. R. Grosu, E. Ghalebi,
A. Movaghar and H. Mahyar,
Compressed
Sensing in Cyber Physical Social Systems, Principle of
Modeling, pp. 287305, 2018. 21. M. Bagheri, M. Sirjani,
E. Khamespanah, N. Khakpour,
I. Akkaya, A. Movaghar
and E.A. Lee, Coordinated Actor Model for Selfadaptive
Trackbased Traffic Control Systems, Journal of
Systems and Software, Vol. 143, pp. 116139, Sept. 2018. 22. A.
DehlaghiGhadim, R. EntezariMaleki,
and A. Movaghar, CostEfficient
Scheduling for Deadline Constrained Grid Workflows, Computing and
Informatics, Vol. 37, No. 4, pp. 838864, 2018. 23. R. EntezariMaleki, M. Gharib, M. Khosravi and A. Movaghar, IDS
Modeling and Security Evaluation in WANETs using Stochastic Models, International
Journal of Ad Hoc and Ubiquitous Computing, Vol. 27, No. 3, pp. 171186,
2018. 24. R.
EntezariMaleki, K. S. Trivedi, L. Sousa, and A. Movaghar, PerformabilityBased Workflow Scheduling in Grids, The Computer
Journal, Vol. 61, No. 10, pp. 14791495, Oct. 2018. 25. H. Mahyar, R. Hasheminezhad, E. Ghalebi, A. Nazemian, R. Grosu, A. Movaghar, and H.R. Rabiee, Compressive Sensing of High Betweenness
Centrality Nodes in Networks, Physica A: Statistical Mechanics and its Applications,
Vol. 497, No. 8, pp. 166  184, May 2018. 26. H. Mahyar, R. Hasheminezhad, E. Ghalebi, A. Nazemian, R. Grosu, A. Movaghar, and H.R. Rabiee, Identifying Central Nodes for Information Flow in
Social Networks using Compressive Sensing, Soc. Netw.
Anal. Min.,
Vol. 33, No. 8, pp. 1 24, March 2018. 27. E. Ataie, R. EntezariMaleki,
S.E. Etesami, B. Egger, D. Ardagna,
and A. Movaghar, Poweraware Performance Analysis of SelfAdaptive
Resource Management in IaaS Clouds, Future
Generation Computer Systems (FGCS), Vol. 86, pp. 134144, March 2018. 28. M. Nikravan,
A. Movaghar and M. Hosseinzadeh,
A Lightweight Defense Approach to Mitigate Version
Number and Rank Attacks in LowPower and Lossy
Networks, Wireless Personal Communications, Vol. 99, No. 2, pp. 1035
 1059, March 2018. 29. M. Bagheri, E. Khamespanah, N. Khakpour, M. Sirjani, A. Movaghar, and E.A.
Lee, Runtime compositional analysis of trackbased
traffic control systems, SIGBED Review, Vol. 14, No. 3, pp. 3839, 2017. 30. R. EntezariMaleki,
L. Sousa, and A. Movaghar, Performance and
Power Modeling and Evaluation of Virtualized Servers in IaaS Clouds, Information Sciences, Vol. 394395, pp.106122, July 2017. 31. S.M. Taheri, H. Mahyar, M. Firouzi, E. Ghalebi, R. Grosu and A. Movaghar, Hellrank: a Hellingerbased centrality measure for
bipartite social networks, Soc. Netw. Anal.
Min., Vol. 22, No. 7, pp. 1 16, May 2017. 32. Z. Shariat,
A. Movaghar and M. Hoseinzadeh,
A learning automata and
clusteringbased routing protocol for named data networking, Telecommunication Systems, Vol. 65, Issue 1, pp.929, May
2017. 33. R.
EntezariMaleki, M. Bagheri,
S. Mehri, and A. Movaghar,
Performance Aware Scheduling Considering Resource
Availability in Grid Computing, Engineering with
Computers, Vol.33, No. 2, pp.191206, April 2017. 34. M. Gharib, Z. Moradlou; M.A. Doostari, and A. Movaghar, Fully Distributed ECCbased Key Management for
Mobile Ad Hoc Networks, Computer Networks, vol.
113, no. , pp. 269283, Feb 2017. 35. M. Hatamian,
H. Barati, A. Movaghar
and N. Naghizadeh, CGC:
centralized geneticbased clustering protocol for wireless sensor networks
using onion approach,
Telecommunication Systems, Vol. 62, No. 3, pp. 611623, 2016. 36. M. Gharib,
H. Yousefzadeh and A. Movaghar,
A Survey of Key PreDistribution and Overlay
Routing in Unstructured Wireless Networks, Scientia Iranica, Vol. 23, No.
6, pp. 28312844, Oct. 2016. 37. M. Gharib,
H. Yousefzadeh and A. Movaghar,
Secure Overlay Routing Using Key PreDistribution:
A Linear Distance Optimization Approach, IEEE
Transactions on Mobile Computing, vol. 15, no. 9, pp. 2333
2344, Sept. 2016. 38. A. Barati,
A. Movaghar and M. Sabaii,
RDTP: reliable data transport protocol in wireless sensor
networks, Telecommunication
Systems, Vol. 62, No. 3, pp. 611623, 2016. 39. H. Yousefi,
M. Malekimajd, M. Ashuri
and A. Movaghar, Fast Aggregation
Scheduling in Wireless Sensor Networks, IEEE
Transactions on Wireless Communications, Vol. 14, No. 6, pp. 3402  3414,
2015. 40. M.E. Esmaili,
R. EntezariMaleki and A. Movaghar,
Improved RegionBased TCTL Model Checking of Time Petri
Nets, JCSE, Vol. 9, No. 1, pp. 919, 2015. 41. M. Ashouri,
H. Yousefi, J. Basiri,
A.M.A. Hemmatyar and A. Movaghar,
PDC: Predictionbased dataaware clustering in wireless sensor networks, J. Parallel Distrib. Comput., Vol. 8182, pp. 2435, 2015. 42. M. Malekimajd,
A. Movaghar and S. Hosseini Motlagh,
Minimizing latency in geodistributed clouds, The Journal of Supercomputing, Vol. 71, No. 12, pp.
44234445, 2015. 43. H. Barati,
A. Movaghar and A. M. Rahmani,
EACHP: Energy Aware Clustering Hierarchy Protocol for Large
Scale Wireless Sensor Networks,
Wireless Personal Communications, Vol. 85, No. 3, pp. 765789, 2015. 44. R. EntezariMaleki,
K.S. Trivedi and A. Movaghar, Performability Evaluation of Grid Environments
using Stochastic Reward Nets, IEEE Transactions on Dependable and Secure Computing
(TDSC), Vol. 12, No. 2, pp. 204216, 2015. 45. S. Aliakbary,
J. Habibi and A. Movaghar,
Feature Extraction from Degree
Distribution for Comparison and Analysis of Complex Networks, The Computer Journal, Oxford University Press, Vol. 58, Issue 9, pp.
20792091, 2015. 46. S. Aliakbary,
S. Motallebi, S. Rashidian,
J. Habibi, and A. Movaghar,
Towards a SizeIndependent Distance Metric for
Topological Comparison of Complex Networks, Chaos: An Interdisciplinary Journal of Nonlinear Science,
Vol. 25, No. 2, 2015, http://dx.doi.org/10.1063/1.4908605. 47. S. Aliakbary,
S. Motallebi, S. Rashidian,
J. Habibi, and A. Movaghar,
NoiseTolerant
Model Selection and Parameter Estimation for Complex Networks,
Physica A: Statistical Mechanics and its Applications, Vol. 427,
pp.100 112, June 2015. 48. G. Sotudeh and A. Movaghar, Abstraction and approximation in fuzzy temporal
logics and models, Formal Aspects of Computing (FAC), Vol. 27,
Issue 2, pp. 309334, Nov. 2014. 49. R. EntezariMaleki, A. Mohammadkhan, H.Y. Yeom and A. Movaghar, Combined Performance and Availability Analysis of
Distributed Resources in Grid Computing,
The Journal of Supercomputing, Vol. 69, No. 2, pp.
827844, 2014. 50. M. Mohaqeqi,
M. Kargahi
and A. Movaghar, Analytical LeakageAware Thermal Modeling of a
RealTime System, IEEE
Transactions on Computers (TC), Vol. 63, No. 6, pp. 13771391, June 2014. 51. S. KardaniMoghaddam, R. EntezariMaleki and A. Movaghar,
A Cost Efficient Twolevel Market Model for Task
Scheduling Problem in Grid Environment, Iranian Journal of Science & Technology, Transactions
of Electrical Engineering, Vol. 38, No. 1, pp. 7390, 2014. 52. A. Barati,
A. Movaghar, M. Sabaei, Energy Efficient and High Speed Error Control Scheme
for Real Time Wireless Sensor Networks, International
Journal of Distributed Sensor Networks, Vol. 2014,
Article ID 698125, 9 pages, 2014. doi:10.1155/2014/698125. 53. S. Adabi, A.
Movaghar, A.M. Rahmani,
H. Beigy and H. DastmalchyTabrizi, A new fuzzy negotiation protocol for grid resource
allocation,
Elsevier Journal of Network and Computer Applications, Vol. 37, No. 1, pp.
89126, January 2014. 54. S. Adabi, A.
Movaghar and A.M. Rahmani, Bilevel fuzzy based advanced reservation of cloud
workflow applications on distributed grid resources, The Journal of Supercomputing, Vol. 67, No. 1, pp. 175218,
January 2014. 55. F. Ghods, H.
Yousefi and A. Movaghar, MCMLAS:
MultiChannel Minimum Latency Aggregation Scheduling in Wireless Sensor
Networks, Computer
Networks, Vol. 57, Issue 18, pp. 38123825, December 2013. 56. S. Adabi, A.
Movaghar, A.M. Rahmani
and H. Beigy, Negotiation
strategies considering market, time and behavior functions for resource
allocation in computational grid, The
Journal of Supercomputing, Vol. 66, No. 3, pp. 13501389, December 2013. 57. S. Adabi, A.
Movaghar, A.M. Rahmani
and H. Beigy, Marketbased Grid Resource Allocation using New
Negotiation Model, Elsevier Journal of Network and
Computer Applications, Vol. 36, No. 1, pp. 543565, January 2013. 58. H. Motallebi,
M. Abdollahi Azgomi, M.
S. Mirzaei and A. Movaghar, A New Extension of Activity Networks for Modeling
and Verification of Timed Systems, Turkish Journal of Electrical Engineering & Computer
Sciences (TJEECS), Vol. 21, pp. 17511779, 2013. 59. A. Balador,
A. Movaghar, S. Jabbehdari,
D. Kanellopoulos, A Novel Contention Window Control Scheme for IEEE
802.11 WLANs, IETE Technical Review, Vol. 29, Issue 3, pp. 202212,
MayJune 2012. 60. H. Yousefi,
M.H. Yeganeh, N. Alinaghipour,
A. Movaghar, Structurefree Realtime Data Aggregation in Wireless
Sensor Networks, Elsevier Journal of Computer Communications (COMCOM 12),
Vol. 35, No. 9, pp. 11321140, 2012. 61. N. Tabbaa,
R. EntezariMaleki, and A. Movaghar,
Reduced Communications Fault Tolerant Task Scheduling
Algorithm for Multiprocessor Systems, Procedia Engineering, Vol. 29, pp. 38203825, 2012. 62. S. KardaniMoghaddam,
F. Khodadadi, R. EntezariMaleki,
and A. Movaghar, A Hybrid Genetic Algorithm and Variable Neighborhood
Search for Task Scheduling Problem in Grid Environment, Procedia Engineering, Vol. 29, pp. 38083814, 2012. 63. R. EntezariMaleki
and A. Movaghar, A Probabilistic Task Scheduling Method for Grid
Environments, Future Generation Computer Systems (FGCS), Vol. 28, pp.
513524, 2012. 64. M. Malekimajd,
M.R. HoseinyFarahabady, A. Movaghar
and H. SarbaziAzad, Pancyclicity of OTIS (Swapped) Networks based on properties of the
factor graph,
Information Processing Letters, Vol. 111, No. 2324, pp. 11141119, December
2011. 65. M. Kargahi
and A. Movaghar, Performance Optimization Based on Analytical Modeling
in a RealTime System with Constrained Time/Utility Functions, IEEE Transactions on Computers (TC), Vol. 60, No. 8, pp.
11691181, August 2011. 66. F. Ghassemi,
W. Fokkink and A. Movaghar,
Verification of Mobile Ad Hoc Networks: An Algebraic
Approach, Theoretical
Computer Science, Vol. 412, No. 28, pp. 32623282, June 2011. 67. R. EntezariMaleki
and A. Movaghar, A Genetic Algorithm to Increase the Throughput of the
Computational Grids, International Journal of Grid and
Distributed Computing (IJGDC), Vol. 4, No. 2, pp 1124, June 2011. 68. A. Movaghar, Analysis of a Dynamic Assignment of Impatient
Customers to Parallel Queues, Queueing Systems, Vol. 67,
No. 3, pp. 251273, 2011. 69. E. Heidari
and A. Movaghar, An Efficient Method Based on Genetic Algorithms to
Solve Sensor Network Optimization Problem, International Journal on Applications of
Graph Theory in Wireless Ad hoc Networks and Sensor Networks (GRAPHHOC),
Vol. 3, No. 1, pp. 1833, March 2011. 70. T. Shafiei,
M.R. HoseinyFarahabady, A. Movaghar
and H. SarbaziAzad, On pancyclicity properties of
OTISmesh ,
Information Processing Letters, Vol. 111, No. 8, pp. 353359, March 2011. 71. F. Ghassemi,
W. Fokkink and A. Movaghar, Equational Reasoning on Mobile Ad Hoc Networks,
Fundamenta Informaticae,
Vol. 105, No. 4, 2010. 72. A. Balador,
A. Movaghar, S. Jabbehdari, Efficient Contention Window Control with TwoElement
Array, Journal of Computing (JoS),
Vol. 2, No. 8, pp. 1318, 2010. 73. A. Balador,
M. Ghasemivand, A. Movaghar,
S. Jabbehdari, An Adaptive Contention Window Control for Improving DCF
Throughput and Fairness,
European Jornal of Scientific Research (EJSR), Vol.
45, No. 2, pp. 310323, 2010. 74. A. Balador,
A. Movaghar, S. Jabbehdari,
History Based
Contention Window Control (HBCWC) in IEEE 802.11 Mac Protocol in Error Prone
Channel, Journal of Computer Science, Vol. 6, No. 2, pp. 205209,
2010. 75. M. Kargahi
and A. Movaghar, Utility Accrual Dynamic Routing in RealTime Parallel
Systems, IEEE
Transactions on Parallel and Distributed Systems (TDPS), Vol. 21, No. 12, pp.
18221835, December 2010. 76. M. Kargahi
and A. Movaghar, Dynamic Routing of Real time
Jobs among Parallel EDF Queues: A Performance Study,
Computers and Electrical Engineering,
Vol. 36, No. 5, pp. 835849, September 2010. 77. H. R. Shahriari,
M. Sadegh Makarem, M. Sirjani, R. Jalili and A. Movaghar, Vulnerability Analysis of Networks to Detect Multiphase
Attacks Using the Actorbased Language Rebeca,
Computers and Electrical Engineering, Vol. 36, No. 5, pp. 874885, September
2010. 78. M.M.Jaghoori, M. Sirjani, M.R. Mousavi, E. Khamespanah and A. Movaghar, Symmetry and Partial Order Reduction Techniques in
Model Checking Rebeca,
ACTA INFORMATICA, Vol. 47, No.1, pp.3366, 2010. 79. M. Izadi and A. Movaghar,
Compositional Failurebased Equivalence of Cinstraint Automata, Electronic Notes in Theoretical Computer Science (ENTCS),
No. 250, pp. 105122, 2009. 80. M. K. Rafsanjani, A. Movaghar, Identifying Monitoring Nodes with Selection of Authorized
Nodes in Mobile Ad Hoc Networks, World Applied Sciences Journal, Vol. 4, No. 3, pp. 444449,
2008. 81. M. K. Rafsanjani, A. Movaghar and F. Koroupi, Investigating Intrusion Detection Systems in MANET and
Comparing IDSs for Detecting Misbehaving Nodes, World Academy of Science, Engineering and Technology, Vol.
44, pp. 351355, 2008. 82. M. Niazi Torshiz and A. Movaghar, Performance Evaluation of a FuzzyBased Traffic Conditioner for
Mobile Ad Hoc Networks,
Journal of Circuits, Systems, and Computers (JCSC), Vol. 17, No. 6, pp.
9951014, December 2008. 83. M. Izadi and A. Movaghar,
Model Checking of ComponentBased Software Using
Compositional Reductions,
International Journal of Software
Engineering and Knowledge Engineering (IJSEKE), Vol. 18, No. 5, pp. 683712,
2008. 84. S.J. Mirabedini,
M. Teshnehlab, M.H. Shenasa,
A. Movaghar and A.M. Rahmani,
AFAR: Adaptive Fuzzy Antbased Routing for
Communication Networks, Journal
of Zhejiang University Science A, Vol. 12, No. 9, pp. 16661675, 2008. 85. M. Kargahi
and A. Movaghar, Stochastic DVSBased Dynamic Power Management for Soft
RealTime Systems, MICROPROCESSORS AND MICROSYSTEMS, Vol. 32, No. 3, pp.
121144, 2008. 86. M. Asadpour,
B. Sattarzadeh and A. Movaghar,
Anonymous Authentication Protocol for GSM Networks,
International Journal of Security and
Networks, Vol. 3, No. 1, pp. 5462, 2008. 87. M. Kargahi
and A. Movaghar, A Two Class M/M/1 System with Preemptive Non RealTime Jobs ans
Prioritized RealTime Jobs under EarliestDeadlineFirst Policy, Scientia Iranica, Vol. 15, No. 2, pp. 252265, MarchApril 2008. 88. H. Motameni,
A. Movaghar and F. Fadavi Amiri,
Mapping Activity Diagram to Petri Net: Application of
Markov Theory for Analyzing NonFunctional Parameters,
International Journal of Engineering, Vol.
20, No. 1, pp. 6576, April 2007. 89. M. Kargahi
and A. Movaghar, A NonPreemptive TwoClass M/M/1 System with
Prioritized RealTime Jobs under EarliestDeadlineFirst Policy, Journal of Industrial and Systems Engineering, Vol.
1, No. 1, pp. 260280, Fall 2007. 90. M. Kargahi
and A. Movaghar, A Multiprocessor System with NonPreemptive EarliestDeadlineFirst
Scheduling Policy: A Performability Study, Journal of Industrial and Systems Engineering, Vol. 1, No.
3, pp. 3755, Spring 2007. 91. M. Abdollahi
Azgomi and A. Movaghar, An Introduction to HighLevel Stochastic Activity
Networks, International
Reviews on Computers and Software, Vol. 1, No. 1, Praise Worthy Prize, ISSN:
18286003, pp. 2030, 2006. 92. M. Kargahi
and A. Movaghar, A Method for Performance Analysis of EarliestDeadlineFirst
Scheduling Policy, The Journal of Supercomputing, Vol. 37, No. 2, pp.
197222, 2006. 93. A. Kamandi,
M. Abdollahi Azgomi and
A. Movaghar, Transformation
of UML Models into Analyzable OSAN Models, Electronic Notes in Theoretical Computer Science (ENTCS),
No. 159, pp. 322, 2006. 94. M. Izadi and A. Movaghar,
An Equivalence Based Method for Compositional
Verification of the Linear Temporal Logic of Constraint Automata, Electronic Notes in Theoretical Computer Science (ENTCS),
No. 159, pp. 171186, 2006. 95. A. Movaghar,
On queueing with customer impatience until the end of
service,
Stochastic Models, Vol. 22, pp. 149173, 2006. 96. M. Izadi and A. Movaghar,
An Efficient Model Checking Algorithm for a Fragment of
MuCalculus, CSI Journal on Computer Science & Engineering (JCSE) , Vol. 3, No. 3 (a), pp. 4353, Fall 2005 (in Persian). 97. M. Sirjani,
F. S. de Boer and A. Movaghar, Modular
Verification of a ComponentBased Actor Language,
Journal of Universal Computer Science
(JUCS), Vol. 11, No. 10, pp. 16951717, 2005. 98. M. Sirjani,
A. Movaghar, A. Shali and
F. S. de Boer, Model
Checking, Automated Abstraction, and Compositional Verification of Rebeca,
Journal of Universal Computer Science
(JUCS), Vol. 11, No. 6, pp. 1054108, 2005. 99. M. Abdollahi
Azgomi and A. Movaghar, A Modelling Tool for Hierarchical Stochastic Activity Networks,
Simulation Modelling Practice and
Theory (SimPAT), Vol. 13, No. 6, pp. 505524, 2005. 100.
M.
Sirjani and A. Movaghar, Integrating Model Checking and Deduction for an
ActorBased Language, Scientia Iranica, Vol. 12, No. 1,
pp. 5565, Winter 2005. 101.
M.
Abdollahi Azgomi and A. Movaghar, A Modeling Tool for A New Definition of Stochastic
Activity Networks,
Iranian Journal of Science and Technology (IJST), Vol. 29, No. B1, pp. 7992,
2005. 102.
A.
Movaghar, Optimal Control of Parallel Queues with Impatient Customers, Performance Evaluation, Vol. 60, No. 14, pp.327343,
2005. 103.
M.
Abdollahi Azgomi and A. Movaghar, Hierarchical
Stochastic Activity Networks: Formal Definitions and Behaviour, International Journal of Simulation, Systems, Science and
Technology, Vol. 6, No. 12, pp. 5666, January 2005. 104.
M.
Sirjani, A. Movaghar, A. Shali and F. de Boer, Modeling and Verification of Reactive Systems using
Rebeca, Fundamenta Informaticae, Vol.
63, No. 4, pp. 385410, December 2004. 105.
M.
Sirjani, S.H. Razi, A. Movaghar, M.M. Jaghoori, S. Forghanizadeh, and M. Mojdeh, Model
Checking CSMA/CD Protocol Using an ActorBased Language,
WSEAS Transactions on Circuit and
Systems, Vol. 4, No. 6, 2004. 106.
S.M.R.
Mirsarraf , A. Movaghar, and M.Hakkak, Optimization
of LZ78 Compression Algorithm in Tracking Location of Mobile Communication
Users, Iranian
Journal of Electrical and Computer Engineering, Vol. 2, No. 1, pp. 314,
SpringSummer 2004 (in Persian). 107.
M.
Abdollahi Azgomi and A. Movaghar, Design and Implementation of SharifSAN
and Its Features for Performance Evaluation of Computer Systems, Sharif Journal of Science and Technology, No. 25, pp.
2941, 2003 (in Persian). 108.
A.
Movaghar, Stochastic Activity Networks: A New Definition and Some
Properties,
Scientia Iranica, Vol. 8, No. 4, pp. 303311,
October 2001. 109.
A.
Movaghar, On queueing with customer impatience until the
beginning of service, Queueing Systems, Vol. 29, No. 4, pp. 337350, 1998. 110.
A.
Movaghar, Optimal
assignment of impatient customers to parallel queues with blocking, Scientia Iranica, Vol. 3, No.
29, pp. 137146, January 1997. Conference/Workshop papers: 1. S.M. Taheri, H. Mahyar, M. Firouzi, E. Ghalebi, R. Grosu and A. Movaghar,
Extracting Implicit Social Relation
for Social Recommendation Techniques in User Rating Prediction, Proceedings
of of the 26th International World
Wide Web Conference (WWW), Social Computing Workshop: Spatial Social Behavior
Analytics on the Web, Perth, Australia, pp. 13431351, April 2017. 2. E Ataie, E Gianniti,
D Ardagna and A Movaghar, A Combined Analytical Modeling Machine Learning
Approach for Performance Prediction of MapReduce Jobs in Cloud Environment, Proceedings
of the 18^{th} International Symposium on Symbolic and Numeric
Algorithms for Scientific Computing (SYNASC), Timisoara, Romania 3. M. Bagheri, I. Akkaya, E. Khamespanah, N. Khakpour, M. Sirjani, A. Movaghar, and E.A. Lee, Coordinated Actors for Reliable
Selfadaptive Systems,
FACS 2016, pp. 241259, 2016. 4. R. Hassanzadeh,A. Movaghar and H. Hassanzadeh, A MultiDimensional
Fairness Combinatorial DoubleSided Auction Model in Cloud Environment, Proceedings of the 8th
International Symposium on Telecommunications (IST 2016), Tehran, Iran,
August 2016. 5. S. M. Morshedi, H. Mahyar and A. Movaghar, Influencebased
Community Detection in Social Recommender Systems, Proceedings
of the European Conference on Social Networks (EUSN 2016), Paris, France,
June 2016. 6. S. M. Taheri, H. Mahyar, M. Firouzi and A. Movaghar, Similaritybased
Ranking of User Influence in Bipartite Social Networks,
Proceedings of the European Conference on Social Networks
(EUSN 2016), Paris, France, June 2016. S. M. Taheri, H. Mahyar, M. Firouzi and A. Movaghar, HellRank:
A Hellingerbased Centrality Measure for Bipartite Social Networks. CoRR abs/1612.01511, 2016.
9. H. Mahyar, H. R. Rabiee, A. Movaghar, E. Ghalebi, and A. Nazemian, CSComDet: A compressive sensing approach for
intercommunity detection in social networks,
Proceedings of the IEEE/ACM International Conference on Advances in Social
Networks Analysis and Mining (ASONAM 2015), Paris, France, pp. 8996, August
2015. 10. S. Aliakbary, J. Habibi and A. Movaghar, Quantification
and Comparison of Degree Distributions in Complex Networks,
Proceedings of the 7th International Symposium on Telecommunications (IST
2014), Tehran, Iran, 2014. 11. A.Froozani,
M. Gharib, A.M.A. Hemmatyar,
A. Movaghar, A
Novel Human Mobility Model for MANETs Based on Real Data,
Proceedings of the 23rd International Conference on Computer Communications
and Networks (ICCCN 2014), Shanghai, China, August 47, 2014. 12. E. Ataie, A. Movaghar,
and M. Bastam, Cooperation
Enforcement, Malice Detection, and EnergyEfficient Mechanism for Mobile Ad
Hoc Networks, International Journal of
Sensors, Wireless Communications and Control, Vol. 3, No. 2, pp. 7884, 2013. 13. Z. Moradlu, M. A. Doostari, M. Gharib, A. Movaghar, Fully Distributed Self
Certified Key Management for LargeScale MANETs,
Proceedings of the 10th IEEE International Conference on Ubiquitous
Intelligence and Computing (UIC2013), Vietri sul Mare, Italy, December 1820, 2013. 14. M. Roohitavaf, R. EntezariMaleki, and A. Movaghar,
Availability Modeling and Evaluation of Cloud Virtual
Data Centers, Proceedings
of the 19th IEEE International Conference on Parallel and Distributed Systems
(ICPADS 2013), Seoul, South Korea, pp. 675680, December 15 18, 2013. 15. M. Gharib,
M. Minaei, M. Golkari, A.
Movaghar. Expert key selection impact on the MANETs
performance using a probabilistic key management algorithm, Proceedings
of the the 6th International Conference on Security
of Information and Networks (SIN 13), Aksaray,
Turkey, November 2628, 2013. 16. M. Gharib, E. EmamJomehZadeh,
A. Norouzifard, A. Movaghar.
A novel probabilistic key management algorithm for large
scale MANETs, Proceedings of the 2013 27th IEEE International
Conference on Advanced Information Networking and Applications (AINA 13),
Barcelona, Spain, pp. 349356, March 2528, 2013. 17. M. Abdoli, R. EntezariMaleki,
and A. Movaghar, A Rankbased Hybrid Algorithm for Scheduling Data and
Computationintensive Jobs in Grid Environments,
Proceedings of the International Conference on Advanced Computing, Networking,
and Informatics (ICACNI 2013), Advances in Intelligent and Soft Computing
(AISC), Springer, Chhattisgarh, India, June 1214, 2013. 18. M. H. Mobini, R. EntezariMaleki, A. Movaghar, BiogeographyBased
Optimization of Makespan and Reliability in Grid
Computing Systems, Proceedings of the IV
International Congress on Ultra Modern
Telecommunications and Control Systems (ICUMT 2012), IEEE, St. Petersburg,
Russia, pp. 349355, October 3 5, 2012. 19. M. Ashuri, H. Yousefi,
A.M.A. Hemmatyar, A. Movaghar, FOMA:
Flexible Overlay Multipath Data Aggregation in Wireless Sensor Networks,
Proceedings of the 17th IEEE symposium on Computers and Communications (ISCC
2012), Cappadocia, Turkey, July 14, 2012. 20. S. Bahrami, H. Yousefi, A. Movaghar, DACA: DataAware
Clustering and Aggregation in QueryDriven Wireless Sensor Networks,
Proceedings of the 21st International Conference on Computer Communication
Networks (IEEE ICCCN 12), Germany, pp. 17,
2012. 21. I. Nikseresht, H. Yousefi, A. Movaghar, M. Khansari, InterferenceAware
Multipath Routing for Video Delivery in Wireless Multimedia Sensor Networks,
Proceedings of the 32nd IEEE International Conference on Distributed
Computing Systems Workshops (IEEE ICDCSW'12), China, pp. 216221, 2012. 22. F. Ghassemi, M. Talebi, A. Movaghar, W. J. Fokkink, Stochastic Restricted
Broadcast Process Theory, Proceedings of the 8th European Performance
Engineering Workshop (EPEW'11), Vol. 6977, LNCS, Springer, pp. 7286, 2011. 23. R. EntezariMaleki and A. Movaghar, Availability
Modeling of Grid Computing Environments Using SANs, Proceedings
of the 19th International Conference on Software, Telecommunications and
Computer Networks (SoftCOM 2011), IEEE, Split,
Croatia, pp. 16, September 15 17, 2011. 24. Naser Alinaghipour, Hamed Yousefi, Mohammad Hossein Yeganeh,
Ali Movaghar, Long Lifetime Realtime
Routing in Unreliable Wireless Sensor Networks, Proceedings of
the 4th IEEE/IFIP Wireless Days (IEEE/IFIP WD'11), pp. 16, 2011. 25. ] Mohammad Hossein Yeganeh, Hamed Yousefi, Naser Alinaghipour, Ali Movaghar, RDAG: A
Structurefree Realtime Data Aggregation Protocol for Wireless Sensor
Networks, Proceedings of the 17th IEEE International
Conference on Embedded and RealTime Computing Systems and Applications (IEEE
RTCSA'11), pp. 5160, 2011. 26. Leila Eskandari, Hamed Yousefi, Ali Movaghar, Mohammad Khansari, IMAC: An
Interferenceaware Dutycycle MAC Protocol for Wireless Sensor Networks
Employing Multipath Routing , Proceedings of the 9th
IEEE/IFIP International Conference on Embedded and Ubiquitous Computing
(IEEE/IFIP EUC'11), pp.288293, 2011. 27. Ali Barati , S. Jalalledin Dastgheib, Ali Movaghar and
Iman Attarzadh, An Optimized
Algorithm to Detect Faulty Readings along the Substrate Access Wireless
LongThin Sensor Networks, Proceedings of the 2011 UKSim 13th International Conference on Computer Modelling
and Simulation (UKSim), Emmanuel College,
Cambridge, United Kingdom, pp. 372377, 30 March 1 April 2011. 28. Zohreh Mousavinasab, Reza EntezariMaleki and Ali Movaghar,
A Bee
Colony Task Scheduling Algorithm in Computational Grids, Proceedings of the
International Conference on Digital Information Processing and Communication
(ICDIPC 2011), Communications in Computer and Information Science (CCIS),
Vol. 188, Springer press, pp. 200210, Ostrava, Czech Republic, July 79,
2011. 29. Nabil Tabbaa,
Reza EntezariMaleki and Ali Movaghar,
A Fault
Tolerant Scheduling Algorithm for DAG Applications in Cluster Environments, Proceedings
of the International Conference on Digital Information Processing and
Communication (ICDIPC 2011), Communications in Computer and Information
Science (CCIS), Vol. 188, Springer press, Ostrava, Czech Republic, pp.
189199, July 79, 2011. 30. Hamed Yousefi, Mohammad
Hossein Yeganeh, Ali Movaghar,
Long Lifetime Routing
in Unreliable Wireless Sensor Networks, Proceedings
of the 8th IEEE International Conference on Networking, Sensing and Control
(IEEE ICNSC'11), pp. 457462, April 2011. 31. Sepideh AfkhamiGoli, Hamed Yousefi, and Ali Movaghar, An Efficient
Distributed Clusterhead Election Technique for Load Balancing in Wireless
Sensor Networks, Proceedings of the 6th
International Conference on Intelligent Sensors, Sensor Networks and
Information Processing (IEEE ISSNIP'10), pp. 227232, 2010. 32. Reza EntezariMaleki
and Ali Movaghar, A
GeneticBased Scheduling Algorithm to Minimize the Makespan
of the Grid Applications, , Proceedings of the
Grid and Distributed Computing Conference (GDC 2010), Communications in
Computer and Information Science (CCIS), Vol. 121, Springer press, Jeju Island , South Korea, pp.
2231, December 1315, 2010. 33. Fatemeh Ghassemi, Ali Movaghar and Wan Fokkink, Performance Evaluation
of Mobile Ad Hoc Network Protocols, Proceedings
of the 10th International Conference on Application of Concurrency to System
Design (ACSD 2010), Braga, Portugal, June 2125, 2010. 34. Sh. Khomejani
and A. Movaghar, Privacy
Consideration for Trustworthy Vehicular Ad hoc Networks, Proceedings
of the 2010 International Conference on Electronics and Information
Engineering (ICEIE 2010), Kyoto , Japan, pp.
437442, 2010. 35. Nima Attarzadeh, Ali Barat and
Ali Movaghar, A New Method for Coverage
in Wireless Sensor Networks, 2009 Eighth IEEE International
Conference on Dependable, Autonomic and Secure Computing (DASC09),
Chengdu, China, pp. 369372, December 1214, 2009. 36. Ehsan Kharazi, Ali Barat and Ali Movaghar, Improvement of Fault
Detection in Wireless Sensor Networks,
Proceedings of the 2009 ISECS International Colloquium on Computing,
Communication, Control, and Management (CCCM09), Canya,
China, pp. 644646, August 89, 2009. 37. Ali Barati , Mohammad Ali Khosh Kholghi and Ali Movaghar, Recovery of Sensors in
Wireless Sensor Networks Proceedings of the Fifth
International Joint Conference on INC, IMS and IDC (NCM 2009), Seoul,
Korea, pp. 393396, August 2527, 2009. 38. Ehsan Heidari and Ali Movaghar, Intelligent Clustering in
Wireless Sensor Networks, The First International
Conference on Networks and Communications (NetCoM
2009), Chennai, India, pp. 1217, December
2729, 2009. 39. Ehsan Allahyar and Ali Movaghar, Weighted starttime
fair queuing: a new starttime fair queuing for elastic traffic, Proceedings
of the 12th Communications and Networking Simulation Symposium (CNS), San Diego,
CA, 2009. 40. M.H. Khaledi, S.M. Mousavi, H.R. Rabiee, A. Movaghar, M.J. Khaledi and O. Ardakanian, Mobility Aware
Distributed Topology Control in Mobile Ad hoc Networks using Mobility Pattern
Matching, Proceedings of the 5th IEEE International
Conference on Wireless and Mobile Computing, Networking and Communications
(WIMOB'09), Marakesh, Morocco, pp. 453458, 2009. 41. H. Seifzadeh, A.A. Pourhaji Kazem, M. Kargahi and A. Movaghar, A Method for Dynamic
Software Updating in RealTime Systems, Proceedings of
the 8th IEEE/ACIS International Conference on Computer and Information
Science (ICIS 2009), Shanghai, China, pp. 3438, June 13, 2009. 42. A.A. Pourhaji Kazem,
H. Seifzadeh, M. Kargahi, A. Movaghar and S. Lotfi, Maximizing the
Accrued Utility of an Isochronal Soft RealTime System Using Genetic
Algorithms, Proceedings of the 8th IEEE/ACIS International
Conference on Computer and Information Science (ICIS 2009), Shanghai, China,
pp. 6569, June 13, 2009. 43. F. Ghassemi and A. Movaghar, Equational
Reasoning on Ad Hoc Networks, Proceedings of the 3rd
International Conference on Fundamentals of Software Engineering (FSEN'09),
Kish Island, Persian Gulf, Iran, pp. 4155, 1517 April 2009. 44. M. Bashari, A. Movaghar and M. Izadi, Checking
Equivalence of Reo Networks Using Chaosfree Failures Divergences,
Proceedings of 3rd International Conference on Fundamentals of Software
Engineering (FSEN'09), Kish Island, Persian Gulf, Iran, pp. 429432, April 1517, 2009. 45. F. Ghassemi and A. Movaghar, Modeling
Routing Protocols in Ad Hoc Networks, Proceedings of 13th
International CSI Computer Conference, Kish Island, Persian Gulf, Iran, pp.
419426, March 2008. 46. F. Saremi, H. Mashayekhi,
A. Movaghar and R. Jalili,
CEBAC:
A Decentralized Cooperation Enforcement Based Access Control Framework in
MANETs, Proceedings of 13th International CSI Computer Conference,
Kish Island, Persian Gulf, Iran, pp. 427434, March 2008. 47. H. Mousavi and A. Movaghar, Challenges
in Using PeertoPeer Structures in Order to Deasign
LargeScale Web Search, Proceedings of 13th International CSI
Computer Conference, Kish Island, Persian Gulf, Iran, pp. 461468, March
2008. 48. M. Mahdavi, R. Forsat
and A. Movaghar, BandwidthDelay
Constrained Least Cost Multicast Routing for Multimedia Communication,
Proceedings of 13th International CSI Computer Conference, Kish Island,
Persian Gulf, Iran, pp. 737740, March 2008. 49. M. Sharafi, F. Shams and A. Movaghar, Using Team
Automata in Operational Modeling and Evaluation of Software Architecture,
Proceedings of 13th Annual CSI Computer Conference, Kish Island, Persian
Gulf, Iran, March 2008 (in Persian). 50. M. Sharifipanah and A. Movaghar, Clustering Deep
Web Sites Using Common Link Graph, Proceedings of 13th Annual CSI
Computer Conference, Kish Island, Persian Gulf, Iran, March 2008 (in
Persian). 51. M. Hasanlo, S.A. Moghaddam, M. Shahkaramy and A.
Movaghar, Performance
Evaluation of some Routing Protocols in Mobile Ad Hoc Networks under
Different Network Size, Traffic and Node Mobility Conditions, Proceedings
of 13th Annual CSI Computer Conference, Kish Island, Persian Gulf, Iran,
March 2008 (in Persian). 52. R. Matinnejad and A. Movaghar, Modeling and Performance
Evaluation of an MMS System with a Retransmitted Message Traffic,
Proceedings of 13th Annual CSI Computer Conference, Kish Island, Persian
Gulf, Iran, March 2008 (in Persian). 53. M, Efatparvar, M.R. Efatparvar, M. Dehghan, A. Movaghar, Introducing a Local
Retrieval Method Based on ODMRP Multicast Protocol in
Wireless Mobile AdHoc Networks, Proceedings of 13th Annual CSI
Computer Conference, Kish Island, Persian Gulf, Iran, pp. 656663, March 2008
(in Persian). 54. H. Barati,
A. Movaghar, A. Barati
and A. A. Mazreah, A Review of Coverage
and Routing for Wireless Sensor Networks, Proceedings
of World Academy of Science, Engineering and Technology Volume 27, pp.
312318, February 2008. 55. S. Taheri, A. Irandoost and A. Movaghar, Coin: A COverage INcreasing Algorithm
in Mixed Sensor Networks,
Proceedings of IEEE 2007 International Conference on Sensor Technologies and
Applications (SENSORCOMM 2007), Valencia, Spain, pp. 271276, October 1420,
2007. 56. M. Haghpanah,
M. Akhoondi, M. Kargar
and A. Movaghar, Trusted secure
routing for ad hoc networks,
Proceedings of the 5th ACM international workshop on Mobility Management and
Wireless Access, Chania, Greece, pp.176179, 2007 57. S. ShiraliShahreza, M. ShiraliShahreza and A. Movaghar,
Exam HIP,
Proceedings of the 2007 IEEE Xiamen International Workshop on Security,
AntiCounterfeiting, Identification (2007ASID) in Xiamen, China, April 16
17, 2007. 58. S. ShiraliShahreza, M. ShiraliShahreza and A. Movaghar,
Restricted Access
to Exam Grades on the Web by HIP, to appear in the Proceedings of
the IEEE International Workshop on eActivity (IEEEIWEA 2007), Melbourne,
Australia, July 1113, 2007. 59. S. ShiraliShahreza and A. Movaghar, A New AntiSpam Protocol
Using CAPTCHA, Proceedings of the 2007 IEEE International Conference
on Networking, Sensing and Control ( IEEE ICNSC 07),
London, United Kingdom, pp. 234238, April 1517, 2007. 60. A. Barati and A. Movaghar, Dependable and Secure
Data Storage and Retrieval in AdHoc Networks, Proceedings of the
1st International Conference on Digital Communications and Computer
Applications (DCCA2007), Ibrid, Jordan
, pp. 12991305, March 1922, 2007. 61. H. Mousavi, M.E. Rafiei and A. Movaghar, Characterizing the Web
Using a New Uniform Sampling Approach, Proc. of the 2nd
IEEE/CreateNet/ICST Int'l Conf. on COMmunication
System softWAre and MiddlewaRe
(COMSWARE 2007), Banglore, India, January 712,
2007. 62. M. Omid, B. Takhtaei, H. Mousavi
and A. Movaghar, Determining Geographical Coordinations of the Internet Nodes,
Proceedings of 12th Annual Int. CSI Computer Conference, Tehran, Iran, pp.
536543, January 2007 (in Persian). 63. A, Barati, A. Movaghar,
M.R. Eslami Nejad and A. Bazrgar, Presenting an OnDemand
Routing Algorithm for Wireless Mobile AdHoc Networks,
Proceedings of 12th Annual Int. CSI Computer Conference, Tehran, Iran, pp.
656663, January 2007 (in Persian). 64. M.R. Eslami Nejad,
A. Movaghar, A. Bazrgar
and A, Barati, Improving the
Performance of File Sharing Services in Wireless Mobile Peer to Peer Networks,
Proceedings of 12th Annual Int. CSI Computer Conference, Tehran, Iran, pp.
703710, January 2007 (in Persian). 65. M. Ghazi Asgar and A. Movaghar, A Neural Network
Based Algorithm for Routing in Mulistage
Interconnection Networks, Proceedings of 12th Annual Int. CSI
Computer Conference, Tehran, Iran, pp. 605611, January 2007 (in Persian). 66. M. Nouri Baygi and A. Movaghar, Probabilistic Model
Checking: A Comparison of GPMC versus PRISM, Proceedings of 12th
Annual Int. CSI Computer Conference, Tehran, Iran, pp. 23082311, January
2007. 67. E. Ataie and A. Movaghar, Performance
Evaluation of Mobile Ad Hoc Networks In the Presence
of Energybased Selfishness, Proceedings of the 3rd
International Conference on Broadband Communications, Networks and Systems
(BROADNETS), San Jose, USA, 2006. 68. M. Abdollahi Azgomi
and A. Movaghar, Modeling and
Evaluation of Software Systems with Object Stochastic Activity Networks,
Proc. of the Int'l Conf. on Software Engineering Advances (ICSEA'06), Tahiti,
French Polynesia, Oct. 29  Nov. 1, 2006. 69. M. Abdollahi Azgomi
and A. Movaghar, Efficient Evaluation
of CSAN Models by State Space Analysis Methods, Proc. of the
Int'l Conf. on Software Engineering Advances (ICSEA'06), Tahiti, French
Polynesia, Oct. 29  Nov. 1, 2006. 70. M. Abdollahi Azgomi
and A. Movaghar, A Case Study on
Application of CSAN Models on Network Modeling, Proc. of the 5th
Int'l Symposium on Communication Systems, Networks and Digital Signal
Processing (CSNDSP'06), Patras, Greece, pp. 270274,
July 19  July 21, 2006. 71. S. Aliakbarian, M. Movaghar, F. Sadeghi, P. Haghani and N.S. Mirsatari, Neighbor Definition in
P2P Networks, Proceedings of the 2006 International Conference on
Communications, Circuits and Systems (ICCCAS2006), Gui
Lin, China, pp. 15621565, June 25  June 28, 2006. 72. M.M. Jaghoori, A. Movaghar and M. Sirjani, Modere:
The Modelchecking Engine of Rebeca, Proceedings of the 21st
Annual ACM Symposium on Applied Computing (SAC 2006), Dijon, France, pp.
18101815, April 23  April 27, 2006. 73. M. Kargahi and A. Movaghar, Dynamic Routing of
RealTime Jobs among Parallel EDF Queues: A Performance Study,
Proceedings of 11th Annual Int. CSI Computer Conference, Tehran, Iran, pp.
385392, January 2006. 74. H. R. Shahriari, M. Sadegh Makarem, M. Sirjani, R. Jalili and A. Movaghar, Modeling and
Verification of Complex Network Attacks Using an ActorBased Language,
Proceedings of 11th Annual Int. CSI Computer Conference, Tehran, Iran, pp.
152158, January 2006. 75. R.Ghazali, A.Movaghar, AntAodv Hybrid Routing Protocol In MANET,
Proceedings of 11th Annual Int. CSI Computer Conference, Tehran, Iran, pp.
673678, January 2006. 76. S. Jalili, G. Shahmohammadi
and A. Movaghar, Requirement
Analysis using NuSMV Model Checker,
Proceedings of 11th Annual Int. CSI Computer Conference, Tehran, Iran, pp.
673678, January 2006 (in Persian). 77. R.Ghazali, A.Movaghar, Improving DSR Routing
Protocol in MANETs using Ant Colony Algorithm, Proceedings of
11th Annual Int. CSI Computer Conference, Tehran, Iran, pp. 552559, January
2006 (in Persian). 78. M. Izadi and A. Movaghar, A Logic for Formal
Specification of wAutomata, Proceedings of 11th Annual Int. CSI
Computer Conference, Tehran, Iran, pp. 735738, January 2006 (in Persian). 79. M. Farokhian and A. Movaghar, Automatic and
Optimal Mapping of Rebeca to Parametric Constraint Automata,
Proceedings of 11th Annual Int. CSI Computer Conference, Tehran, Iran, pp.
10221027, January 2006 (in Persian). 80. S.A. Kardani and A. Movaghar, Classification and
Comparison of the Performance of Hierarchical Routing Protocols in MANETs,
Proceedings of 11th Annual Int. CSI Computer Conference, Tehran, Iran, pp.
10881095, January 2006 (in Persian). 81. A. Kamandi, M. Abdollahi Azgomi and A. Movaghar, Derivation and
Evaluation of OSAN Models from UML Models of Business Processes,
Proceedings of the IPM International Workshop on Foundations of Software Engineering : Theory and Practice (FSEN 2005), Tehran,
Iran, pp. 287305, October 2005. 82. M. Izadi and A. Movaghar, An Equivalence Based
Method for Compositional Verification of the Linear Temporal Logic of
Constraint Automata, Proceedings of the IPM International
Workshop on Foundations of Software Engineering :
Theory and Practice (FSEN 2005), Tehran, Iran, pp. 8195, October 2005. 83. M. Kargahi and A. Movaghar, NonPreemptive
EarliestDeadlineFirst Scheduling Policy: A Performance Study,
Proceedings of the International Symposium on Modeling, Analysis, and
Simulation of Computer and Telecommunication Systems (MASCOTS), Atlanta,
Georgia, September 2729, 2005. 84. M. Abdollahi Azgomi
and A. Movaghar, Modeling and
Evaluation of A PacketBased Telecommunication Switching
Center with HSAN Models, Proceedings of the 13th International
Conference on Software, Telecommunications and Computer Networks (SoftCOM 2005), Split, Marina Frapa,
Croatia, pp. 182186, September 1517, 2005. 85. M. Izadi and A. Movaghar, A Formal System for
Compositional and Hierarchical Modeling and Verification Componentbased
Computing Systems, Proceedings of the International Symposium on
Telecommunications (IST2005), Shiraz, Iran, pp. 959964, September 1012,
2005. 86. M. Izadi and A. Movaghar, An Efficient Model
Checking Algorithm for a Fragment of MuCalculus, Proceedings of
the 17th International Conference on Software Engineering and Knowledge
Engineering (SEKE'2005) , Taipei, Taiwan, July 2005. 87. M. Kargahi and A. Movaghar, A Stochastic DVSBased
Dynamic Power Management for Soft RealTime Systems, Proceedings
of the IEEE International Conference on Wireless Networks, Communications and
Mobile Computing Mobility Management and Wireless Access (Wirelsscom/MobiWac 2005) , Maui, Hawaii,
USA, pp. 6368, June 1316, 2005. 88. M. Sirjani, F. de Boer, A. Movaghar and A. Shali, Extended
Rebeca: A ComponentBased Actor Language with Synchronous Message Passing,
Proceedings of the Fifth International Conference on Application of
Concurrency to System Design (ACSD 2005), Saint Malo,
France, June 2005. 89. M. Izadi and A. Movaghar, A Formal Method for
Specifying and Verifying the Consistency of Management Policies in Open
Distributed Systems, Proceedings of 2nd Annual Int. Conference on
Information and Knowledge Technology, Tehran, Iran, May 2005 (in Persian). 90. V.A. Olyaee and A. Movaghar, Detecting Network
Intrusion Using a Fuzzy Neural Net Method, Proceedings of 10th
Annual Int. CSI Computer Conference, Tehran, Iran, pp. 477484, February 2005
(in Persian). 91. Z.K. Shariat Naseri,
A. Movaghar, M.Ghodsi,
and A. Mohammadi, Comparing Routing Protocols
for Ad Hoc Networks Based on Energy Consumption, Proceedings of
10th Annual Int. CSI Computer Conference, Tehran, Iran, pp. 501508, February
2005 (in Persian). 92. B. Shahrokh Zadeh,
A. Movaghari, and M. Dehghan,
A New Method for
Improving the Performance of TCP in Mobile and Wireless Networks,
Proceedings of 10th Annual Int. CSI Computer Conference, Tehran, Iran, pp.
509517, February 2005 (in Persian). 93. E. Ataie and A. Movaghari, Energybased
Selfishness in Mobile Ad Hoc Networks, Proceedings of 10th Annual
Int. CSI Computer Conference, Tehran, Iran, pp. 516522, February 2005 (in
Persian). 94. Z.K. Shariat Naseri,
A. Movaghar, M.Ghodsi,
and A. Mohammadi, Comparing Routing
Protocols for Ad Hoc Networks Based on Their Performance,
Proceedings of 10th Annual Int. CSI Computer Conference, Tehran, Iran, pp.
534541, February 2005 (in Persian). 95. Z.K. Shariat Naseri,
A. Movaghar, M.Ghodsi,
and A. Mohammadi, Improving DSR Protocol
Using Multicasting, Proceedings of 10th Annual Int. CSI Computer
Conference, Tehran, Iran, pp. 542549, February 2005 (in Persian). 96. M. Kargahi and A. Movaghar, Performance Analysis
of a Dynamic Routing in RealTime Parallel Queues, Proceedings of
10th Annual Int. CSI Computer Conference, Tehran, Iran, pp. 560569, February
2005 (in Persian). 97. M. Izadi and A. Movaghar, Integrated Formal
Methods: An Approach to Applying Formal Methods to ObjectOriented and
ComponentBaesd Systems, Proceedings of
10th Annual Int. CSI Computer Conference, Tehran, Iran, pp. 605612, February
2005 (in Persian). 98. S. Jabbehdari, A. Movaghar, and M. Mirahmadi, Fairness of Two Level
Hierarchical Scheduling Scheme for HighSpeed Networks by Using SFQ and
ELoss, Proc. of the 1st Int. Conf. on Information Technology
2004 (ICIT 2004), Istanbul, Turkey, pp. 125128, December 2004. 99. M. Abdollahi Azgomi
and A. Movaghar, Modeling and Evaluation
with Object Stochastic Activity Networks, Proc. of the 1st Int.
Conf. on Quantitative Evaluation of Systems (QEST'04), Enschede,
The Netherlands, Sept. 2730, IEEE Computer Society Press, pp. 326327, 2004. 100.
M. Abdollahi Azgomi and A. Movaghar, Coloured
Stochastic Activity Networks: Definitions and Behaviour,
Proc. of the 20th Annual UK Performance Engineering Workshop (UKPEW'04), Bradford , UK , July 78, pp. 297308, 2004 . 101.
M. Kargahi and A. Movaghar, A Method for
Performance Analysis of EarliestDeadlineFirst Scheduling Policy,
Proceedings of the IEEE International Conference on Dependable Systems and
Networks (DSN2004), Florence, Italy, July 2004. 102.
M. Abdollahi Azgomi and A. Movaghar, An Interchange Format
for Stochastic Activity Networks Based on PNML, Proceedings of
the ICATPN'04 Satellite Workshop on the Definition, Implementation and
Application of a Standard Interchange Format for Petri Nets (XML4PN'04),
Bologna, Italy, pp. 110, June 26, 2004. 103.
M. Abdollahi Azgomi and A. Movaghar, A Modelling Tool for
Hierarchical Stochastic Activity Networks, Proceedings of the
11th International Conference on Analytical and Stochastic Modelling
Techniques and Application (EMS/ASMTA04), Magdeburg, Germany, pp. 141146,
June 1316, 2004. 104.
M. Sirjani, A. Shali, M. Jaghoori, H. Iravanchi, and A. Movaghar, A
FrontEnd Tool For Automated Abstraction and Modular
Verification of ActorBased Models, Proceedings of the Fourth
International Conference on Application of Concurrency to system Design (ACSD
2004), Hamilton, Canada, June 2004. 105.
A. Kamandi, M. Abdollahi Azgomi and A. Movaghar, A Tool for Modeling
with Object Stochastic Activity Networks, Proceedings of 9th
Annual Int. CSI Computer Conference, Tehran, Iran, February 2004 (in
Persian). 106.
S. Jabbehdari, A. Movaghar and M.
Mir Ahmadi, A
New TwoLevel Hierarchical Scheduling Method Using SFQ and ELOSS,
Proceedings of 9th Annual Int. CSI Computer Conference, Tehran
, Iran , February 2004 (in Persian). 107.
M. Kargahi and A. Movaghar, A New Approach for
Performance Analysis of EarliestDeadlineFirst Scheduling Policy,
Proceedings of 9th Annual Int. CSI Computer Conference, Tehran, Iran,
February 2004 (in Persian). 108.
L. S. G. Ghandehari and A. Movaghar, An Authentication
System in a Distributed Environment, Proceedings of 9th Annual
Int. CSI Computer Conference, Tehran, Iran, February 2004 (in Persian). 109.
M. Izadi and A. Movaghar, A New Algorithm for
Model Checking in MuCalculus, Proceedings of 9th Annual Int. CSI
Computer Conference, Tehran, Iran, February 2004 (in Persian). 110.
M. Abdollahi Azgomi and A. Movaghar, Towards an
ObjectOriented Extension for Stochastic Activity Networks,
Proceedings of 10th Workshop on Algorithms and Tools for Petri Nets
(AWPN'03), Eichst?tt,
Germany, 2003, pp. 144155, Sept. 2627. 111.
S.M.R. Mirsarraf and A. Movaghar, Improving the
Performance of LZ78 Compression Algorithm in Tracking User of PCS,
Proceedings of the International Symposium on Telecommunications (IST2003), Isfahan,
Iran, pp. 345350, August 2003. 112.
M. Abdollahi Azgomi and A. Movaghar, Coloured
Stochastic Activity Networks: Preliminary Definitions and Properties,
Proceedings of the ICALP 2003 Satellite Workshop on Stochastic Petri nets and
related formalisms, Eindhoven, The Netherlands, pp. 154169, June 2003. 113.
A. Movaghar, On Dynamic Assignment
of Impatient Customers to Parallel Queues, Proceedings of the
IEEE International Conference on Dependable Systems and Networks (DSN2003),
San Francisco, California, USA, pp. 751759, June 2003. 114.
M. Abdollahi Azgomi and A. Movaghar, Hierarchical Stochastic
Activity Networks, Proceedings of the 10th International
Conference on Analytical and Stochastic Modeling Techniques and Application
(ASMTA03), Nottingham, UK, pp. 169174, June 2003. 1. M. Sirjani, A. Movaghar, H. Iravanchi, M. Jaghoori and A. Shali, Model Checking in Rebeca,
Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications (PDPTA'03), Las Vegas, Nevada, USA,
CSREA Press, June 2003. 2. M. Sirjani, A. Movaghar, H. Iravanchi, M. Jaghoori and A. Shali, Model Checking Rebeca
Code by SMV, Proceedings of the Workshop on Automated
Verification of Critical Systems ( AVoCS'03),
Southampton, UK, April 2003. 3. M. Izadi and A. Movaghar, A New Approach to
Verification of Properties Specified in MuCalculus: Using Automata Theory,
Proceedings of 8th Annual Int. CSI Computer Conference, Mashhad, Iran, March
2003 (in Persian). 4. M. Abdollahi Azgomi
and A. Movaghar, Application of
Stochastic Activity Networks on Network Modeling, Proceedings of the
12th International Conference on Software, Telecommunications and Computer
Networks (SoftCOM 2002), Split, Dubrovnic,
Croatia (also, Ancona, Venice, Italy), October 2002. 5. M. Abdollahi Azgomi
and A. Movaghar, An Introduction to New
Extensions for Stochastic Activity Networks, Proceedings of the
IASTED International Conference on Parallel and Distributed Computing and
Systems (PDCS 2002), Cambridge, Massachusetts, USA, November 2002, pp.
410415. 6. M. Sirjani and A. Movaghar, An ObjectBased
Model for Agents, Proceedings of the Workshop on Agents for
Information Management (AIM'02), First EurAsian
Conference on Advances in Information and Communication Technology
(EURASIAICT 2002), Tehran, Iran, Austrian Computer Society, pp. 307310,
October 2002. 7. M. Sirjani and A. Movaghar, Simulation in Rebeca,
Proceedings of the Workshop on Automated Verification of Critical Systems ( AVoCS'02), Oxford, UK, April 2002. Also
appeared (in a condensed version) in the Proceedings of the International
Conference on Parallel and Distributed Processing Techniques and Applications
(PDPTA'02), Las Vegas, Nevada, USA, Vol. 2, CSREA Press, pp. 923926, June
2002. 8. M. Nurolahzadeh and A. Movaghar, An Approach to Web Usage
Mining, Proceedings of 7th Annual Int. CSI Computer Conference,
Tehran, Iran, March 2002 (in Persian). 9. M.H. Khansari, A. Movaghar and S. Hessabi, Design and Simulation
of A Tandem ATM Switch Based on FPGA,
Proceedings of the International Symposium on Telecommunications (IST2001),
Tehran, Iran, September 2001. 10. M. Abdollahi Azgomi
and A. Movaghar, SharifSAN:
A Tool for Verification and Performance Evaluation Based on A New Definition
of SANs, Proceedings of the IASTED International Conference on
Parallel and Distributed Computing and Systems (PDCS 2001), Anaheim,
California, USA, August 2001. 11. M. Sirjani, A. Movaghar and M.R. Mousavi, Compositional
Verification of an ObjectBased Model for Reactive Systems,
Proceedings of the Workshop on Automated Verification of Critical Systems ( AVoCS'01), Oxford University Computing Laboratory,
PRGRR0107, Oxford, UK, April 2001. 12. M. Abdollahi Azgomi
and A. Movaghar, Performance Evaluation
of Computer and Communication Systems with SharifSAN,
Proceedings of 6th Annual Int. CSI Computer Conference, Vol. 6, Isfahan,
Iran, March 2001 (in Persian). 13. A. Movaghar and M. Abdollahi Azgomi, An Overview on Some Design and
Implemental Features of SharifSAN,
Research Proceedings of Sharif University of Technology, Computer Engineering
Department, Tehran, Iran, 2000 (in Persian). 14. A. Movaghar, On queueing with
customer impatience until the end of service, Proceedings of the
4th IEEE International Computer Performance and Dependability Symposium,
Chicago, IL, March 2000. 15. M. Abdollahi Azgomi
and A. Movaghar, A tool for the
verification of concurrent systems based on activity networks,
Proceedings of 5th Annual Int. CSI Computer Conference, Vol. 5, Tehran, Iran,
March 2000 (in Persian). 16. K. Bamasian and A. Movaghar, Design and
implementation of a multiplexer of ISDN data on E1 link with capability of
transferring voice on a telephone network, Proceedings of 5th
Annual Int. CSI Computer Conference, Vol. 5, Tehran, Iran, March 2000 (in
Persian). 17. A. Movaghar and M. Abdollahi Azgomi, Introducing various solvers used
in SharifSAN, Research Proceedings of
Sharif University of Technology, Computer Engineering Department, Tehran,
Iran, 1999 (in Persian). 18. A. Movaghar, K. Davoodi and M. Abdollahi Azgomi, Design
and implementation of a firewall in computer networks, Research
Proceedings of Sharif University of Technology, Computer Engineering
Department, Tehran, Iran, 1999 (in Persian). 19. M. Firoozbakht and A. Movaghar, Reducing
delay in HTTP protocol in highspeed networks, Proceedings of 4th
Annual Int. CSI Computer Conference, Vol. 3, Tehran, Iran, pp. 369375,
January 1999 (in Persian). 20. S. Azodolmolki and A. Movaghar, An
approach to congestion control mechanisms for interconnecting LANs using
highspeed networks, Proceedings of 4th Annual Int. CSI Computer
Conference, Vol. 3, Tehran, Iran, pp. 376382, January 1999 (in Persian). 21. A. Movaghar and A. Nourollah, A
review on temporal logic and its applications, Research
Proceedings of Sharif University of Technology, Computer Engineering
Department, Tehran, Iran, pp. 167178, 1998 (in Persian). 22. A. Movaghar and M. Abdollahi Azgomi, Solutions for enhancing computer
network security, Research Proceedings of Sharif University of
Technology, Computer Engineering Department, Tehran, Iran, pp. 167178, 1998
(in Persian). 23. M. Abdollahi Azgomi
and A. Movaghar, Security enhancement
for network services, Proceedings of 3rd Annual Int. CSI Computer
Conference, Vol. 3, Tehran, Iran, pp. 450457, December 1997 (in Persian). 24. R. Khosravi and A. Movaghar, Verification
of concurrent systems using Actor models and temporal logic,
Proceedings of 3rd Annual Int. CSI Computer Conference, Vol. 3, Tehran, Iran,
pp. 5663, December 1997 (in Persian). 25. H. Naderi and A. Movaghar, TAPESAN:
A software tool for performance evaluation based on stochastic activity
networks, Proceedings of the 5th Iranian Conference on Electrical
Engineering, Vol. 5, Tehran, Iran, pp. 31033110, May 1997 (in Persian). 26. A. Movaghar, Stochastic activity
networks: A new definition, Proceedings of the IASTED
International Conference on Modeling and Simulation, Pittsburgh, PA, pp.
2730, May 1997. 27. A. Movaghar and R. Khosravi, Investigating
some important models of concurrency, Research Proceedings of
Sharif University of Technology, Computer Engineering Department, Tehran,
Iran, pp. 174182, 1997 (in Persian). 28. S.M. Havaeji and A. Movaghar, Designing
a gateway between a X.25 public network and an Ethernet local area network
and implementing some parts of it, Proceedings of the 2nd Annual
CSI Computer Conference, Tehran, Iran, pp. 174182, Dec. 1996 (in Persian). 29. A. Movaghar, Performance measures for
realtime systems, Proceedings of the 3rd International Workshop
on Performability Modeling of Computer and
Communication Systems, Bloomingdale, IL, Sept. 1996. 30. A. Movaghar, On queueing with customer
impatience until the beginning of service, Proceedings of the 2nd
IEEE International Computer Performance and Dependability Symposium,
UrbanaChampaign, IL, pp. 150157, Sept. 1996. 31. J.F. Meyer, A. Movaghar and W.H.
Sanders, Stochastic
Activity Networks: Structure, Behavior, and Application,
Proceedings Int. Workshop on Timed Petri Nets, Torino, Italy, pp. 106115,
Jul. 1985. 32. A. Movaghar and J.F. Meyer, Performability
modeling with stochastic activity networks, Proceedings of the
1984 RealTime Systems Symposium, Austin, TX, pp. 215224, Dec. 1984. 33. PhD Thesis: Performability Modeling with Stochastic
Activity Networks, Ph.D. Dissertation, The University of Michigan, 1985.
Net Sys 230  Wireless Networking,
Last taught in Spring Quarter 2011. 40115  Discrete Structures,
Last taught in Fall 2010. 40824  Performance
Evaluation of Computer Systems,
Last taught in Fall 2018. 40415  Theory of
Machines and Languages, Currently being taught. 40665  Verification of
Reactive Systems, Currently
being taught. 40657  Modeling and Analysis
of Computer Networks,
Last taught in Winter 2008. 40775  Complexity Theory, Last taught
in Winter 2002. 40926  Advanced Topics in
Software Systems, Last taught in Winter 2000. 40607 Neural
Networks, Last taught in
Winter 2000. 40645  Fuzzy
Systems, Last taught in Fall
1998. 40443  Computer
Networks, Last taught in Fall
1998.
Current: Shirin Baghoolizadeh, Ph.D.
Student. Title of thesis: Model Checking of Continuoustime
Stochastic Games. Maryam Bagheri, Ph.D.
Student. Title of thesis: Runtime Analysis of Self Adaptive System. Soroush Karimian, Ph.D. Student. Title of
thesis: Modeling and Performance Evaluation of Map/Reduce Programs. Leila
Rashidy, Ph.D. Student. Title of
thesis: Analysis and Improvement of Routing in Large Scale Delay
Tolerant Networks Mahdieh Ahmadi, Ph.D.
Student. Title of thesis: Service Differentiation in Cache
Networks. Morteza
Golkarifard, Ph.D.
Student. Title of thesis: Flow Management with Service Chain
Embedding in SoftwareDefined Networks. . Graduated: Moslem Habibi, Ph.D.
2019. Title of thesis: Collaboration Enhancement Models in Cloud
Federation Hamidreza Mahyar, Ph.D. 2018. Title of thesis: Efficient Detection of High
Centrality Nodes in Social Networks. Marzieh Malekimajd, Ph.D. 2018. Title of
thesis: Virtual Machines Allocation and Server Consolidation in
Distributed Cloud. Ehsan Ataie, Ph.D.
2017. Title f thesis: Modeling and Evaluation of Performability in Cloud Computing Considering Power
Consumption. Mohamad Gharib, Ph.D.
2015. Title of thesis: Key Management in Large Scale Mobile Ad Hoc
Networks. Hamed Yousefi, Ph.D. 2015. Title
of thesis: RealTime Data Aggregation in Wireless Sensor Networks. Sadegh Aliakbary,
Ph.D. 2015. Title of thesis: Social Network
Simulation for Analyzing Social Interaction in a Decision Support System. Reza Entezari
Maleki, Ph.D. 2014. Title
of thesis: Performability
Modeling and Analysis in Grid Computing. 