Hind Rakkay

	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

Coauthor Index

1

Hanifa Boucheneb

[1] [2] [3]