| Channel capacity of concurrent probabilistic programs K Salehi, J Karimpour, H Izadkhah, A Isazadeh Entropy 21 (9), 885, 2019 | 5 | 2019 |
| Secure information flow analysis using the PRISM model checker AA Noroozi, K Salehi, J Karimpour, A Isazadeh Information Systems Security: 15th International Conference, ICISS 2019 …, 2019 | 4 | 2019 |
| Quantifying Information Leakage of Probabilistic Programs Using the PRISM Model Checker K Salehi, AA Noroozi, S Amir-Mohammadian The Fifteenth International Conference on Emerging Security Information …, 2021 | 3* | 2021 |
| Machine Learning and Disk-based Methods for Qualitative Verification of Markov Decision Processes M Mohagheghi, K Salehi ICTERI Workshops, 74-88, 2020 | 2 | 2020 |
| 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 | 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 |
| A partition-based algorithm for clustering large-scale software systems B Pourasghar, H Izadkhah, S Lotfi, K Salehi Signal and Data Processing 18 (4), 37-48, 2022 | 1 | 2022 |
| Accelerating Interval Iteration for Expected Rewards in Markov Decision Processes. M Mohagheghi, K Salehi ICSOFT, 39-50, 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 |
| Bifurcation analysis of Duffing oscillator with a fifth-order nonlinear factor J Alidousti, K Salehi, Z Eskandari, E Rafiean Borujeni International Journal of Modelling and Simulation, 1-13, 2023 | | 2023 |
| Improving Probabilistic Bisimulation for MDPs Using Machine Learning M Mohaghegh, K Salehi arXiv preprint arXiv:2308.02519, 2023 | | 2023 |
| Splitter Orderings for Probabilistic Bisimulation M Mohagheghi, K Salehi arXiv preprint arXiv:2307.08614, 2023 | | 2023 |
| Quantitative analysis of secure information flow in computer programs K Salehi University of Tabriz, 2019 | | 2019 |
| GMA: A Graph-based algorithm for large-scale Software Systems Modularization B Pourasghar, H Izadkhah, K Salehi, A Isazadeh International Conference on Distributed Computing and High Performance Computing, 2018 | | 2018 |
Mohammadsadegh MohagheghiVali-e-Asr University of RafsanjanVerified email at vru.ac.ir
