<  Back to the Polytechnique Montréal portal

Browse by Author

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Publication Date | Item Type | Document subtype | No Grouping
Jump to: 2019 | 2013 | 2007 | 2004
Number of items: 4.

2019

Dou, H., Barkaoui, K., Boucheneb, H., Jiang, X. & Wang, S. (2019). Maximal good step graph methods for reducing the generation of the state space. IEEE Access, 7, p. 155805-155817.

2013

Heidari, P. & Boucheneb, H. (2013). Controller synthesis of time petri nets using stopwatch. Journal of Engineering, 2013, p. 1-13.

2007

Rhazi, A. E., Pierre, S. & Boucheneb, H. (2007). A secure protocol based on a sedentary agent for mobile agent environments. Journal of Computer Science, 3(1), p. 35-42.

2004

Boucheneb, H. & Berthelot, G. (2002, April). Contraction of the ITCPN state space. Paper presented at Theory and Practice of Timed Systems (Satellite Event of ETAPS 2002), Grenoble, France.

This list was generated on Wed Jun 29 01:55:02 2022 EDT.