| Prioritizing methods to accelerate probabilistic model checking of discrete-time Markov models M Mohagheghi, J Karimpour, A Isazadeh The Computer Journal 63 (1), 105-122, 2020 | 6 | 2020 |
| Improving modified policy iteration for probabilistic model checking M Mohagheghi, J Karimpour, A Isazadeh Computer Science 23, 2022 | 3 | 2022 |
| Improving graph-based methods for computing qualitative properties of markov decision processes M Mohagheghi, K Salehi Indonesian Journal of Electrical Engineering and Computer Science 17 (3 …, 2020 | 3 | 2020 |
| Machine Learning and Disk-based Methods for Qualitative Verification of Markov Decision Processes. M Mohagheghi, K Salehi ICTERI Workshops, 74-88, 2020 | 2 | 2020 |
| An automated quantitative information flow analysis for concurrent programs K Salehi, AA Noroozi, S Amir-Mohammadian, M Mohagheghi International Conference on Quantitative Evaluation of Systems, 43-63, 2022 | 1 | 2022 |
| Accelerating Interval Iteration for Expected Rewards in Markov Decision Processes. M Mohagheghi, K Salehi ICSOFT, 39-50, 2020 | 1 | 2020 |
| Dirac-based reduction techniques for quantitative analysis of discrete-time markov models M Mohagheghi, B Chaboki Topics in Theoretical Computer Science: Third IFIP WG 1.8 International …, 2020 | 1 | 2020 |
| Improved Iterative Methods for Verifying Markov Decision Processes J Karimpour, A Isazadeh, MS Mohagheghi, K Salehi Fundamentals of Software Engineering: 6th International Conference, FSEN …, 2015 | 1 | 2015 |
| A new approach to accelerate policy iteration for probabilistic model checking of Markov decision processes using machine learning M Mohagheghi Soft Computing Journal, 2023 | | 2023 |
| Splitter Orderings for Probabilistic Bisimulation M Mohagheghi, K Salehi arXiv preprint arXiv:2307.08614, 2023 | | 2023 |
| State ordering and classification for analyzing non-sparse large Markov Models M Mohagheghi | | 2023 |
| An Automated Quantitative Information Flow Analysis for Concurrent Programs M Mohagheghi, AA Noroozi, S Amir-Mohammadian Quantitative Evaluation of Systems: 19th International Conference, QEST 2022 …, 2022 | | 2022 |
| Accelerating Iterative Methods for Bounded Reachability Probabilities in Markov Decision Processes M Mohagheghi Computer and Knowledge Engineering 3 (2), 31-36, 2020 | | 2020 |
| Accelerating Interval Iteration for Expected Rewards in Markov Decision Processes MMK Salehi | | 2020 |
| Faster Convergence of Modified Policy Iteration for Quantitative Verification of Markov Decision Processes MS Mohagheghi Journal of Electrical and Computer Engineering Innovations (JECEI) 7 (1 …, 2018 | | 2018 |
| Improving and extending Utility-Aware Scheduling Heuristics for Soft Real-time Systems with Stochastic Running Times M Mohagheghi, B Chaboki International Journal of Information Technology (IJIT) 4 (4), 2018 | | 2018 |
| TIME-ABSTRACTING BISIMULATION FOR MARKOVIAN TIMED AUTOMATA MS Mohagheghi, H Sharifi | | |
| Accelerating of Modified Policy Iteration in Probabilistic Model Checking M Mohagheghi | | |
