Ali Movaghar-Rahimabadi

Ali Movaghar

	2009
50		Habib Seifzadeh, Ali Asghar Pourhaji Kazem, Mehdi Kargahi, Ali Movaghar-Rahimabadi: A Method for Dynamic Software Updating in Real-Time Systems. ACIS-ICIS 2009: 34-38
49		Ali Asghar Pourhaji Kazem, Habib Seifzadeh, Mehdi Kargahi, Ali Movaghar-Rahimabadi, Shahriar Lotfi: Maximizing the Accrued Utility of an Isochronal Soft Real-Time System Using Genetic Algorithms. ACIS-ICIS 2009: 65-69
48		Mohsen Hajsalehi Sichani, Ali Movaghar: A New Analysis of RC4 - A Data Mining Approach (J48). SECRYPT 2009: 213-218
47		Ehsan Allahyar, Ali Movaghar: Weighted start-time fair queuing: a new start-time fair queuing for elastic traffic. SpringSim 2009
46		Mohammad Izadi, Ali Movaghar: Compositional Failure-based Equivalence of Constraint Automata. Electr. Notes Theor. Comput. Sci. 250(1): 105-122 (2009)
	2008
45		Mahmood Hasanlou, Ebrahim Fazli, Ali Movaghar, Hossein Mohammadi: 3MOKAN: A Novel Mobility Management Mechanism Based on Keeping Alternative Nodes. AINA Workshops 2008: 756-761
44		Sara NavidPour, Mohammad Izadi, Ali Movaghar: Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps. COMPSAC 2008: 211-218
43		Mohammad Robatmili, Mehdi Mohammadi, Ali Movaghar, Mehdi Dehghan: Finding the sensors location and the number of sensors in sensor networks with a genetic algorithm. ICON 2008: 1-3
42		S. Kalantary, Ali Movaghar, A. A. Ghafarizade: A study on routing method in P2P networks. ICON 2008: 1-6
41		Narges Aghakazem Jourabbaf, Ali Movaghar: ID-NAC: Identity-based network access control for MANETs. ICON 2008: 1-6
40		Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar: Restricted Broadcast Process Theory. SEFM 2008: 345-354
39		Mahdi Asadpour, Behnam Sattarzadeh, Ali Movaghar: Anonymous authentication protocol for GSM networks. IJSN 3(1): 54-62 (2008)
38		Mohammad Izadi, Ali Movaghar: Model Checking of Component Based Software Using Compositional Reductions. International Journal of Software Engineering and Knowledge Engineering 18(5): 683-712 (2008)
37		Masood Niazi Torshiz, Ali Movaghar: Design and Performance Evaluation of a Fuzzy-Based Traffic Conditioner for Mobile Ad Hoc Networks. Journal of Circuits, Systems, and Computers 17(6): 995-1014 (2008)
36		Mehdi Kargahi, Ali Movaghar: Stochastic DVS-based dynamic power management for soft real-time systems. Microprocessors and Microsystems - Embedded Hardware Design 32(3): 121-144 (2008)
	2007
35		Sajad Shirali-Shahreza, Mohammad Shirali-Shahreza, Ali Movaghar: Restricted Access to Exam Grades on the Web by HIP. ACIS-ICIS 2007: 967-971
34		Mohammad Izadi, Ali Movaghar, Farhad Arbab: Model Checking of Component Connectors. COMPSAC (1) 2007: 673-675
33		Hamid Mousavi, Mohammad Ebrahim Rafiei, Ali Movaghar: Characterizing the Web Using a New Uniform Sampling Approach. COMSWARE 2007
32		Mohammad Ebrahim Rafiei, Mohsen Taherian, Hamid Mousavi, Ali Movaghar, Rasool Jalili: Vulnerability Analysis in VGBPS Using Prolog. FSEN 2007: 404-411
31		Sayed Mehran Sharafi, Fereidoon Shams Aliee, Ali Movaghar: A Review on Specifying Software Architectures Using Extended Automata-Based Models. FSEN 2007: 423-431
30		Sajad Shirali-Shahreza, Ali Movaghar: A New Anti-Spam Protocol Using CAPTCHA. ICNSC 2007: 234-238
29		Nima Haghpanah, Masoud Akhoondi, Mehdi Kargar, Ali Movaghar: Trusted secure routing for ad hoc networks. MOBIWAC 2007: 176-179
28		Mohammad Izadi, Ali Movaghar: Compositional failure-based semantic equivalences for Reo specifications. SAVCBS 2007: 99-100
27		Saina Jalili, Ali Movaghar, Maryam Sadrmousavi: An improved replacement algorithm in fault-tolerant meshes. SCSC 2007: 443-448
	2006
26		Ehsan Ataie, Ali Movaghar: Performance Evaluation of Mobile Ad Hoc Networks In the Presence of Energy-based Selfishness. BROADNETS 2006
25		Mohammad Abdollahi Azgomi, Ali Movaghar: Efficient Evaluation of CSAN Models by State Space Analysis Methods. ICSEA 2006: 57
24		Mohammad Abdollahi Azgomi, Ali Movaghar: Modeling and Evaluation of Software Systems with Object Stochastic Activity Networks. ICSEA 2006: 58
23		Mohammad Mahdi Jaghoori, Ali Movaghar, Marjan Sirjani: Modere: the model-checking engine of Rebeca. SAC 2006: 1810-1815
22		Mohammad Izadi, Ali Movaghar-Rahimabadi: An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata. Electr. Notes Theor. Comput. Sci. 159: 171-186 (2006)
21		Ali Kamandi, Mohammad Abdollahi Azgomi, Ali Movaghar: Transformation of UML Models into Analyzable OSAN Models. Electr. Notes Theor. Comput. Sci. 159: 3-22 (2006)
20		Mehdi Kargahi, Ali Movaghar: A Method for Performance Analysis of Earliest-Deadline-First Scheduling Policy. The Journal of Supercomputing 37(2): 197-222 (2006)
	2005
19		Marjan Sirjani, Frank S. de Boer, Ali Movaghar, Amin Shali: Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing. ACSD 2005: 212-221
18		Afshin Parvaresh, Mohammed I. Kalantari, Ali Movaghar-Rahimabadi: An Artificial Intelligent CAC Scheme for Self-Similar Traffic using Fuzzy Case based Reasoning. Communication Systems and Applications 2005: 197-204
17		Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ali Movaghar: Efficient Symmetry Reduction for an Actor-Based Model. ICDCIT 2005: 494-507
16		Mehdi Kargahi, Ali Movaghar: Non-Preemptive Earliest-Deadline-First Scheduling Policy: A Performance Study. MASCOTS 2005: 201-210
15		Mohammad Izadi, Ali Movaghar-Rahimabadi: An Efficient Model Checking Algorithm for a Fragment of µ-Calculus. SEKE 2005: 392-395
14		Marjan Sirjani, Frank S. de Boer, Ali Movaghar-Rahimabadi: Modular Verification of a Component-Based Actor Language. J. UCS 11(10): 1695-1717 (2005)
13		Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer: Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models. J. UCS 11(6): 1054-1082 (2005)
12		Ali Movaghar-Rahimabadi: Optimal control of parallel queues with impatient customers. Perform. Eval. 60(1-4): 327-343 (2005)
11		Mohammad Abdollahi Azgomi, Ali Movaghar: A modelling tool for hierarchical stochastic activity networks. Simulation Modelling Practice and Theory 13(6): 505-524 (2005)
	2004
10		Marjan Sirjani, Amin Shali, Mohammad Mahdi Jaghoori, Hamed Iravanchi, Ali Movaghar: A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models. ACSD 2004: 145-150
9		Mehdi Kargahi, Ali Movaghar-Rahimabadi: A Method for Performance Analysis of Earliest-Deadline-First Scheduling Policy. DSN 2004: 826-834
8		Mohammad Abdollahi Azgomi, Ali Movaghar-Rahimabadi: Modeling and Evaluation with Object Stochastic Activity Networks. QEST 2004: 326-327
7		Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer: Modeling and Verification of Reactive Systems using Rebeca. Fundam. Inform. 63(4): 385-410 (2004)
	2003
6		Ali Movaghar: On Dynamic Assignment of Impatient Customers to Parallel Queues. DSN 2003: 751-
5		Marjan Sirjani, Ali Movaghar, Hamed Iravanchi, Mohammad Mahdi Jaghoori, Amin Shali: Model Checking in Rebeca. PDPTA 2003: 1819-1822
	2002
4		Mohammad Abdollahi Azgomi, Ali Movaghar: An Introduction to New Extensions for Stochastic Activity Networks. IASTED PDCS 2002: 405-410
3		Marjan Sirjani, Ali Movaghar: Simulation in Rebeca. PDPTA 2002: 923-926
	1998
2		Ali Movaghar: On queueing with customer impatience until the beginning of service. Queueing Syst. 29(2-4): 337-350 (1998)
	1985
1		John F. Meyer, Ali Movaghar, William H. Sanders: Stochastic Activity Networks: Structure, Behavior, and Application. PNPM 1985: 106-115

Coauthor Index

1	Masoud Akhoondi	[29]
2	Fereidoon Shams Aliee	[31]
3	Ehsan Allahyar	[47]
4	Farhad Arbab	[34]
5	Mahdi Asadpour	[39]
6	Ehsan Ataie	[26]
7	Mohammad Abdollahi Azgomi	[4] [8] [11] [21] [24] [25]
8	Frank S. de Boer	[7] [13] [14] [19]
9	Mehdi Dehghan	[43]
10	Ebrahim Fazli	[45]
11	Wan Fokkink	[40]
12	A. A. Ghafarizade	[42]
13	Fatemeh Ghassemi	[40]
14	Nima Haghpanah	[29]
15	Mahmood Hasanlou	[45]
16	Hamed Iravanchi	[5] [10]
17	Mohammad Izadi	[15] [22] [28] [34] [38] [44] [46]
18	Mohammad Mahdi Jaghoori	[5] [10] [17] [23]
19	Rasool Jalili	[32]
20	Saina Jalili	[27]
21	Narges Aghakazem Jourabbaf	[41]
22	Mohammed I. Kalantari	[18]
23	S. Kalantary	[42]
24	Ali Kamandi	[21]
25	Mehdi Kargahi	[9] [16] [20] [36] [49] [50]
26	Mehdi Kargar	[29]
27	Ali Asghar Pourhaji Kazem	[49] [50]
28	Shahriar Lotfi	[49]
29	John F. Meyer	[1]
30	Hossein Mohammadi	[45]
31	Mehdi Mohammadi	[43]
32	Hamid Mousavi	[32] [33]
33	Mohammad Reza Mousavi	[17]
34	Sara NavidPour	[44]
35	Afshin Parvaresh	[18]
36	Mohammad Ebrahim Rafiei	[32] [33]
37	Mohammad Robatmili	[43]
38	Maryam Sadrmousavi	[27]
39	William H. Sanders	[1]
40	Behnam Sattarzadeh	[39]
41	Habib Seifzadeh	[49] [50]
42	Amin Shali	[5] [7] [10] [13] [19]
43	Sayed Mehran Sharafi	[31]
44	Mohammad Shirali-Shahreza	[35]
45	Sajad Shirali-Shahreza	[30] [35]
46	Mohsen Hajsalehi Sichani	[48]
47	Marjan Sirjani	[3] [5] [7] [10] [13] [14] [17] [19] [23]
48	Mohsen Taherian	[32]
49	Masood Niazi Torshiz	[37]

Colors in the list of coauthors