| 2026 | CAV | Compositional Verification of Timed Automata via Violation Assumptions. | Mehran Moeini Jam, Hamed Kalantari, Ehsan Khamespanah, Marjan Sirjani, Ali Movaghar |
| 2025 | PIMRC | QoE-Driven Resource Allocation for Stacked Intelligent Metasurface Systems. | Hosein Zarini, S. Mohsen Kazemi, Jiancheng An, Ali Movaghar, Mehdi Sookhak, Nuri Yilmazer |
| 2025 | PIMRC | On the Application of Active RIS to Stacked Intelligent Metasurface Systems. | Hosein Zarini, Seyed Mohsen Kazemi, Jiancheng An, Ali Movaghar, Mehdi Sookhak, Nuri Yilmazer |
| 2024 | GLOBECOM | Efficient Collaborative Rule Caching Through Pairing of P4 Switches in SDNs. | Mohammad Saberi, Mahdi Dolati, Ali Movaghar, Tooska Dargahi, Ahmad Khonsari |
| 2020 | MEMOCODE | Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems. | Maryam Bagheri, Edward A. Lee, Eunsuk Kang, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar |
| 2019 | MASCOTS | Scalable Performance Analysis of Epidemic Routing Considering Skewed Location Visiting Preferences. | Leila Rashidi, Amir Dalili-Yazdi, Reza Entezari-Maleki, Leonel Sousa, Ali Movaghar |
| 2019 | Networking | Poster: Impact of traffic characteristics on request aggregation in an NDN router. | Mahdieh Ahmadi, James Roberts, Emilio Leonardi, Ali Movaghar |
| 2017 | WWW | Extracting Implicit Social Relation for Social Recommendation Techniques in User Rating Prediction. | Seyed Mohammad Taheri, Hamidreza Mahyar, Mohammad Firouzi, Elahe Ghalebi K., Radu Grosu, Ali Movaghar |
| 2016 | SYNASC | A Combined Analytical Modeling Machine Learning Approach for Performance Prediction of MapReduce Jobs in Cloud Environment. | Ehsan Ataie, Eugenio Gianniti, Danilo Ardagna, Ali Movaghar |
| 2015 | AINA | Probabilistic Key Pre-Distribution for Heterogeneous Mobile Ad Hoc Networks Using Subjective Logic. | Mahdieh Ahmadi, Mohammed Gharib, Fatemeh Ghassemi, Ali Movaghar |
| 2014 | ICCCN | A novel human mobility model for MANETs based on real data. | Ahmad Foroozani, Mohammed Gharib, Ali Mohammad Afshin Hemmatyar, Ali Movaghar |
| 2014 | SYNASC | Optimal Capacity Allocation for Executing MapReduce Jobs in Cloud Systems. | Marzieh Malekimajd, Alessandro Maria Rizzi, Danilo Ardagna, Michele Ciavotta, Mauro Passacantando, Ali Movaghar |
| 2013 | AINA | A Novel Probabilistic Key Management Algorithm for Large-Scale MANETs. | Mohammed Gharib, Ehsan Emamjomeh-Zadeh, Ashkan Norouzi-Fard, Ali Movaghar |
| 2013 | ICPADS | Availability Modeling and Evaluation of Cloud Virtual Data Centers. | Mohammad Roohitavaf, Reza Entezari-Maleki, Ali Movaghar |
| 2013 | UIC | Fully Distributed Self Certified Key Management for Large-Scale MANETs. | Zahra Moradlu, Mohammad-Ali Doostari, Mohammed Gharib, Ali Movaghar |
| 2013 | SIN | Expert key selection impact on the MANETs' performance using probabilistic key management algorithm. | Mohammed Gharib, Mohsen Minaei, Morteza Golkari, Ali Movaghar |
| 2012 | ICCCN | DACA: Data-Aware Clustering and Aggregation in Query-Driven Wireless Sensor Networks. | Somaieh Bahrami, Hamed Yousefi, Ali Movaghar |
| 2012 | ISCC | FOMA: Flexible overlay multi-path data aggregation in wireless sensor networks. | Majid Ashouri, Hamed Yousefi, Ali Mohammad Afshin Hemmatyar, Ali Movaghar |
| 2012 | MSWIM | S-NC: structure-free network coding-aware routing in wireless sensor networks. | Ehsan Enayati-Noabadi, Hamed Yousefi, Ali Movaghar |
| 2012 | SAC | A Bchi automata based model checking framework for reo connectors. | Sarmen Keshishzadeh, Mohammad Izadi, Ali Movaghar |
| 2012 | RTNS | Analytical leakage/temperature-aware power modeling and optimization for a variable speed real-time system. | Morteza Mohaqeqi, Mehdi Kargahi, Ali Movaghar |
| 2011 | EUC | IMAC: An Interference-Aware Duty-Cycle MAC Protocol for Wireless Sensor Networks Employing Multipath Routing. | Leila Eskandari, Hamed Yousefi, Ali Movaghar, Mohammad Khansari |
| 2011 | RTCSA | RDAG: A Structure-Free Real-Time Data Aggregation Protocol for Wireless Sensor Networks. | Mohammad Hossein Yeganeh, Hamed Yousefi, Naser Alinaghipour, Ali Movaghar |
| 2011 | SOFTCOM | Availability modeling of grid computing environments using SANs. | Reza Entezari-Maleki, Ali Movaghar |
| 2010 | APSCC | An Identity-Based Network Access Control Scheme for Single Authority MANETs. | Narges Aghakazem Jourabbaf, Ali Movaghar |
| 2009 | DASC | A New Method for Coverage in Wireless Sensor Networks. | N. Attarzadeh, Ali Barati, Ali Movaghar |
| 2009 | WCNC | Joint distributed source and network coding for multiple wireless unicast sessions. | Shahriar Etemadi Tajbakhsh, Ali Movaghar |
| 2009 | WiMob | Mobility Aware Distributed Topology Control in Mobile Ad-Hoc Networks Using Mobility Pattern Matching. | Mehrdad Khaledi, Seyed Morteza Mousavi, H. R. Rabiee, Ali Movaghar, Mojgan Khaledi, Omid Ardakanian |
| 2009 | SECRYPT | A New Analysis of RC4 - A Data Mining Approach (J48). | Mohsen Hajsalehi Sichani, Ali Movaghar |
| 2008 | AINA | 3MOKAN: A Novel Mobility Management Mechanism Based on Keeping Alternative Nodes. | Mahmood Hasanlou, Ebrahim Fazli, Ali Movaghar, Hossein Mohammadi |
| 2008 | APSCC | Performance Analysis of SLTC - A Stable Path, Low Overhead, Truthful and Cost Efficient Routing Protocol in MANETs with Selfish Nodes. | Fatemeh Saremi, Hamid Mousavi, Ali Movaghar |
| 2008 | CIT | A Novel Method for Modeling and Evaluation of Uncertain Information Systems. | Ali Haroonabadi, Mohammad Teshnehlab, Ali Movaghar |
| 2008 | COMPSAC | Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps. | Sara NavidPour, Mohammad Izadi, Ali Movaghar |
| 2008 | CSICC | Modeling Routing Protocols in Adhoc Networks. | Fatemeh Ghassemi, Ali Movaghar |
| 2008 | CSICC | Bandwidth-Delay Constrained Least Cost Multicast Routing for Multimedia Communication. | Mehrdad Mahdavi, Rana Forsati, Ali Movaghar |
| 2008 | CSICC | Challenges in Using Peer-to-Peer Structures in Order to Design a Large-Scale Web Search Engine. | Hamid Mousavi, Ali Movaghar |
| 2008 | CSICC | CEBAC: A Decentralized Cooperation Enforcement Based Access Control Framework in MANETs. | Fatemeh Saremi, Hoda Mashayekhi, Ali Movaghar, Rasool Jalili |
| 2008 | SEFM | Restricted Broadcast Process Theory. | Fatemeh Ghassemi, Wan J. Fokkink, Ali Movaghar |
| 2007 | COMPSAC | Model Checking of Component Connectors. | Mohammad Izadi, Ali Movaghar, Farhad Arbab |
| 2006 | Broadnets | Performance Evaluation of Mobile Ad Hoc Networks In the Presence of Energy-based Selfishness. | Ehsan Ataie, Ali Movaghar |
| 2006 | ICSEA | Efficient Evaluation of CSAN Models by State Space Analysis Methods. | Mohammad Abdollahi Azgomi, Ali Movaghar |
| 2006 | ICSEA | Modeling and Evaluation of Software Systems with Object Stochastic Activity Networks. | Mohammad Abdollahi Azgomi, Ali Movaghar |
| 2006 | SAC | Modere: the model-checking engine of Rebeca. | Mohammad Mahdi Jaghoori, Ali Movaghar, Marjan Sirjani |
| 2005 | ICDCIT | Efficient Symmetry Reduction for an Actor-Based Model. | Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ali Movaghar |
| 2005 | MASCOTS | Non-Preemptive Earliest-Deadline-First Scheduling Policy: A Performance Study. | Mehdi Kargahi, Ali Movaghar |
| 2003 | DSN | On Dynamic Assignment of Impatient Customers to Parallel Queues. | Ali Movaghar |
| 2003 | PDPTA | Model Checking in Rebeca. | Marjan Sirjani, Ali Movaghar, Hamed Iravanchi, Mohammad Mahdi Jaghoori, Amin Shali |
| 2002 | PDPTA | Simulation in Rebeca. | Marjan Sirjani, Ali Movaghar |