 | Monter d'un niveau |
Réseau de collaborationCe 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.
Ammar, I., El Touati, Y., Yeddes, M., & Mullins, J. (2021). Bounded opacity for timed systems. Journal of Information Security and Applications, 61, 13 pages. Lien externe
Ammar, I., El Touati, Y., Mullins, J., & Yeddes, M. (2021). Timed Bounded Verification of Inclusion Based on Timed Bounded Discretized Language. International Journal of Foundations of Computer Science, 32(2), 175-202. Lien externe
Mullins, J., & Yeddes, M. (mai 2014). Opacity with Orwellian observers and intransitive non-interference [Communication écrite]. 12th IFAC/IEEE Workshop on Discrete Event Systems (WODES 2014), Cachan, France. Lien externe
Lauer, M., Mullins, J., & Yeddes, M. (juillet 2013). Cost optimization strategy for iterative integration of multi-critical functions in IMA and TTethernet architecture [Communication écrite]. 37th IEEE Annual Computer Software and Applications Conference Workshops (COMPSACW 2013), Kyoto, Japan. Lien externe
Hadj-Alouane Nejib, B. E. N., Lafrance, S., Feng, L. I. N., Mullins, J., & Yeddes, M. (2005). Characterizing intransitive noninterference for 3-domain security policies with observability. IEEE Transactions on Automatic Control, 50(6), 920-925. Lien externe
Ben Hadj-Alouane, N., Lafrance, S., Lin, F., Mullins, J., & Yeddes, M. (2005). On the Verification of Intransitive Noninterference in Mulitlevel Security. IEEE Transactions on Systems, Man, and Cybernetics. Part B, Cybernetics, 35(5), 948-958. Lien externe
Ben Hadj-Alouane, N., Lafrance, S., Lin, F., Mullins, J., & Yeddes, M. (décembre 2004). An algorithmic approach to verification of intransitive non-interference in security policies [Communication écrite]. 43rd IEEE Conference on Decision and Control (CDC 2004), Atlantis, Paradise Island, Bahamas. Lien externe
Ben Hadj-Alouane, N., Lafrance, S., Lin, F., Mullins, J., & Yeddes, M. (septembre 2004). Discrete event systems approach to the verification of the information flow properties in secure protocols [Communication écrite]. 7th Workshop on Discrete Event System (WODES 2004), Reims, France. Publié dans IFAC Proceedings, 37(18). Lien externe
Yeddes, M., Alla, H., & Mullins, J. (2002). Analyse structurelle d'un fonctionnement séquentiel. Journal Européen des Systèmes Automatisés, 36(8), 1101-1118. Non disponible
Yeddes, M., & Mullins, J. (septembre 2001). Quasi-synchronous approach for distributed control in synchronous systems [Communication écrite]. IEEE International Symposium on Intelligent Control (ISIC 2001), Mexico City, Mexico. Lien externe
