| Efficient scalable verification of LTL specifications L Baresi, MMP Kallehbasti, M Rossi 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015 | 21 | 2015 |
| 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 | 20 | 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-13, 2022 | 12 | 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 | 9 | 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 |
| 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 |
| Scalable formal verification of UML models MMP Kallehbasti Proceedings of the 37th International Conference on Software Engineering …, 2015 | 2 | 2015 |
| Dynamic update of distributed systems M Ghafari, MMP Kallehbasti Self–Adaptive Software Systems, 1, 2013 | 1 | 2013 |
| 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 |
| LLM Security Guard for Code A Kavian, MMP Kallehbasti, S Kazemi, E Firouzi, M Ghafari arXiv preprint arXiv:2405.01103, 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 |
| Implementation and Evaluation of BVZot Presented in “Efficient Scalable Verification of LTL Specifications” MMP Kallehbasti | | |
Luciano BaresiDEIB - Politecnico di MilanoDirección de correo verificada de polimi.it
