| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Hamed Yousefi, Mohammad Hossein Yeganeh, Naser Alinaghipour, Ali Movaghar |
Structure-free real-time data aggregation in wireless sensor networks.  |
Computer Communications  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Reza Entezari-Maleki, Ali Movaghar |
A probabilistic task scheduling method for grid environments. |
Future Generation Comp. Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Movaghar |
Analysis of a dynamic assignment of impatient customers to parallel queues. |
Queueing Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | T. Shafiei, M. Hoseiny Farahabady, Ali Movaghar, Hamid Sarbazi-Azad |
On pancyclicity properties of OTIS-mesh. |
Inf. Process. Lett. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar |
Verification of mobile ad hoc networks: An algebraic approach. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehdi Kargahi, Ali Movaghar |
Performance Optimization Based on Analytical Modeling in a Real-Time System with Constrained Time/Utility Functions. |
IEEE Trans. Computers |
2011 |
DBLP DOI BibTeX RDF |
firm real-time system, optimization, performance modeling, Analytical modeling, time/utility function |
| 1 | Ehsan Heidari, Ali Movaghar |
An Efficient Method Based on Genetic Algorithms to Solve Sensor Network Optimization Problem |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Hossein Yeganeh, Hamed Yousefi, Naser Alinaghipour, Ali Movaghar |
RDAG: A Structure-Free Real-Time Data Aggregation Protocol for Wireless Sensor Networks. |
RTCSA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamed Yousefi, Mohammad Hossein Yeganeh, Ali Movaghar |
Long lifetime routing in unreliable wireless sensor networks. |
ICNSC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Naser Alinaghipour, Hamed Yousefi, Mohammad Hossein Yeganeh, Ali Movaghar |
Long lifetime real-time routing in unreliable Wireless Sensor Networks. |
Wireless Days |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Fatemeh Ghassemi, Mahmoud Talebi, Ali Movaghar, Wan Fokkink |
Stochastic Restricted Broadcast Process Theory. |
EPEW |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ehsan Khamespanah, Ali Movaghar |
Symmetry and partial order reduction techniques in model checking Rebeca. |
Acta Inf. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehdi Kargahi, Ali Movaghar |
Utility Accrual Dynamic Routing in Real-Time Parallel Systems. |
IEEE Trans. Parallel Distrib. Syst. |
2010 |
DBLP DOI BibTeX RDF |
firm real-time systems, utility accrual dynamic routing, performance modeling, Analytical modeling, time/utility function |
| 1 | Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar |
Equational Reasoning on Mobile Ad Hoc Networks. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehdi Kargahi, Ali Movaghar |
Dynamic routing of real-time jobs among parallel EDF queues: A performance study. |
Computers & Electrical Engineering |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Izadi, Ali Movaghar |
Failure-based equivalence of constraint automata. |
Int. J. Comput. Math. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sayed Mohammad Mehdi Feiz, Ali Movaghar |
Characteristics of Secure Routing in Vehicular Ad Hoc Network (VANET). |
ICWN |
2010 |
DBLP BibTeX RDF |
|
| 1 | Fatemeh Ghassemi, Ali Movaghar, Wan Fokkink |
Towards Performance Evaluation of Mobile Ad Hoc Network Protocols. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Narges Aghakazem Jourabbaf, Ali Movaghar |
An Identity-Based Network Access Control Scheme for Single Authority MANETs. |
APSCC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Reza Entezari-Maleki, Ali Movaghar |
A Genetic-Based Scheduling Algorithm to Minimize the Makespan of the Grid Applications. |
FGIT-GDC/CA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Izadi, Ali Movaghar |
Compositional Failure-based Equivalence of Constraint Automata. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | N. Attarzadeh, Ali Barati, Ali Movaghar |
A New Method for Coverage in Wireless Sensor Networks. |
DASC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar |
Equational Reasoning on Ad Hoc Networks. |
FSEN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Ehsan Heidari, Ali Movaghar |
Intelligent Clustering in Wireless Sensor Networks. |
NetCoM |
2009 |
DBLP DOI BibTeX RDF |
shortest distance, Genetic algorithm, clustering, Wireless sensor networks |
| 1 | Ehsan Allahyar, Ali Movaghar |
Weighted start-time fair queuing: a new start-time fair queuing for elastic traffic. |
SpringSim |
2009 |
DBLP DOI BibTeX RDF |
WSFQ, packet scheduling, OPNET, elastic traffic, fair queuing |
| 1 | Shahriar Etemadi Tajbakhsh, Ali Movaghar |
Joint distributed source and network coding for multiple wireless unicast sessions. |
WCNC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Misagh Mohammadizadeh, Ali Movaghar, Seyad Mohammad Safi |
SEAODV: secure efficient AODV routing protocol for MANETs networks. |
Int. Conf. Interaction Sciences |
2009 |
DBLP DOI BibTeX RDF |
AODV, HEAP, one-way hash function, secure routing protocol |
| 1 | Mohsen Hajsalehi Sichani, Ali Movaghar |
A New Analysis of RC4 - A Data Mining Approach (J48). |
SECRYPT |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Barati, Mohammad Ali Khosh Kholghi, Ali Movaghar |
Recovery of Sensors in Wireless Sensor Networks. |
NCM |
2009 |
DBLP DOI BibTeX RDF |
Redundant sensors, Clustering, Wireless Sensor Networks, Fault tolerant, Recovery |
| 1 | Maryam Hosseini Sohei, Najmeh Sadat Bathaee, Ali Movaghar-Rahimabadi |
Utilizing Network Coding for File Dissemination in Peer-to-Peer Systems. |
NTMS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Sadegh Kordafshari, Azadeh Pourkabirian, Karim Faez, Ali Movaghar-Rahimabadi |
Energy-Efficient SPEED Routing Protocol for Wireless Sensor Networks. |
AICT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Habib Seifzadeh, Ali Asghar Pourhaji Kazem, Mehdi Kargahi, Ali Movaghar-Rahimabadi |
A Method for Dynamic Software Updating in Real-Time Systems. |
ACIS-ICIS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehdi Kargahi, Ali Movaghar |
Stochastic DVS-based dynamic power management for soft real-time systems. |
Microprocessors and Microsystems - Embedded Hardware Design |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahdi Asadpour, Behnam Sattarzadeh, Ali Movaghar |
Anonymous authentication protocol for GSM networks. |
IJSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Izadi, Ali Movaghar |
Model Checking of Component Based Software Using Compositional Reductions. |
International Journal of Software Engineering and Knowledge Engineering |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Abolfazl Asudeh, Ali Movaghar |
MEHR: Multi-Hop Energy-Aware Hierarchical Routing for Wireless Sensor Networks. |
NTMS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar |
Restricted Broadcast Process Theory. |
SEFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Narges Aghakazem Jourabbaf, Ali Movaghar |
ID-NAC: Identity-based network access control for MANETs. |
ICON |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Kalantary, Ali Movaghar, A. A. Ghafarizade |
A study on routing method in P2P networks. |
ICON |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara NavidPour, Mohammad Izadi, Ali Movaghar |
Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahmood Hasanlou, Ebrahim Fazli, Ali Movaghar, Hossein Mohammadi |
3MOKAN: A Novel Mobility Management Mechanism Based on Keeping Alternative Nodes. |
AINA Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sayed Mehran Sharafi, Fereidoon Shams Aliee, Ali Movaghar |
A Review on Specifying Software Architectures Using Extended Automata-Based Models. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
Automata-based models, Software architectures, Components interaction |
| 1 | Mohammad Ebrahim Rafiei, Mohsen Taherian, Hamid Mousavi, Ali Movaghar, Rasool Jalili |
Vulnerability Analysis in VGBPS Using Prolog. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
Protection System, Safety Problem, Prolog, Vulnerability Analysis |
| 1 | Mohammad Izadi, Ali Movaghar, Farhad Arbab |
Model Checking of Component Connectors. |
COMPSAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Saina Jalili, Ali Movaghar, Maryam Sadrmousavi |
An improved replacement algorithm in fault-tolerant meshes. |
SCSC |
2007 |
DBLP DOI BibTeX RDF |
fault tolerance, mesh, processor allocation, replacement |
| 1 | Sajad Shirali-Shahreza, Ali Movaghar |
A New Anti-Spam Protocol Using CAPTCHA. |
ICNSC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nima Haghpanah, Masoud Akhoondi, Mehdi Kargar, Ali Movaghar |
Trusted secure routing for ad hoc networks. |
MOBIWAC |
2007 |
DBLP DOI BibTeX RDF |
incentive approach, reputation, malicious nodes, selfish behavior |
| 1 | Mohammad Izadi, Ali Movaghar |
Compositional failure-based semantic equivalences for Reo specifications. |
SAVCBS |
2007 |
DBLP DOI BibTeX RDF |
Reo specification language, failure-based equivalences, semantics, coordination, component-based systems, constraint automata |
| 1 | Hamid Mousavi, Mohammad Ebrahim Rafiei, Ali Movaghar |
Characterizing the Web Using a New Uniform Sampling Approach. |
COMSWARE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sajad Shirali-Shahreza, Mohammad Shirali-Shahreza, Ali Movaghar |
Restricted Access to Exam Grades on the Web by HIP. |
ACIS-ICIS |
2007 |
DBLP DOI BibTeX RDF |
HIP (Human Interactive Proof), OCR (Optical Character Recognition), E-Learning, Grade |
| 1 | Mehdi Kargahi, Ali Movaghar |
A Method for Performance Analysis of Earliest-Deadline-First Scheduling Policy. |
The Journal of Supercomputing |
2006 |
DBLP DOI BibTeX RDF |
soft real-time (SRT) systems, performance modeling, multiprocessor systems, earliest-deadline-first (EDF), analytical methods, approximation methods |
| 1 | Ali Kamandi, Mohammad Abdollahi Azgomi, Ali Movaghar |
Transformation of UML Models into Analyzable OSAN Models. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ehsan Ataie, Ali Movaghar |
Performance Evaluation of Mobile Ad Hoc Networks In the Presence of Energy-based Selfishness. |
BROADNETS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Mahdi Jaghoori, Ali Movaghar, Marjan Sirjani |
Modere: the model-checking engine of Rebeca. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
automated verification tool, rebeca, partial order reduction, actor model |
| 1 | Mohammad Abdollahi Azgomi, Ali Movaghar |
Efficient Evaluation of CSAN Models by State Space Analysis Methods. |
ICSEA |
2006 |
DBLP DOI BibTeX RDF |
coloured stochastic activity networks, state space analysis techniques, performance evaluation, Petri nets |
| 1 | Mohammad Abdollahi Azgomi, Ali Movaghar |
Modeling and Evaluation of Software Systems with Object Stochastic Activity Networks. |
ICSEA |
2006 |
DBLP DOI BibTeX RDF |
object stochastic activity networks, modeling, evaluation, Petri nets, software performance |
| 1 | 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. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer |
Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models. |
J. UCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Mohammad Abdollahi Azgomi, Ali Movaghar |
A modelling tool for hierarchical stochastic activity networks. |
Simulation Modelling Practice and Theory |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marjan Sirjani, Frank S. de Boer, Ali Movaghar, Amin Shali |
Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehdi Kargahi, Ali Movaghar |
Non-Preemptive Earliest-Deadline-First Scheduling Policy: A Performance Study. |
MASCOTS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ali Movaghar |
Efficient Symmetry Reduction for an Actor-Based Model. |
ICDCIT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Movaghar-Rahimabadi |
Optimal control of parallel queues with impatient customers. |
Perform. Eval. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marjan Sirjani, Frank S. de Boer, Ali Movaghar-Rahimabadi |
Modular Verification of a Component-Based Actor Language. |
J. UCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Mohammad Izadi, Ali Movaghar-Rahimabadi |
An Efficient Model Checking Algorithm for a Fragment of µ-Calculus. |
SEKE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer |
Modeling and Verification of Reactive Systems using Rebeca. |
Fundam. Inform. |
2004 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehdi Kargahi, Ali Movaghar-Rahimabadi |
A Method for Performance Analysis of Earliest-Deadline-First Scheduling Policy. |
DSN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Abdollahi Azgomi, Ali Movaghar-Rahimabadi |
Modeling and Evaluation with Object Stochastic Activity Networks. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Movaghar |
On Dynamic Assignment of Impatient Customers to Parallel Queues. |
DSN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marjan Sirjani, Ali Movaghar, Hamed Iravanchi, Mohammad Mahdi Jaghoori, Amin Shali |
Model Checking in Rebeca. |
PDPTA |
2003 |
DBLP BibTeX RDF |
|
| 1 | Marjan Sirjani, Ali Movaghar |
Simulation in Rebeca. |
PDPTA |
2002 |
DBLP BibTeX RDF |
|
| 1 | Mohammad Abdollahi Azgomi, Ali Movaghar |
An Introduction to New Extensions for Stochastic Activity Networks. |
IASTED PDCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ali Movaghar |
On queueing with customer impatience until the beginning of service. |
Queueing Syst. |
1998 |
DBLP DOI BibTeX RDF |
state-dependent Poisson process, queue, deadline, impatient customers |
| 1 | John F. Meyer, Ali Movaghar, William H. Sanders |
Stochastic Activity Networks: Structure, Behavior, and Application. |
PNPM |
1985 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")