Flexible modular formalization of UML sequence diagrams. - Luciano Baresi; Mohammad Mehdi Pourhashem Kallehbasti; Matteo Rossi 001 (FormaliSE, 2014)

Efficient Scalable Verification of LTL Specifications. - Luciano Baresi; Mohammad Mehdi Pourhashem Kallehbasti; Matteo Rossi 001 (ICSE (1), 2015)

Scalable Formal Verification of UML Models. - Mohammad Mehdi Pourhashem Kallehbasti (ICSE (2), 2015)

Scalable formal verification of UML models. - Mohammad Mehdi Pourhashem Kallehbasti (2015)

How bit-vector logic can help improve the verification of LTL specifications over infinite domains. - Luciano Baresi; Mohammad Mehdi Pourhashem Kallehbasti; Matteo Rossi 001 (SAC, 2016)

Mining unit test cases to synthesize API usage examples. - Mohammad Ghafari; Konstantin Rubinov; Mohammad Mehdi Pourhashem Kallehbasti (J. Softw. Evol. Process., 2017)

A Logic-Based Approach for the Verification of UML Timed Models. - Luciano Baresi; Angelo Morzenti; Alfredo Motta; Mohammad Mehdi Pourhashem Kallehbasti; Matteo Rossi 001 (ACM Trans. Softw. Eng. Methodol., 2017)

An efficient robust method for accurate and real-time vehicle plate recognition. - Jamshid Pirgazi; Ali Ghanbari Sorkhi; Mohammad Mehdi Pourhashem Kallehbasti (J. Real Time Image Process., 2021)

On How Bit-Vector Logic Can Help Verify LTL-Based Specifications. - Mohammad Mehdi Pourhashem Kallehbasti; Matteo Rossi 001; Luciano Baresi (IEEE Trans. Software Eng., 2022)

Naturalistic Static Program Analysis. - Mohammad Mehdi Pourhashem Kallehbasti; Mohammad Ghafari (SANER, 2023)

LLM Security Guard for Code. - Arya Kavian; Mohammad Mehdi Pourhashem Kallehbasti; Sajjad Kazemi; Ehsan Firouzi; Mohammad Ghafari (EASE, 2024)

AdvanceSplice: Integrating N-gram one-hot encoding and ensemble modeling for enhanced accuracy. - Mohammad Reza Rezvan; Ali Ghanbari Sorkhi; Jamshid Pirgazi; Mohammad Mehdi Pourhashem Kallehbasti (Biomed. Signal Process. Control., 2024)