<  Back to the Polytechnique Montréal portal

Items where Author is "Roux, O. H."

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Jump to: B | C | G | R
Number of items: 5.

B

Bullich, A., Boucheneb, H., & Roux, O. H. (2012, July). Refinement of time petri nets semantics in conflict situations [Paper]. 9th International Conference on Cybernetics and Information Technologies, Systems and Applications (CITSA 2012), Orlando, Florida, USA. External link

C

Cassez, F., Mullins, J., & Roux, O. H. (2007, September). Synthesis of Non-interferent Distributed Systems [Paper]. 4th International Conference on Mathematical Methods, Models and Architectire for Computer Networks Security (MMM-ACNS07), St-Petersburg, Russie. External link

G

Gardey, G., Mullins, J., & Roux, O. H. (2005, August). Non-interference control synthesis for security timed automata [Paper]. 4th Workshop on Security Issues in Concurrency (SecCO 2005), San Francisco, CA. Published in Electronic Notes in Theoretical Computer Science, 180(1). External link

R

Rakkay, H., Boucheneb, H., & Roux, O. H. (2009, July). Time arc Petri nets and their analysis [Paper]. 9th International Conference on Application of Concurrency to System Design, Augsburg, Germany. External link

Rakkay, H., Boucheneb, H., & Roux, O. H. (2007, October). Réseaux de Petri à arcs temporels généralisés aux sémantiques faible et forte [Paper]. 6e Colloque francophone sur la modélisation des systèmes réactifs. Unavailable

List generated on: Sat Jun 22 16:10:21 2024 EDT