Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: http://sina.sharif.edu/~movaghar/Ali-06-23-12.JPG

 

 

 

·  Personal Information

·  Education Background

·  Professional Background

·  Research Interests

·  Publications

·  Courses Taught

·  Students Supervised

 

 

Personal Information


Name: Ali Movaghar, Professor
E-mail: movaghar@sharif.edu
Home Page: http://sina.sharif.edu/~movaghar
Address: Department of Computer Engineering, Sharif University of Technology, P.O. Box 11155-9517, Azadi Ave., Tehran
14588-89694, Iran
Office: Room 824
Phone: (++98)(21) 661 66628
Fax: (++98)(21) 660 19246

Curriculum Vita

 

Educational Background

 

· 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.

Professional Background

 

October 2015 - : 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.

2009-2011: Chair, Information Technology Division, Department of Computer Engineering, Sharif University of Technology, Tehran, Iran.

2007-2008: Dean of Graduate Studies, School of Science and Engineering, International Campus of Sharif University of Technology at Kish Island, Persian Gulf, Iran.

2002-2006: Chair, Graduate Committee, Department of Engineering, Sharif University of Technology, Tehran, Iran.

2003-2004: Chair, Software Division, Department of Computer Engineering, Sharif University of Technology, Tehran, Iran.

1998-2000: Chair, Software Division, Department of Computer Engineering, Sharif University of Technology, Tehran, Iran.

1995-1996: Chair, Graduate Committee, Department of Computer Engineering, Sharif University of Technology, Tehran, Iran.

Research Interests

 

·  Performance and Dependability Modeling

·  Formal Verification

·  Wireless and Mobile Networks

·  Distributed Real-Time Systems

Publications

Journal/Electronic Notes papers:

1.    M. Gharib, H. Yousefzadeh, A. Movaghar, Secure Overlay Routing Using Key Pre-Distribution: A Linear Distance Optimization Approach, to appear in the IEEE Transactions on Mobile Computing.

2.    M. Hatamian, H. Barati, A. Movaghar, N. Naghizadeh, CGC: centralized genetic-based clustering protocol for wireless sensor networks using onion approach, to appear in the Telecommunication Systems.

3.    R. Entezari-Maleki, M. Gharib, M. Khosravi, A. Movaghar, IDS Modeling and Security Evaluation in WANETs using Stochastic Models, to appear in the International Journal of Ad Hoc and Ubiquitous Computing.

4.    A. Barati, A. Movaghar, M. Sabaii, RDTP: reliable data transport protocol in wireless sensor networks, Telecommunication Systems, Vol. 62, No. 3, pp. 611-623, 2016.

5.    H. Yousefi, M. Malekimajd, M. Ashuri, A. Movaghar, Fast Aggregation Scheduling in Wireless Sensor Networks, IEEE Transactions on Wireless Communications, Vol. 14, No. 6, pp. 3402 - 3414, 2015.

6.    M.E. Esmaili, R. Entezari-Maleki, A. Movaghar, Improved Region-Based TCTL Model Checking of Time Petri Nets, JCSE, Vol. 9, No. 1, pp. 9-19, 2015.

7.    M. Ashouri, H. Yousefi, J. Basiri, A.M.A. Hemmatyar, A. Movaghar, PDC: Prediction-based data-aware clustering in wireless sensor networks, J. Parallel Distrib. Comput., Vol. 81-82, pp. 24-35, 2015.

8.    M. Malekimajd, A. Movaghar and S. Hosseini Motlagh, Minimizing latency in geo-distributed clouds, The Journal of Supercomputing, Vol. 71, No. 12, pp. 4423-4445, 2015.

9.    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,

10. pp. 765-789, 2015.

11. R. Entezari-Maleki, 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. 204-216, 2015.

12. 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. 2079-2091, 2015. 

13. S. Aliakbary, S. Motallebi, S. Rashidian, J. Habibi, and A. Movaghar, Towards a Size-Independent 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

14. S. Aliakbary, S. Motallebi, S. Rashidian, J. Habibi, and A. Movaghar, Noise-Tolerant Model Selection and Parameter Estimation for Complex Networks, Physica A: Statistical Mechanics and its Applications, Vol. 427, pp.100 – 112, June 2015. 

15. G. Sotudeh and A. Movaghar, Abstraction and approximation in fuzzy temporal logics and models, Formal Aspects of Computing (FAC), Vol. 27, Issue 2, pp. 309-334, Nov. 2014.

16. R. Entezari-Maleki, 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. 827-844, 2014.

17. M. Mohaqeqi, M. Kargahi and A. Movaghar, Analytical Leakage-Aware Thermal Modeling of a Real-Time System,  IEEE Transactions on Computers (TC), Vol. 63, No. 6, pp. 1377-1391, June 2014.

18. S. Kardani-Moghaddam, R. Entezari-Maleki and A. Movaghar, A Cost Efficient Two-level Market Model for Task Scheduling Problem in Grid Environment, Iranian Journal of Science & Technology, Transactions of Electrical Engineering, Vol. 38, No. 1, pp. 73-90, 2014.

19. 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.

20. S. Adabi, A. Movaghar, A.M. Rahmani, H. Beigy and H. Dastmalchy-Tabrizi, A new fuzzy negotiation protocol for grid resource allocation, Elsevier Journal of Network and Computer Applications, Vol. 37, No. 1, pp. 89-126, January 2014.

21. S. Adabi, A. Movaghar and A.M. Rahmani, Bi-level fuzzy based advanced reservation of cloud workflow applications on distributed grid resources,  The Journal of Supercomputing, Vol. 67, No. 1, pp. 175-218, January 2014.

22. F. Ghods, H. Yousefi and A. Movaghar, MC-MLAS: Multi-Channel Minimum Latency Aggregation Scheduling in Wireless Sensor Networks, Computer Networks, Vol. 57, Issue 18, pp. 3812-3825, December 2013.

23. 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. 1350-1389, December 2013.

24. S. Adabi, A. Movaghar, A.M. Rahmani and H. Beigy, Market-based Grid Resource Allocation using New Negotiation Model, Elsevier Journal of Network and Computer Applications, Vol. 36, No. 1, pp. 543-565, January 2013.

25. 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. 1751-1779, 2013.

26. 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. 202-212, May-June 2012.

27.  H. Yousefi, M.H. Yeganeh, N. Alinaghipour, A. Movaghar, Structure-free Real-time Data Aggregation in Wireless Sensor Networks, Elsevier Journal of Computer Communications (COMCOM’12), Vol. 35, No. 9, pp. 1132-1140, 2012.

28. N. Tabbaa, R. Entezari-Maleki, and A. Movaghar, Reduced Communications Fault Tolerant Task Scheduling Algorithm for Multiprocessor Systems, Procedia Engineering, Vol. 29, pp. 3820-3825, 2012.

29. S. Kardani-Moghaddam, F. Khodadadi, R. Entezari-Maleki, and A. Movaghar, A Hybrid Genetic Algorithm and Variable Neighborhood Search for Task Scheduling Problem in Grid Environment, Procedia Engineering, Vol. 29, pp. 3808-3814, 2012.

30. R.  Entezari-Maleki and A. Movaghar, A Probabilistic Task Scheduling Method for Grid Environments, Future Generation Computer Systems (FGCS), Vol. 28, pp. 513-524, 2012.

31. M. Malekimajd, M.R. Hoseiny-Farahabady, A. Movaghar and H. Sarbazi-Azad, Pancyclicity of OTIS (Swapped) Networks based on properties of the factor graph, Information Processing Letters, Vol. 111, No. 23-24, pp. 1114-1119, December 2011.

32. M. Kargahi and A. Movaghar, Performance Optimization Based on Analytical Modeling in a Real-Time System with Constrained Time/Utility Functions, IEEE Transactions on Computers (TC), Vol. 60, No. 8, pp. 1169-1181, August 2011.

33. F. Ghassemi, W. Fokkink and A. Movaghar, Verification of Mobile Ad Hoc Networks: An Algebraic Approach, Theoretical Computer Science, Vol. 412, No. 28, pp. 3262-3282, June 2011.

34. R. Entezari-Maleki 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 11-24, June 2011.

35. A. Movaghar, Analysis of a Dynamic Assignment of Impatient Customers to Parallel Queues, Queueing Systems, Vol. 67, No. 3, pp. 251-273, 2011.

36.  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 (GRAPH-HOC), Vol. 3, No. 1, pp. 18-33, March 2011.

37.  T. Shafiei, M.R. Hoseiny-Farahabady, A. Movaghar and H. Sarbazi-Azad, On pancyclicity properties of OTIS-mesh , Information Processing Letters, Vol. 111, No. 8, pp. 353-359, March 2011.

38. F. Ghassemi, W. Fokkink and A. Movaghar, Equational Reasoning on Mobile Ad Hoc Networks, Fundamenta Informaticae, Vol. 105, No. 4, 2010.

39. A. Balador, A. Movaghar, S. Jabbehdari, Efficient Contention Window Control with Two-Element Array, Journal of Computing (JoS),  Vol. 2, No. 8, pp. 13-18, 2010.

40. 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. 310-323, 2010.

41. 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. 205-209, 2010.

42. M. Kargahi and A. Movaghar, Utility Accrual Dynamic Routing in Real-Time Parallel Systems, IEEE Transactions on Parallel and Distributed Systems (TDPS), Vol. 21, No. 12, pp. 1822-1835, December 2010.

43. 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. 835-849, September 2010.

44. H. R. Shahriari, M. Sadegh Makarem, M. Sirjani, R. Jalili and A. Movaghar, Vulnerability Analysis of Networks to Detect Multiphase Attacks Using the Actor-based Language Rebeca, Computers and Electrical Engineering, Vol. 36, No. 5, pp. 874-885, September 2010. 

45. 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.33-66, 2010.

46. M. Izadi and A. Movaghar, Compositional Failure-based Equivalence of Cinstraint Automata, Electronic Notes in Theoretical Computer Science (ENTCS), No. 250, pp. 105-122, 2009.

47. 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. 444-449, 2008.

48. 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. 351-355, 2008.

49. M. Niazi Torshiz and A. Movaghar, Performance Evaluation of a Fuzzy-Based Traffic Conditioner for Mobile Ad Hoc Networks, Journal of Circuits, Systems, and Computers (JCSC), Vol. 17, No. 6, pp. 995-1014, December 2008.

50. M. Izadi and A. Movaghar, Model Checking of Component-Based Software Using Compositional Reductions, International Journal of Software Engineering and Knowledge Engineering (IJSEKE), Vol. 18, No. 5, pp. 683-712, 2008.

51. S.J. Mirabedini, M. Teshnehlab, M.H. Shenasa, A. Movaghar and A.M. Rahmani, AFAR: Adaptive Fuzzy Ant-based Routing for Communication Networks, Journal of Zhejiang University Science A, Vol. 12, No. 9, pp. 1666-1675, 2008.

52. M. Kargahi and A. Movaghar, Stochastic DVS-Based Dynamic Power Management for Soft Real-Time Systems, MICROPROCESSORS AND MICROSYSTEMS, Vol. 32, No. 3, pp. 121-144, 2008.

53. M. Asadpour, B. Sattarzadeh and A. Movaghar, Anonymous Authentication Protocol for GSM Networks, International Journal of Security and Networks, Vol. 3, No. 1, pp. 54-62, 2008.

54. M. Kargahi and A. Movaghar, A Two Class M/M/1 System with Preemptive Non Real-Time Jobs ans Prioritized Real-Time Jobs under Earliest-Deadline-First Policy, Scientia Iranica, Vol. 15, No. 2, pp. 252-265, March-April 2008.

55. H. Motameni, A. Movaghar and F. Fadavi Amiri, Mapping Activity Diagram to Petri Net: Application of Markov Theory for Analyzing Non-Functional Parameters, International Journal of Engineering, Vol. 20, No. 1, pp. 65-76, April 2007.

56. M. Kargahi and A. Movaghar, A Non-Preemptive Two-Class M/M/1 System with Prioritized Real-Time Jobs under Earliest-Deadline-First Policy, Journal of Industrial and Systems Engineering, Vol. 1, No. 1, pp. 260-280, Fall 2007.

57. M. Kargahi and A. Movaghar, A Multiprocessor System with Non-Preemptive Earliest-Deadline-First Scheduling Policy: A Performability Study, Journal of Industrial and Systems Engineering, Vol. 1, No. 3, pp. 37-55, Spring 2007.

58. M. Abdollahi Azgomi and A. Movaghar, An Introduction to High-Level Stochastic Activity Networks, International Reviews on Computers and Software, Vol. 1, No. 1, Praise Worthy Prize, ISSN: 1828-6003, pp. 20-30, 2006.

59. M. Kargahi and A. Movaghar, A Method for Performance Analysis of Earliest-Deadline-First Scheduling Policy, The Journal of Supercomputing, Vol. 37, No. 2, pp. 197-222, 2006.

60. 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. 3-22, 2006.

61. 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. 171-186, 2006.

62. A. Movaghar, On queueing with customer impatience until the end of service, Stochastic Models, Vol. 22, pp. 149-173, 2006.

63. M. Izadi and A. Movaghar, An Efficient Model Checking Algorithm for a Fragment of Mu-Calculus, CSI Journal on Computer Science & Engineering (JCSE) , Vol. 3, No. 3 (a), pp. 43-53, Fall 2005 (in Persian).

64. M. Sirjani, F. S. de Boer and A. Movaghar, Modular Verification of a Component-Based Actor Language, Journal of Universal Computer Science (JUCS), Vol. 11, No. 10, pp. 1695-1717, 2005.

65. 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. 1054-108, 2005.

66. 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. 505-524, 2005.

67. M. Sirjani and A. Movaghar, Integrating Model Checking and Deduction for an Actor-Based Language, Scientia Iranica, Vol. 12, No. 1, pp. 55-65, Winter 2005.

68. 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. 79-92, 2005.

69. A. Movaghar, Optimal Control of Parallel Queues with Impatient Customers, Performance Evaluation, Vol. 60, No. 1-4, pp.327-343, 2005.

70. 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. 1-2, pp. 56-66, January 2005.

71. 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. 385-410, December 2004.

72. M. Sirjani, S.H. Razi, A. Movaghar, M.M. Jaghoori, S. Forghanizadeh, and M. Mojdeh, Model Checking CSMA/CD Protocol Using an Actor-Based Language, WSEAS Transactions on Circuit and Systems, Vol. 4, No. 6, 2004.

73. 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. 3-14, Spring-Summer 2004 (in Persian).

74. 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. 29-41, 2003 (in Persian).

75. A. Movaghar, Stochastic Activity Networks: A New Definition and Some Properties, Scientia Iranica, Vol. 8, No. 4, pp. 303-311, October 2001.

76. A. Movaghar, On queueing with customer impatience until the beginning of service, Queueing Systems, Vol. 29, No. 4, pp. 337-350, 1998.

77. A. Movaghar, Optimal assignment of impatient customers to parallel queues with blocking, Scientia Iranica, Vol. 3, No. 29, pp. 137-146, January1997.

 

Conference/Workshop papers:

 

1.     S. M. Morshedi, H. Mahyar and A. Movaghar, Influence-based Community Detection in Social Recommender Systems, Proceedings of the European Conference on Social Networks (EUSN 2016), Paris, France, June 2016.

2.    S. M. Taheri, H. Mahyar, M. Firouzi and A. Movaghar, Similarity-based Ranking of User Influence in Bipartite Social Networks, Proceedings of the European Conference on Social Networks (EUSN 2016), Paris, France, June 2016.

3.    H. Mahyar, H. R. Rabiee, A. Movaghar, R. Hasheminezhad, E. Ghalebi, and A. Nazemian, A low-cost sparse recovery framework for weighted networks under compressive sensing, Proceedings of the IEEE International Conference on Social Computing and Networking (SocialCom 2015), Chengdu, China, pp. 183-190, December 2015.

4.     H. Mahyar, H. R. Rabiee, A. Movaghar, E. Ghalebi, and A. Nazemian, CS-ComDet: A compressive sensing approach for inter-community detection in social networks, Proceedings of the IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM 2015), Paris, France, pp. 89-96, August 2015.

5.    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. 

6.       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 4-7, 2014.

7.    Z. Moradlu, M. A. Doostari, M. Gharib, A. Movaghar, Fully Distributed Self Certified Key Management for Large-Scale MANETs, Proceedings of the 10th IEEE International Conference on Ubiquitous Intelligence and Computing (UIC-2013), Vietri sul Mare, Italy, December 18-20, 2013.

8.    M. Roohitavaf, R. Entezari-Maleki, 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. 675-680, December 15–18, 2013.

9.    M. Gharib, M. Minaei, M. Golakri, 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 26-28, 2013.

10. M. Gharib, E. Emam-Jomeh-Zadeh, 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. 349-356, March 25-28, 2013.

11. M. Abdoli, R. Entezari-Maleki, and A. Movaghar, A Rank-based Hybrid Algorithm for Scheduling Data- and Computation-intensive 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 12-14, 2013.

12. M. H. Mobini, R. Entezari-Maleki, A. Movaghar, Biogeography-Based 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. 349-355, October 3–5, 2012.

13. M. Ashuri, H. Yousefi, A.M.A. Hemmatyar, A. Movaghar, FOMA: Flexible Overlay Multi-path Data Aggregation in Wireless Sensor Networks, Proceedings of the 17th IEEE symposium on Computers and Communications (ISCC 2012), Cappadocia, Turkey, July 1-4, 2012.

14. S. Bahrami, H. Yousefi, A. Movaghar, DACA: Data-Aware Clustering and Aggregation in Query-Driven Wireless Sensor Networks, Proceedings of the 21st International Conference on Computer Communication Networks (IEEE ICCCN’12),  Germany, pp. 1-7, 2012.

15. I. Nikseresht, H. Yousefi, A. Movaghar, M. Khansari, Interference-Aware 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. 216-221, 2012.

16. 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. 72-86, 2011. 

17. R. Entezari-Maleki 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. 1-6, September 15–17, 2011.

18. Naser Alinaghipour, Hamed Yousefi, Mohammad Hossein Yeganeh, Ali Movaghar, Long Lifetime Real-time Routing in Unreliable Wireless Sensor Networks, Proceedings of the 4th IEEE/IFIP Wireless Days (IEEE/IFIP WD'11), pp. 1-6, 2011.

19. ] Mohammad Hossein Yeganeh, Hamed Yousefi, Naser Alinaghipour, Ali Movaghar, RDAG: A Structure-free Real-time Data Aggregation Protocol for Wireless Sensor Networks, Proceedings of the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (IEEE RTCSA'11), pp. 51-60, 2011.

20. Leila Eskandari, Hamed Yousefi, Ali Movaghar, Mohammad Khansari, “IMAC: An Interference-aware Duty-cycle 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.288-293, 2011.

21. Ali Barati , S. Jalalledin Dastgheib, Ali Movaghar and Iman Attarzadh, An Optimized Algorithm to Detect Faulty Readings along the Substrate Access Wireless  Long-Thin Sensor Networks, Proceedings of the 2011 UKSim 13th International Conference on Computer Modelling and Simulation (UKSim), Emmanuel College, Cambridge, United Kingdom, pp. 372-377, 30 March – 1 April 2011.

22. Zohreh Mousavinasab, Reza Entezari-Maleki 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. 200-210, Ostrava, Czech Republic, July 7-9, 2011.

23. Nabil Tabbaa, Reza Entezari-Maleki 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. 189-199, July 7-9, 2011.

24. 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. 457-462, April 2011.

25. Sepideh Afkhami-Goli, Hamed Yousefi, and Ali Movaghar, An Efficient Distributed Cluster-head 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. 227-232, 2010.

26. Reza Entezari-Maleki and Ali Movaghar, A Genetic-Based 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. 22-31, December 13-15, 2010.

27. 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 21-25, 2010.

28. 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. 437-442, 2010.

29. Nima Attarzadeh, Ali Barati  and Ali Movaghar, A New Method for Coverage in Wireless Sensor Networks, 2009 Eighth IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC-09),  Chengdu, China, pp. 369-372, December 12-14, 2009.

30. Ehsan Kharazi, Ali Barati  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. 644-646, August 8-9, 2009.

31. 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. 393-396, August 25-27, 2009.

32. Ehsan Heidari and Ali Movaghar, Intelligent Clustering in Wireless Sensor Networks, The First International Conference on Networks and Communications (NetCoM 2009),  Chennai, India, pp. 12-17, December 27-29, 2009.

33. Ehsan Allahyar and Ali Movaghar, Weighted start-time fair queuing: a new start-time fair queuing for elastic traffic, Proceedings of the 12th Communications and Networking Simulation Symposium (CNS), San Diego, CA, 2009.

34. 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. 453-458, 2009.

35.  H. Seifzadeh, A.A. Pourhaji Kazem, M. Kargahi and A. Movaghar, A Method for Dynamic Software Updating in Real-Time Systems, Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2009), Shanghai, China, pp. 34-38, June 1-3, 2009.

36. A.A. Pourhaji Kazem, H. Seifzadeh,  M. Kargahi, A. Movaghar and S. Lotfi,  Maximizing the Accrued Utility of an Isochronal Soft Real-Time System Using Genetic Algorithms, Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2009), Shanghai, China, pp. 65-69, June 1-3, 2009.

37. 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. 41-55, 15-17 April 2009.

38. M. Bashari, A. Movaghar and M. Izadi,  Checking Equivalence of Reo Networks Using Chaos-free Failures Divergences, Proceedings of 3rd International Conference on Fundamentals of Software Engineering (FSEN'09), Kish Island, Persian Gulf, Iran, pp. 429-432,  April 15-17, 2009.

39. 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. 419-426, March 2008. 

40. 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. 427-434, March 2008.

41. H. Mousavi and A. Movaghar,  Challenges in Using Peer-to-Peer Structures in Order to Deasign Large-Scale Web Search, Proceedings of 13th International CSI Computer Conference, Kish Island, Persian Gulf, Iran, pp. 461-468, March 2008.

42. M. Mahdavi, R. Forsati  and A. Movaghar,  Bandwidth-Delay Constrained Least Cost Multicast Routing for Multimedia Communication, Proceedings of 13th International CSI Computer Conference, Kish Island, Persian Gulf, Iran, pp. 737-740, March 2008.

43. 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).

44. 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).

45. 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).

46. 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).

47. M, Efatparvar, M.R. Efatparvar, M. Dehghan, A. Movaghar, Introducing a Local Retrieval Method Based on ODMRP Multicast Protocol  in Wireless Mobile Ad-Hoc Networks, Proceedings of 13th Annual CSI Computer Conference, Kish Island, Persian Gulf, Iran, pp. 656-663, March 2008 (in Persian).

48. 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. 312-318, February 2008.

49. 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. 271-276, October 14-20, 2007.

50. 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.176-179, 2007

51. S. Shirali-Shahreza, M. Shirali-Shahreza and A. Movaghar, Exam HIP, Proceedings of the 2007 IEEE Xiamen International Workshop on Security, Anti-Counterfeiting, Identification (2007ASID) in Xiamen, China, April 16 -17, 2007.

52. S. Shirali-Shahreza, M. Shirali-Shahreza and A. Movaghar, Restricted Access to Exam Grades on the Web by HIP, to appear in the Proceedings of the IEEE International Workshop on e-Activity (IEEE-IWEA 2007), Melbourne, Australia, July 11-13, 2007.

53. S. Shirali-Shahreza and A. Movaghar, A New Anti-Spam Protocol Using CAPTCHA, Proceedings of the 2007 IEEE International Conference on Networking, Sensing and Control ( IEEE ICNSC 07), London, United Kingdom, pp. 234-238, April 15-17, 2007.

54. A. Barati and A. Movaghar, Dependable and Secure Data Storage and Retrieval in Ad-Hoc Networks, Proceedings of the 1st International Conference on Digital Communications and Computer Applications (DCCA2007), Ibrid, Jordan , pp. 1299-1305, March 19-22, 2007.

55. H. Mousavi, M.E. Rafiei and A. Movaghar, Characterizing the Web Using a New Uniform Sampling Approach, Proc. of the 2nd IEEE/Create-Net/ICST Int'l Conf. on COMmunication System softWAre and MiddlewaRe (COMSWARE 2007), Banglore, India, January 7-12, 2007.

56. 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. 536-543, January 2007 (in Persian).

57. A, Barati, A. Movaghar, M.R. Eslami Nejad and A. Bazrgar, Presenting an On-Demand Routing Algorithm for Wireless Mobile Ad-Hoc Networks, Proceedings of 12th Annual Int. CSI Computer Conference, Tehran, Iran, pp. 656-663, January 2007 (in Persian).

58. 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. 703-710, January 2007 (in Persian).

59. 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. 605-611, January 2007 (in Persian).

60. 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. 2308-2311, January 2007.

61. 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.

62. 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.

63. 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. 270-274, July 19 - July 21, 2006.

64. 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. 1562-1565, June 25 - June 28, 2006.

65. M.M. Jaghoori, A. Movaghar and M. Sirjani, Modere: The Model-checking Engine of Rebeca, Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC 2006), Dijon, France, pp. 1810-1815, April 23 - April 27, 2006.

66. M. Kargahi and A. Movaghar, Dynamic Routing of Real-Time Jobs among Parallel EDF Queues: A Performance Study, Proceedings of 11th Annual Int. CSI Computer Conference, Tehran, Iran, pp. 385-392, January 2006.

67. H. R. Shahriari, M. Sadegh Makarem, M. Sirjani, R. Jalili and A. Movaghar, Modeling and Verification of Complex Network Attacks Using an Actor-Based Language, Proceedings of 11th Annual Int. CSI Computer Conference, Tehran, Iran, pp. 152-158, January 2006.

68. R.Ghazali, A.Movaghar, Ant-Aodv Hybrid Routing Protocol In MANET, Proceedings of 11th Annual Int. CSI Computer Conference, Tehran, Iran, pp. 673-678, January 2006.

69. S. Jalili, G. Shahmohammadi and A. Movaghar, Requirement Analysis using NuSMV Model Checker, Proceedings of 11th Annual Int. CSI Computer Conference, Tehran, Iran, pp. 673-678, January 2006 (in Persian).

70. 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. 552-559, January 2006 (in Persian).

71. M. Izadi and A. Movaghar, A Logic for Formal Specification of w-Automata, Proceedings of 11th Annual Int. CSI Computer Conference, Tehran, Iran, pp. 735-738, January 2006 (in Persian).

72. 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. 1022-1027, January 2006 (in Persian).

73. 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. 1088-1095, January 2006 (in Persian).

74. 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. 287-305, October 2005.

75. 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. 81-95, October 2005.

76. M. Kargahi and A. Movaghar, Non-Preemptive Earliest-Deadline-First Scheduling Policy: A Performance Study, Proceedings of the International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), Atlanta, Georgia, September 27-29, 2005.

77. M. Abdollahi Azgomi and A. Movaghar, Modeling and Evaluation of A Packet-Based 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. 182-186, September 15-17, 2005.

78. M. Izadi and A. Movaghar, A Formal System for Compositional and Hierarchical Modeling and Verification Component-based Computing Systems, Proceedings of the International Symposium on Telecommunications (IST2005), Shiraz, Iran, pp. 959-964, September 10-12, 2005.

79. M. Izadi and A. Movaghar, An Efficient Model Checking Algorithm for a Fragment of Mu-Calculus, Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005) , Taipei, Taiwan, July 2005.

80. M. Kargahi and A. Movaghar, A Stochastic DVS-Based Dynamic Power Management for Soft Real-Time 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. 63-68, June 13-16, 2005.

81. M. Sirjani, F. de Boer, A. Movaghar and A. Shali, Extended Rebeca: A Component-Based 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.

82. 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).

83. 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. 477-484, February 2005 (in Persian).

84. 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. 501-508, February 2005 (in Persian).

85. 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. 509-517, February 2005 (in Persian).

86. E. Ataie and A. Movaghari, Energy-based Selfishness in Mobile Ad Hoc Networks, Proceedings of 10th Annual Int. CSI Computer Conference, Tehran, Iran, pp. 516-522, February 2005 (in Persian).

87. 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. 534-541, February 2005 (in Persian).

88. 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. 542-549, February 2005 (in Persian).

89. M. Kargahi and A. Movaghar, Performance Analysis of a Dynamic Routing in Real-Time Parallel Queues, Proceedings of 10th Annual Int. CSI Computer Conference, Tehran, Iran, pp. 560-569, February 2005 (in Persian).

90. M. Izadi and A. Movaghar, Integrated Formal Methods: An Approach to Applying Formal Methods to Object-Oriented and Component-Baesd Systems, Proceedings of 10th Annual Int. CSI Computer Conference, Tehran, Iran, pp. 605-612, February 2005 (in Persian).

91. S. Jabbehdari, A. Movaghar, and M. Mirahmadi, Fairness of Two Level Hierarchical Scheduling Scheme for High-Speed Networks by Using SFQ and E-Loss, Proc. of the 1st Int. Conf. on Information Technology 2004 (ICIT 2004), Istanbul, Turkey, pp. 125-128, December 2004.

92. 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. 27-30, IEEE Computer Society Press, pp. 326-327, 2004.

93. 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 7-8, pp. 297-308, 2004 .

94. M. Kargahi and A. Movaghar, A Method for Performance Analysis of Earliest-Deadline-First Scheduling Policy, Proceedings of the IEEE International Conference on Dependable Systems and Networks (DSN-2004), Florence, Italy, July 2004.

95. 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. 1-10, June 26, 2004.

96. 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. 141-146, June 13-16, 2004.

97. M. Sirjani, A. Shali, M. Jaghoori, H. Iravanchi, and A. Movaghar, A Front-End Tool For Automated Abstraction and Modular Verification of Actor-Based Models, Proceedings of the Fourth International Conference on Application of Concurrency to system Design (ACSD 2004), Hamilton, Canada, June 2004.

98. 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).

99. S. Jabbehdari, A. Movaghar and M. Mir Ahmadi, A New Two-Level Hierarchical Scheduling Method Using SFQ and E-LOSS, Proceedings of 9th Annual Int. CSI Computer Conference, Tehran , Iran , February 2004 (in Persian).

100.       M. Kargahi and A. Movaghar, A New Approach for Performance Analysis of Earliest-Deadline-First Scheduling Policy, Proceedings of 9th Annual Int. CSI Computer Conference, Tehran, Iran, February 2004 (in Persian).

101.       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).

102.       M. Izadi and A. Movaghar, A New Algorithm for Model Checking in Mu-Calculus, Proceedings of 9th Annual Int. CSI Computer Conference, Tehran, Iran, February 2004 (in Persian).

103.       M. Abdollahi Azgomi and A. Movaghar, Towards an Object-Oriented Extension for Stochastic Activity Networks, Proceedings of 10th Workshop on Algorithms and Tools for Petri Nets (AWPN'03), Eichst?tt, Germany, 2003, pp. 144-155, Sept. 26-27.

104.       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. 345-350, August 2003.

105.       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. 154-169, June 2003.

106.       A. Movaghar, On Dynamic Assignment of Impatient Customers to Parallel Queues, Proceedings of the IEEE International Conference on Dependable Systems and Networks (DSN-2003), San Francisco, California, USA, pp. 751-759, June 2003.

107.       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. 169-174, June 2003.

108.       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.

109.       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.

110.       M. Izadi and A. Movaghar, A New Approach to Verification of Properties Specified in Mu-Calculus: Using Automata Theory, Proceedings of 8th Annual Int. CSI Computer Conference, Mashhad, Iran, March 2003 (in Persian).

111.       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.

112.       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. 410-415.

113.       M. Sirjani and A. Movaghar, An Object-Based Model for Agents, Proceedings of the Workshop on Agents for Information Management (AIM'02), First EurAsian Conference on Advances in Information and Communication Technology (EURASIA-ICT 2002), Tehran, Iran, Austrian Computer Society, pp. 307-310, October 2002.

114.       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. 923-926, June 2002.

115.       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).

116.       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.

117.       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.

118.       M. Sirjani, A. Movaghar and M.R. Mousavi, Compositional Verification of an Object-Based Model for Reactive Systems, Proceedings of the Workshop on Automated Verification of Critical Systems ( AVoCS'01), Oxford University Computing Laboratory, PRG-RR-01-07, Oxford, UK, April 2001.

119.       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).

120.       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).

121.       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.

122.       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).

123.       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).

124.       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).

125.       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).

126.       M. Firoozbakht and A. Movaghar, Reducing delay in HTTP protocol in high-speed networks, Proceedings of 4th Annual Int. CSI Computer Conference, Vol. 3, Tehran, Iran, pp. 369-375, January 1999 (in Persian).

127.       S. Azodolmolki and A. Movaghar, An approach to congestion control mechanisms for interconnecting LANs using high-speed networks, Proceedings of 4th Annual Int. CSI Computer Conference, Vol. 3, Tehran, Iran, pp. 376-382, January 1999 (in Persian).

128.       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. 167-178, 1998 (in Persian).

129.       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. 167-178, 1998 (in Persian).

130.       M. Abdollahi Azgomi and A. Movaghar, Security enhancement for network services, Proceedings of 3rd Annual Int. CSI Computer Conference, Vol. 3, Tehran, Iran, pp. 450-457, December 1997 (in Persian).

131.       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. 56-63, December 1997 (in Persian).

132.       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. 3103-3110, May 1997 (in Persian).

133.       A. Movaghar, Stochastic activity networks: A new definition, Proceedings of the IASTED International Conference on Modeling and Simulation, Pittsburgh, PA, pp. 27-30, May 1997.

134.       A. Movaghar and R. Khosravi, Investigating some important models of concurrency, Research Proceedings of Sharif University of Technology, Computer Engineering Department, Tehran, Iran, pp. 174-182, 1997 (in Persian).

135.       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. 174-182, Dec. 1996 (in Persian).

136.       A. Movaghar, Performance measures for real-time systems, Proceedings of the 3rd International Workshop on Performability Modeling of Computer and Communication Systems, Bloomingdale, IL, Sept. 1996.

137.       A. Movaghar, On queueing with customer impatience until the beginning of service, Proceedings of the 2nd IEEE International Computer Performance and Dependability Symposium, Urbana-Champaign, IL, pp. 150-157, Sept. 1996.

138.       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. 106-115, Jul. 1985.

139.       A. Movaghar and J.F. Meyer, Performability modeling with stochastic activity networks, Proceedings of the 1984 Real-Time Systems Symposium, Austin, TX, pp. 215-224, Dec. 1984.

PhD Thesis: Performability Modeling with Stochastic Activity Networks, Ph.D. Dissertation, The University of Michigan, 1985.

Courses Recently Taught

 

·  Net Sys 230 - Wireless Networking, Last taught in Spring Quarter 2011.

·  40-115 - Discrete Structures, Last taught in Fall 2010.

·  40-824 - Performance Evaluation of Computer Systems, Currently teaching.

·  40-415 - Theory of Machines and Languages, Last taught in Fall 2015.

·  40-665 - Verification of Reactive Systems, Last taught in Winter 2015.

·  40-657 - Modeling and Analysis of Computer Networks, Last taught in Winter 2008.

·  40-775 - Complexity Theory, Last taught in Winter 2002.

·  40-926 - Advanced Topics in Software Systems, Last taught in Winter 2000.

·  40-607-  Neural Networks, Last taught in Winter 2000.

·  40-645 - Fuzzy Systems, Last taught in Fall 1998. 

·  40-443 - Computer Networks, Last taught in Fall 1998.

Ph.D. Students Supervised

 

Current:
Marzieh Malekimajd, Ph.D. Student. Title of thesis: Virtual Machines Allocation and Server Consolidation in Distributed Cloud.

Moslem Habibi, Ph.D. Student. Title of thesis: Collaboration Enhancement Models in Cloud Federation.

Hamidreza Mahyar, Ph.D. Student. Title of thesis: Efficient Detection of High Centrality Nodes in Social Networks.

Shirin Baghoolizadeh, Ph.D. Student. Title of thesis: Model Checking of Continuous-time Stochastic Games.

Ehsan Ataei, Ph.D. Student. Title of thesis: Modeling and Evaluation of Performability in Cloud Computing Considering Power Consumption.

Maryam Bagheri, Ph.D. Student. Title of thesis: Runtime Analysis of Self Adaptive System.

Soroush Karimian, Ph.D. Student. Title of thesis: To be defined later.

Leila Rashidian, Ph.D. Student. Title of thesis: To be defined later.

Morteza Golkarifard, Ph.D. Student. Title of thesis: To be defined later.

Mahdieh Ahmadi, Ph.D. Student. Title of thesis: To be defined later.

 

Graduated:

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:  Real-Time 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.
Fatemeh Ghassemi Esfahani, Ph.D. 2011. Title of thesis: Formal Analysis of Ad Hoc Network Protocols Using Process Algebra.
Mohammad Izadi,
Ph.D. 2008. Title of thesis: An Integrated Formal Method for Specification and Verification of Component-Based Systems.
Mehdi Kargahi,
Ph.D. 2006. Title of thesis: Novel models and scheduling algorithms for enhancing the performability of real-time system.
Mohammad Abdollahi Azgomi
, Ph.D.2005. Title of thesis: High-Level Extensions for Stochastic Activity Networks: Theories, Tools and Applications.
Marjan Sirjani,
Ph.D., 2004. Title of thesis: Formal specification and verification of concurrent and real-time systems.

 

 

 

Free counter and web stats