Documents dont l'auteur est "Bérard, Béatrice"

B

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., Hélouët, L., & Mullins, J. (2016). Non-interference in partial order models. ACM Transactions on Embedded Computing Systems, 16(2), 1-34. 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., Hélouët, L., & Mullins, J. (juin 2015). Non-interference in Partial Order Models [Communication écrite]. 15th International Conference on Application of Concurrency to System Design (ACSD 2015), Brussels, Belgium. 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