Sharif University of Technology

 Department of Computer Engineering

Ali Movaghar

Professor

  • E-mail: movaghar@sharif.edu

  • Home Page: http://sina.sharif.edu/~movaghar

  • Address: Computer Engineering Department, Sharif University of Technology, P.O. Box 11155-9517, Azadi Ave., Tehran, Iran 1998717869

  • Office: #318

  • Phone: (++98)(21) 66164628

  • Fax: (++98)(21) 66019246

Education     Background     Research Interests     Publication     Courses Taught    Students

Educational Background:

Professional Background:

Research Interests:

Publications:

Journal Papers:

  1. M. Kargahi and A. Movaghar, Dynamic Routing of Real time Jobs among Parallel EDF Queues: A Performance Study,  to appear in Computers and Electrical Engineering.

  2. M. Asadpour, B. Sattarzadeh and A. Movaghar, Anonymous Authentication Protocol for GSM Networks, to appear in International Journal of Security and Networks.

  3. 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. 1, pp. 37-55, Spring 2007.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  20. M. Abdollahi Azgomi and A. Movaghar, Design and Implementation of  SharifSAN and Its Features for Performance Evaluation of Computer Systems, Sharif Journal of Science & Technology, No. 25, pp.  29-41, 2003 (in Persian).

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

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

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

Conference and Workshop Papers:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Courses Recently Taught:

 

Students Supervised:

Current:

Graduated: