Hadjidj, R. (2023), An Efficient Approach for Model-checking Zeno behaviors in Real-time system models based on The Time Petri Net formalism, IEEE Transactions on Automation Science and Engineering (IF:5.9).
Albarakati, A. Robillard, C. Karanfil, M. Kassouf, M. Debbabi, M. Amr Youssef, A. Ghafouri, M. Hadjidj, R. (2021), Security Monitoring of IEC 61850 Substations Using IEC 62351-7 Network and System Management, IEEE Transactions on Industrial Informatics. IEEE, (IF: 9.112).
Chkirbene, Z. Hadjidj, R., Foufou S. and Hamila, R. (2020), LaScaDa: A Novel Scalable Topology for Data Center Network, IEEE/ACM Transactions on Networking. IEEE, (IF: 2.186).
Moussa, B. Kassouf, M. Hadjidj, R. Debbabi, M. and Assi, C. (2020) An Extension to the Precision Time Protocol (PTP) to Enable the Detection of Cyber Attacks, IEEE Transactions on Industrial Informatics (IF:7.377).
Chkirbene, Z. Gouissem, A. Hadjidj, R. Foufou, S. and Hamila, R. (2018), Efficient Techniques for Energy saving In Data Center Networks, Computer Communications. Elsevier, (IF: 2.613).
Bensaid, A. Hadjidj, R. and Foufou, S. (2018), Total Variation for Image Denoising Based on a Novel Smart Edge Detector: An Application to Medical Images, Journal of Mathematical Imaging and Vision, Springer (IF: 1.994).
Ben Said, A. Hadjidj, R. Foufou. S., K.E. Melkemi (2016). Multispectral image denoising with optimized vector non-local mean filter, Digital Signal Processing Journal, Elsevier, Volume 58, November 2016, Pages 115–126, (IF: 2.337).
Ben Said, A. Hadjidj, R. Foufou. S. (2015). Cluster validity index based on Jeffrey divergence, Pattern Analysis and Applications Journal, Springer London, (IF: 1.352).
Hadjidj, R. and Boucheneb, H. (2011). Efficient reachability analysis for time Petri nets. IEEE Transactions on Computers, IEEE, vol.60, no.8, pp.1085-1099, (IF: 2.916).
Hadjidj, R. and Boucheneb, H. (2009). On the fly TCTL model checking for time Petri nets. Theoretical Computer Science. TCS, Elsevier, 410(42): 4241-4261, (IF: 0.698).
Hadjidj, R. and Debbabi, M. Lounis, H. Iqbal, F. Szporer, A. Benredjem, D. (2009). Towards an integrated email forensics analysis framework. Digital Investigation, Elsevier, 5(3-4): 124-137, (IF: 1.774).
Hadjidj, R. and Boucheneb, H. (2008). Improving state class constructions for CTL* model checking of time Petri nets. International Journal on Software Tools for Technology Transfer. STTT, Springer, 10(2): 167-184, (IF: 1.612).
Iqbal, F. Hadjidj, R. Fung, B. C. M. and Debbabi M. (2008). A Novel Approach of Mining Write-Prints for Authorship Attribution in E-mail Forensics. Digital Investigation, Elsevier, 5(1):42-51, (IF: 1.774).
Boucheneb, H. and Hadjidj, R. (2008). Model Checking of Time Petri Nets, Petri Net, Theory and Applications, Book edited by, ISBN 978-3-902613-12-7, pp. 534.
Boucheneb, H. and Hadjidj, R. (2006). CTL* model checking for time Petri nets. Theoretical Computer Science, 353(1-3), 208–227, (IF: 0.698).
Boucheneb, H. and Hadjidj, R. (2006). Using inclusion abstraction to construct atomic state class graphs for time Petri nets. International Journal of Embedded Systems, InderScience, V 2, No.1/2, 128–139, (IF: 0.79).
Hadjidj, R. and Abu Alia, A. (2017). Detecting Domain Flux Botnets using Machine Learning techniques. Digital investigation, Elsevier, (IF: 1.774).
Hadjidj, R. (2017). An integrated framework for the modeling and formal verification of Real time systems. International Journal on Software Tools for Technology Transfer (STTT), Springer, (IF: 1.612).
Chkirbene, Z. , Hadjidj, R., Foufou, S. and Hamila, R. and Khalil, I. (2017), Varied Connected Topology For High Energy Efficiency and Cost Reduction In Data Center Networks, IEEE Transactions on Network and Service Management. IEEE, (IF: 3.134).
Al Romaihi, R.K. Belhi, A. Hadjidj, R. (2022) Evaluation of single-stage, two-stage, and anchor-free Object Recognition methods for UAV detection. In Proceedings of the 6th World Conference on Smart Trends in Systems, Security and Sustainability. London UK .
Benna, A. Masmoudi, F. Sellami, M. Maamar, Z. and Hadjidj, R. (2022). On Modelling and Analyzing Composite Resources’ Consumption Cycles using Time Petri-Nets. In Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, ISBN 978-989-758-568-5, ISSN 2184-4895, pages 243-250.
Albarakati, A. Robillard, C. Karanfil. M, Kassouf, M. Hadjidj, R. Debbabi, M. and Youssef, A. (2019), Security Monitoring of IEC 61850 Substations Using IEC 62351-7 Network and System Management, IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm) .
Chkirbene, Z. Gouissem, A. Hadjidj, R., Foufou, S. and Hamila, R. (2018), Reducing Energy Consumption for Data Center Network using the correlation in time of internode communication, (PIMRC 2018), IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, Bologna, Italy.
K. Ali, H. Dong, A. Bouguettaya, A. Erradi, R. Hadjidj, (2017) Sentiment Analysis as a Service: A social media based sentiment analysis framework, (ICWS), 2017 IEEE International Conference on Web Services, 660-667.
D. Hadjidj, R. Hadjidj, H. Drias, (2017) Adaptive Local Search Approach for the timetable Scheduling Problem, The 5th International Conference on Electrical Engineering, ICEE2017.
T. Aamir, A. Bouguettaya, H. Dong, A. Erradi, R. Hadjidj, (2017) Social-sensor cloud service selection, 2017 IEEE International Conference on Web Services (ICWS), 508-515.
I. Mecheter and R. Hadjidj, (2017) An Automated Approach to Translate a Biological Process from ODEs into Graphical Hybrid Functional Petri Nets, IEEE CIBCB 2017, Manchester, UK.
A. BenSaïd, R. Hadjidj, S. Foufou and M. Abidi, (2017) EDGE GUIDED TOTAL VARIATION FOR IMAGE DENOISING. Conference on Information Sciences and Systems Baltimore, CISS 2017, Maryland, USA.
A. BenSaïd, S. Foufou, R. Hadjidj (2015) Vector anisotropic filter for multispectral image denoising. The International Conference on Quality Control by Artificial Vision 2015, 95340N-95340N-8, Le Creusot, France.
A. BenSaïd, R. Hadjidj, S. Foufou (2014) Gravitational weighted fuzzy c-means with application on multispectral image segmentation. 4th International Conference on Image Processing Theory, Tools and Applications, IPTA'14, Paris, France.
A. Ali, R. Jia, A. Erradi, S. Abdelwahed and R. Hadjidj, (2013) Towards Model-based Management of Database, 8th International Workshop on Feedback Computing, June 25, San Jose, CA USA
Hadjidj, R and Boucheneb, H. (2013) RT-Studio: A tool for modular design and analysis of real time systems using Interpreted Time Petri Nets, International Workshop on Petri Nets and Software Engineering, PNSE'13, Milano, Italy.
R. Jia, S. Abdelwahed, A. Erradi, R. Hadjidj and A. Ali (2012), “A Model-based Framework for Automatic Recovery from Incipient Faults in Computing Systems”, The 7th International Workshop on Feedback Computing, San Jose, CA, USA.
Charpentier. R, Debbabi. M, D. Alhadidi, M. Azzam, N. Belblidia, A. Boukhtouta, A. Hanna, R. Hadjidj, H. I. Kaitouni, M. A. Laverdière, H.Z. Ling, S. Tlili, X. Yang, and Z. Yang (2010) Security Evaluation and Hardening of Free and Open Source Software (FOSS), 4th International Workshop on Foundations and Techniques for Open Source Software Certification.
Tlili, S. Yang, X. Hadjidj, R. Debbabi, M. (2009) Verification of CERT Secure Coding Rules: Case Studies, IS’09 the 4th International Symposium on Information Security, Algarve-Portugal.
Hadjidj, R. Yang, X., Tlili, S. Debbabi, M. (2008) Model-Checking for Software Vulnerabilities, PST2008 the Sixth Annual Conference on Privacy, Security and Trust, New Brunswick, Canada, 133-142
Iqbal, F. Hadjidj, R. Fung, B. C. M. and Debbabi M. (2008). A Novel Approach of Mining Write-Prints for Authorship Attribution in E-mail Forensics. In Proceedings of the 2008 Digital Forensic Research Workshop, Baltimore, MD: Elsevier, S42-S51.
Boucheneb, H and Hadjidj, R. (2007). Model checking real time systems. VECoS’(2007).
Hadjidj, R. and Boucheneb, H. Hadjidj, D. (2007). Zenoness detection and timed verification of real time systems. VECoS’(2007) .
Hadjidj, R. and Boucheneb, H. (2006). On the fly TCTL model checking for time Petri nets using the state class method. In Proc of the Sixth International Conference on Application of Concurrency to System Design (ACSD’06), IEEE Computer Society Press), Finland, 111–120.
Hadjidj, R. and Boucheneb, H. (2005). Much compact time Petri net state class spaces useful to restore CTL* properties. In Proc. of the Fifth International Conference on Application of Concurrency to System Design (ACSD’05). IEEE Computer Society Press, Rennes, France, 224–233.
Boucheneb, H. and Hadjidj, R. (2004). Towards optimal CTL* model checking of time Petri nets. In Proc. of the International Workshop on Discrete Event Systems (WODES’04). Reims-France, 469–474.