Mohammad Mehdi Pourhashem Kallehbasti

Publications

Citations

H-Index

2015

Active since

Affiliations

University of Science and Technology of Mazandaran(Current)

Mohammad Mehdi Pourhashem Kallehbasti is an author at University of Science and Technology of Mazandaran specializing in systems engineering, computer science, and formal methods.

ORCID

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal VerificationSystems Engineering

Publications per year

2015–2024

Publications

Efficient Scalable Verification of LTL Specifications

Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi · 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering · 2015 · 17 citations · Full text

Engineering, Verification, Computer-aided Verification +18

An End‐to‐End Deep Learning Approach for Plate Recognition in Intelligent Transportation Systems

Jamshid Pirgazi, Mohammad Mehdi Pourhashem Kallehbasti, Ali Ghanbari Sorkhi · Wireless Communications and Mobile Computing · 2022 · 14 citations · Full text

LLM Security Guard for Code

Arya Kavian, Mohammad Mehdi Pourhashem Kallehbasti, Sajjad Kazemi et al. · 2024 · 14 citations · Full text

Efficient scalable verification of LTL specifications

Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi · International Conference on Software Engineering · 2015 · 12 citations

Engineering, Verification, Computer-aided Verification +18

AdvanceSplice: Integrating N-gram one-hot encoding and ensemble modeling for enhanced accuracy

Mohammad Reza Rezvan, Ali Ghanbari Sorkhi, Jamshid Pirgazi et al. · Biomedical Signal Processing and Control · 2024 · 12 citations

Rows per page

1–5 of 5