A New Method for Describing the Syntax and Semantics of VIEWCHARTS. - Ayaz Isazadeh; Jaber Karimpour; Hosein Isazadeh (ISPA Workshops, 2007)

A New Formalism for Describing Concurrent Systems. - Ayaz Isazadeh; Jaber Karimpour; Hosein Isazadeh (ISPA Workshops, 2007)

Viewcharts: Syntax and Semantics. - Ayaz Isazadeh; Jaber Karimpour (Informatica, 2008)

A new formalism for mathematical description and verification of component-based systems. - Ayaz Isazadeh; Jaber Karimpour (J. Supercomput., 2009)

Admission Control for WebServices in Enterprise Systems Using Expert Systems. - Arash Jodeiri Salimi; Ayaz Isazadeh; Jaber Karimpour (WISM (1), 2011)

Formal framework for specifying dynamic reconfiguration of adaptive systems. - Jaber Karimpour; Robab Alyari; Ali A. Noroozi (IET Softw., 2013)

Early performance assessment in component-based software systems. - Jaber Karimpour; Ayaz Isazadeh; Habib Izadkhah (IET Softw., 2013)

An analytical model for source code distributability verification. - Ayaz Isazadeh; Jaber Karimpour; Islam Elgedawy; Habib Izadkhah (J. Zhejiang Univ. Sci. C, 2014)

Improved Iterative Methods for Verifying Markov Decision Processes. - Jaber Karimpour; Ayaz Isazadeh; MohammadSadegh Mohagheghi; Khayyam Salehi (FSEN, 2015)

Verifying Observational Determinism. - Jaber Karimpour; Ayaz Isazadeh; Ali A. Noroozi (SEC, 2015)

A survey of approaches for university course timetabling problem. - Hamed Babaei; Jaber Karimpour; Amin Hadidi (Comput. Ind. Eng., 2015)

SEECC: A secure and efficient elliptic curve cryptosystem for E-health applications. - Golnaz Sahebi; Amin Majd; Masoumeh Ebrahimi; Juha Plosila; Jaber Karimpour; Hannu Tenhunen (HPCS, 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)

Common lecturers timetabling among departments based on funnel-shape clustering algorithm. - Hamed Babaei; Jaber Karimpour; Amin Hadidi (Appl. Intell., 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)

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)

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)

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)

Optimizing inter-nest data locality in imperfect stencils based on loop blocking. - Yousef Seyfari; Shahriar Lotfi; Jaber Karimpour (J. Supercomput., 2018)

Secure Information Flow Analysis Using the PRISM Model Checker. - Ali A. Noroozi; Khayyam Salehi; Jaber Karimpour; Ayaz Isazadeh (ICISS, 2019)

Information leakage of multi-threaded programs. - Ali A. Noroozi; Jaber Karimpour; Ayaz Isazadeh (Comput. Electr. Eng., 2019)

Channel Capacity of Concurrent Probabilistic Programs. - Khayyam Salehi; Jaber Karimpour; Habib Izadkhah; Ayaz Isazadeh (Entropy, 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)

Generating an optimal timetabling for multi-departments common lecturers using hybrid fuzzy and clustering algorithms. - Hamed Babaei; Jaber Karimpour; Amin Hadidi (Soft Comput., 2019)

Specifying a New Requirement Model for Secure Adaptive Systems. - Robab Alyari; Jaber Karimpour; Habib Izadkhah (Comput. J., 2020)

Prioritizing Methods to Accelerate Probabilistic Model Checking of Discrete-Time Markov Models. - MohammadSadegh Mohagheghi; Jaber Karimpour; Ayaz Isazadeh (Comput. J., 2020)

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)

Secure cloud-of-clouds storage with space-efficient secret sharing. - Ahad Niknia; Miguel Correia 001; Jaber Karimpour (J. Inf. Secur. Appl., 2021)

Improving modified policy iteration for probabilistic model checking. - MohammadSadegh Mohagheghi; Jaber Karimpour; Ayaz Isazadeh (Comput. Sci., 2022)

A Deep Fake Detection System Using Diffusion Model Based on Graph Based Image Segmentation. - Basim Najim Al-Din; Jaber Karimpour; Farnaz Mahan (MLIS, 2023)

Using rootkits hiding techniques to conceal honeypot functionality. - Maryam Mohammadzad; Jaber Karimpour (J. Netw. Comput. Appl., 2023)

MAGD: Minimal Attack Graph Generation Dynamically in Cyber Security. - Maryam Mohammadzad; Jaber Karimpour; Farnaz Mahan (Comput. Networks, 2023)

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)

Cyber attacker's next action prediction on dynamic real-time behavior model. - Maryam Mohammadzad; Jaber Karimpour; Farnaz Mahan (Comput. Electr. Eng., 2024)

KLCMD: K_Length Clustering for Miner Detection on the blockchain social networks to increase the information propagation speed. - Elham Abdollahi Abed; Shahriar Lotfi; Jaber Karimpour (J. Netw. Comput. Appl., 2025)