Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Rachid Hadjidj
Observed names:
Hadjidj, Rachid,
R. Hadjidj
Institution:
Ahmed Bin Mohammed Military College
Observed institutions:
Ahmed Bin Mohammed Military College,
Concordia University,
Polytechnique Montréal,
Concordia University,
Qatar University
ORCID:
0000-0003-0577-1587
Observed ORCID:
0000-0003-0577-1587
OpenAlex ID:
A5018765379
A novel approach of mining write-prints for authorship attribution in e-mail forensics
2008
·
Farkhund Iqbal
, Rachid Hadjidj
, et al.
·
Digital Investigation
·
126
PDF
Towards an integrated e-mail forensic analysis framework
2009
·
Rachid Hadjidj
, Mourad Debbabi
, et al.
·
Digital Investigation
·
89
An Extension to the Precision Time Protocol (PTP) to Enable the Detection of Cyber Attacks
2019
·
Bassam Moussa
, Marthe Kassouf
, et al.
·
IEEE Transactions on Industrial Informatics
·
55
Security Monitoring of IEC 61850 Substations Using IEC 62351-7 Network and System Management
2021
·
Abdullah Albarakati
, Chantale Robillard
, et al.
·
IEEE Transactions on Industrial Informatics
·
54
Sentiment Analysis as a Service: A Social Media Based Sentiment Analysis Framework
2017
·
Kashif Ali
, Hai Dong
, et al.
·
IEEE International Conference on Web Services (ICWS)
·
52
CTL* model checking for time Petri nets
2005
·
Hanifa Boucheneb
, Rachid Hadjidj
·
Theoretical Computer Science
·
41
Efficient Reachability Analysis for Time Petri Nets
2010
·
Rachid Hadjidj
, Hanifa Boucheneb
·
IEEE Transactions on Computers
·
39
LaScaDa: A Novel Scalable Topology for Data Center Network
2020
·
Zina Chkirbene
, Rachid Hadjidj
, et al.
·
IEEE/ACM Transactions on Networking
·
37
PDF
Efficient techniques for energy saving in data center networks
2018
·
Zina Chkirbene
, Ala Gouissem
, et al.
·
Computer Communications
·
34
Cluster validity index based on Jeffrey divergence
2015
·
Ahmed Ben Said
, Rachid Hadjidj
, et al.
·
Pattern Analysis and Applications
·
24
PDF
On-the-fly TCTL model checking for time Petri nets
2009
·
Rachid Hadjidj
, Hanifa Boucheneb
·
Theoretical Computer Science
·
24
Multispectral image denoising with optimized vector non-local mean filter
2016
·
Ahmed Ben Said
, Rachid Hadjidj
, et al.
·
Digital Signal Processing
·
22
PDF
Improving state class constructions for CTL* model checking of time Petri nets
2007
·
Rachid Hadjidj
, Hanifa Boucheneb
·
International Journal on Software Tools for Technology Transfer
·
22
Model-Checking for Software Vulnerabilities Detection with Multi-Language Support
2008
·
Rachid Hadjidj
, Xiaochun Yang
, et al.
·
Conference on Privacy, Security and Trust
·
17
Total Variation for Image Denoising Based on a Novel Smart Edge Detector: An Application to Medical Images
2018
·
Ahmed Ben Said
, Rachid Hadjidj
, et al.
·
Journal of Mathematical Imaging and Vision
·
15
On-the-fly TCTL model checking for Time Petri Nets using state class graphs
2006
·
R. Hadjidj
, H. Boucheneb
·
International Conference on Application of Concurrency to System Design (ACSD)
·
12
Social-Sensor Cloud Service Selection
2017
·
Tooba Aamir
, Athman Bouguettaya
, et al.
·
IEEE International Conference on Web Services (ICWS)
·
11
Towards optimal CTL* model checking of time petri nets
2004
·
Hanifa Boucheneb
, Rachid Hadjidj
·
IFAC Proceedings Volumes
·
11
Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties
2006
·
R. Hadjidj
, H. Boucheneb
·
International Conference on Application of Concurrency to System Design (ACSD)
·
9
Security Monitoring of IEC 61850 Substations Using IEC 62351-7 Network and System Management1
2019
·
Abdullah Albarakati
, Chantale Robillard
, et al.
·
IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm)
·
8
Model Checking of Time Petri Nets
2008
·
Hanifa Boucheneb
, Rachid Hadjidj
·
8
Using inclusion abstraction to construct Atomic State Class Graphs for Time Petri Nets
2006
·
Hanifa Boucheneb
, Rachid Hadjidj
·
International Journal of Embedded Systems
·
8
An Efficient Approach for Model-Checking Zeno Behaviors in Real-Time System Models Based on the Time Petri Net Formalism
2023
·
Rachid Hadjidj
·
IEEE Transactions on Automation Science and Engineering
·
6
Zenoness detection and timed model checking for real time systems
2007
·
Rachid Hadjidj
, Hanifa Boucheneb
, et al.
·
Electronic workshops in computing
·
6
PDF
Verification of CERT Secure Coding Rules: Case Studies
2009
·
Syrine Tlili
, XiaoChun Yang
, et al.
·
Lecture notes in computer science
·
5
Show more works
View as search
Works count:
40
Citation count:
753
H-index:
15
I10-index:
18
Year
Topic
Type
