Rachid Hadjidj

32 papers A 2B 2C 2Misc 1Journal 18Unranked 7

Year	Rank	Type	Title / 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

Nicolò Altamura is a security engineer and computer science researcher specializing in software protection, reverse engineering, program analysis, and binary deobfuscation. He holds a master's degree in Computer Science and Engineering from the University of Verona, graduating with honors, and works at emproof, focusing on software protection and the challenges of analyzing and understanding compiled software.

His research explores the relationship between program analysis and code obfuscation, with particular emphasis on how software transformations affect the ability of automated tools to recover program behavior. His interests span static analysis, binary analysis, decompilation, reverse engineering, and techniques for analyzing and simplifying obfuscated code.

Beyond academic research, Nicolò develops and contributes to tools for reverse engineering and software analysis. His projects include obfuscation_analysis, a Binary Ninja plugin for analyzing and simplifying obfuscated code; Pocket, an obfuscator for mixed Boolean-arithmetic expressions; and ptxNinja, a tool for reverse engineering NVIDIA GPU code represented in the PTX virtual instruction set.

His research also extends to binary datasets and software evolution. In 2026, he co-authored ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage, a research work addressing the availability of binary data across multiple software builds and points in time, supporting research into binary analysis and changes between program versions.

Across his research, engineering work, and open-source contributions, Nicolò focuses on advancing the understanding, analysis, and protection of software against increasingly sophisticated obfuscation and reverse-engineering challenges.

Nicolò Altamura is not a football player. Please avoid reporting this kind of infromation.