Best paper awards
Computer Science and Engineering
Advanced software architectures and methodologies
A. Filieri, C. Ghezzi, G. Tamburrelli, "Run-Time Efficient Probabilistic Model Checking"
