Home › Researcher directory › Messaoud Rahim
Messaoud Rahim
Affiliation : University of Sciences and Technology Houari Boumediene · University Yahia Fares of Medea
- 21Publications (affiliation in Algeria)
- 23Total publications
- 99Citations
- 6h-index
Research profile
Messaoud Rahim has 21 indexed publications (2011–2026). Their work appears mainly in “HAL”, “International Conference on Advanced Aspects of Software Engineering (ICAASE)” and “SN Computer Science”. Their most cited article, “A Digital Twin-Based Platform for Medical Cyber-Physical Systems” (2024), has been cited 25 times. 7 of these publications date from the last three years of activity. Their work is co-authored with at least 12 researchers, including institutions in France.
Is this you? Get your research seen
Create your free DzCademia profile and add your articles: they will show up more easily on Google and in AI assistants like ChatGPT, so more people can read and cite your work.
Create my free profile Add my publicationsResearch areas
- 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
Publications (21)
- An Ontology-Based Approach for Requirements and Change Impact Analysis in SysML Designs
- Design of a Hybrid System for Mitigating Cyber Attacks on RKE and PKE Systems
- A high-throughput FPGA-based image encryption architecture using a CBC-inspired chaos-driven AES scheme
- High Performance Detection of DDoS Attacks with Hybrid CNN-LSTM Architecture
- A Digital Twin-Based Platform for Medical Cyber-Physical Systems
- Digital twin-enabled quality control through deep learning in industry 4.0: a framework for enhancing manufacturing performance
- A Robust Misbehavior Detection System for Cooperative Driving Network
- Platform for Inter-Institutions E-Governance Based on a Dynamic Web Services Composition
- A Model Driven Approach for Web Service Composition
- User Web Access Prediction Based On Web Services And User Profile
- Hierarchical Colored Petri Nets for the Verification of SysML Designs- Activity-Based Slicing Approach
- A Web Services-based Secure Platform for Inter-Institutions E-Governance
- Validation of a SysML based design for wireless sensor networks
- Slicing Based Verification Approach for the Validation of SysML Activity Diagrams
- A Methodology for Verifying SysML Requirements using Activity Diagrams
- A methodology for verifying SysML requirements using activity diagrams
- Towards the Formal Verification of SysML Specifications: Translation of Activity Diagrams into Modular Petri Nets
- Recursive ECATNets‐based approach for formally verifying System Modelling Language activity diagrams
- Recursive ECATNets-Based Approach for Formally Verifying SysML Activity Diagrams
- Modular and Distributed Verification of SysML Activity Diagrams
- Using processor virtualization to load balancing distributed state space construction
Publication venues
- 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
Publications per year
- 20263
- 20251
- 20243
- 20223
- 20211
- 20181
- 20173
- 20161
- 20153
- 20131
Collaborations
Partner institutions : Franche-Comté Électronique Mécanique Thermique et Optique - Sciences et Technologies · Centre National de la Recherche Scientifique · Ziane Achour University of Djelfa
Co-authors’ countries : France
Co-authors
- 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
Bibliographic data from OpenAlex (open database).
Why choose Dzcademia?
Profiles, articles and conference contributions: give your research a structured public presence. Integrated metadata help search engines and AI assistants identify your work and understand its references.
Comment with Google
Sign in with Google to comment directly on this page.