Rachid Hadjidj

According to our database, Rachid Hadjidj authored at least 30 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Rachid Hadjidj

IEEE Trans Autom. Sci. Eng., October, 2024

2022

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

Abdullah Albarakati, Chantale Robillard, Mark Karanfil, Marthe Kassouf, Mourad Debbabi, Amr M. Youssef, Mohsen Ghafouri, Rachid Hadjidj

IEEE Trans. Ind. Informatics, 2022

On Modelling and Analyzing Composite Resources' Consumption Cycles using Time Petri-Nets.

Amel Benna, Fatma Masmoudi, Mohamed Sellami, Zakaria Maamar, Rachid Hadjidj

Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, 2022

2020

LaScaDa: A Novel Scalable Topology for Data Center Network.

Zina Chkirbene, Rachid Hadjidj, Sebti Foufou, Ridha Hamila

IEEE/ACM Trans. Netw., 2020

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

Bassam Moussa, Marthe Kassouf, Rachid Hadjidj, Mourad Debbabi, Chadi Assi

IEEE Trans. Ind. Informatics, 2020

2019

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

Ahmed Ben Said, Rachid Hadjidj, Sebti Foufou

J. Math. Imaging Vis., 2019

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

Abdullah Albarakati, Chantale Robillard, Mark Karanfil, Marthe Kassouf, Rachid Hadjidj, Mourad Debbabi, Amr M. Youssef

Proceedings of the 2019 IEEE International Conference on Communications, 2019

2018

Efficient techniques for energy saving in data center networks.

Zina Chkirbene, Ala Gouissem, Rachid Hadjidj, Sebti Foufou, Ridha Hamila

Comput. Commun., 2018

Exploiting Traffic Correlation Towards Energy Saving in Data Centers.

Zina Chkirbene, Ala Gouissem, Rachid Hadjidj, Ridha Hamila, Sebti Foufou

Proceedings of the 29th IEEE Annual International Symposium on Personal, 2018

2017

Cluster validity index based on Jeffrey divergence.

Ahmed Ben Said, Rachid Hadjidj, Sebti Foufou

Pattern Anal. Appl., 2017

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

Kashif Ali, Hai Dong, Athman Bouguettaya, Abdelkarim Erradi, Rachid Hadjidj

Proceedings of the 2017 IEEE International Conference on Web Services, 2017

Social-Sensor Cloud Service Selection.

Tooba Aamir, Athman Bouguettaya, Hai Dong, Abdelkarim Erradi, Rachid Hadjidj

Proceedings of the 2017 IEEE International Conference on Web Services, 2017

Edge guided total variation for image denoising.

Ahmed Ben Said, Rachid Hadjidj, Sebti Foufou, Mongi A. Abidi

Proceedings of the 51st Annual Conference on Information Sciences and Systems, 2017

An automated approach to translate a biological process from ODEs into graphical hybrid functional Petri Nets.

Imene Mecheter, Rachid Hadjidj, Sebti Foufou

Proceedings of the IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology, 2017

2016

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

Ahmed Ben Said, Rachid Hadjidj, Kamal Eddine Melkemi, Sebti Foufou

Digit. Signal Process., 2016

2014

Gravitational weighted fuzzy c-means with application on multispectral image segmentation.

Ahmed Ben Said, Rachid Hadjidj, Sebti Foufou

Proceedings of the 4th International Conference on Image Processing Theory, 2014

2013

Towards Model-based Management of Database Fragmentation.

Asim Ali, Rui Jia, Abdelkarim Erradi, Sherif Abdelwahed, Rachid Hadjidj

Proceedings of the 8th International Workshop on Feedback Computing, 2013

RT-Studio: A Tool for Modular Design and Analysis of Realtime Systems Using Interpreted Time Petri Nets.

Rachid Hadjidj, Hanifa Boucheneb

Proceedings of the Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24, 2013

2011

Efficient Reachability Analysis for Time Petri Nets.

Rachid Hadjidj, Hanifa Boucheneb

IEEE Trans. Computers, 2011

2010

Security Evaluation and Hardening of Free and Open Source Software (FOSS).

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

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

2009

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

Rachid Hadjidj, Hanifa Boucheneb

Theor. Comput. Sci., 2009

Towards an integrated e-mail forensic analysis framework.

Rachid Hadjidj, Mourad Debbabi, Hakim Lounis, Farkhund Iqbal, Adam Szporer, Djamel Benredjem

Digit. Investig., 2009

Verification of CERT Secure Coding Rules: Case Studies.

Syrine Tlili, Xiaochun Yang, Rachid Hadjidj, Mourad Debbabi

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2009, 2009

2008

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

Rachid Hadjidj, Hanifa Boucheneb

Int. J. Softw. Tools Technol. Transf., 2008

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

Farkhund Iqbal, Rachid Hadjidj, Benjamin C. M. Fung, Mourad Debbabi

Digit. Investig., 2008

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

Rachid Hadjidj, Xiaochun Yang, Syrine Tlili, Mourad Debbabi

Proceedings of the Sixth Annual Conference on Privacy, Security and Trust, 2008

2006

<i>CTL</i>^* model checking for time Petri nets.

Hanifa Boucheneb, Rachid Hadjidj

Theor. Comput. Sci., 2006

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

Hanifa Boucheneb, Rachid Hadjidj

Int. J. Embed. Syst., 2006

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

Rachid Hadjidj, Hanifa Boucheneb

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005

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

Rachid Hadjidj, Hanifa Boucheneb

Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005