Jaber Karimpour

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 27

Top Topics

Distributed Systems

Information Leakage

Clustering Algorithm

Top Venues

Comput. Electr. Eng.

Scalable Comput. Pract. Exp.

Publications

Maryam Mohammadzad, Jaber Karimpour, Farnaz Mahan
Cyber attacker's next action prediction on dynamic real-time behavior model. Comput. Electr. Eng. 113 (2024)
Hayder Makki Shakir, Jaber Karimpour, Jafar Razmara
A Multi-Objective Genetic Algorithm Based Load Balancing Strategy for Health Monitoring Systems in Fog-Cloud. Comput. Syst. Sci. Eng. 48 (1) (2024)
Maryam Mohammadzad, Jaber Karimpour
Using rootkits hiding techniques to conceal honeypot functionality. J. Netw. Comput. Appl. 214 (2023)
Basim Najim Al-Din, Jaber Karimpour, Farnaz Mahan
A Deep Fake Detection System Using Diffusion Model Based on Graph Based Image Segmentation. MLIS (2023)
Maryam Mohammadzad, Jaber Karimpour, Farnaz Mahan
MAGD: Minimal Attack Graph Generation Dynamically in Cyber Security. Comput. Networks 236 (2023)
MohammadSadegh Mohagheghi, Jaber Karimpour, Ayaz Isazadeh
Improving modified policy iteration for probabilistic model checking. Comput. Sci. 23 (1) (2022)
Ahad Niknia, Miguel Correia, Jaber Karimpour
Secure cloud-of-clouds storage with space-efficient secret sharing. J. Inf. Secur. Appl. 59 (2021)
Ahad Niknia, Miguel Correia, Jaber Karimpour
Secure cloud-of-clouds storage with space-efficient secret sharing. IACR Cryptol. ePrint Arch. 2021 (2021)
Zahra Abdi Reyhan, Shahriar Lotfi, Ayaz Isazadeh, Jaber Karimpour
Intra-Tile Parallelization for Two-Level Perfectly Nested Loops With Non-Uniform Dependences. Comput. J. 64 (9) (2021)
Robab Alyari, Jaber Karimpour, Habib Izadkhah
Specifying a New Requirement Model for Secure Adaptive Systems. Comput. J. 63 (8) (2020)
MohammadSadegh Mohagheghi, Jaber Karimpour, Ayaz Isazadeh
Prioritizing Methods to Accelerate Probabilistic Model Checking of Discrete-Time Markov Models. Comput. J. 63 (1) (2020)
Ali A. Noroozi, Jaber Karimpour, Ayaz Isazadeh
Information leakage of multi-threaded programs. Comput. Electr. Eng. 78 (2019)
Hamed Babaei, Jaber Karimpour, Amin Hadidi
Generating an optimal timetabling for multi-departments common lecturers using hybrid fuzzy and clustering algorithms. Soft Comput. 23 (13) (2019)
Khayyam Salehi, Jaber Karimpour, Habib Izadkhah, Ayaz Isazadeh
Channel Capacity of Concurrent Probabilistic Programs. Entropy 21 (9) (2019)
Ebrahim Zarei Zefreh, Shahriar Lotfi, Leyli Mohammad Khanli, Jaber Karimpour
Topology and computational-power aware tile mapping of perfectly nested loops with dependencies on distributed systems. J. Parallel Distributed Comput. 129 (2019)
Ali A. Noroozi, Khayyam Salehi, Jaber Karimpour, Ayaz Isazadeh
Secure Information Flow Analysis Using the PRISM Model Checker. ICISS (2019)
Yousef Seyfari, Shahriar Lotfi, Jaber Karimpour
Optimizing inter-nest data locality in imperfect stencils based on loop blocking. J. Supercomput. 74 (10) (2018)
Hamed Babaei, Jaber Karimpour, Amin Hadidi
Applying Hybrid Fuzzy Multi-Criteria Decision-Making Approach to Find the Best Ranking for the Soft Constraint Weights of Lecturers in UCTP. Int. J. Fuzzy Syst. 20 (1) (2018)
Yousef Seyfari, Shahriar Lotfi, Jaber Karimpour
PVL: Parallelization and Vectorization of Affine Perfectly Nested-Loops Considering Data Locality on Short-Vector Multicore Processors using Intrinsic Vectorization. Scalable Comput. Pract. Exp. 18 (1) (2017)
Jaber Karimpour, Shahriar Lotfi, Aliakbar Tajari Siahmarzkooh
Intrusion detection in network flows based on an optimized clustering criterion. Turkish J. Electr. Eng. Comput. Sci. 25 (2017)
Ebrahim Zarei Zefreh, Shahriar Lotfi, Leyli Mohammad Khanli, Jaber Karimpour
3-D data partitioning for 3-level perfectly nested loops on heterogeneous distributed systems. Concurr. Comput. Pract. Exp. 29 (5) (2017)
Hamed Babaei, Jaber Karimpour, Amin Hadidi
Common lecturers timetabling among departments based on funnel-shape clustering algorithm. Appl. Intell. 46 (2) (2017)
Golnaz Sahebi, Amin Majd, Masoumeh Ebrahimi, Juha Plosila, Jaber Karimpour, Hannu Tenhunen
SEECC: A secure and efficient elliptic curve cryptosystem for E-health applications. HPCS (2016)
Ebrahim Zarei Zefreh, Shahriar Lotfi, Leyli Mohammad Khanli, Jaber Karimpour
Tiling and Scheduling of Three-level Perfectly Nested Loops with Dependencies on Heterogeneous Systems. Scalable Comput. Pract. Exp. 17 (4) (2016)
Jaber Karimpour, Ayaz Isazadeh, MohammadSadegh Mohagheghi, Khayyam Salehi
Improved Iterative Methods for Verifying Markov Decision Processes. FSEN (2015)
Jaber Karimpour, Ayaz Isazadeh, Ali A. Noroozi
Verifying Observational Determinism. SEC (2015)
Hamed Babaei, Jaber Karimpour, Amin Hadidi
A survey of approaches for university course timetabling problem. Comput. Ind. Eng. 86 (2015)
Ayaz Isazadeh, Jaber Karimpour, Islam Elgedawy, Habib Izadkhah
An analytical model for source code distributability verification. J. Zhejiang Univ. Sci. C 15 (2) (2014)
Jaber Karimpour, Ayaz Isazadeh, Habib Izadkhah
Early performance assessment in component-based software systems. IET Softw. 7 (2) (2013)
Jaber Karimpour, Robab Alyari, Ali A. Noroozi
Formal framework for specifying dynamic reconfiguration of adaptive systems. IET Softw. 7 (5) (2013)
Arash Jodeiri Salimi, Ayaz Isazadeh, Jaber Karimpour
Admission Control for WebServices in Enterprise Systems Using Expert Systems. WISM (1) (2011)
Ayaz Isazadeh, Jaber Karimpour
A new formalism for mathematical description and verification of component-based systems. J. Supercomput. 49 (3) (2009)
Ayaz Isazadeh, Jaber Karimpour
Viewcharts: Syntax and Semantics. Informatica 19 (3) (2008)
Ayaz Isazadeh, Jaber Karimpour, Hosein Isazadeh
A New Formalism for Describing Concurrent Systems. ISPA Workshops (2007)
Ayaz Isazadeh, Jaber Karimpour, Hosein Isazadeh
A New Method for Describing the Syntax and Semantics of VIEWCHARTS. ISPA Workshops (2007)