Publications

Publications in International Journals

  1. 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
  1. Ben Said, A. Hadjidj, R.  S. (2015). Cluster validity index based on Jeffrey divergence, Pattern Analysis and Applications Journal, Springer London
  1. 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
  1. 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
  1. Hadjidj, R. and Debbabi, M. Lounis, H. Iqbal, F. Szporer, A. Benredjem, D. (2009). Towards an integrated email forensics analysis framework. Digital Investigation 5(3-4): 124-137.
  1. 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.
  1. 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, 5(1):42-51.
  1. 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.
  1. Boucheneb, H. and Hadjidj, R. (2006). CTL* model checking for time Petri nets. Theoretical Computer Science, 353(1-3), 208–227.
  1. 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.

 

Publications in International Conferences

  1. 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.
  2. 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.
  3. 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.
  4. 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
  5. Hadjidj, R and Boucheneb, H. (2013) RT-Studio: A tool for modular design and analysis of realtime systems using Interpreted Time Petri Nets, International Workshop on Petri Nets and Software Engineering, PNSE’13, Milano, Italy.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. Boucheneb, H and Hadjidj, R. (2007). Model checking real time systems. VECoS’(2007).
  12. Hadjidj, R. and Boucheneb, H. Hadjidj, D. (2007). Zenoness detection and timed verification of real time systems. VECoS’(2007) .
  13. 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.
  14. 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.
  15. 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.