We stand with Ukraine  

Hind Rakkay

According to our database1, Hind Rakkay authored at least 5 papers between 2006 and 2009.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2009
Security Analysis of Role Based Access Control Models Using Colored Petri Nets and CPNtools.
[BibTeX]
[DOI]
Hind Rakkay
,
Hanifa Boucheneb
Trans. Comput. Sci., 2009

Time Arc Petri Nets and Their Analysis.
[BibTeX]
[DOI]
Hind Rakkay
,
Hanifa Boucheneb
,
Olivier H. Roux
Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2008
A More Efficient Time Petri Net State Space Abstraction Useful to Model Checking Timed Linear Properties.
[BibTeX]
[DOI]
Hanifa Boucheneb
,
Hind Rakkay
Fundam. Informaticae, 2008

2007
A more efficient time Petri net state space abstraction preserving linear properties.
[BibTeX]
[DOI]
Hanifa Boucheneb
,
Hind Rakkay
Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006
Timed secure colored Petri net based analysis of information flow.
[BibTeX]
[DOI]
Hind Rakkay
,
Hanifa Boucheneb
Ann. des Télécommunications, 2006


  Loading...