Improved Iterative Methods for Verifying Markov Decision Processes. - Jaber Karimpour; Ayaz Isazadeh; MohammadSadegh Mohagheghi; Khayyam Salehi (FSEN, 2015)

Secure Information Flow Analysis Using the PRISM Model Checker. - Ali A. Noroozi; Khayyam Salehi; Jaber Karimpour; Ayaz Isazadeh (ICISS, 2019)

Channel Capacity of Concurrent Probabilistic Programs. - Khayyam Salehi; Jaber Karimpour; Habib Izadkhah; Ayaz Isazadeh (Entropy, 2019)

Accelerating Interval Iteration for Expected Rewards in Markov Decision Processes. - MohammadSadegh Mohagheghi; Khayyam Salehi (ICSOFT, 2020)

Machine Learning and Disk-based Methods for Qualitative Verification of Markov Decision Processes. - MohammadSadegh Mohagheghi; Khayyam Salehi (ICTERI Workshops, 2020)

An Automated Quantitative Information Flow Analysis for Concurrent Programs. - Khayyam Salehi; Ali A. Noroozi; Sepehr Amir-Mohammadian; MohammadSadegh Mohagheghi (QEST, 2022)

Splitter Orderings for Probabilistic Bisimulation. - MohammadSadegh Mohagheghi; Khayyam Salehi (CoRR, 2023)

Improving Probabilistic Bisimulation for MDPs Using Machine Learning. - MohammadSadegh Mohagheghi; Khayyam Salehi (CoRR, 2023)

The dynamic behavior of time-delayed Leslie-Gower predator-prey model. - Khayyam Salehi; Javad Alidousti (Appl. Math. Comput., 2026)