Rachid Hadjidj

32 papers A 2B 2C 2Misc 1Journal 18Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Optimizing Timetable Scheduling: A Smart Local Search Approach With Aspiration and Random Moves Strategies.
IEEE Trans Autom. Sci. Eng.
Drifa Hadjidj, Rachid Hadjidj, Abdelhak Belhi, Razika Belkacemi, Habiba Drias
2024 J jnl
An Efficient Approach for Model-Checking Zeno Behaviors in Real-Time System Models Based on the Time Petri Net Formalism.
IEEE Trans Autom. Sci. Eng.
Rachid Hadjidj
2022 B conf
On Modelling and Analyzing Composite Resources' Consumption Cycles using Time Petri-Nets.
ENASE
Amel Benna, Fatma Masmoudi, Mohamed Sellami, Zakaria Maamar, Rachid Hadjidj
2022 J jnl
Security Monitoring of IEC 61850 Substations Using IEC 62351-7 Network and System Management.
IEEE Trans. Ind. Informatics
Abdullah Albarakati, Chantale Robillard, Mark Karanfil, Marthe Kassouf, Mourad Debbabi, Amr M. Youssef, Mohsen Ghafouri, Rachid Hadjidj
2020 J jnl
An Extension to the Precision Time Protocol (PTP) to Enable the Detection of Cyber Attacks.
IEEE Trans. Ind. Informatics
Bassam Moussa, Marthe Kassouf, Rachid Hadjidj, Mourad Debbabi, Chadi Assi
2020 J jnl
LaScaDa: A Novel Scalable Topology for Data Center Network.
IEEE/ACM Trans. Netw.
Zina Chkirbene, Rachid Hadjidj, Sebti Foufou, Ridha Hamila
2019 — conf
Security Monitoring of IEC 61850 Substations Using IEC 62351-7 Network and System Management
SmartGridComm
Abdullah Albarakati, Chantale Robillard, Mark Karanfil, Marthe Kassouf, Rachid Hadjidj, Mourad Debbabi, Amr M. Youssef
2019 J jnl
Total Variation for Image Denoising Based on a Novel Smart Edge Detector: An Application to Medical Images.
J. Math. Imaging Vis.
Ahmed Ben Said, Rachid Hadjidj, Sebti Foufou
2018 J jnl
Cluster validity index based on Jeffrey divergence.
CoRR
Ahmed Ben Said, Rachid Hadjidj, Sebti Foufou
2018 J jnl
Efficient techniques for energy saving in data center networks.
Comput. Commun.
Zina Chkirbene, Ala Gouissem, Rachid Hadjidj, Sebti Foufou, Ridha Hamila
2018 B conf
Exploiting Traffic Correlation Towards Energy Saving in Data Centers.
PIMRC
Zina Chkirbene, Ala Gouissem, Rachid Hadjidj, Ridha Hamila, Sebti Foufou
2017 C conf
An automated approach to translate a biological process from ODEs into graphical hybrid functional Petri Nets.
CIBCB
Imene Mecheter, Rachid Hadjidj, Sebti Foufou
2017 J jnl
Cluster validity index based on Jeffrey divergence.
Pattern Anal. Appl.
Ahmed Ben Said, Rachid Hadjidj, Sebti Foufou
2017 Misc conf
Edge guided total variation for image denoising.
CISS
Ahmed Ben Said, Rachid Hadjidj, Sebti Foufou, Mongi A. Abidi
2017 A conf
Sentiment Analysis as a Service: A Social Media Based Sentiment Analysis Framework.
ICWS
Kashif Ali, Hai Dong, Athman Bouguettaya, Abdelkarim Erradi, Rachid Hadjidj
2017 A conf
Social-Sensor Cloud Service Selection.
ICWS
Tooba Aamir, Athman Bouguettaya, Hai Dong, Abdelkarim Erradi, Rachid Hadjidj
2016 J jnl
Multispectral image denoising with optimized vector non-local mean filter.
CoRR
Ahmed Ben Said, Rachid Hadjidj, Kamal Eddine Melkemi, Sebti Foufou
2016 J jnl
Multispectral image denoising with optimized vector non-local mean filter.
Digit. Signal Process.
Ahmed Ben Said, Rachid Hadjidj, Kamal Eddine Melkemi, Sebti Foufou
2014 — conf
Gravitational weighted fuzzy c-means with application on multispectral image segmentation.
IPTA
Ahmed Ben Said, Rachid Hadjidj, Sebti Foufou
2013 — conf
RT-Studio: A Tool for Modular Design and Analysis of Realtime Systems Using Interpreted Time Petri Nets.
PNSE+ModPE
Rachid Hadjidj, Hanifa Boucheneb
2013 — conf
Towards Model-based Management of Database Fragmentation.
Feedback Computing
Asim Ali, Rui Jia, Abdelkarim Erradi, Sherif Abdelwahed, Rachid Hadjidj
2011 J jnl
Efficient Reachability Analysis for Time Petri Nets.
IEEE Trans. Computers
Rachid Hadjidj, Hanifa Boucheneb
2010 J jnl
Security Evaluation and Hardening of Free and Open Source Software (FOSS).
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Robert Charpentier, Mourad Debbabi, Dima Alhadidi, Azzam Mourad, Nadia Belblidia, Amine Boukhtouta, Aiman Hanna, Rachid Hadjidj, Hakim Idrissi Kaitouni, Marc-André Laverdière, Hai Zhou Ling, Syrine Tlili, Xiaochun Yang, Zhenrong Yang
2009 J jnl
On-the-fly TCTL model checking for time Petri nets.
Theor. Comput. Sci.
Rachid Hadjidj, Hanifa Boucheneb
2009 J jnl
Towards an integrated e-mail forensic analysis framework.
Digit. Investig.
Rachid Hadjidj, Mourad Debbabi, Hakim Lounis, Farkhund Iqbal, Adam Szporer, Djamel Benredjem
2009 — conf
Verification of CERT Secure Coding Rules: Case Studies.
OTM Conferences (2)
Syrine Tlili, Xiaochun Yang, Rachid Hadjidj, Mourad Debbabi
2008 J jnl
A novel approach of mining write-prints for authorship attribution in e-mail forensics.
Digit. Investig.
Farkhund Iqbal, Rachid Hadjidj, Benjamin C. M. Fung, Mourad Debbabi
2008 J jnl
Improving state class constructions for CTL* model checking of time Petri nets.
Int. J. Softw. Tools Technol. Transf.
Rachid Hadjidj, Hanifa Boucheneb
2008 C conf
Model-Checking for Software Vulnerabilities Detection with Multi-Language Support.
PST
Rachid Hadjidj, Xiaochun Yang, Syrine Tlili, Mourad Debbabi
2006 — conf
On-the-fly TCTL model checking for Time Petri Nets using state class graphs.
ACSD
Rachid Hadjidj, Hanifa Boucheneb
2006 J jnl
Using inclusion abstraction to construct Atomic State Class Graphs for Time Petri Nets.
Int. J. Embed. Syst.
Hanifa Boucheneb, Rachid Hadjidj
2005 — conf
Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties.
ACSD
Rachid Hadjidj, Hanifa Boucheneb