
Name: Ali
Movaghar, Professor Email: movaghar@sharif.edu
Home Page: http://sina.sharif.edu/~movaghar
Address: Department of Computer Engineering, Sharif University of
Technology, P.O. Box 111559517, Azadi Ave., Tehran, 1998717869, Iran
Office: Room 824 Phone: (++98)(21) 661 66628
Fax: (++98)(21) 660 19246
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.
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.
20032004: Chair, Software Division, Department of Computer
Engineering, Sharif University of Technology, Tehran, Iran.
19982000: Chair, Software Division, Department of Computer Engineering,
Sharif University of Technology, Tehran,
Iran.
19951996: Chair, Graduate Committee, Department of Computer
Engineering, Sharif University of Technology, Tehran, Iran.
Performance and Dependability Modeling
Formal VerificationWireless and Mobile NetworksDistributed RealTime Systems
Journal/Electronic
Notes papers:
 F. Reza EntezariMaleki and A. Movaghar,
A Probabilistic Task Scheduling
Method for Grid Environments,
to appear in Future Generation Computer Systems.
 M. Malekimajdý, M.R. HoseinyFarahabady, A. Movaghar and H.
SarbaziAzad, Pancyclicity of OTIS (Swapped)
Networks based on properties of the factor graph, to appear
in Information Processing Letters.
 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.
 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.
 F. Reza EntezariMaleki and A. Movaghar,
A GeneticBased Scheduling Algorithm to Minimize the Makespan of the Grid Applications,
International Journal of Grid and Distributed Computing (IJGDC), Vol. 4, No. 2, pp 1124, June 2011.
 A. Movaghar,
Analysis of a Dynamic Assignment of Impatient Customers to Parallel Queues,
Queueing Systems, Vol. 67, No. 3, pp. 251273, 2011.
 F. Ghassemi, W. Fokkink and A. Movaghar,
Equational Reasoning on Mobile Ad Hoc Networks,
Fundamenta Informaticae, Vol. 105, No. 4, 2010.
 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.
 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.
 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.
 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.
 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.
 M. Izadi and A. Movaghar,
Compositional
Failurebased Equivalence of Cinstraint Automata, Electronic
Notes in Theoretical Computer Science (ENTCS), No. 250, pp. 105122, 2009.
 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.
 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.
 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.
 M. Kargahi and A. Movaghar,
Stochastic DVSBased Dynamic Power Management
for Soft RealTime Systems, MICROPROCESSORS AND MICROSYSTEMS,
Vol. 32, No. 3, pp. 121144, 2008.
 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.
 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.
 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.
 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.
 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.
 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.
 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).
 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.
 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.
 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.
 A. Movaghar,
On queueing with
customer impatience until the end of service, Stochastic Models,
Vol. 22, pp. 149173, 2006.
 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.
 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.
 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.
 M. Sirjani and A. Movaghar,
Integrating
Model Checking and Deduction for an ActorBased Language,
Scientia Iranica, Vol. 12, No. 1, pp. 5565, Winter 2005.
 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.
 A. Movaghar,
Optimal Control of
Parallel Queues with Impatient Customers, Performance
Evaluation, Vol. 60, No. 14, pp.327343, 2005.
 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.
 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.
 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.
 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).
 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).
 A. Movaghar,
Stochastic
Activity Networks: A New Definition and Some Properties,
Scientia Iranica, Vol. 8, No. 4, pp. 303311, October 2001.
 A. Movaghar,
On
queueing with customer impatience until the beginning of
service, Queueing Systems, Vol. 29, No. 4, pp. 337350, 1998.
 A. Movaghar,
Optimal assignment of impatient
customers to parallel queues with blocking, Scientia
Iranica, Vol. 3, No. 29, pp. 137146, January1997.
Conference/Workshop papers:

Zohreh Mousavinasab, Reza EntezariMaleki and Ali Movaghar,
A Bee Colony
Task Scheduling Algorithm in Computational Grids, 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.

Nabil Tabbaa, Reza EntezariMaleki and Ali Movaghar,
A Fault Tolerant
Scheduling Algorithm for DAG Applications in Cluster Environments, The
International Conference on Digital Information Processing and
Communication (ICDIPC 2011), Communications in Computer and Information
Science (CCIS), Vol. 188, Springer press, pp. 189199, Ostrava, Czech
Republic, July 79, 2011.

Hamed Yousefi, Mohammad Hossein Yeganeh, Ali Movaghar,
Long Lifetime Routing in Unreliable Wireless Sensor Networks,
8th IEEE International Conference on
Networking, Sensing and Control (IEEE ICNSC'11), , pp. 457462, April 2011.

Sepideh AfkhamiGoli, Hamed Yousefi, and Ali Movaghar,
An Efficient Distributed Clusterhead Election
Technique for Load Balancing in Wireless Sensor Networks,
6th International Conference
on Intelligent Sensors, Sensor Networks and Information Processing (IEEE ISSNIP'10),
, pp. 227232, 2010.

Reza EntezariMaleki and Ali Movaghar,
A GeneticBased
Scheduling Algorithm to Minimize the Makespan of the Grid Applications,
, Grid and Distributed
Computing Conference (GDC 2010),
Communications in Computer and Information Science (CCIS), Vol. 121,
Springer press, pp. 2231, Jeju Island ,
South Korea, December 1315, 2010.
 Fatemeh Ghassemi, Ali Movaghar and Wan
Fokkink,
Performance
Evaluation of Mobile Ad Hoc Network Protocols,
10th
International Conference on Application of Concurrency to System
Design (ACSD 2010), Braga, Portugal, June
2125, 2010.

Sh. Khomejani and A. Movaghar,
Privacy Consideration for Trustworthy Vehicular Ad hoc Networks,
The 2010 International Conference on Electronics
and Information Engineering (ICEIE 2010), pp. 437442, Kyoto , Japan, 2010.
 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 (DASC09), Chengdu, China, pp. 369372, December
1214,
2009.
 Ehsan Kharazi, Ali Barati and Ali Movaghar,
Improvement of Fault Detection in Wireless Sensor Networks,
2009 ISECS
International Colloquium on Computing, Communication, Control, and
Management (CCCM09), Canya, China, pp. 644646, August
89,
2009.
 Ali Barati , Mohammad Ali Khosh Kholghi and Ali Movaghar,
Recovery of Sensors in Wireless Sensor Networks, 2009 Fifth
International Joint Conference on INC, IMS and IDC (NCM 2009),
Seoul, Korea, pp. 393396, August 2527,
2009.
 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.
 Ehsan Allahyar and Ali Movaghar,
Weighted
starttime fair queuing: a new starttime fair queuing for elastic
traffic, 12th Communications and Networking
Simulation Symposium (CNS),
San Diego, CA, 2009.
 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, 5th IEEE International
Conference on Wireless and Mobile Computing, Networking and
Communications (WIMOB'09), Marakesh, Morocco, pp. 453458, 2009.
 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.
 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.
 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.
 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.
 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.
 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.
 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.
 M. Mahdavi, R. Forsati 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.
 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).
 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).
 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).
 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).
 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).
 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.
 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.
 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
 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.
 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.
 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.
 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.
 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.
 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).
 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).
 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).
 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).
 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.
 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.
 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.
 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.
 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.
 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.
 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.
 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.
 R.Ghazali, A.Movaghar,
AntAodv Hybrid
Routing Protocol In MANET, Proceedings of 11th Annual Int. CSI
Computer Conference, Tehran, Iran, pp. 673678, January 2006.
 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).
 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).
 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).
 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).
 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).
 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.
 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.
 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.
 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.
 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.
 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.
 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.
 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.
 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).
 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).
 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).
 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).
 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).
 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).
 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).
 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).
 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).
 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.
 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.
 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 .
 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.
 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.
 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.
 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.
 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).
 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).
 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).
 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).
 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).
 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.
 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.
 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.
 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.
 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.
 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.
 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.
 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).
 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.
 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.
 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.
 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.
 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).
 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.
 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.
 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.
 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).
 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).
 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.
 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).
 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).
 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).
 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).
 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).
 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).
 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).
 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).
 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).
 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).
 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).
 A. Movaghar,
Stochastic activity
networks: A new definition, Proceedings of the IASTED
International Conference on Modeling and Simulation, Pittsburgh, PA, pp.
2730, May 1997.
 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).
 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).
 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.
 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.
 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.
 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.
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,
Currently teaching.40415  Theory of
Machines and Languages, Currently teaching.40665 
Verification of Reactive Systems,
Last taught in Winter 2010.
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:
Mohammad Reza Hosseini Farahabadi,
Ph.D. Student.
Title of thesis: Resource Allocation Mechanism in Grid Computing Infrastructure based on Game Theory.
Hamed Yousefi, Ph.D. Student.
Reza Entezari Maleki,
Ph.D. Student. Mohamad Gharib,
Ph.D. Student. Graduated:
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 ComponentBased Systems.
Mehdi Kargahi, Ph.D. 2006.
Title of thesis: Novel models and scheduling algorithms for
enhancing the performability of realtime system. Mohammad Abdollahi Azgomi,
Ph.D.2005. Title of thesis:
HighLevel Extensions for
Stochastic Activity Networks: Theories, Tools and Applications.
Marjan Sirjani, Ph.D., 2004.
Title of thesis: Formal specification and verification of
concurrent and realtime systems.
