Mohammad Mehdi Pourhashem Kallehbasti
Mohammad Mehdi Pourhashem Kallehbasti
Assistant Professor, University of Science and Technology of Mazandaran
Verified email at mazust.ac.ir - Homepage
Title
Cited by
Cited by
Year
Efficient scalable verification of LTL specifications
L Baresi, MMP Kallehbasti, M Rossi
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
182015
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
152018
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
92010
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
82016
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
72017
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
72014
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
62017
On how bit-vector logic can help verify LTL-based specifications
MMP Kallehbasti, MG Rossi, L Baresi
IEEE Transactions on Software Engineering, 2020
42020
Scalable formal verification of UML models
MMP Kallehbasti
Proceedings of the 37th International Conference on Software Engineering …, 2015
22015
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
12021
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
2010
The system can't perform the operation now. Try again later.
Articles 1–11