| 2009 |
|---|
| 7 | EE | 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) |
| 2008 |
|---|
| 6 | EE | Rachid Hadjidj,
Xiaochun Yang,
Syrine Tlili,
Mourad Debbabi:
Model-Checking for Software Vulnerabilities Detection with Multi-Language Support.
PST 2008: 133-142 |
| 5 | EE | Rachid Hadjidj,
Hanifa Boucheneb:
Improving state class constructions for CTL* model checking of time Petri nets.
STTT 10(2): 167-184 (2008) |
| 2006 |
|---|
| 4 | EE | Rachid Hadjidj,
Hanifa Boucheneb:
On-the-fly TCTL model checking for Time Petri Nets using state class graphs.
ACSD 2006: 111-122 |
| 3 | EE | 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 | EE | Hanifa Boucheneb,
Rachid Hadjidj:
CTL* model checking for time Petri nets.
Theor. Comput. Sci. 353(1-3): 208-227 (2006) |
| 2005 |
|---|
| 1 | EE | Rachid Hadjidj,
Hanifa Boucheneb:
Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties.
ACSD 2005: 224-233 |
