Mohammad Mehdi Pourhashem Kallehbasti

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 11

Top Topics

Formal Verification

Linear Temporal Logic

Top Venues

Biomed. Signal Process. Control.

Publications

Arya Kavian, Mohammad Mehdi Pourhashem Kallehbasti, Sajjad Kazemi, Ehsan Firouzi, Mohammad Ghafari
LLM Security Guard for Code. CoRR (2024)
Mohammad Reza Rezvan, Ali Ghanbari Sorkhi, Jamshid Pirgazi, Mohammad Mehdi Pourhashem Kallehbasti
AdvanceSplice: Integrating N-gram one-hot encoding and ensemble modeling for enhanced accuracy. Biomed. Signal Process. Control. 92 (2024)
Arya Kavian, Mohammad Mehdi Pourhashem Kallehbasti, Sajjad Kazemi, Ehsan Firouzi, Mohammad Ghafari
LLM Security Guard for Code. EASE (2024)
Mohammad Mehdi Pourhashem Kallehbasti, Mohammad Ghafari
Naturalistic Static Program Analysis. SANER (2023)
Mohammad Mehdi Pourhashem Kallehbasti, Mohammad Ghafari
Naturalistic Static Program Analysis. CoRR (2023)
Mohammad Ghafari, Konstantin Rubinov, Mohammad Mehdi Pourhashem Kallehbasti
Mining unit test cases to synthesize API usage examples. CoRR (2022)
Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi, Luciano Baresi
On How Bit-Vector Logic Can Help Verify LTL-Based Specifications. IEEE Trans. Software Eng. 48 (4) (2022)
Jamshid Pirgazi, Ali Ghanbari Sorkhi, Mohammad Mehdi Pourhashem Kallehbasti
An efficient robust method for accurate and real-time vehicle plate recognition. J. Real Time Image Process. 18 (5) (2021)
Luciano Baresi, Angelo Morzenti, Alfredo Motta, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi
A Logic-Based Approach for the Verification of UML Timed Models. ACM Trans. Softw. Eng. Methodol. 26 (2) (2017)
Mohammad Ghafari, Konstantin Rubinov, Mohammad Mehdi Pourhashem Kallehbasti
Mining unit test cases to synthesize API usage examples. J. Softw. Evol. Process. 29 (12) (2017)
Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi
How bit-vector logic can help improve the verification of LTL specifications over infinite domains. SAC (2016)
Mohammad Mehdi Pourhashem Kallehbasti
Scalable Formal Verification of UML Models. ICSE (2) (2015)
Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi
Efficient Scalable Verification of LTL Specifications. ICSE (1) (2015)
Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi
Flexible modular formalization of UML sequence diagrams. FormaliSE (2014)