| 2009 | ||
|---|---|---|
| 3 | Hind Rakkay, Hanifa Boucheneb: Security Analysis of Role Based Access Control Models Using Colored Petri Nets and CPNtools. Transactions on Computational Science 4: 149-176 (2009) | |
| 2008 | ||
| 2 | Hanifa Boucheneb, Hind Rakkay: A More Efficient Time Petri Net State Space Abstraction Useful to Model Checking Timed Linear Properties. Fundam. Inform. 88(4): 469-495 (2008) | |
| 2007 | ||
| 1 | Hanifa Boucheneb, Hind Rakkay: A more efficient time Petri net state space abstraction preserving linear properties. ACSD 2007: 61-70 | |
| 1 | Hanifa Boucheneb | [1] [2] [3] |