الرئيسية › دليل الباحثين › Messaoud Rahim

Messaoud Rahim

الانتماء : University of Sciences and Technology Houari Boumediene · University Yahia Fares of Medea

• 21منشورات (انتماء جزائري)
• 23مجموع المنشورات
• 99الاستشهادات
• 6مؤشر h

ORCIDOpenAlex

مجالات البحث

• Model-Driven Software Engineering Techniques
• Formal Methods in Verification
• Petri Nets in System Modeling
• Business Process Modeling and Analysis
• Service-Oriented Architecture and Web Services

المنشورات (21)

• An Ontology-Based Approach for Requirements and Change Impact Analysis in SysML Designs
  2026 · SN Computer Science
• Design of a Hybrid System for Mitigating Cyber Attacks on RKE and PKE Systems
  2026 · Wireless Personal Communications
• A high-throughput FPGA-based image encryption architecture using a CBC-inspired chaos-driven AES scheme
  2026 · Integration
• High Performance Detection of DDoS Attacks with Hybrid CNN-LSTM Architecture
  2025 · International Conference on Intelligent Computer Systems, Data Science and Applications (IC2SDA)
• A Digital Twin-Based Platform for Medical Cyber-Physical Systems
  2024 · IEEE Access · استُشهد به 25 مرة
• Digital twin-enabled quality control through deep learning in industry 4.0: a framework for enhancing manufacturing performance
  2024 · International Journal of Modelling and Simulation · استُشهد به 10 مرة
• A Robust Misbehavior Detection System for Cooperative Driving Network
  2024 · International Symposium on Digital Forensics and Security (ISDFS) · استُشهد به 2 مرة
• Platform for Inter-Institutions E-Governance Based on a Dynamic Web Services Composition
  2022 · International Journal of Computing and Digital Systems · استُشهد به 1 مرة
• A Model Driven Approach for Web Service Composition
  2022 · International Conference on Advanced Aspects of Software Engineering (ICAASE) · استُشهد به 1 مرة
• User Web Access Prediction Based On Web Services And User Profile
  2022 · International Conference on Advanced Aspects of Software Engineering (ICAASE)
• Hierarchical Colored Petri Nets for the Verification of SysML Designs- Activity-Based Slicing Approach
  2021 · Lecture notes in networks and systems · استُشهد به 8 مرة
• A Web Services-based Secure Platform for Inter-Institutions E-Governance
  2018 · International Conference on Applied Smart Systems (ICASS) · استُشهد به 1 مرة
• Validation of a SysML based design for wireless sensor networks
  2017 · AIP conference proceedings · استُشهد به 1 مرة
• Slicing Based Verification Approach for the Validation of SysML Activity Diagrams
  2017 · HAL
• A Methodology for Verifying SysML Requirements using Activity Diagrams
  2017 · HAL
• A methodology for verifying SysML requirements using activity diagrams
  2016 · Innovations in Systems and Software Engineering · استُشهد به 15 مرة
• Towards the Formal Verification of SysML Specifications: Translation of Activity Diagrams into Modular Petri Nets
  2015 · International Conference on Applied Computing and Information Technology / International Conference on Computational Science and Intelligence (ACIT-CSI) · استُشهد به 14 مرة
• Recursive ECATNets‐based approach for formally verifying System Modelling Language activity diagrams
  2015 · IET Software · استُشهد به 3 مرة
• Recursive ECATNets-Based Approach for Formally Verifying SysML Activity Diagrams
  2015 · HAL
• Modular and Distributed Verification of SysML Activity Diagrams
  2013 · International Conference on Model-Driven Engineering and Software Development · استُشهد به 5 مرة
• Using processor virtualization to load balancing distributed state space construction
  2011 · International Symposium on Programming and Systems (ISPS)

مجلات النشر

• HAL × 3
• International Conference on Advanced Aspects of Software Engineering (ICAASE) × 2
• SN Computer Science × 1
• Wireless Personal Communications × 1
• Integration × 1
• International Conference on Intelligent Computer Systems, Data Science and Applications (IC2SDA) × 1

المنشورات حسب السنة

• 20263
• 20251
• 20243
• 20223
• 20211
• 20181
• 20173
• 20161
• 20153
• 20131

التعاون العلمي

المؤسسات الشريكة : Franche-Comté Électronique Mécanique Thermique et Optique - Sciences et Technologies · Centre National de la Recherche Scientifique · Ziane Achour University of Djelfa

بلدان المؤلفين المشاركين : فرنسا

المؤلفون المشاركون

• Malika Ioualalen
• El Bahi Toubal
• Ahmed Kheldoun
• Abdelkader Belkhir
• Mohamed Maazouz
• Malika Boukala
• Billel Bengherbia
• Karim Boudjebbour
• Abdelhafid Tobbal
• Younes Afri
• Asma Djama
• Abdelmoughni Toubal

البيانات البيبليوغرافية مصدرها OpenAlex (قاعدة مفتوحة).