RESEARCHER PROFILE

Rachid Hadjidj

← Back to Ahmed Bin Mohammed Military College

R

Ahmed Bin Mohammed Military College

Formal Methods in VerificationPetri Nets in System ModelingBusiness Process Modeling and AnalysisCloud Computing and Resource ManagementImage and Signal Denoising Methods

Rachid Hadjidj works in Formal Methods in Verification, Petri Nets in System Modeling, Business Process Modeling and Analysis, Cloud Computing and Resource Management, Image and Signal Denoising Methods. Recorded institutional associations include Ahmed Bin Mohammed Military College.

43Publications
739Citations
15H-index

ORCID

Inclusion identifies researchers whose recorded research contributions may inform their university’s understanding of its research community. It does not rank individual research quality or establish current employment.

Selected research works

Up to 100 highly cited works; DOI links open the original research. Counts reflect the collected record, not real-time citation totals.

  1. A novel approach of mining write-prints for authorship attribution in e-mail forensics

    2008 · 128 citations

  2. Towards an integrated e-mail forensic analysis framework

    2009 · 86 citations

  3. An Extension to the Precision Time Protocol (PTP) to Enable the Detection of Cyber Attacks

    2019 · 53 citations

  4. Sentiment Analysis as a Service: A Social Media Based Sentiment Analysis Framework

    2017 · 51 citations

  5. Security Monitoring of IEC 61850 Substations Using IEC 62351-7 Network and System Management

    2021 · 46 citations

  6. CTL* model checking for time Petri nets

    2005 · 41 citations

  7. Efficient Reachability Analysis for Time Petri Nets

    2010 · 38 citations

  8. LaScaDa: A Novel Scalable Topology for Data Center Network

    2020 · 36 citations

  9. Efficient techniques for energy saving in data center networks

    2018 · 34 citations

  10. Cluster validity index based on Jeffrey divergence

    2015 · 25 citations

  11. On-the-fly TCTL model checking for time Petri nets

    2009 · 25 citations

  12. Improving state class constructions for CTL* model checking of time Petri nets

    2007 · 22 citations

  13. Multispectral image denoising with optimized vector non-local mean filter

    2016 · 22 citations

  14. Model-Checking for Software Vulnerabilities Detection with Multi-Language Support

    2008 · 15 citations

  15. Total Variation for Image Denoising Based on a Novel Smart Edge Detector: An Application to Medical Images

    2018 · 15 citations

  16. On-the-fly TCTL model checking for Time Petri Nets using state class graphs

    2006 · 12 citations

  17. Towards optimal CTL* model checking of time petri nets

    2004 · 12 citations

  18. Social-Sensor Cloud Service Selection

    2017 · 12 citations

  19. Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties

    2006 · 11 citations

  20. Using inclusion abstraction to construct Atomic State Class Graphs for Time Petri Nets

    2006 · 9 citations

  21. Model Checking of Time Petri Nets

    2008 · 8 citations

  22. Security Monitoring of IEC 61850 Substations Using IEC 62351-7 Network and System Management1

    2019 · 8 citations

  23. Zenoness detection and timed model checking for real time systems

    2007 · 6 citations

  24. An Efficient Approach for Model-Checking Zeno Behaviors in Real-Time System Models Based on the Time Petri Net Formalism

    2023 · 5 citations

  25. Verification of CERT Secure Coding Rules: Case Studies

    2009 · 4 citations

← Return to the university profile