Mohammad Mehdi Pourhashem Kallehbasti
Mohammad Mehdi Pourhashem Kallehbasti
Assistant Professor, University of Science and Technology of Mazandaran
Verified email at - Homepage
Cited by
Cited by
Efficient scalable verification of LTL specifications
L Baresi, MMP Kallehbasti, M Rossi
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
ST4RT–semantic transformations for rail transportation
A Carenini, DA Ugo, G Stefanos, MM Pourhashem Kallehbasti, MG Rossi, ...
Transport Research Arena TRA 2018, 1-10, 2018
Missing value estimation in microarray data using fuzzy clustering and semantic similarity
MM Pourhashem, M Kelarestaghi, MM Pedram
Global Journal of Computer science and technology, 2010
How bit-vector logic can help improve the verification of LTL specifications over infinite domains
L Baresi, MM Pourhashem Kallehbasti, M Rossi
Proceedings of the 31st annual ACM symposium on applied computing, 1666-1673, 2016
Mining unit test cases to synthesize API usage examples
M Ghafari, K Rubinov, MM Pourhashem K
Journal of software: evolution and process 29 (12), e1841, 2017
Flexible modular formalization of UML sequence diagrams
L Baresi, MM Pourhashem Kallehbasti, M Rossi
Proceedings of the 2nd FME Workshop on Formal Methods in Software …, 2014
A Logic-Based Approach for the Verification of UML Timed Models
L Baresi, A Morzenti, A Motta, MM Pourhashem K., M Rossi
ACM Transactions on Software Engineering and Methodology (TOSEM) 26 (2), 7, 2017
On how bit-vector logic can help verify LTL-based specifications
MMP Kallehbasti, MG Rossi, L Baresi
IEEE Transactions on Software Engineering, 2020
Scalable formal verification of UML models
MMP Kallehbasti
Proceedings of the 37th International Conference on Software Engineering …, 2015
An efficient robust method for accurate and real-time vehicle plate recognition
J Pirgazi, AG Sorkhi, MMP Kallehbasti
Journal of Real-Time Image Processing, 1-14, 2021
Improving Missing Value Estimation in Microarray Data by Using Genes Semantic Similarity
MM Pourhashem, M Kelarestaghi, MM Pedram
4th International Conference of Fuzzy Information & Engineering, 2010
The system can't perform the operation now. Try again later.
Articles 1–11