| 2008 | ||
|---|---|---|
| 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 |
| 1 | Hanifa Boucheneb | [1] [2] [3] [4] [5] |