رمز بسيط، تكوّن من سلسلة روابط مُحاطة بدائرة، وهي رمز شائع للاتصال أو الارتباط التشعبي. تم تحديد خطوط الأيقونة بلون أسود داكن على الخلفية، مع إضافة عناصر عسكرية من الهوية الوطنية السعودية مثل الغترة والشماع والبشت السعودي، لتعكس الطابعة المحلية المميزة لجامعة القصيم.

روابط المواقع الالكترونية الرسمية التعليمية السعودية تنتهي بـ

edu.sa

جميع روابط المواقع الرسمية التعليمية التابعة للجهات الحكومية في المملكة العربية السعودية تنتهي بـ .edu.sa

علامة لفتة سوداء اللون من الجلد البسيط، قبضة بدائرة سوداء، يعلوها رسم واضحي لغترة سعودية مع شماع وعقال، تبرز معالم البشت السعودي في. يرمز هذا التصميم إلى مفهوم الأمان وخصوصية البيانات الرقمية يعكس هوية جامعة القصيم.
المواقع الالكترونية الحكومية تستخدم بروتوكول HTTPS للتشفير و الأمان.
المواقع الالكترونية الآمنة في المملكة العربية السعودية تستخدم بروتوكول HTTPS للتشفير.
هيئة الحكومة الرقمية

أعضاء هيئة التدريس

المحتوى

يرتدي رجل يرتدي زيًا أبيض تقليديًا مع شماغ سعودي أحمر وأبيض داخل أحد المباني، مسجون في الكاميرا بتعبير حيادي كما لو كان يلتقط صورة لملف أعضاء هيئة التدريس في جامعة القصيم.
صورة عضو هيئة التدريس

وليد محمد العربي كرامتي

أستاذ مشارك
كلية الحاسب،
قسم علوم الحاسب

البيانات الشخصية

    المؤهلات العلمية

    • دكتوراه في علوم الحاسب
    • ماجستير في علوم الحاسب
    • باكالوريوس في علوم الحاسب

    الاهتمامات البحثية

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

    الأبحاث المنشورة

    • Scheduling analysis and correction for dependent real-time tasks upon 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 Strength Status of Buildings Using 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 by 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)
    • Analyse d'ordonnançabilité des STR multiprocesseur basée sur les RdPs (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)

    المواد التدريسية

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

    ملفات تعريف الارتباط

    هذا الموقع يستخدم ملفات تعريف الارتباط الخاصة لضمان سهولة الاستخدام، وتحسين تجربتك أثناء التصفح، كما يوضح الأحكام والسياسات المتعلقة بخصوصية المستخدم. من خلال الاستمرار في تصفح هذا الموقع، فإنك تقر بقبول استخدام ملفات تعريف الارتباط، وما جاء في سياسة الخصوصية