Rachid Hadjidj
Rachid Hadjidj
Concordia University, Montreal, Canada
Verified email at - Homepage
Cited by
Cited by
A novel approach of mining write-prints for authorship attribution in e-mail forensics
F Iqbal, R Hadjidj, BCM Fung, M Debbabi
digital investigation 5, S42-S51, 2008
Towards an integrated e-mail forensic analysis framework
R Hadjidj, M Debbabi, H Lounis, F Iqbal, A Szporer, D Benredjem
digital investigation 5 (3-4), 124-137, 2009
CTL* model checking for time Petri nets
H Boucheneb, R Hadjidj
Theoretical Computer Science 353 (1-3), 208-227, 2006
Sentiment analysis as a service: a social media based sentiment analysis framework
K Ali, H Dong, A Bouguettaya, A Erradi, R Hadjidj
2017 IEEE international conference on web services (ICWS), 660-667, 2017
On-the-fly TCTL model checking for time Petri nets
R Hadjidj, H Boucheneb
Theoretical Computer Science 410 (42), 4241-4261, 2009
Efficient reachability analysis for time Petri nets
R Hadjidj, H Boucheneb
IEEE Transactions on Computers 60 (8), 1085-1099, 2010
Improving state class constructions for CTL* model checking of time Petri nets
R Hadjidj, H Boucheneb
International Journal on Software Tools for Technology Transfer 10 (2), 167-184, 2008
Multispectral image denoising with optimized vector non-local mean filter
AB Said, R Hadjidj, KE Melkemi, S Foufou
Digital Signal Processing 58, 115-126, 2016
Cluster validity index based on Jeffrey divergence
AB Said, R Hadjidj, S Foufou
Pattern Analysis and Applications 20 (1), 21-31, 2017
Model-checking for software vulnerabilities detection with multi-language support
R Hadjidj, X Yang, S Tlili, M Debbabi
2008 sixth annual conference on privacy, security and trust, 133-142, 2008
An extension to the precision time protocol (PTP) to enable the detection of cyber attacks
B Moussa, M Kassouf, R Hadjidj, M Debbabi, C Assi
IEEE Transactions on Industrial Informatics 16 (1), 18-27, 2019
On-the-fly tctl model checking for time petri nets using state class graphs
R Hadjidj, H Boucheneb
Sixth International Conference on Application of Concurrency to System …, 2006
Security monitoring of IEC 61850 substations using IEC 62351-7 network and system management
A Albarakati, C Robillard, M Karanfil, M Kassouf, M Debbabi, A Youssef, ...
IEEE Transactions on Industrial Informatics 18 (3), 1641-1653, 2021
Using inclusion abstraction to construct atomic state class graphs for time petri nets
H Boucheneb, R Hadjidj
International journal of embedded systems 2 (1-2), 128-139, 2006
Towards optimal CTL* model checking of Time Petri Nets
H Boucheneb, R Hadjidj
IFAC Proceedings Volumes 37 (18), 459-464, 2004
Lascada: a novel scalable topology for data center network
Z Chkirbene, R Hadjidj, S Foufou, R Hamila
IEEE/ACM Transactions on Networking 28 (5), 2051-2064, 2020
Efficient techniques for energy saving in data center networks
Z Chkirbene, A Gouissem, R Hadjidj, S Foufou, R Hamila
Computer Communications 129, 111-124, 2018
Social-sensor cloud service selection
T Aamir, A Bouguettaya, H Dong, A Erradi, R Hadjidj
2017 IEEE International Conference on Web Services (ICWS), 508-515, 2017
Zenoness detection and timed model checking for real time systems
R Hadjidj, H Boucheneb, D Hadjidj
BCS Learning & Development, 2007
Analyse et validation formelle des systemes temps réel
R Hadjidj
École Polytechnique de Montréal, 2006
The system can't perform the operation now. Try again later.
Articles 1–20