Ali Movaghar-Rahimabadi

Ali Movaghar

2008
42	EE	Mahmood Hasanlou, Ebrahim Fazli, Ali Movaghar, Hossein Mohammadi: 3MOKAN: A Novel Mobility Management Mechanism Based on Keeping Alternative Nodes. AINA Workshops 2008: 756-761
41	EE	Sara NavidPour, Mohammad Izadi, Ali Movaghar: Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps. COMPSAC 2008: 211-218
40	EE	Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar: Restricted Broadcast Process Theory. SEFM 2008: 345-354
39	EE	Mahdi Asadpour, Behnam Sattarzadeh, Ali Movaghar: Anonymous authentication protocol for GSM networks. IJSN 3(1): 54-62 (2008)
38	EE	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	EE	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	EE	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	EE	Sajad Shirali-Shahreza, Mohammad Shirali-Shahreza, Ali Movaghar: Restricted Access to Exam Grades on the Web by HIP. ACIS-ICIS 2007: 967-971
34	EE	Mohammad Izadi, Ali Movaghar, Farhad Arbab: Model Checking of Component Connectors. COMPSAC (1) 2007: 673-675
33	EE	Hamid Mousavi, Mohammad Ebrahim Rafiei, Ali Movaghar: Characterizing the Web Using a New Uniform Sampling Approach. COMSWARE 2007
32	EE	Mohammad Ebrahim Rafiei, Mohsen Taherian, Hamid Mousavi, Ali Movaghar, Rasool Jalili: Vulnerability Analysis in VGBPS Using Prolog. FSEN 2007: 404-411
31	EE	Mehran Sharafi, Fereidoon Shams Aliee, Ali Movaghar: A Review on Specifying Software Architectures Using Extended Automata-Based Models. FSEN 2007: 423-431
30	EE	Sajad Shirali-Shahreza, Ali Movaghar: A New Anti-Spam Protocol Using CAPTCHA. ICNSC 2007: 234-238
29	EE	Nima Haghpanah, Masoud Akhoondi, Mehdi Kargar, Ali Movaghar: Trusted secure routing for ad hoc networks. MOBIWAC 2007: 176-179
28	EE	Mohammad Izadi, Ali Movaghar: Compositional failure-based semantic equivalences for Reo specifications. SAVCBS 2007: 99-100
27	EE	Saina Jalili, Ali Movaghar, Maryam Sadrmousavi: An improved replacement algorithm in fault-tolerant meshes. SCSC 2007: 443-448
2006
26	EE	Ehsan Ataie, Ali Movaghar: Performance Evaluation of Mobile Ad Hoc Networks In the Presence of Energy-based Selfishness. BROADNETS 2006
25	EE	Mohammad Abdollahi Azgomi, Ali Movaghar: Efficient Evaluation of CSAN Models by State Space Analysis Methods. ICSEA 2006: 57
24	EE	Mohammad Abdollahi Azgomi, Ali Movaghar: Modeling and Evaluation of Software Systems with Object Stochastic Activity Networks. ICSEA 2006: 58
23	EE	Mohammad Mahdi Jaghoori, Ali Movaghar, Marjan Sirjani: Modere: the model-checking engine of Rebeca. SAC 2006: 1810-1815
22	EE	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	EE	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	EE	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	EE	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	EE	Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ali Movaghar: Efficient Symmetry Reduction for an Actor-Based Model. ICDCIT 2005: 494-507
16	EE	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	EE	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	EE	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	EE	Ali Movaghar-Rahimabadi: Optimal control of parallel queues with impatient customers. Perform. Eval. 60(1-4): 327-343 (2005)
11	EE	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	EE	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	EE	Mehdi Kargahi, Ali Movaghar-Rahimabadi: A Method for Performance Analysis of Earliest-Deadline-First Scheduling Policy. DSN 2004: 826-834
8	EE	Mohammad Abdollahi Azgomi, Ali Movaghar-Rahimabadi: Modeling and Evaluation with Object Stochastic Activity Networks. QEST 2004: 326-327
7	EE	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	EE	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	EE	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	Farhad Arbab	[34]
4	Mahdi Asadpour	[39]
5	Ehsan Ataie	[26]
6	Mohammad Abdollahi Azgomi	[4] [8] [11] [21] [24] [25]
7	Frank S. de Boer	[7] [13] [14] [19]
8	Ebrahim Fazli	[42]
9	Wan Fokkink	[40]
10	Fatemeh Ghassemi	[40]
11	Nima Haghpanah	[29]
12	Mahmood Hasanlou	[42]
13	Hamed Iravanchi	[5] [10]
14	Mohammad Izadi	[15] [22] [28] [34] [38] [41]
15	Mohammad Mahdi Jaghoori	[5] [10] [17] [23]
16	Rasool Jalili	[32]
17	Saina Jalili	[27]
18	Mohammed I. Kalantari	[18]
19	Ali Kamandi	[21]
20	Mehdi Kargahi	[9] [16] [20] [36]
21	Mehdi Kargar	[29]
22	John F. Meyer	[1]
23	Hossein Mohammadi	[42]
24	Hamid Mousavi	[32] [33]
25	Mohammad Reza Mousavi	[17]
26	Sara NavidPour	[41]
27	Afshin Parvaresh	[18]
28	Mohammad Ebrahim Rafiei	[32] [33]
29	Maryam Sadrmousavi	[27]
30	William H. Sanders	[1]
31	Behnam Sattarzadeh	[39]
32	Amin Shali	[5] [7] [10] [13] [19]
33	Mehran Sharafi	[31]
34	Mohammad Shirali-Shahreza	[35]
35	Sajad Shirali-Shahreza	[30] [35]
36	Marjan Sirjani	[3] [5] [7] [10] [13] [14] [17] [19] [23]
37	Mohsen Taherian	[32]
38	Masood Niazi Torshiz	[37]

Colors in the list of coauthors