Rachid Hadjidj

	2011
11		Rachid Hadjidj, Hanifa Boucheneb: Efficient Reachability Analysis for Time Petri Nets. IEEE Trans. Computers 60(8): 1085-1099 (2011)
	2010
10		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)
	2009
9		Syrine Tlili, Xiaochun Yang, Rachid Hadjidj, Mourad Debbabi: Verification of CERT Secure Coding Rules: Case Studies. OTM Conferences (2) 2009: 913-930
8		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)
7		Rachid Hadjidj, Hanifa Boucheneb: On-the-fly TCTL model checking for time Petri nets. Theor. Comput. Sci. 410(42): 4241-4261 (2009)
	2008
6		Rachid Hadjidj, Xiaochun Yang, Syrine Tlili, Mourad Debbabi: Model-Checking for Software Vulnerabilities Detection with Multi-Language Support. PST 2008: 133-142
5		Rachid Hadjidj, Hanifa Boucheneb: Improving state class constructions for CTL* model checking of time Petri nets. STTT 10(2): 167-184 (2008)
	2006
4		Rachid Hadjidj, Hanifa Boucheneb: On-the-fly TCTL model checking for Time Petri Nets using state class graphs. ACSD 2006: 111-122
3		Hanifa Boucheneb, Rachid Hadjidj: Using inclusion abstraction to construct Atomic State Class Graphs for Time Petri Nets. IJES 2(1/2): 128-139 (2006)
2		Hanifa Boucheneb, Rachid Hadjidj: CTL* model checking for time Petri nets. Theor. Comput. Sci. 353(1-3): 208-227 (2006)
	2005
1		Rachid Hadjidj, Hanifa Boucheneb: Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties. ACSD 2005: 224-233

Coauthor Index

1	Dima Alhadidi	[10]
2	Nadia Belblidia	[10]
3	Djamel Benredjem	[8]
4	Hanifa Boucheneb	[1] [2] [3] [4] [5] [7] [11]
5	Amine Boukhtouta	[10]
6	Robert Charpentier	[10]
7	Mourad Debbabi	[6] [8] [9] [10]
8	Aiman Hanna	[10]
9	Farkhund Iqbal	[8]
10	Hakim Kaitouni	[10]
11	Marc-André Laverdière	[10]
12	Hai Zhou Ling	[10]
13	Hakim Lounis	[8]
14	Azzam Mourad	[10]
15	Adam Szporer	[8]
16	Syrine Tlili	[6] [9] [10]
17	Xiaochun Yang	[6] [9] [10]
18	Zhenrong Yang	[10]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page