Ali Movaghar
Ali Movaghar
Professor of Computer Science and Engineering, Sharif University of Technology
Verifierad e-postadress på - Startsida
TitelCiteras avÅr
Stochastic Activity Networks: Structure, Behavior, and Application.
JF Meyer, A Movaghar, WH Sanders
Unknown Host Publication Title, 106-115, 1985
Performability modeling with stochastic activity networks.
A Movaghar
Intrusion detection: A survey
F Sabahi, A Movaghar
2008 Third International Conference on Systems and Networks Communications …, 2008
Modeling and verification of reactive systems using Rebeca
M Sirjani, A Movaghar, A Shali, FS De Boer
Fundamenta Informaticae 63 (4), 385-410, 2004
On queueing with customer impatience until the beginning of service
A Movaghar
Queueing Systems 29 (2-4), 337-350, 1998
Investigating intrusion detection systems in MANET and comparing IDSs for detecting misbehaving nodes
MK Rafsanjani, A Movaghar, F Koroupi
World Academy of Science, Engineering and Technology 44, 351-355, 2008
A method for performance analysis of earliest-deadline-first scheduling policy
M Kargahi, A Movaghar
The Journal of Supercomputing 37 (2), 197-222, 2006
Structure-free real-time data aggregation in wireless sensor networks
H Yousefi, MH Yeganeh, N Alinaghipour, A Movaghar
Computer Communications 35 (9), 1132-1140, 2012
Restricted broadcast process theory
F Ghassemi, W Fokkink, A Movaghar
2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008
Ten years of analyzing actors: Rebeca experience
M Sirjani, MM Jaghoori
Formal Modeling: Actors, Open Systems, Biological Systems, 20-56, 2011
Reducing the data transmission in wireless sensor networks using the principal component analysis
A Rooshenas, HR Rabiee, A Movaghar, MY Naderi
2010 Sixth International Conference on Intelligent Sensors, Sensor Networks …, 2010
On queueing with customer impatience until the end of service
A Movaghar
Stochastic Models 22 (1), 149-173, 2006
A novel approach for avoiding wormhole attacks in VANET
SM Safi, A Movaghar, M Mohammadizadeh
2009 Second International Workshop on Computer Science and Engineering 2 …, 2009
Joint distributed source and network coding for multiple wireless unicast sessions
SE Tajbakhsh, A Movaghar
2009 IEEE Wireless Communications and Networking Conference, 1-5, 2009
A Bayesian game approach for preventing DoS attacks in wireless sensor networks
M Mohi, A Movaghar, PM Zadeh
2009 WRI International Conference on Communications and Mobile Computing 3 …, 2009
Stochastic activity networks: a new definition and some properties
A Movaghar
SCIENTIA IRANICA 8 (4), 303-311, 2001
A new anti-spam protocol using CAPTCHA
S Shirali-Shahreza, A Movaghar
2007 IEEE International Conference on Networking, Sensing and Control, 234-238, 2007
A hybrid genetic algorithm and variable neighborhood search for task scheduling problem in grid environment
S Kardani-Moghaddam, F Khodadadi, R Entezari-Maleki, A Movaghar
Procedia Engineering 29, 3808-3814, 2012
Symmetry and partial order reduction techniques in model checking Rebeca
MM Jaghoori, M Sirjani, MR Mousavi, E Khamespanah, A Movaghar
Acta Informatica 47 (1), 33-66, 2010
Modere: the model-checking engine of Rebeca
MM Jaghoori, A Movaghar, M Sirjani
Proceedings of the 2006 ACM symposium on Applied computing, 1810-1815, 2006
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20