ACM SIGSOFT Distinguished Paper Award

Carlo Ghezzi, Antonio Filieri and Giordano Tamburrelli won the ACM SIGSOFT Distinguished Paper Award for the paper: A. Filieri, C. Ghezzi, G. Tamburrelli, "Run-Time Efficient Probabilistic Model Checking". The article, presented at the International Conference on Software Engineering (ICSE 2011), describes aspects of the research developed within the SMScom ERC grant.
ICSE 2011 is the premier software engineering conference, providing a forum for researchers, practitioners and educators to present and discuss the most recent innovations, trends, experiences and concerns in the field of software engineering.
Further information is available at