A simple icon, consisting of a series of links surrounded by a circle, is a common symbol for a connection or hyperlink. The lines of the icon are outlined in a dark black color on the background, with the addition of military elements of the Saudi national identity such as the Ghutra, Shamaa, and Saudi Bisht, to reflect the distinctive local character of Qassim University.

Links to official Saudi educational websites end with

edu.sa

All links to official educational websites of government agencies in Saudi Arabia end with .edu.sa.

Black leather minimalist gesture tag, black circular grip, topped with a clear depiction of a Saudi tunic with a shamma and aqal, emphasizing the features of the Saudi bisht. This design symbolizes the concept of security and digital data privacy and reflects the identity of Qassim University.
protocol for encryption and security. HTTPS for encryption and security.
Secure websites in the Kingdom of Saudi Arabia use the HTTPS protocol for encryption.
Digital Government Authority
Registered with the Digital Government Authority with no: 20260416249
Qassim University logo
Open search engine
Search
MyQU Single Sign-On Portal
MyQU

Faculty members

Content

Inside a building, a man dressed in a traditional white uniform with a red and white Saudi shemagh wears a neutral expression as if he were taking a picture of a faculty file at Qassim University.
Photo of the faculty member

Walid MohamedelArbi Ali Karamti

Associate Professor
College of Computer
Department of Computer Science

Personal data

  • W.Karamti@qu.edu.sa
  • Desktop watches
    Google Scholar
    OneDrive

    Scientific qualifications

    • PhD in Computer Science
    • Master of Science in Computer Science
    • Bachelor of Science in Computer Science

    Research interests

    • Modeling and Simulation
    • Software engineering
    • Software Evaluation
    • Artificial Intelligence (AI)
    • Behavior Analysis

    Published research

    • Scheduling Analysis and Correction for Dependent Real-Time Tasks on Heterogeneous Multiprocessor Architectures (2023-12-06)
    • Aczel-Alsina Power Bonferroni Aggregation Operators for Picture Fuzzy Information and Decision Analysis (2024-02-02)
    • Use of QUIC for AMQP in IoT Networks (2023-02-27)
    • Monitor the Structural Integrity of Buildings Using a Hybrid Machine Learning Technique (2023-01-01)
    • IoT Based Smart Monitoring of Patients with Acute Heart Failure (2022-04-01)
    • SAC-tool: A Tool for Scheduling Analysis and Correction of Multiprocessor Real-Time Systems (2018-01-01)
    • Transformation Process of RTS Scheduling Analysis Requirements from UML/MARTE to Dynamic Priority Time Petri Nets (2015-10-01)
    • Scheduling analysis based on model checking for multiprocessor real-time systems (2014-06-01)
    • Compositional Specification of Real-Time Embedded Systems Using Priority-Time Petri Nets (2012-03-01)
    • Detecting Anomalies in Network Communities Based on Structural and Attribute Deviation (2022-11-01)
    • Detection of Community Structures in Dynamic Social Networks Based on Message Distribution and Structural/Attribute Similarities (2021-01-01)
    • Label leakage unmasked: a trustworthy-AI audit of autism screening models using the CLEAR-RD framework (2026-06-30)
    • IoT based smart monitoring of patients with acute heart failure (2022-01-01)
    • Use of QUIC for AMQP in IoT Networks (2023-01-01)
    • Using mde and priority time petri nets for the schedulability analysis of embedded systems modeled by uml activity diagrams (2012-01-01)
    • Compositional specification of real time embedded systems by priority time petri nets (2012-01-01)
    • Monitor the strength status of buildings using hybrid machine learning technique (2023-01-01)
    • Detection of community structures in dynamic social networks based on message distribution and structural/attribute similarities (2021-01-01)
    • A petri net extension for schedulability analysis of real time embedded systems (2010-01-01)
    • Aczel-Alsina Power Bonferroni Aggregation Operators for Picture Fuzzy Information and Decision Analysis (2024-01-01)
    • Scheduling analysis based on model checking for multiprocessor real-time systems (2014-01-01)
    • A formal method for scheduling analysis of a partitioned multiprocessor system: dynamic priority time petri nets (2012-01-01)
    • Using dynamic priority time petri nets for scheduling analysis via earliest deadline first policy (2012-01-01)
    • Scheduling analysis and correction for dependent real-time tasks upon heterogeneous multiprocessor architectures: F. Mrabet et al. (2024-01-01)
    • Quaternion framework of neutrosophic information with its distance measures and decision-making model (2024-01-01)
    • Detecting anomalies in network communities based on structural and attribute deviation (2022-01-01)
    • Transformation Process of RTS Scheduling Analysis Requirements from UML/MARTE to Dynamic Priority Time Petri Nets (2015-01-01)
    • Hierarchical modeling with dynamic priority time petri nets for multiprocessor scheduling analysis (2012-01-01)
    • Sustainable Wastewater Management in Agriculture: A Deep Learning-based Olive Classification for Resource Efficiency in Water-Scarce Regions (2025-01-01)
    • Scheduling analysis and correction for multiprocessor real-time systems based on multi-agent systems (2018-01-01)
    • Scheduling analysis and correction of periodic real time systems with tasks migration (2017-01-01)
    • Using model-driven engineering and UML/MARTE for HW/SW partitioning (2010-01-01)
    • A model-driven engineering-based method for scheduling analysis (2008-01-01)
    • Sac-tool: a tool for scheduling analysis and correction of multiprocessor real time systems (2018-01-01)
    • Label leakage unmasked: a trustworthy-AI audit of autism screening models using the CLEAR-RD framework (2026-01-01)
    • The evolution of cloud computing architectures: A comparative analysis of traditional virtualization and containerization technologies (2025-01-01)
    • A clustering allocation and scheduling analysis approach for multiprocessor dependent real-time tasks (2022-01-01)
    • Predicting Student Performance Categories using Interpretable Machine Learning for Early Academic Quality Intervention (2026-01-01)
    • Energy Efficiency and Schedulability Examination for Real-Time Multiprocessor Systems via Employing Machine Learning Techniques (2025-01-01)
    • The Evolution of Cloud Computing Architectures (2025-01-01)
    • Intelligent Agents Model with JADE for Scheduling Analysis and Correction of Real-Time Systems. (2023-01-01)
    • Multiprocessor real-time system schedulability analysis based on Petri nets (2017-01-01)
    • Hierarchical modeling impact on states graph generation for the dynamic Priority Time Petri Nets (2014-01-01)
    • States Graph Generation from dynamic Priority Time Petri Nets (2013-01-01)

    Teaching materials

    • ++Computer Programming 3- C
    • Visual Programming
    • Software Engineering
    • Algorithms and Complexity
    • Object Oriented Programming - Java

    Suggestions

    Single Sign-On Portal
    Achievement
    E-learning
    Email
    Directory of services
    Query services

    Cookies

    This website uses special cookies to ensure ease of use, improve your browsing experience, and clarify the terms and policies related to About user privacy. By continuing to browse this website, you acknowledge that you accept the use of cookies and the terms of the Privacy Policy

    Accept