Follow
Mohammad Mehdi Pourhashem Kallehbasti
Mohammad Mehdi Pourhashem Kallehbasti
Other namesMohammad Mehdi Pourhashem
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
212015
ST4RT–semantic transformations for rail transportation
A Carenini, DA Ugo, G Stefanos, MM POURHASHEM KALLEHBASTI, ...
Proceedings of 7th Transport Research Arena TRA 2018, 1-10, 2018
202018
An end-to-end deep learning approach for plate recognition in intelligent transportation systems
J Pirgazi, MM Pourhashem Kallehbasti, A Ghanbari Sorkhi
Wireless Communications and Mobile Computing 2022, 1-13, 2022
112022
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
102017
An efficient robust method for accurate and real-time vehicle plate recognition
J Pirgazi, AG Sorkhi, MMP Kallehbasti
Journal of Real-Time Image Processing 18, 1759–1772, 2021
92021
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
92016
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
82017
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
82014
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 10 (12), 18-22, 2010
82010
On how bit-vector logic can help verify LTL-based specifications
MMP Kallehbasti, M Rossi, L Baresi
IEEE Transactions on Software Engineering 48 (4), 1154-1168, 2020
52020
Scalable formal verification of UML models
MMP Kallehbasti
Proceedings of the 37th International Conference on Software Engineering …, 2015
22015
AdvanceSplice: Integrating N-gram one-hot encoding and ensemble modeling for enhanced accuracy
MR Rezvan, AG Sorkhi, J Pirgazi, MMP Kallehbasti
Biomedical Signal Processing and Control 92, 106017, 2024
2024
An efficient weighted partial MaxSAT encoding for scheduling in overloaded real-time systems
MM Pourhashem Kallehbasti, J Pirgazi, A Ghanbari Sorkhi, A Kermani
International Journal of Computers and Applications 46 (3), 175-183, 2024
2024
Naturalistic Static Program Analysis
MMP Kallehbasti, M Ghafari
2023 IEEE International Conference on Software Analysis, Evolution and …, 2023
2023
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–15