Ali Movaghar-Rahimabadi

Ali Movaghar

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

42EEMahmood Hasanlou, Ebrahim Fazli, Ali Movaghar, Hossein Mohammadi: 3MOKAN: A Novel Mobility Management Mechanism Based on Keeping Alternative Nodes. AINA Workshops 2008: 756-761
41EESara NavidPour, Mohammad Izadi, Ali Movaghar: Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps. COMPSAC 2008: 211-218
40EEFatemeh Ghassemi, Wan Fokkink, Ali Movaghar: Restricted Broadcast Process Theory. SEFM 2008: 345-354
39EEMahdi Asadpour, Behnam Sattarzadeh, Ali Movaghar: Anonymous authentication protocol for GSM networks. IJSN 3(1): 54-62 (2008)
38EEMohammad 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)
37EEMasood 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)
36EEMehdi 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)
35EESajad Shirali-Shahreza, Mohammad Shirali-Shahreza, Ali Movaghar: Restricted Access to Exam Grades on the Web by HIP. ACIS-ICIS 2007: 967-971
34EEMohammad Izadi, Ali Movaghar, Farhad Arbab: Model Checking of Component Connectors. COMPSAC (1) 2007: 673-675
33EEHamid Mousavi, Mohammad Ebrahim Rafiei, Ali Movaghar: Characterizing the Web Using a New Uniform Sampling Approach. COMSWARE 2007
32EEMohammad Ebrahim Rafiei, Mohsen Taherian, Hamid Mousavi, Ali Movaghar, Rasool Jalili: Vulnerability Analysis in VGBPS Using Prolog. FSEN 2007: 404-411
31EEMehran Sharafi, Fereidoon Shams Aliee, Ali Movaghar: A Review on Specifying Software Architectures Using Extended Automata-Based Models. FSEN 2007: 423-431
30EESajad Shirali-Shahreza, Ali Movaghar: A New Anti-Spam Protocol Using CAPTCHA. ICNSC 2007: 234-238
29EENima Haghpanah, Masoud Akhoondi, Mehdi Kargar, Ali Movaghar: Trusted secure routing for ad hoc networks. MOBIWAC 2007: 176-179
28EEMohammad Izadi, Ali Movaghar: Compositional failure-based semantic equivalences for Reo specifications. SAVCBS 2007: 99-100
27EESaina Jalili, Ali Movaghar, Maryam Sadrmousavi: An improved replacement algorithm in fault-tolerant meshes. SCSC 2007: 443-448
26EEEhsan Ataie, Ali Movaghar: Performance Evaluation of Mobile Ad Hoc Networks In the Presence of Energy-based Selfishness. BROADNETS 2006
25EEMohammad Abdollahi Azgomi, Ali Movaghar: Efficient Evaluation of CSAN Models by State Space Analysis Methods. ICSEA 2006: 57
24EEMohammad Abdollahi Azgomi, Ali Movaghar: Modeling and Evaluation of Software Systems with Object Stochastic Activity Networks. ICSEA 2006: 58
23EEMohammad Mahdi Jaghoori, Ali Movaghar, Marjan Sirjani: Modere: the model-checking engine of Rebeca. SAC 2006: 1810-1815
22EEMohammad 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)
21EEAli Kamandi, Mohammad Abdollahi Azgomi, Ali Movaghar: Transformation of UML Models into Analyzable OSAN Models. Electr. Notes Theor. Comput. Sci. 159: 3-22 (2006)
20EEMehdi Kargahi, Ali Movaghar: A Method for Performance Analysis of Earliest-Deadline-First Scheduling Policy. The Journal of Supercomputing 37(2): 197-222 (2006)
19EEMarjan 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
17EEMohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ali Movaghar: Efficient Symmetry Reduction for an Actor-Based Model. ICDCIT 2005: 494-507
16EEMehdi 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
14EEMarjan Sirjani, Frank S. de Boer, Ali Movaghar-Rahimabadi: Modular Verification of a Component-Based Actor Language. J. UCS 11(10): 1695-1717 (2005)
13EEMarjan 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)
12EEAli Movaghar-Rahimabadi: Optimal control of parallel queues with impatient customers. Perform. Eval. 60(1-4): 327-343 (2005)
11EEMohammad Abdollahi Azgomi, Ali Movaghar: A modelling tool for hierarchical stochastic activity networks. Simulation Modelling Practice and Theory 13(6): 505-524 (2005)
10EEMarjan 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
9EEMehdi Kargahi, Ali Movaghar-Rahimabadi: A Method for Performance Analysis of Earliest-Deadline-First Scheduling Policy. DSN 2004: 826-834
8EEMohammad Abdollahi Azgomi, Ali Movaghar-Rahimabadi: Modeling and Evaluation with Object Stochastic Activity Networks. QEST 2004: 326-327
7EEMarjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer: Modeling and Verification of Reactive Systems using Rebeca. Fundam. Inform. 63(4): 385-410 (2004)
6EEAli 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
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
2EEAli Movaghar: On queueing with customer impatience until the beginning of service. Queueing Syst. 29(2-4): 337-350 (1998)
1 John F. Meyer, Ali Movaghar, William H. Sanders: Stochastic Activity Networks: Structure, Behavior, and Application. PNPM 1985: 106-115

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)