| Coordinated actor model of self-adaptive track-based traffic control systems M Bagheri, M Sirjani, E Khamespanah, N Khakpour, I Akkaya, ... Journal of Systems and Software 143, 116-139, 2018 | 24 | 2018 |
| Coordinated Actors for Reliable Self-Adaptive Systems M Bagheri, I Akkaya, E Khamespanah, N Khakpour, M Sirjani, ... Formal Aspects of Component Software (FACS) - The 13th International Conference, 2016 | 18 | 2016 |
| Performance aware scheduling considering resource availability in grid computing R Entezari-Maleki, M Bagheri, S Mehri, A Movaghar Engineering with Computers, 1-16, 2016 | 9 | 2016 |
| Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks F Moradi, M Bagheri, H Rahmati, H Yazdi, S Abbaspour Asadollah, ... International Symposium on Model Checking Software, 24-43, 2022 | 5 | 2022 |
| Towards Developing Safety Assurance Cases for Learning-Enabled Medical Cyber-Physical Systems M Bagheri, J Lamp, X Zhou, L Feng, H Alemzadeh To appear in the AAAI Workshop on Artificial Intelligence Safety (SafeAI), 2022 | 3 | 2022 |
| Runtime Compositional Analysis of Track-based Traffic Control Systems M Bagher, E Khamespanah, M Sirjani, A Movaghar, E A. Lee 9th International Workshop on Compositional Theory and Technology for Real …, 2016 | 3 | 2016 |
| Magnifier: A compositional analysis approach for autonomous traffic control M Bagheri, M Sirjani, E Khamespanah, C Baier, A Movaghar IEEE Transactions on Software Engineering 48 (8), 2732-2747, 2021 | 2 | 2021 |
| Partial Order Reduction for Timed Actors M Bagheri, M Sirjani, E Khamespanah, H Hojjat, A Movaghar International Workshop on Numerical Software Verification, 43-60, 2021 | | 2021 |
| Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems M Bagheri, EA Lee, E Kang, M Sirjani, E Khamespanah, A Movaghar 2020 18th ACM-IEEE International Conference on Formal Methods and Models for …, 2020 | | 2020 |
| Modeling and Analyzing Air Traffic Control Systems using Ptolemy M Bagheri, I Akkaya, E Khamespanah, N Khakpour, M Sirjani, ... Poster presented at the Biennial Ptolemy Miniconference, Berkeley., 2015 | | 2015 |
Ali MovagharProfessor of Computer Science and Engineering, Sharif University of Technology., Tehran, IranVerified email at sharif.edu
