Mohammad Mehdi Pourhashem Kallehbasti

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