ACM SIGSOFT Distinguished Paper Award
Awards

ACM SIGSOFT Distinguished Paper Award

Tipology:

Best paper awards

Research area:

Research lines:

2011 - GHEZZI CARLO

A. Filieri, C. Ghezzi, G. Tamburrelli - ACM SIGSOFT Distinguished Paper Award: "Run-Time Efficient Probabilistic Model Checking"