|
Search the dblp DataBase
Rachid Hadjidj:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Rachid Hadjidj, Hanifa Boucheneb
Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties. [Citation Graph (0, 0)][DBLP] ACSD, 2005, pp:224-233 [Conf]
- Rachid Hadjidj, Hanifa Boucheneb
On-the-fly TCTL model checking for Time Petri Nets using state class graphs. [Citation Graph (0, 0)][DBLP] ACSD, 2006, pp:111-122 [Conf]
- Hanifa Boucheneb, Rachid Hadjidj
CTL* model checking for time Petri nets. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:353, n:1-3, pp:208-227 [Journal]
Verification of CERT Secure Coding Rules: Case Studies. [Citation Graph (, )][DBLP]
Model-Checking for Software Vulnerabilities Detection with Multi-Language Support. [Citation Graph (, )][DBLP]
Towards an integrated e-mail forensic analysis framework. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|