Documents dont l'auteur est "Roux, Olivier H."

Réseau de collaboration

Veuillez patienter

Aide

Ce graphique trace les liens entre tous les collaborateurs des publications de {} figurant sur cette page.

Chaque lien représente une collaboration sur la même publication. L'épaisseur du lien représente le nombre de collaborations.

Utilisez la molette de la souris ou les gestes de défilement pour zoomer à l'intérieur du graphique.

Vous pouvez cliquer sur les noeuds et les liens pour les mettre en surbrillance et déplacer les noeuds en les glissant.

Enfoncez la touche "Ctrl" ou la touche "⌘" en cliquant sur les noeuds pour ouvrir la liste des publications de cette personne.

2022

Parrot, R., Boucheneb, H., Briday, M., & Roux, O. H. (septembre 2022). Expressiveness and analysis of Delayable Timed Petri Net [Communication écrite]. 16th IFAC Workshop on Discrete Event Systems (WODES 2022), Prague, Czech Republic. Publié dans IFAC PapersOnLine, 55(28). Lien externe

2018

Boucheneb, H., Lime, D., Roux, O. H., & Seidner, C. (juin 2018). Optimal-cost reachability analysis based on time petri nets [Communication écrite]. 18th International Conference on Application of Concurrency to System Design (ACSD 2018), Bratislava, Slovakia. Lien externe

2017

Boucheneb, H., Lime, D., Parquier, B., Roux, O. H., & Seidner, C. (septembre 2017). Optimal reachability in cost time Petri nets [Communication écrite]. 15th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2017), Berlin, Germany. Lien externe

2013

Boucheneb, H., Lime, D., & Roux, O. H. (juin 2013). On multi-enabledness in time Petri nets [Communication écrite]. 34th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2013), Milan, Italy. Lien externe

2012

Benattar, G., Bérard, B., Lime, D., Mullins, J., Roux, O. H., & Sassolas, M. (août 2011). Channel synthesis for finite transducers [Communication écrite]. 13th International Conference on Automata and Format Languages (AFL'2011), Debrecen, Hungary. Publié dans International Journal of Foundations of Computer Science, 23(6). Lien externe

Boucheneb, H., Bullich, A., & Roux, O. H. (octobre 2012). FIFO time Petri nets for conflicts handling [Communication écrite]. 11th IFAC International Workshop on Discrete Event Systems (WODES 2012), Guadalajara, Mexico. Lien externe

2009

Benattar, G., Bérard, B., Lime, D., Mullins, J., Roux, O. H., & Sassolas, M. (août 2009). Covert channels with sequential transducers [Communication écrite]. 24th Annual IEEE Symposium on Logic in Computer Science (LICS 2009) and Satellite Workshop on Foundations of Computer Security (CFS 2009), Los Angeles, CA (15 pages). Lien externe

Boucheneb, H., Gardey, G., & Roux, O. H. (2009). TCTL model checking of time petri nets. Journal of Logic and Computation, 19(6), 1509-1540. Lien externe