Ali Movaghar
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j28 |      | Sepideh Adabi, Ali Movaghar, Amir Masoud Rahmani, Hamid Beigy: Market_based grid resource allocation using new negotiation model. J. Network and Computer Applications 36(1): 543-565 (2013) |
| 2012 | ||
| j27 | | Hamed Yousefi, Mohammad Hossein Yeganeh, Naser Alinaghipour, Ali Movaghar: Structure-free real-time data aggregation in wireless sensor networks. Computer Communications 35(9): 1132-1140 (2012) |
| j26 | | Reza Entezari-Maleki, Ali Movaghar: A probabilistic task scheduling method for grid environments. Future Generation Comp. Syst. 28(3): 513-524 (2012) |
| c65 | | Somaieh Bahrami, Hamed Yousefi, Ali Movaghar: DACA: Data-Aware Clustering and Aggregation in Query-Driven Wireless Sensor Networks. ICCCN 2012: 1-7 |
| c64 | | Ilnaz Nikseresht, Hamed Yousefi, Ali Movaghar, Mohammad Khansari: Interference-Aware Multipath Routing for Video Delivery in Wireless Multimedia Sensor Networks. ICDCS Workshops 2012: 216-221 |
| c63 | | Mohammad Hadi Mobini, Reza Entezari-Maleki, Ali Movaghar: Biogeography-based optimization of makespan and reliability in grid computing systems. ICUMT 2012: 336-342 |
| c62 | | Majid Ashouri, Hamed Yousefi, Ali Mohammad Afshin Hemmatyar, Ali Movaghar: FOMA: Flexible overlay multi-path data aggregation in wireless sensor networks. ISCC 2012: 508-511 |
| c61 | | Ehsan Enayati-Noabadi, Hamed Yousefi, Ali Movaghar: S-NC: structure-free network coding-aware routing in wireless sensor networks. MSWiM 2012: 403-408 |
| c60 | | Morteza Mohaqeqi, Mehdi Kargahi, Ali Movaghar: Analytical leakage/temperature-aware power modeling and optimization for a variable speed real-time system. RTNS 2012: 81-89 |
| c59 | | Sarmen Keshishzadeh, Mohammad Izadi, Ali Movaghar: A Büchi automata based model checking framework for reo connectors. SAC 2012: 1536-1543 |
| 2011 | ||
| j25 | | T. Shafiei, M. Hoseiny Farahabady, Ali Movaghar, Hamid Sarbazi-Azad: On pancyclicity properties of OTIS-mesh. Inf. Process. Lett. 111(8): 353-359 (2011) |
| j24 | | Marzieh Malekimajd, Mohammad Reza Hoseiny Farahabady, Ali Movaghar, Hamid Sarbazi-Azad: Pancyclicity of OTIS (swapped) networks based on properties of the factor graph. Inf. Process. Lett. 111(23-24): 1114-1119 (2011) |
| j23 | | Ali Movaghar: Analysis of a dynamic assignment of impatient customers to parallel queues. Queueing Syst. 67(3): 251-273 (2011) |
| j22 | | Mehdi Kargahi, Ali Movaghar: Performance Optimization Based on Analytical Modeling in a Real-Time System with Constrained Time/Utility Functions. IEEE Trans. Computers 60(8): 1169-1181 (2011) |
| j21 | | Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar: Verification of mobile ad hoc networks: An algebraic approach. Theor. Comput. Sci. 412(28): 3262-3282 (2011) |
| c58 | | Ali Barati, S. Jalaleddin Dastgheib, Ali Movaghar, Iman Attarzadeh: An Optimised Algorithm to Detect Faulty Readings along the Substrate Access Wireless Long-Thin Sensor Networks. EMS 2011: 372-377 |
| c57 | | Fatemeh Ghassemi, Mahmoud Talebi, Ali Movaghar, Wan Fokkink: Stochastic Restricted Broadcast Process Theory. EPEW 2011: 72-86 |
| c56 | | Leila Eskandari, Hamed Yousefi, Ali Movaghar, Mohammad Khansari: IMAC: An Interference-Aware Duty-Cycle MAC Protocol for Wireless Sensor Networks Employing Multipath Routing. EUC 2011: 288-293 |
| c55 | | Hamed Yousefi, Mohammad Hossein Yeganeh, Ali Movaghar: Long lifetime routing in unreliable wireless sensor networks. ICNSC 2011: 457-462 |
| c54 | | Mohammad Hossein Yeganeh, Hamed Yousefi, Naser Alinaghipour, Ali Movaghar: RDAG: A Structure-Free Real-Time Data Aggregation Protocol for Wireless Sensor Networks. RTCSA (1) 2011: 51-60 |
| c53 | | Naser Alinaghipour, Hamed Yousefi, Mohammad Hossein Yeganeh, Ali Movaghar: Long lifetime real-time routing in unreliable Wireless Sensor Networks. Wireless Days 2011: 1-6 |
| i1 | | Ehsan Heidari, Ali Movaghar: An Efficient Method Based on Genetic Algorithms to Solve Sensor Network Optimization Problem. CoRR abs/1104.0355 (2011) |
| 2010 | ||
| j20 | | Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ehsan Khamespanah, Ali Movaghar: Symmetry and partial order reduction techniques in model checking Rebeca. Acta Inf. 47(1): 33-66 (2010) |
| j19 | | Mehdi Kargahi, Ali Movaghar: Dynamic routing of real-time jobs among parallel EDF queues: A performance study. Computers & Electrical Engineering 36(5): 835-849 (2010) |
| j18 | | Hamid Reza Shahriari, Mohammad Sadegh Makarem, Marjan Sirjani, Rasool Jalili, Ali Movaghar: Vulnerability analysis of networks to detect multiphase attacks using the actor-based language Rebeca. Computers & Electrical Engineering 36(5): 874-885 (2010) |
| j17 | | Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar: Equational Reasoning on Mobile Ad Hoc Networks. Fundam. Inform. 105(4): 375-415 (2010) |
| j16 | | Mohammad Izadi, Ali Movaghar: Failure-based equivalence of constraint automata. Int. J. Comput. Math. 87(11): 2426-2443 (2010) |
| j15 | | Mehdi Kargahi, Ali Movaghar: Utility Accrual Dynamic Routing in Real-Time Parallel Systems. IEEE Trans. Parallel Distrib. Syst. 21(12): 1822-1835 (2010) |
| c52 | | Fatemeh Ghassemi, Ali Movaghar, Wan Fokkink: Towards Performance Evaluation of Mobile Ad Hoc Network Protocols. ACSD 2010: 85-92 |
| c51 | | Narges Aghakazem Jourabbaf, Ali Movaghar: An Identity-Based Network Access Control Scheme for Single Authority MANETs. APSCC 2010: 462-468 |
| c50 | | Reza Entezari-Maleki, Ali Movaghar: A Genetic-Based Scheduling Algorithm to Minimize the Makespan of the Grid Applications. FGIT-GDC/CA 2010: 22-31 |
| c49 |  | Sayed Mohammad Mehdi Feiz, Ali Movaghar: Characteristics of Secure Routing in Vehicular Ad Hoc Network (VANET). ICWN 2010: 128-134 |
| 2009 | ||
| j14 | | Mohammad Izadi, Ali Movaghar: Compositional Failure-based Equivalence of Constraint Automata. Electr. Notes Theor. Comput. Sci. 250(1): 105-122 (2009) |
| c48 | | 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 |
| c47 | | 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 |
| c46 | | Mohammad Sadegh Kordafshari, Azadeh Pourkabirian, Karim Faez, Ali Movaghar-Rahimabadi: Energy-Efficient SPEED Routing Protocol for Wireless Sensor Networks. AICT 2009: 267-271 |
| c45 | | N. Attarzadeh, Ali Barati, Ali Movaghar: A New Method for Coverage in Wireless Sensor Networks. DASC 2009: 369-372 |
| c44 | | Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar: Equational Reasoning on Ad Hoc Networks. FSEN 2009: 113-128 |
| c43 | | Rassoul Roustaei, Ebadolah Zohrevandi, Keramat Hassani, Ali Movaghar: A New Approach to Improve Quality of Service in SPEED Routing Protocol in Wireless Sensor Network through Data Aggregation. ICECS 2009: 393-397 |
| c42 | | Misagh Mohammadizadeh, Ali Movaghar, Seyad Mohammad Safi: SEAODV: secure efficient AODV routing protocol for MANETs networks. Int. Conf. Interaction Sciences 2009: 940-944 |
| c41 | | Ali Barati, Mohammad Ali Khosh Kholghi, Ali Movaghar: Recovery of Sensors in Wireless Sensor Networks. NCM 2009: 393-396 |
| c40 | | |
| c39 | | Maryam Hosseini Sohei, Najmeh Sadat Bathaee, Ali Movaghar-Rahimabadi: Utilizing Network Coding for File Dissemination in Peer-to-Peer Systems. NTMS 2009: 1-5 |
| c38 | | Mohsen Hajsalehi Sichani, Ali Movaghar: A New Analysis of RC4 - A Data Mining Approach (J48). SECRYPT 2009: 213-218 |
| c37 | | Ehsan Allahyar, Ali Movaghar: Weighted start-time fair queuing: a new start-time fair queuing for elastic traffic. SpringSim 2009 |
| c36 | | Shahriar Etemadi Tajbakhsh, Ali Movaghar: Joint distributed source and network coding for multiple wireless unicast sessions. WCNC 2009: 302-306 |
| c35 | | Mehrdad Khaledi, Seyed Morteza Mousavi, Hamid Reza Rabiee, Ali Movaghar, Mojgan Khaledi, Omid Ardakanian: Mobility Aware Distributed Topology Control in Mobile Ad-Hoc Networks Using Mobility Pattern Matching. WiMob 2009: 453-458 |
| 2008 | ||
| j13 | | 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) |
| j12 | | Mahdi Asadpour, Behnam Sattarzadeh, Ali Movaghar: Anonymous authentication protocol for GSM networks. IJSN 3(1): 54-62 (2008) |
| j11 | | 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) |
| j10 | | 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) |
| c34 | | Mahmood Hasanlou, Ebrahim Fazli, Ali Movaghar, Hossein Mohammadi: 3MOKAN: A Novel Mobility Management Mechanism Based on Keeping Alternative Nodes. AINA Workshops 2008: 756-761 |
| c33 | | Fatemeh Saremi, Hamid Mousavi, Ali Movaghar: Performance Analysis of SLTC - A Stable Path, Low Overhead, Truthful and Cost Efficient Routing Protocol in MANETs with Selfish Nodes. APSCC 2008: 243-250 |
| c32 | | Sara NavidPour, Mohammad Izadi, Ali Movaghar: Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps. COMPSAC 2008: 211-218 |
| c31 | | Narges Aghakazem Jourabbaf, Ali Movaghar: ID-NAC: Identity-based network access control for MANETs. ICON 2008: 1-6 |
| c30 | | S. Kalantary, Ali Movaghar, A. A. Ghafarizade: A study on routing method in P2P networks. ICON 2008: 1-6 |
| c29 | | 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 |
| c28 | | Abolfazl Asudeh, Ali Movaghar: MEHR: Multi-Hop Energy-Aware Hierarchical Routing for Wireless Sensor Networks. NTMS 2008: 1-6 |
| c27 | | Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar: Restricted Broadcast Process Theory. SEFM 2008: 345-354 |
| 2007 | ||
| c26 | | Sajad Shirali-Shahreza, Mohammad Shirali-Shahreza, Ali Movaghar: Restricted Access to Exam Grades on the Web by HIP. ACIS-ICIS 2007: 967-971 |
| c25 | | Mohammad Izadi, Ali Movaghar, Farhad Arbab: Model Checking of Component Connectors. COMPSAC (1) 2007: 673-675 |
| c24 | | Hamid Mousavi, Mohammad Ebrahim Rafiei, Ali Movaghar: Characterizing the Web Using a New Uniform Sampling Approach. COMSWARE 2007 |
| c23 | | Mohammad Ebrahim Rafiei, Mohsen Taherian, Hamid Mousavi, Ali Movaghar, Rasool Jalili: Vulnerability Analysis in VGBPS Using Prolog. FSEN 2007: 404-411 |
| c22 | | Sayed Mehran Sharafi, Fereidoon Shams Aliee, Ali Movaghar: A Review on Specifying Software Architectures Using Extended Automata-Based Models. FSEN 2007: 423-431 |
| c21 | | |
| c20 | | Nima Haghpanah, Masoud Akhoondi, Mehdi Kargar, Ali Movaghar: Trusted secure routing for ad hoc networks. MOBIWAC 2007: 176-179 |
| c19 | | Saina Jalili, Ali Movaghar, Maryam Sadrmousavi: An improved replacement algorithm in fault-tolerant meshes. SCSC 2007: 443-448 |
| c18 | | Mohammad Izadi, Ali Movaghar: Compositional failure-based semantic equivalences for Reo specifications. SAVCBS 2007: 99-100 |
| 2006 | ||
| j9 | | Ali Kamandi, Mohammad Abdollahi Azgomi, Ali Movaghar: Transformation of UML Models into Analyzable OSAN Models. Electr. Notes Theor. Comput. Sci. 159: 3-22 (2006) |
| j8 | | 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) |
| j7 | | Mehdi Kargahi, Ali Movaghar: A Method for Performance Analysis of Earliest-Deadline-First Scheduling Policy. The Journal of Supercomputing 37(2): 197-222 (2006) |
| c17 | | Ehsan Ataie, Ali Movaghar: Performance Evaluation of Mobile Ad Hoc Networks In the Presence of Energy-based Selfishness. BROADNETS 2006 |
| c16 | | Mohammad Abdollahi Azgomi, Ali Movaghar: Efficient Evaluation of CSAN Models by State Space Analysis Methods. ICSEA 2006: 57 |
| c15 | | Mohammad Abdollahi Azgomi, Ali Movaghar: Modeling and Evaluation of Software Systems with Object Stochastic Activity Networks. ICSEA 2006: 58 |
| c14 | | Mohammad Mahdi Jaghoori, Ali Movaghar, Marjan Sirjani: Modere: the model-checking engine of Rebeca. SAC 2006: 1810-1815 |
| 2005 | ||
| j6 | | 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) |
| j5 | | Marjan Sirjani, Frank S. de Boer, Ali Movaghar-Rahimabadi: Modular Verification of a Component-Based Actor Language. J. UCS 11(10): 1695-1717 (2005) |
| j4 | | Ali Movaghar-Rahimabadi: Optimal control of parallel queues with impatient customers. Perform. Eval. 60(1-4): 327-343 (2005) |
| j3 | | Mohammad Abdollahi Azgomi, Ali Movaghar: A modelling tool for hierarchical stochastic activity networks. Simulation Modelling Practice and Theory 13(6): 505-524 (2005) |
| c13 | | 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 |
| c12 | | 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 |
| c11 | | Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ali Movaghar: Efficient Symmetry Reduction for an Actor-Based Model. ICDCIT 2005: 494-507 |
| c10 | | Mehdi Kargahi, Ali Movaghar: Non-Preemptive Earliest-Deadline-First Scheduling Policy: A Performance Study. MASCOTS 2005: 201-210 |
| c9 | | Mohammad Izadi, Ali Movaghar-Rahimabadi: An Efficient Model Checking Algorithm for a Fragment of µ-Calculus. SEKE 2005: 392-395 |
| 2004 | ||
| j2 | | 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) |
| c8 | | 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 |
| c7 | | Mehdi Kargahi, Ali Movaghar-Rahimabadi: A Method for Performance Analysis of Earliest-Deadline-First Scheduling Policy. DSN 2004: 826-834 |
| c6 | | Mohammad Abdollahi Azgomi, Ali Movaghar-Rahimabadi: Modeling and Evaluation with Object Stochastic Activity Networks. QEST 2004: 326-327 |
| 2003 | ||
| c5 | | |
| c4 | | Marjan Sirjani, Ali Movaghar, Hamed Iravanchi, Mohammad Mahdi Jaghoori, Amin Shali: Model Checking in Rebeca. PDPTA 2003: 1819-1822 |
| 2002 | ||
| c3 | | Mohammad Abdollahi Azgomi, Ali Movaghar: An Introduction to New Extensions for Stochastic Activity Networks. IASTED PDCS 2002: 405-410 |
| c2 | | |
| 1998 | ||
| j1 | | Ali Movaghar: On queueing with customer impatience until the beginning of service. Queueing Syst. 29(2-4): 337-350 (1998) |
| 1985 | ||
| c1 | | John F. Meyer, Ali Movaghar, William H. Sanders: Stochastic Activity Networks: Structure, Behavior, and Application. PNPM 1985: 106-115 |
Colors in the list of coauthors
Last update Sat May 18 12:13:00 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page