 | 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.
Bérard, B., Kouchnarenko, O., Mullins, J., & Sassolas, M. (2018). Opacity for linear constraint Markov chains. Discrete Event Dynamic Systems: Theory and Applications, 28(1), 83-108. Lien externe
Bérard, B., Kouchnarenko, O., Mullins, J., & Sassolas, M. (mai 2016). Preserving opacity on Interval Markov Chains under simulation [Communication écrite]. 13th International Workshop on Discrete Event Systems (WODES 2016), Xi'an, China. Lien externe
Bérard, B., Kouchnarenko, O., Mullins, J., & Sassolas, M. (2015). Probabilistic opacity in refinement-based modeling. (Rapport technique). Lien externe
Bérard, B., Mullins, J., & Sassolas, M. (2015). Quantifying opacity. Mathematical Structures in Computer Science, 25(2), 361-403. Lien externe
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
Bérard, B., Mullins, J., & Sassolas, M. (septembre 2010). Quantifying opacity [Communication écrite]. 7th International Conference on the Quantitative Evaluation of Systems (QEST 2010), Williamsburg, VA, USA. Lien externe
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
