Rachid Hadjidj

According to our database1, Rachid Hadjidj authored at least 25 papers between 2005 and 2020.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


An Extension to the Precision Time Protocol (PTP) to Enable the Detection of Cyber Attacks.
IEEE Trans. Industrial Informatics, 2020

Total Variation for Image Denoising Based on a Novel Smart Edge Detector: An Application to Medical Images.
Journal of Mathematical Imaging and Vision, 2019

Security Monitoring of IEC 61850 Substations Using IEC 62351-7 Network and System Management1.
Proceedings of the 2019 IEEE International Conference on Communications, 2019

Efficient techniques for energy saving in data center networks.
Comput. Commun., 2018

Exploiting Traffic Correlation Towards Energy Saving in Data Centers.
Proceedings of the 29th IEEE Annual International Symposium on Personal, 2018

Cluster validity index based on Jeffrey divergence.
Pattern Anal. Appl., 2017

Sentiment Analysis as a Service: A Social Media Based Sentiment Analysis Framework.
Proceedings of the 2017 IEEE International Conference on Web Services, 2017

Social-Sensor Cloud Service Selection.
Proceedings of the 2017 IEEE International Conference on Web Services, 2017

Edge guided total variation for image denoising.
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.
Proceedings of the IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology, 2017

Multispectral image denoising with optimized vector non-local mean filter.
Digit. Signal Process., 2016

Gravitational weighted fuzzy c-means with application on multispectral image segmentation.
Proceedings of the 4th International Conference on Image Processing Theory, 2014

Towards Model-based Management of Database Fragmentation.
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.
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

Efficient Reachability Analysis for Time Petri Nets.
IEEE Trans. Computers, 2011

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

On-the-fly TCTL model checking for time Petri nets.
Theor. Comput. Sci., 2009

Towards an integrated e-mail forensic analysis framework.
Digital Investigation, 2009

Verification of CERT Secure Coding Rules: Case Studies.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2009, 2009

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

Model-Checking for Software Vulnerabilities Detection with Multi-Language Support.
Proceedings of the Sixth Annual Conference on Privacy, Security and Trust, 2008

CTL* model checking for time Petri nets.
Theor. Comput. Sci., 2006

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

On-the-fly TCTL model checking for Time Petri Nets using state class graphs.
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties.
Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005