| Efficient scalable verification of LTL specifications L Baresi, MMP Kallehbasti, M Rossi 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015 | 23 | 2015 |
| ST4RT–semantic transformations for rail transportation A Carenini, U Dell’Arciprete, S Gogos, ... Proceedings of 7th Transport Research Arena TRA 2018, 1-10, 2018 | 21 | 2018 |
| 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), 3364921, 2022 | 16 | 2022 |
| 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 | 11 | 2017 |
| 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 | 10 | 2021 |
| 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 | 9 | 2017 |
| 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 | 9 | 2016 |
| 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 | 8 | 2014 |
| 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 | 8 | 2010 |
| 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 | 5 | 2024 |
| 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 | 5 | 2020 |
| LLM security guard for code A Kavian, MM Pourhashem Kallehbasti, S Kazemi, E Firouzi, M Ghafari Proceedings of the 28th International Conference on Evaluation and …, 2024 | 4 | 2024 |
| Scalable formal verification of UML models MMP Kallehbasti Proceedings of the 37th International Conference on Software Engineering …, 2015 | 2 | 2015 |
| Naturalistic Static Program Analysis MMP Kallehbasti, M Ghafari 2023 IEEE International Conference on Software Analysis, Evolution and …, 2023 | 1 | 2023 |
| Dynamic update of distributed systems M Ghafari, MMP Kallehbasti Self–Adaptive Software Systems, 1, 2013 | 1 | 2013 |
| An efficient hybrid filter-wrapper method based on improved Harris Hawks optimization for feature selection J Pirgazi, MMP Kallehbasti, AG Sorkhi, A Kermani BioImpacts, -, 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 |
| 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 |
| Implementation and Evaluation of BVZot Presented in “Efficient Scalable Verification of LTL Specifications” MMP Kallehbasti | | |
Luciano BaresiDEIB - Politecnico di MilanoVerified email at polimi.it
