KORDY, B., SCHWEITZER, P., & POULY, M. (2014). A Probabilistic Framework for Security Scenarios with Dependent Actions. In The 11th International Conference on Integrated Formal Methods (iFM'14), Bertinoro, Italy. Peer reviewed |
POULY, M., & Kohlas, J. (2011). Generic Inference A Unifying Theory for Automated Reasoning. John Wiley & Sons. doi:10.1002/9781118010877 |
POULY, M., Schneuwly, C., & Kohlas, J. (2011). Generic Local Computation. Luxembourg, Luxembourg: Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg. https://orbilu.uni.lu/handle/10993/16006 |
POULY, M. (2011). Generalized Information Theory based on the Theory of Hints. In W. Liu (Ed.), Symbolic and Quantitative Approaches to Reasoning with Uncertainty (pp. 299-313). Springer. doi:10.1007/978-3-642-22152-1_26 |
POULY, M. (2011). Generic Solution Construction in Valuation-Based Systems. In C. Butz & P. Lingras (Eds.), Advances in Artificial Intelligence (pp. 335 - 346). Springer. doi:10.1007/978-3-642-21043-3_41 |
KORDY, B., POULY, M., & SCHWEITZER, P. (2011). Computational Aspects of Attack-Defense Trees. In Security and Intelligent Information Systems - International Joint Conferences, SIIS 2011, Warsaw, Poland, June 13-14, 2011, Revised Selected Papers (pp. 103-116). Springer. Peer reviewed |