<  Back to the Polytechnique Montréal portal

Items where Author is "Hadjidj, R."

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Jump to: B | H
Number of items: 8.

B

Boucheneb, H., & Hadjidj, R. (2007, May). Model checking of time Petri nets [Paper]. 1st International Workshop of Verification, Evaluation of Computer and Communication Systems (VECos 2007), Algiers, Algeria. External link

Boucheneb, H., & Hadjidj, R. (2006). CTL model checking of Time Petri Nets. Journal of Theorectical Computer Science, 353(1-3), 208-227. External link

Boucheneb, H., & Hadjidj, R. (2006). Using inclusion abstraction to construct atomic state class graphs for time Petri nets. International Journal of Embedded Systems, 2(1-2), 128-139. External link

Boucheneb, H., & Hadjidj, R. (2004, September). Towards optimal CTL model checking of time petri nets [Paper]. IFAC Workshop on discrete Event Systems, Reims, France. External link

H

Hadjidj, R., & Boucheneb, H. (2008). Improving state class constructions for CTL* model checking of time Petri nets. International Journal on Software Tools for Technology Transfer, 10(2), 167-184. External link

Hadjidj, R., & Boucheneb, H. (2007, May). Zenoness detection and times model checking for real time systems [Paper]. 1st International Workshop of Verification, Evaluation of Computer and Communication Systems (VECos 2007), Algiers, Algeria. External link

Hadjidj, R., & Boucheneb, H. (2006, June). On-the-fly TCTL model checking for time Petri nets using state class graphs [Paper]. 6th International Conference on Application of Concurrency to System Design, Turku, Finland. External link

Hadjidj, R., & Boucheneb, H. (2005, June). Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties [Paper]. 5th International Conference on Application of Concurrency to System Design (ACSD 2005), St. Malo, France. External link

List generated on: Sun Jun 16 17:25:08 2024 EDT