Mohammad Hossein Khoshechin Jorshari

According to our database, Mohammad Hossein Khoshechin Jorshari authored at least 2 papers in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

State Space Estimation for DPOR-based Model Checkers.

A. R. Balasubramanian, Mohammad Hossein Khoshechin Jorshari, Rupak Majumdar, Umang Mathur, Minjian Zhang

CoRR, December, 2025

Optimal Concolic Dynamic Partial Order Reduction.

Mohammad Hossein Khoshechin Jorshari, Michalis Kokologiannakis, Rupak Majumdar, Srinidhi Nagendra

Proceedings of the 36th International Conference on Concurrency Theory, 2025