Jaber Karimpour

According to our database, Jaber Karimpour authored at least 34 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Cyber attacker's next action prediction on dynamic real-time behavior model.

Maryam Mohammadzad, Jaber Karimpour, Farnaz Mahan

Comput. Electr. Eng., January, 2024

A Multi-Objective Genetic Algorithm Based Load Balancing Strategy for Health Monitoring Systems in Fog-Cloud.

Hayder Makki Shakir, Jaber Karimpour, Jafar Razmara

Comput. Syst. Sci. Eng., 2024

2023

MAGD: Minimal Attack Graph Generation Dynamically in Cyber Security.

Maryam Mohammadzad, Jaber Karimpour, Farnaz Mahan

Comput. Networks, November, 2023

Using rootkits hiding techniques to conceal honeypot functionality.

Maryam Mohammadzad, Jaber Karimpour

J. Netw. Comput. Appl., May, 2023

A Deep Fake Detection System Using Diffusion Model Based on Graph Based Image Segmentation.

Basim Najim Al-Din, Jaber Karimpour, Farnaz Mahan

Proceedings of the Machine Learning and Artificial Intelligence, 2023

2022

Improving modified policy iteration for probabilistic model checking.

MohammadSadegh Mohagheghi, Jaber Karimpour, Ayaz Isazadeh

Comput. Sci., 2022

2021

Secure cloud-of-clouds storage with space-efficient secret sharing.

Ahad Niknia, Miguel Correia, Jaber Karimpour

J. Inf. Secur. Appl., 2021

Intra-Tile Parallelization for Two-Level Perfectly Nested Loops With Non-Uniform Dependences.

Zahra Abdi Reyhan, Shahriar Lotfi, Ayaz Isazadeh, Jaber Karimpour

Comput. J., 2021

2020

Prioritizing Methods to Accelerate Probabilistic Model Checking of Discrete-Time Markov Models.

MohammadSadegh Mohagheghi, Jaber Karimpour, Ayaz Isazadeh

Comput. J., 2020

Specifying a New Requirement Model for Secure Adaptive Systems.

Robab Alyari, Jaber Karimpour, Habib Izadkhah

Comput. J., 2020

2019

Generating an optimal timetabling for multi-departments common lecturers using hybrid fuzzy and clustering algorithms.

Hamed Babaei, Jaber Karimpour, Amin Hadidi

Soft Comput., 2019

Topology and computational-power aware tile mapping of perfectly nested loops with dependencies on distributed systems.

Ebrahim Zarei Zefreh, Shahriar Lotfi, Leyli Mohammad Khanli, Jaber Karimpour

J. Parallel Distributed Comput., 2019

Channel Capacity of Concurrent Probabilistic Programs.

Khayyam Salehi, Jaber Karimpour, Habib Izadkhah, Ayaz Isazadeh

Entropy, 2019

Information leakage of multi-threaded programs.

Ali A. Noroozi, Jaber Karimpour, Ayaz Isazadeh

Comput. Electr. Eng., 2019

Secure Information Flow Analysis Using the PRISM Model Checker.

Ali A. Noroozi, Khayyam Salehi, Jaber Karimpour, Ayaz Isazadeh

Proceedings of the Information Systems Security - 15th International Conference, 2019

2018

Optimizing inter-nest data locality in imperfect stencils based on loop blocking.

Yousef Seyfari, Shahriar Lotfi, Jaber Karimpour

J. Supercomput., 2018

Applying Hybrid Fuzzy Multi-Criteria Decision-Making Approach to Find the Best Ranking for the Soft Constraint Weights of Lecturers in UCTP.

Hamed Babaei, Jaber Karimpour, Amin Hadidi

Int. J. Fuzzy Syst., 2018

2017

PVL: Parallelization and Vectorization of Affine Perfectly Nested-Loops Considering Data Locality on Short-Vector Multicore Processors using Intrinsic Vectorization.

Yousef Seyfari, Shahriar Lotfi, Jaber Karimpour

Scalable Comput. Pract. Exp., 2017

Intrusion detection in network flows based on an optimized clustering criterion.

Jaber Karimpour, Shahriar Lotfi, Aliakbar Tajari Siahmarzkooh

Turkish J. Electr. Eng. Comput. Sci., 2017

3-D data partitioning for 3-level perfectly nested loops on heterogeneous distributed systems.

Ebrahim Zarei Zefreh, Shahriar Lotfi, Leyli Mohammad Khanli, Jaber Karimpour

Concurr. Comput. Pract. Exp., 2017

Common lecturers timetabling among departments based on funnel-shape clustering algorithm.

Hamed Babaei, Jaber Karimpour, Amin Hadidi

Appl. Intell., 2017

2016

Tiling and Scheduling of Three-level Perfectly Nested Loops with Dependencies on Heterogeneous Systems.

Ebrahim Zarei Zefreh, Shahriar Lotfi, Leyli Mohammad Khanli, Jaber Karimpour

Scalable Comput. Pract. Exp., 2016

SEECC: A secure and efficient elliptic curve cryptosystem for E-health applications.

Golnaz Sahebi, Amin Majd, Masoumeh Ebrahimi, Juha Plosila, Jaber Karimpour, Hannu Tenhunen

Proceedings of the International Conference on High Performance Computing & Simulation, 2016

2015

A survey of approaches for university course timetabling problem.

Hamed Babaei, Jaber Karimpour, Amin Hadidi

Comput. Ind. Eng., 2015

Verifying Observational Determinism.

Jaber Karimpour, Ayaz Isazadeh, Ali A. Noroozi

Proceedings of the ICT Systems Security and Privacy Protection, 2015

Improved Iterative Methods for Verifying Markov Decision Processes.

Jaber Karimpour, Ayaz Isazadeh, MohammadSadegh Mohagheghi, Khayyam Salehi

Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

2014

An analytical model for source code distributability verification.

Ayaz Isazadeh, Jaber Karimpour, Islam Elgedawy, Habib Izadkhah

J. Zhejiang Univ. Sci. C, 2014

2013

Early performance assessment in component-based software systems.

Jaber Karimpour, Ayaz Isazadeh, Habib Izadkhah

IET Softw., 2013

Formal framework for specifying dynamic reconfiguration of adaptive systems.

Jaber Karimpour, Robab Alyari, Ali A. Noroozi

IET Softw., 2013

2011

Admission Control for WebServices in Enterprise Systems Using Expert Systems.

Arash Jodeiri Salimi, Ayaz Isazadeh, Jaber Karimpour

Proceedings of the Web Information Systems and Mining - International Conference, 2011

2009

A new formalism for mathematical description and verification of component-based systems.

Ayaz Isazadeh, Jaber Karimpour

J. Supercomput., 2009

2008

Viewcharts: Syntax and Semantics.

Ayaz Isazadeh, Jaber Karimpour

Informatica, 2008

2007

A New Formalism for Describing Concurrent Systems.

Ayaz Isazadeh, Jaber Karimpour, Hosein Isazadeh

Proceedings of the Frontiers of High Performance Computing and Networking ISPA 2007 Workshops, 2007

A New Method for Describing the Syntax and Semantics of VIEWCHARTS.

Ayaz Isazadeh, Jaber Karimpour, Hosein Isazadeh

Proceedings of the Frontiers of High Performance Computing and Networking ISPA 2007 Workshops, 2007