دانشگاه علم و فناوری مازندران
سامانه مدیریت سوابق
محمدمهدی پورهاشم
شماره تلفن محل کار (1) : 01134552027
فکس :
شماره تلفن محل کار (2) : 01134552000
کدپستی :
صندوق پستی :
نحوه همکاری : عضو هیئت علمی
وب سایت :
پست الکترونیک : pourhashem@mazust.ac.ir
آدرس محل کار (1) : دانشگاه علم و فناوری مازندران
آدرس محل کار (2) :
مقالات
  • 2018, Santoro, R.; Dell’Arciprete, U.; Gogos, S.; Pourhashem Kallehbasti, M. M.; Rossi, M.; Carenini, A. "ST4RT – Semantic Transformations for Rail Transportation", Transport Research Arena (TRA)
  • 2017, M. Ghafari, K. Rubinov, M. M. Pourhashem Kallehbasti, “Mining Unit Test Cases to Synthesize API Usage Examples”, Journal of Software: Evolution and Process (JSEP)
  • 2016, L. Baresi, A. Morzenti, A. Motta, M. M. Pourhashem Kallehbasti, M. Rossi,  “A Logic-based Approach for the Verification of UML Timed Models”, Transactions on Software Engineering and Methodology (TOSEM)
  • 2016, L. Baresi, M. M. Pourhashem Kallehbasti, M. Rossi, “How Bit-Vector Logic Can Help Improve the Verification of First-Order LTL Specifications” ACM/SIGAPP Symposium on Applied Computing
  • 2015, L. Baresi, M. M. Pourhashem Kallehbasti, M. Rossi, “Efficient Scalable Verification of LTL Specifications”, International Conference on Software Engineering (ICSE)
  • 2015, M. M. Pourhashem Kallehbasti, “Scalable Formal Verification of UML Models”, International Conference on Software Engineering (ICSE)
  • 2014, L. Baresi, M. M. Pourhashem Kallehbasti, M. Rossi, “Flexible Modular Formalization of UML Sequence Diagrams”, 2nd FME Workshop on Formal Methods in Software Engineering (FormaliSE) - ICSE
  • 2010, M. M. Pourhashem, M. Kelarestaghi, M. M. Pedram, "Missing Value Estimation in Microarray Data Using Fuzzy Clustering and Semantic Similarity", Global Journal of Computer Science and Technology
  • 2010, M. M. Pourhashem, M. Kelarestaghi, M. M. Pedram, "Improving Missing Value Estimation in Microarray Data by Using Genes Semantic Similarity", International Conference of Fuzzy Information & Engineering
تمامی حقوق این سامانه برای دانشگاه علم و فناوری مازندران محفوظ است