Rachid Hadjidj

Rachid Hadjidj, Hanifa Boucheneb: Efficient Reachability Analysis for Time Petri Nets. IEEE Trans. Computers 60(8): 1085-1099 (2011)

Robert Charpentier, Mourad Debbabi, Dima Alhadidi, Azzam Mourad, Nadia Belblidia, Amine Boukhtouta, Aiman Hanna, Rachid Hadjidj, Hakim Kaitouni, Marc-André Laverdière, Hai Zhou Ling, Syrine Tlili, Xiaochun Yang, Zhenrong Yang: Security Evaluation and Hardening of Free and Open Source Software (FOSS). ECEASST 33 (2010)

Rachid Hadjidj, Mourad Debbabi, Hakim Lounis, Farkhund Iqbal, Adam Szporer, Djamel Benredjem: Towards an integrated e-mail forensic analysis framework. Digital Investigation 5(3-4): 124-137 (2009)

Rachid Hadjidj, Hanifa Boucheneb: On-the-fly TCTL model checking for time Petri nets. Theor. Comput. Sci. 410(42): 4241-4261 (2009)

Syrine Tlili, Xiaochun Yang, Rachid Hadjidj, Mourad Debbabi: Verification of CERT Secure Coding Rules: Case Studies. OTM Conferences (2) 2009: 913-930

Rachid Hadjidj, Hanifa Boucheneb: Improving state class constructions for CTL* model checking of time Petri nets. STTT 10(2): 167-184 (2008)

Rachid Hadjidj, Xiaochun Yang, Syrine Tlili, Mourad Debbabi: Model-Checking for Software Vulnerabilities Detection with Multi-Language Support. PST 2008: 133-142

Hanifa Boucheneb, Rachid Hadjidj: Using inclusion abstraction to construct Atomic State Class Graphs for Time Petri Nets. IJES 2(1/2): 128-139 (2006)

Hanifa Boucheneb, Rachid Hadjidj: CTL^* model checking for time Petri nets. Theor. Comput. Sci. 353(1-3): 208-227 (2006)

Rachid Hadjidj, Hanifa Boucheneb: On-the-fly TCTL model checking for Time Petri Nets using state class graphs. ACSD 2006: 111-122

Rachid Hadjidj, Hanifa Boucheneb: Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties. ACSD 2005: 224-233